Enrique Martínez López

 

 

 

 

SpanishEnglish

 

 

 

 

 

 

Contact Information

Enrique Alemania

 

University of Castilla-La Mancha

 

School of Computer Science at Albacete

 

Campus Universitario s/n

 

02071 - Albacete, Spain

 

Phone: +34 967 599200 ext. 2678

 

 

 

 

 

Ph.D. in Advanced Information Technology

Research

 

University of Castilla-La Mancha

Albacete Research Institute of Informatics

Enrique Hong-Kong

 

School of Computer Science at Albacete

Real-Time and Concurrent Systems (ReTiCS)

 

 Department of Computing Systems

 

 

 

Projects

 

Reference

Title

 

TIN2009-14312-C02-02

MODELLING AND ANALYSIS OF COMPOSED WEB SERVICES USING FORMAL TECHNIQUES

 

 

 

 

 

 

 

 

Brief resume

 

Enrique Martínez López was born in Albacete (Spain) the 3 of January 1983.

He received his degree in Computer Science from the University of Castilla-La Mancha in 2007, his bachelor in Advanced Information Technologies in 2009 and his Ph.D. in Advanced Information Technologies in 2011, in both cases from the Department of Computing Systems at the University of Castilla-La Mancha.

He is a member of the ReTiCS (Real-Time and Concurrent Systems) research group of the I3A (Albacete Research Institute of Informatics). Previously, between 2006 and 2007, he was collaborating with the SIDIS (Distributed Information Systems and Software Engineering) research group of the I3A. His research lines focus on the analysis, design and verification of composed Web Services (being one of the developers of the WST tool for this purpose), and the modelling, analysis and verification of electronic contracts (e-contracts).

He has been funded in his Ph.D. research by the Consejería de Educación y Ciencia de Castilla-La Mancha for the period between 2008 y 2011 (both inclusive). As part of his Ph.D. research he has done a stay of 3 months in the Department of Applied IT (department shared between Chalmers and University of Gothenburg, placed both in Gothenburg, Sweden) under the supervision of Professor Gerardo Schneider.

He has also collaborated in the organization of the following congresses:

Teaching

He has taught the following courses in the Department of Computing Systems at the University of Castilla-La Mancha:

  • 2011: Practice in Distributed Systems (30 hours, fifth four-month period of the degree in computer science).
  • 2010: Practice in Distributed Systems (30 hours, fifth four-month period of the degree in computer science).
  • 2009: Practice in Operating Systems II (30 hours, second four-month period of the third course of the old degree in computer science).

He has been also the co-directo of the following undergraduate thesis projects:

  • VKAOS: Modelizador de Requisitos    para el Análisis y Verificación de Servicios Web (together with María Emilia Cambronero Piqueras, assigned to Valentín Picazo Piqueras).
  • Modelización de Requisitos para la Verificación de Coreografías de Servicios Web (together with María Emilia Cambronero Piqueras, assigned to Julio Dieguez Rodríguez).

Contributions

Some of his contributions can be found in DBLP, the rest are enumerated bellow:

       Contributions to journals indexed by JCR:

  • 2012: “WST: A Tool Supporting Composite Web Services Model Transformation”. María Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez y Llanos Tobarra. Published in SIMULATION: Transactions of The Society for Modeling and Simulation International, 83(3): 349-364, SAGE Publications.
  • 2011: “Design and Generation of Web Services Choreographies with Time Constraints”. María Emilia Cambronero, Valentín Valero y Enrique Martínez. Published in Journal of Universal Computer Science, 17: 1800-1829, Graz University of Technology, Universiti Malaysia Sarawak and Know-Center.

 

Contributions to national and international conferences and workshops:

  • 2011: “Analysis and Verification of Web Services Resource Framework (WSRF) specifications Using Timed Automata Modeling Conference Contribution Management Using Web Services”. José Antonio Mateo, Valentín Valero, Enrique Martínez y Gregorio Díaz. The Sixth International Conference on Internet and Web Applications and Services (CORE C), pp. 222-227, XPS.
  • 2010: “Automated Analysis of Conflicts in Software Product Lines”. Enrique Martínez y Gerardo Schneider. 1st International Workshop on Formal Methods in Software Product Lines Engineering, in SPLC 2010, Volume 2: pp. 75-82, Lancaster University.
  • 2010: “Visual Specification of Formal e-Contracts”. Enrique Martínez, Gregorio Díaz y María Emilia Cambronero. Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software, pp. 55-62, University of Pisa.
  • 2010: “Modeling Conference Contribution Management Using Web Services”. José Antonio Mateo, Gregorio Díaz, Enrique Martínez y María Emilia Cambronero. The Fifth International Conference on Internet and Web Applications and Services  (CORE C), pp. 463-468, IEEE Computer Society.
  • 2009: “Formal Study of Prioritized Service Compositions”. César Andrés, Gregorio Díaz, Enrique Martínez y Yaofeng Zhang. International conference on signal-image technology & internet based systems, 5th, pp. 355-362, IEEE Computer Society.
  • 2009: “Transforming WS-CDL specifications into Coloured Petri Nets”. Valentín Valero, Hermenegilda Macià y Enrique Martínez. International Workshop on Petri Nets and Software Engineering, pp. 298-313, University of Hamburg.
  • 2009: “A Petri Net Semantics for WS-CDL”. Valentín Valero, Hermenegilda Macià y Enrique Martínez. XVII Jornadas de Concurrencia y Sistemas Distribuidos, pp. 35-50, Universidad Politécnica de Valencia.
  • 2008: “A Tool for the Design and Verification of Composite Web Services”. María Emilia Cambronero, Gregorio Díaz, Valentín Valero y Enrique Martínez. Second International Workshop on Formal Languages and Analysis of Contract-Oriented Software, pp. 9-16, University of Oslo.

 

A more detail curriculum vitae can be downloaded from here.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

For more information, contact with Enrique Martínez López.

 

31.10.2011