Publications in collaboration with researchers from Universidad Politécnica de Madrid (5)

2024

  1. Use of Artificial Intelligence as an Enabler for the Implementation of ETCS L3 and Other Innovative Rail Services

    Studies in Computational Intelligence (Springer Science and Business Media Deutschland GmbH), pp. 353-393

2018

  1. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

2017

  1. Vehicular communications

    Intelligent Vehicles: Enabling Technologies and Future Developments (Elsevier), pp. 103-139

2015

  1. Model-based verification of safety contracts

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

  2. Run-time variability for context-aware smart workflows

    IEEE Software, Vol. 32, Núm. 3, pp. 52-60