Automatic Translation of WS-CDL Choreographies to Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (EPEW/WS-FM, 2005)

Verification of Web Services with Timed Automata. - Gregorio Díaz 001; Juan José Pardo; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (WWV, 2005)

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (AICT/ICIW, 2006)

RT-UML for modeling Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero Ruiz; Fernando L. Pelayo (SCW, 2006)

Analysis and Verification of Time Requirements Applied to the Web Services Composition. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero; Fernando Cuartero (WS-FM, 2006)

Testing Time Goal-Driven Requirements with Model Checking Techniques. - Gregorio Díaz 001; Elena Navarro 001; María-Emilia Cambronero; Valentín Valero; Fernando Cuartero (ECBS, 2007)

Using UML Diagrams to Model Real-Time Web Services. - María-Emilia Cambronero; Gregorio Díaz 001; Juan José Pardo; Valentín Valero (ICIW, 2007)

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (WSAN, 2007)

Using RT-UML for modelling web services. - María-Emilia Cambronero; Juan José Pardo; Gregorio Díaz 001; Valentín Valero (SAC, 2007)

Model Checking Techniques applied to the design of Web Services. - Gregorio Díaz 001; María-Emilia Cambronero; Juan José Pardo; Valentín Valero; Fernando Cuartero (CLEI Electron. J., 2007)

Enhancing the expressivity of PADL for specifying Web Services Architectures. - Gregorio Díaz 001; María-Emilia Cambronero; Llanos Tobarra; Valentín Valero Ruiz; Fernando L. Pelayo (TAMoCo, 2008)

A Comparative Study between WSCI, WS-CDL, and OWL-S. - María-Emilia Cambronero; Gregorio Díaz 001; Enrique Martínez; Valentín Valero (ICEBE, 2009)

Design and Verification of Web Services Compositions. - Enrique Martínez; María-Emilia Cambronero; Gregorio Díaz 001; Valentín Valero (ICIW, 2009)

Time Ordering Architecture in SCA. - Enrique Martínez; Gregorio Díaz 001; Carmen Rosa Martínez; María-Emilia Cambronero; Valentín Valero Ruiz (TAMoCo, 2009)

A Petri net approach for the design and analysis of Web Services Choreographies. - Valentín Valero; María-Emilia Cambronero; Gregorio Díaz 001; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

A barred operational semantics for a subset of WS-CDL with time restrictions. - Valentín Valero; Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. - Llanos Tobarra; Diego Cazorla; Fernando Cuartero; Gregorio Díaz 001; María-Emilia Cambronero (Telecommun. Syst., 2009)

Formal Passive Testing of Service-Oriented Systems. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (IEEE SCC, 2010)

A Model for Visual Specification of E-contracts. - Enrique Martínez; Gregorio Díaz 001; María-Emilia Cambronero; Gerardo Schneider (IEEE SCC, 2010)

Passive Testing of Web Services. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (WS-FM, 2010)

Verification of real-time systems design. - María-Emilia Cambronero; Valentín Valero Ruiz; Gregorio Díaz 001 (Softw. Test. Verification Reliab., 2010)

Contractually Compliant Service Compositions. - Enrique Martínez; Gregorio Díaz 001; María-Emilia Cambronero (ICSOC, 2011)

Timed Automata Semantics for Visual e-Contracts - Enrique Martínez; María-Emilia Cambronero; Gregorio Díaz 001; Gerardo Schneider (FLACOS, 2011)

Validation and verification of Web services choreographies by using timed automata. - María-Emilia Cambronero; Gregorio Díaz 001; Valentín Valero; Enrique Martínez (J. Log. Algebraic Methods Program., 2011)

Design and Generation of Web Services Choreographies with Time Constraints. - María-Emilia Cambronero; Valentín Valero Ruiz; Enrique Martínez (J. Univers. Comput. Sci., 2011)

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. - Valentín Valero Ruiz; Hermenegilda Macià; Juan José Pardo; María-Emilia Cambronero; Gregorio Díaz 001 (Sci. Comput. Program., 2012)

