María-Emilia Cambronero

52 papers A 1B 2C 6Misc 3Journal 25Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. PeerJ Comput. Sci. María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo
2023	J	`jnl`	Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. PeerJ Comput. Sci. Estefanía Coronado, Valentín Valero, María-Emilia Cambronero, Luis Orozco-Barbosa
2023	J	`jnl`	Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures. J. Cloud Comput. Pablo C. Cañizares, Alberto Núñez, Adrian Bernal, María-Emilia Cambronero, Adam Barker
2022	J	`jnl`	Evaluating cloud interactions with costs and SLAs. J. Supercomput. Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
2022	J	`jnl`	GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. PeerJ Comput. Sci. María-Emilia Cambronero, Miguel A. Martínez, José Luis de la Vara, David Cebrián, Valentín Valero
2021	J	`jnl`	Analyzing the Cloud Performance Using Different User Subscription Times. Int. J. Softw. Eng. Knowl. Eng. Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz
2021	J	`jnl`	Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
2021	J	`jnl`	Profiling SLAs for cloud system infrastructures and user interactions. PeerJ Comput. Sci. María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
2021	C	`conf`	Studying the Impact of the User Subscription Times in Different Cloud Configurations. SEKE Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
2020	B	`conf`	Runtime Verification of Contracts with Themulus. SEFM Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2020	C	`conf`	Themulus: A Timed Contract-calculus. MODELSWARD Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2019	J	`jnl`	A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares
2019	J	`jnl`	Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput. Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
2019	J	`jnl`	Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. J. Univers. Comput. Sci. Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana
2019	J	`jnl`	Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. Softw. Syst. Model. Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero
2018	J	`jnl`	Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa
2017	J	`jnl`	A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access María-Emilia Cambronero, Luis Llana, Gordon J. Pace
2017	J	`jnl`	Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. IEEE Trans. Software Eng. Valentín Valero, Gregorio Díaz, María-Emilia Cambronero
2017	C	`conf`	Timed Contract Compliance Under Event Timing Uncertainty. JURIX María-Emilia Cambronero, Luis Llana, Gordon J. Pace
2016	B	`conf`	The Simulation Relation for Formal E-Contracts. SOFSEM Luis Llana, María-Emilia Cambronero, Gregorio Díaz
2015	C	`conf`	Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero
2015	Misc	`conf`	Model-checking verification of publish-subscribe architectures in web service contexts. SAC Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz
2014	J	`jnl`	Specification and Verification of NormativeTexts Using C-O Diagrams. IEEE Trans. Software Eng. Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
2013	Misc	`conf`	Modelling Distributed Service Systems with Resources Using UML. ICCS María-Emilia Cambronero, Valentín Valero
2012	J	`jnl`	Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz
2012	J	`jnl`	WST: a tool supporting timed composite Web Services Model transformation. Simul. María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra
2011	A	`conf`	Contractually Compliant Service Compositions. ICSOC Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero
2011	J	`jnl`	Design and Generation of Web Services Choreographies with Time Constraints. J. Univers. Comput. Sci. María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez
2011	—	`conf`	Timed Automata Semantics for Visual e-Contracts FLACOS Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
2011	J	`jnl`	Validation and verification of Web services choreographies by using timed automata. J. Log. Algebraic Methods Program. María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
2010	—	`conf`	A Model for Visual Specification of E-contracts. IEEE SCC Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
2010	—	`conf`	Formal Passive Testing of Service-Oriented Systems. IEEE SCC César Andrés, María-Emilia Cambronero, Manuel Núñez
2010	—	`conf`	Passive Testing of Web Services. WS-FM César Andrés, María-Emilia Cambronero, Manuel Núñez
2010	J	`jnl`	Verification of real-time systems design. Softw. Test. Verification Reliab. María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz
2009	—	`conf`	A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
2009	J	`jnl`	A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebraic Methods Program. Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià
2009	J	`jnl`	A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebraic Methods Program. Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià
2009	C	`conf`	Design and Verification of Web Services Compositions. ICIW Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
2009	J	`jnl`	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2009	—	`conf`	Time Ordering Architecture in SCA. TAMoCo Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz
2008	—	`conf`	Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
2007	J	`jnl`	Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2007	—	`conf`	Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2007	—	`conf`	Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2007	Misc	`conf`	Using RT-UML for modelling web services. SAC María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero
2007	C	`conf`	Using UML Diagrams to Model Real-Time Web Services. ICIW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero
2006	—	`conf`	Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero
2006	—	`conf`	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2006	—	`conf`	RT-UML for modeling Real-Time Web Services. SCW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo
2005	—	`conf`	Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero