Publications in collaboration with researchers from Universidad de Castilla-La Mancha (8)

2017

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

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

2012

  1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

    Journal of Logic and Algebraic Programming

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

    Procedia Computer Science

2011

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

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

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)

2005

  1. A formal methodology to test complex embedded systems: Application to interactive driving system

    IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

  2. Editorial track on E-commerce technologies

    Proceedings of the ACM Symposium on Applied Computing