María-Emilia Cambronero

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 22

Top Topics

Publish Subscribe

Top Venues

PeerJ Comput. Sci.

Softw. Syst. Model.

J. Supercomput.

Publications

María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. PeerJ Comput. Sci. 10 (2024)
Estefanía Coronado, Valentín Valero, María-Emilia Cambronero, Luis Orozco-Barbosa
Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. PeerJ Comput. Sci. 9 (2023)
Pablo C. Cañizares, Alberto Núñez, Adrian Bernal, María-Emilia Cambronero, Adam Barker
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures. J. Cloud Comput. 12 (1) (2023)
María-Emilia Cambronero, Miguel A. Martínez, José Luis de la Vara, David Cebrián, Valentín Valero
GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. PeerJ Comput. Sci. 8 (2022)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Evaluating cloud interactions with costs and SLAs. J. Supercomput. 78 (6) (2022)
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
Studying the Impact of the User Subscription Times in Different Cloud Configurations. SEKE (2021)
María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
Profiling SLAs for cloud system infrastructures and user interactions. PeerJ Comput. Sci. 7 (2021)
Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz
Analyzing the Cloud Performance Using Different User Subscription Times. Int. J. Softw. Eng. Knowl. Eng. 31 (11&12) (2021)
Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. 20 (2) (2021)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Runtime Verification of Contracts with Themulus. SEFM (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Themulus: A Timed Contract-calculus. MODELSWARD (2020)
Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. J. Univers. Comput. Sci. 25 (7) (2019)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput. 75 (12) (2019)
Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. Softw. Syst. Model. 18 (5) (2019)
Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares
A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access 7 (2019)
María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access 6 (2018)
Valentín Valero, Gregorio Díaz, María-Emilia Cambronero
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. IEEE Trans. Software Eng. 43 (1) (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access 5 (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
Timed Contract Compliance Under Event Timing Uncertainty. JURIX (2017)
Luis Llana, María-Emilia Cambronero, Gregorio Díaz
The Simulation Relation for Formal E-Contracts. SOFSEM (2016)
Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz
Model-checking verification of publish-subscribe architectures in web service contexts. SAC (2015)
Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS (2015)
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, Valentín Valero
Modelling Distributed Service Systems with Resources Using UML. ICCS (2013)
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) (2012)
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, 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)
César Andrés, María-Emilia Cambronero, Manuel Núñez
Passive Testing of Web Services. WS-FM (2010)
María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz
Verification of real-time systems design. Softw. Test. Verification Reliab. 20 (1) (2010)
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
A Model for Visual Specification of E-contracts. IEEE SCC (2010)
César Andrés, María-Emilia Cambronero, Manuel Núñez
Formal Passive Testing of Service-Oriented Systems. IEEE SCC (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)
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)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. 40 (3-4) (2009)
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
Design and Verification of Web Services Compositions. ICIW (2009)
Valentín 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. Algebraic Methods Program. 78 (5) (2009)
Valentín 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. Algebraic Methods Program. 78 (8) (2009)
Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo (2008)
Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. 10 (2) (2007)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN (2007)
María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero
Using UML Diagrams to Model Real-Time Web Services. ICIW (2007)
Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS (2007)
María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero
Using RT-UML for modelling web services. SAC (2007)
Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW (2006)
Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero
Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM (2006)
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)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM (2005)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. WWV (2005)