Enrique Martínez

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Reactive Systems

Conceptual Model

Top Venues

IEEE Trans. Software Eng.

Publications

Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
Specification and Verification of NormativeTexts Using C-O Diagrams. IEEE Trans. Software Eng. 40 (8) (2014)
María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra
WST: a tool supporting timed composite Web Services Model transformation. Simul. 88 (3) (2012)
María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez
Design and Generation of Web Services Choreographies with Time Constraints. J. Univers. Comput. Sci. 17 (13) (2011)
Enrique Martínez, Paul R. Monasterio, Jaime Marian
Billion-atom synchronous parallel kinetic Monte Carlo simulations of critical 3D Ising systems. J. Comput. Phys. 230 (4) (2011)
Beatriz Remeseiro, Lucía Ramos, Marta Penas, Enrique Martínez, Manuel G. Penedo, Antonio Mosquera González
Colour Texture Analysis for Classifying the Tear Film Lipid Layer: A Comparative Study. DICTA (2011)
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero
Contractually Compliant Service Compositions. ICSOC (2011)
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
Timed Automata Semantics for Visual e-Contracts FLACOS (2011)
María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
Validation and verification of Web services choreographies by using timed automata. J. Log. Algebraic Methods Program. 80 (1) (2011)
Enrique Martínez, Gerardo Schneider
Automated Analysis of Conflicts in Software Product Lines. SPLC Workshops (2010)
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
A Model for Visual Specification of E-contracts. IEEE SCC (2010)
Enrique Martínez, Paul R. Monasterio, Jaime Marian
Billion-atom Synchronous Parallel Kinetic Monte Carlo Simulations of Critical 3D Ising Systems CoRR (2010)
María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE (2009)
Malgorzata Brzeska, Ramiro Quintero, Víctor Mata, Cristina Domingo-Sàbat, Enrique Martínez
Analysis of TMC Antenna Solutions. VTC Spring (2009)
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)
César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang
Formal Study of Prioritized Service Compositions. SITIS (2009)
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
Design and Verification of Web Services Compositions. ICIW (2009)
Enrique Martínez, Jaime Marian, Malvin H. Kalos, José Manuel Perlado
Synchronous parallel kinetic Monte Carlo for continuum diffusion-reaction systems. J. Comput. Phys. 227 (8) (2008)