Publicaciones en colaboración con investigadores/as de European Organization for Nuclear Research (6)

2015

  1. Applying model checking to industrial-sized PLC programs

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

2014

  1. Bringing automated model checking to PLC program development - A CERN case study

    IFAC Proceedings Volumes (IFAC-PapersOnline)

  2. Bringing automated model checking to plc program development - A CERN case study

    Advances in the Astronautical Sciences

  3. Formal verification of complex properties on PLC programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Modelling and formal verification of timing aspects in large PLC programs

    IFAC Proceedings Volumes (IFAC-PapersOnline)

2013

  1. Model-based automated testing of critical PLC programs

    IEEE International Conference on Industrial Informatics (INDIN)