Gregorio Díaz

Gregorio Díaz Descalzo

University of Castilla-La Mancha, Spain

	2012
j11		Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo: A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebr. Program. 81(2): 127-159 (2012)
j10		Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz: Improving the Automatic Derivation of Choreography-conforming Web Services Systems. Procedia CS 9: 449-458 (2012)
j9		Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz: Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77(3): 290-313 (2012)
j8		María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, M. Llanos Tobarra: WST: a tool supporting timed composite Web Services Model transformation. Simulation 88(3): 349-364 (2012)
c28		Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo: Conformance Verification of Normative Specifications using C-O Diagrams. FLACOS 2012: 1-10
i1		José Antonio Mateo, Valentin Valero, Gregorio Díaz: BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources. CoRR abs/1203.1760 (2012)
	2011
j7		María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez: Validation and verification of Web services choreographies by using timed automata. J. Log. Algebr. Program. 80(1): 25-49 (2011)
c27		Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero: Contractually Compliant Service Compositions. ICSOC 2011: 636-644
c26		Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz: DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS 2011: 187-194
c25		José Antonio Mateo, Valentin Valero, Gregorio Díaz: An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM 2011: 79-94
c24		Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider: Timed Automata Semantics for Visual e-Contracts. FLACOS 2011: 7-21
	2010
j6		María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz: Verification of real-time systems design. Softw. Test., Verif. Reliab. 20(1): 3-37 (2010)
c23		Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider: A Model for Visual Specification of E-contracts. IEEE SCC 2010: 1-8
	2009
j5		Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià: A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebr. Program. 78(5): 359-380 (2009)
j4		Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià: A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebr. Program. 78(8): 730-748 (2009)
j3		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero: Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommunication Systems 40(3-4): 91-99 (2009)
c22		Gregorio Díaz, Ismael Rodríguez: Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC 2009: 9-16
c21		Gregorio Díaz, Ismael Rodríguez: Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE 2009: 231-236
c20		María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentin Valero: A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE 2009: 377-382
c19		Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero: Design and Verification of Web Services Compositions. ICIW 2009: 395-400
c18		César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang: Formal Study of Prioritized Service Compositions. SITIS 2009: 355-362
c17		Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz: Time Ordering Architecture in SCA. TAMoCo 2009: 117-126
e2		Juan Enrique Agudo, Cherif Branki, Brian Cross, Gregorio Díaz, Frank-Dieter Dorloff, Guadalupe Ortiz, Key Pousttchi, Martin Randles, Mercedes Rico, Héctor Sánchez, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland (Eds.): Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2009, 16-17 September 2009, Mérida, Spain. Frontiers in Artificial Intelligence and Applications 201, IOS Press 2009, isbn 978-1-60750-052-0
	2008
c16		Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo: Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo 2008: 99-110
e1		Cherif Branki, Brian Cross, Gregorio Díaz, Peter Langendörfer, Fritz Laux, Guadalupe Ortiz, Martin Randles, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland, Gerhard Wanner (Eds.): Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14 - 15 January 2008. Frontiers in Artificial Intelligence and Applications 169, IOS Press 2008, isbn 978-1-58603-826-7
	2007
j2		Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero: Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. 10(2) (2007)
c15		Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto: Does ROSA provide a good view of the Memorizing Process? IEEE ICCI 2007: 273-283
c14		Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS 2007: 503-514
c13		María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero: Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24
c12		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
c11		María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648
	2006
j1		Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. Electr. Notes Theor. Comput. Sci. 157(2): 19-34 (2006)
c10		Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero: Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW 2006: 186
c9		María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo: RT-UML for modeling Real-Time Web Services. SCW 2006: 131-139
c8		Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero: Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM 2006: 178-192
	2005
c7		Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz: Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference 2005: 118-127
c6		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM 2005: 215-229
c5		Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM 2005: 230-242
c4		Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero: An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC 2005: 815-820
c3		Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. WWV 2005: 177-191
	2004
c2		Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794
	2001
c1		María del Carmen Carrión, Gregorio Díaz, Blanca Caminero-Herráez: Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. ICPP 2001: 33-40

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 01:52:09 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page