Publicaciones en colaboración con investigadores/as de École Polytechnique Fédérale de Lausanne (5)

2015

  1. Applying model checking to industrial-sized PLC programs

    IEEE Transactions on Industrial Informatics, Vol. 11, Núm. 6, pp. 1400-1410

  2. Real-Time Simulation Technologies for Power Systems Design, Testing, and Analysis

    IEEE Power and Energy Technology Systems Journal, Vol. 2, pp. 63-73

2013

  1. 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

  2. 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

  3. Model-based automated testing of critical PLC programs

    IEEE International Conference on Industrial Informatics (INDIN)