María-Emilia Cambronero

According to our database, María-Emilia Cambronero authored at least 51 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies.

María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo

PeerJ Comput. Sci., 2024

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., December, 2023

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

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

GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant.

María-Emilia Cambronero, Miguel A. Martínez, José Luis de la Vara, David Cebrián, Valentín Valero

PeerJ Comput. Sci., 2022

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

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

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

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

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020

Runtime Verification of Contracts with Themulus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

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

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.

Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero

Softw. Syst. Model., 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

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

2018

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

2017

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.

Valentín Valero, Gregorio Díaz, María-Emilia Cambronero

IEEE Trans. Software Eng., 2017

A Calculus Supporting Contract Reasoning and Monitoring.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

IEEE Access, 2017

Timed Contract Compliance Under Event Timing Uncertainty.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2017

2016

The Simulation Relation for Formal E-Contracts.

Luis Llana, María-Emilia Cambronero, Gregorio Díaz

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015

Model-checking verification of publish-subscribe architectures in web service contexts.

Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources.

Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

Specification and Verification of NormativeTexts Using C-O Diagrams.

Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider

IEEE Trans. Software Eng., 2014

2013

Modelling Distributed Service Systems with Resources Using UML.

María-Emilia Cambronero, Valentín Valero

Proceedings of the International Conference on Computational Science, 2013

2012

WST: a tool supporting timed composite Web Services Model transformation.

María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra

Simul., 2012

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

Sci. Comput. Program., 2012

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

Validation and verification of Web services choreographies by using timed automata.

María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez

J. Log. Algebraic Methods Program., 2011

Timed Automata Semantics for Visual e-Contracts

Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Contractually Compliant Service Compositions.

Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

Verification of real-time systems design.

María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz

Softw. Test. Verification Reliab., 2010

Passive Testing of Web Services.

César Andrés, María-Emilia Cambronero, Manuel Núñez

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

A Model for Visual Specification of E-contracts.

Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

Formal Passive Testing of Service-Oriented Systems.

César Andrés, María-Emilia Cambronero, Manuel Núñez

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Telecommun. Syst., 2009

A barred operational semantics for a subset of WS-CDL with time restrictions.

Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

A Petri net approach for the design and analysis of Web Services Choreographies.

Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

Time Ordering Architecture in SCA.

Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz

Proceedings of the Techniques and Applications for Mobile Commerce, 2009

Design and Verification of Web Services Compositions.

Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero

Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Comparative Study between WSCI, WS-CDL, and OWL-S.

María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero

Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

2008

Enhancing the expressivity of PADL for specifying Web Services Architectures.

Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14, 2008

2007

Model Checking Techniques applied to the design of Web Services.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

CLEI Electron. J., 2007

Using RT-UML for modelling web services.

María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Wireless Sensor and Actor Networks, 2007

Using UML Diagrams to Model Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Testing Time Goal-Driven Requirements with Model Checking Techniques.

Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Analysis and Verification of Time Requirements Applied to the Web Services Composition.

Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

RT-UML for modeling Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Verification of Web Services with Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Automatic Translation of WS-CDL Choreographies to Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005