Skip to content

Mara-Emilia Cambronero

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

10

Active years

2007–2021

Best venue rank

Multiconference

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2021SEKEStudying the Impact of the User Subscription Times in Different Cloud Configurations.Hernn-Indibil de la Cruz, Mara-Emilia Cambronero, Valentn Valero, Pablo C. Caizares, Adrian Bernal, Alberto Nez
2020MODELSWARDThemulus: A Timed Contract-calculus.Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2020SEFMRuntime Verification of Contracts with Themulus.Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2017JURIXTimed Contract Compliance Under Event Timing Uncertainty.Mara-Emilia Cambronero, Luis Llana, Gordon J. Pace
2016SOFSEMThe Simulation Relation for Formal E-Contracts.Luis Llana, Mara-Emilia Cambronero, Gregorio Daz
2015FMICSColored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources.Valentn Valero, Hermenegilda Maci, Gregorio Daz, Mara-Emilia Cambronero
2015SACModel-checking verification of publish-subscribe architectures in web service contexts.Gregorio Daz, Mara-Emilia Cambronero, Hermenegilda Maci, Valentn Valero Ruiz
2013ICCSModelling Distributed Service Systems with Resources Using UML.Mara-Emilia Cambronero, Valentn Valero
2011ICSOCContractually Compliant Service Compositions.Enrique Martnez, Gregorio Daz, Mara-Emilia Cambronero
2009ICIWDesign and Verification of Web Services Compositions.Enrique Martnez, Mara-Emilia Cambronero, Gregorio Daz, Valentn Valero
2007ICIWUsing UML Diagrams to Model Real-Time Web Services.Mara-Emilia Cambronero, Gregorio Daz, Juan Jos Pardo, Valentn Valero
2007SACUsing RT-UML for modelling web services.Mara-Emilia Cambronero, Juan Jos Pardo, Gregorio Daz, Valentn Valero