Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (32)

2021

  1. Evaluating genetic algorithms through the approximability hierarchy

    Journal of Computational Science, Vol. 53

2020

  1. Runtime Verification of Contracts with Themulus

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

  2. Themulus: A Timed Contract-calculus

    International Conference on Model-Driven Engineering and Software Development

  3. Themulus: A timed contract-calculus

    MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79

  3. Timed contract compliance under event timing uncertainty

    Frontiers in Artificial Intelligence and Applications

2016

  1. The simulation relation for formal E-Contracts

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

2013

  1. Contract compliance monitoring of web services

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

  2. Reagent: Reverse engineering of multi-agent systems

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

2011

  1. DIEGO: A tool for deriving chorEoGraphy-cOnforming web service systems

    Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

  2. Passive testing of web services

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

  3. Summary creation for information discovery in distributed systems

    Proceedings - 19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010