Publications by the researcher in collaboration with Gregorio Diaz Descalzo (5)

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)

2012

  1. Improving the automatic derivation of choreography-conforming web services systems

    Procedia Computer Science

2009

  1. Automatically deriving choreography-conforming systems of services

    SCC 2009 - 2009 IEEE International Conference on Services Computing

  2. Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach

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