WST: a tool supporting timed composite Web Services Model transformation. - María-Emilia Cambronero; Gregorio Díaz 001; Enrique Martínez; Valentín Valero Ruiz; Llanos Tobarra (Simul., 2012)

Modelling Distributed Service Systems with Resources Using UML. - María-Emilia Cambronero; Valentín Valero (ICCS, 2013)

Specification and Verification of NormativeTexts Using C-O Diagrams. - Gregorio Díaz 001; María-Emilia Cambronero; Enrique Martínez; Gerardo Schneider (IEEE Trans. Software Eng., 2014)

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. - Valentín Valero; Hermenegilda Macià; Gregorio Díaz 001; María-Emilia Cambronero (FMICS, 2015)

Model-checking verification of publish-subscribe architectures in web service contexts. - Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz (SAC, 2015)

The Simulation Relation for Formal E-Contracts. - Luis Llana; María-Emilia Cambronero; Gregorio Díaz 001 (SOFSEM, 2016)

Timed Contract Compliance Under Event Timing Uncertainty. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (JURIX, 2017)

A Calculus Supporting Contract Reasoning and Monitoring. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (IEEE Access, 2017)

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. - Valentín Valero; Gregorio Díaz 001; María-Emilia Cambronero (IEEE Trans. Software Eng., 2017)

Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. - María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz; Luis Orozco-Barbosa (IEEE Access, 2018)

A Framework for Modeling Cloud Infrastructures and User Interactions. - Adrian Bernal; María-Emilia Cambronero; Valentín Valero Ruiz; Alberto Nuñez; Pablo C. Cañizares (IEEE Access, 2019)

Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. - Sonia Estévez Martín; María-Emilia Cambronero; Yolanda García-Ruiz; Luis Llana (J. Univers. Comput. Sci., 2019)

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. - Abel Gómez 001; Ricardo J. Rodríguez; María-Emilia Cambronero; Valentín Valero (Softw. Syst. Model., 2019)

Improving cloud architectures using UML profiles and M2T transformation techniques. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2019)

Themulus: A Timed Contract-calculus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (MODELSWARD, 2020)

Runtime Verification of Contracts with Themulus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (SEFM, 2020)

Studying the Impact of the User Subscription Times in Different Cloud Configurations. - Hernán-Indibil de la Cruz; María-Emilia Cambronero; Valentín Valero; Pablo C. Cañizares; Adrian Bernal; Alberto Núñez (SEKE, 2021)

Analyzing the Cloud Performance Using Different User Subscription Times. - Adrian Bernal; María-Emilia Cambronero; Pablo C. Cañizares; Alberto Núñez; Valentín Valero; Hernán-Indibil de la Cruz (Int. J. Softw. Eng. Knowl. Eng., 2021)

Profiling SLAs for cloud system infrastructures and user interactions. - María-Emilia Cambronero; Adrian Bernal; Valentín Valero; Pablo C. Cañizares; Alberto Núñez (PeerJ Comput. Sci., 2021)

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. - Estefanía Coronado; Valentín Valero; Luis Orozco-Barbosa; María-Emilia Cambronero; Fernando L. Pelayo (Softw. Syst. Model., 2021)

GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. - María-Emilia Cambronero; Miguel A. Martínez 003; José Luis de la Vara; David Cebrián; Valentín Valero (PeerJ Comput. Sci., 2022)

Evaluating cloud interactions with costs and SLAs. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2022)

Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. - Estefanía Coronado; Valentín Valero; María-Emilia Cambronero; Luis Orozco-Barbosa (PeerJ Comput. Sci., 2023)

Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures. - Pablo C. Cañizares; Alberto Núñez; Adrian Bernal; María-Emilia Cambronero; Adam Barker (J. Cloud Comput., 2023)

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. - María-Emilia Cambronero; Miguel A. Martínez 003; Luis Llana; Ricardo J. Rodríguez; Alejandro Russo (PeerJ Comput. Sci., 2024)