Publicacions en col·laboració amb investigadors/es de Universidad Politécnica de Madrid (3)

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

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