Ingeniería Eléctrica, Electrónica, de Comunicaciones y de Sistemas (DIEECS)
Departamento
École Polytechnique Fédérale de Lausanne
Lausana, SuizaPublicaciones en colaboración con investigadores/as de École Polytechnique Fédérale de Lausanne (5)
2015
-
Applying model checking to industrial-sized PLC programs
IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410
-
Real-Time Simulation Technologies for Power Systems Design, Testing, and Analysis
IEEE Power and Energy Technology Systems Journal, Vol. 2, pp. 63-73
2013
-
Design, manufacture and test of a low-cost shaped-beam reflectarray using a single layer of varying-sized printed dipoles
IEEE Transactions on Antennas and Propagation, Vol. 61, Núm. 6, pp. 3077-3085
-
Design, manufacturing and test of a dual-reflectarray antenna with improved bandwidth and reduced cross-polarization
IEEE Transactions on Antennas and Propagation, Vol. 61, Núm. 3, pp. 1180-1190
-
Model-based automated testing of critical PLC programs
IEEE International Conference on Industrial Informatics (INDIN)