ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
![Foto de ISMAEL](/img/nophoto.png)
![Foto de Universidad de Castilla-La Mancha](/img/noimage_org.png)
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (8)
2017
-
Data-aware automatic derivation of choreography-conforming systems of services
Computer Standards and Interfaces, Vol. 53, pp. 59-79
2012
-
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Journal of Logic and Algebraic Programming
-
Improving the automatic derivation of choreography-conforming web services systems
Procedia Computer Science
2011
-
DIEGO: A tool for deriving chorEoGraphy-cOnforming web service systems
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
2009
-
Automatically deriving choreography-conforming systems of services
SCC 2009 - 2009 IEEE International Conference on Services Computing
-
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
-
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
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing