María-Emilia Cambronero

Orcid: 0000-0003-2153-8830

According to our database1, María-Emilia Cambronero authored at least 50 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures.
J. Cloud Comput., December, 2023

Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility.
PeerJ Comput. Sci., 2023

2022
Evaluating cloud interactions with costs and SLAs.
J. Supercomput., 2022

GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant.
PeerJ Comput. Sci., 2022

2021
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets.
Softw. Syst. Model., 2021

Profiling SLAs for cloud system infrastructures and user interactions.
PeerJ Comput. Sci., 2021

Analyzing the Cloud Performance Using Different User Subscription Times.
Int. J. Softw. Eng. Knowl. Eng., 2021

Studying the Impact of the User Subscription Times in Different Cloud Configurations.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020
Runtime Verification of Contracts with Themulus.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.
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.
J. Supercomput., 2019

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.
Softw. Syst. Model., 2019

Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review.
J. Univers. Comput. Sci., 2019

A Framework for Modeling Cloud Infrastructures and User Interactions.
IEEE Access, 2019

2018
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets.
IEEE Access, 2018

2017
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.
IEEE Trans. Software Eng., 2017

A Calculus Supporting Contract Reasoning and Monitoring.
IEEE Access, 2017

Timed Contract Compliance Under Event Timing Uncertainty.
Proceedings of the Legal Knowledge and Information Systems, 2017

2016
The Simulation Relation for Formal E-Contracts.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015
Model-checking verification of publish-subscribe architectures in web service contexts.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014
Specification and Verification of NormativeTexts Using C-O Diagrams.
IEEE Trans. Software Eng., 2014

2013
Modelling Distributed Service Systems with Resources Using UML.
Proceedings of the International Conference on Computational Science, 2013

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

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.
Sci. Comput. Program., 2012

2011
Design and Generation of Web Services Choreographies with Time Constraints.
J. Univers. Comput. Sci., 2011

Validation and verification of Web services choreographies by using timed automata.
J. Log. Algebraic Methods Program., 2011

Timed Automata Semantics for Visual e-Contracts
Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

Contractually Compliant Service Compositions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010
Verification of real-time systems design.
Softw. Test. Verification Reliab., 2010

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

A Model for Visual Specification of E-contracts.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

Formal Passive Testing of Service-Oriented Systems.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Telecommun. Syst., 2009

A barred operational semantics for a subset of WS-CDL with time restrictions.
J. Log. Algebraic Methods Program., 2009

A Petri net approach for the design and analysis of Web Services Choreographies.
J. Log. Algebraic Methods Program., 2009

Time Ordering Architecture in SCA.
Proceedings of the Techniques and Applications for Mobile Commerce, 2009

Design and Verification of Web Services Compositions.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Comparative Study between WSCI, WS-CDL, and OWL-S.
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

2008
Enhancing the expressivity of PADL for specifying Web Services Architectures.
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.
CLEI Electron. J., 2007

Using RT-UML for modelling web services.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.
Proceedings of the Wireless Sensor and Actor Networks, 2007

Using UML Diagrams to Model Real-Time Web Services.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Testing Time Goal-Driven Requirements with Model Checking Techniques.
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.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

RT-UML for modeling Real-Time Web Services.
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.
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.
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Automatic Translation of WS-CDL Choreographies to Timed Automata.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005


  Loading...