E-LIB Suche - Ergebnisse für: Cambronero, María Emilia

1

Specification and Verification of Normative Texts Using C-O..:

Diaz, Gregorio ; Cambronero, Maria Emilia ; Martinez, Enrique.
IEEE Transactions on Software Engineering. 40 (2014) 8 - p. 795-817 , 2014

Link: https://doi.org/10.1109/..

2

Transforming Web Services Choreographies with priorities an..:

Valero, Valentín ; Macià, Hermenegilda ; Pardo, Juan José..
Science of Computer Programming. 77 (2012) 3 - p. 290-313 , 2012

Link: https://doi.org/10.1016/..

3

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

Valero, Valentı´n ; Díaz, Gregorio ; Cambronero, María Emilia.
The Journal of Logic and Algebraic Programming. 78 (2009) 8 - p. 730-748 , 2009

Link: https://doi.org/10.1016/..

4

Modeling and simulation of the IEEE 802.11e wireless protoc..:

Coronado, Estefanía ; Valero, Valentín ; Orozco-Barbosa, Luis..
Software and Systems Modeling. 20 (2020) 2 - p. 505-538 , 2020

Link: https://doi.org/10.1007/..

5

Runtime Verification of Contracts with Themulus:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Aranda García, Alberto ; Cambronero, María-Emilia ; Colombo, Christian.. - p. 231-246 , 2020

Link: https://doi.org/10.1007/..

6

Profiling the publish/subscribe paradigm for automated anal..:

Gómez, Abel ; Rodríguez, Ricardo J. ; Cambronero, María-Emilia.
Software & Systems Modeling. 18 (2019) 5 - p. 2973-3003 , 2019

Link: https://doi.org/10.1007/..

7

Using unified modelling language to model the publish/subsc..:

Valero, Valentín ; Cambronero, María-Emilia
Mathematical and Computer Modelling of Dynamical Systems. 23 (2017) 6 - p. 570-594 , 2017

Link: https://doi.org/10.1080/..

8

Timed Automata Modeling and Verification for Publish-Subscr..:

Valero, Valentin ; Diaz, Gregorio ; Cambronero, Maria-Emilia
IEEE Transactions on Software Engineering. 43 (2017) 1 - p. 76-99 , 2017

Link: https://doi.org/10.1109/..

9

Verification of Web Services with Timed Automata:

Diaz, Gregorio ; Pardo, Juan-José ; Cambronero, María-Emilia..
Electronic Notes in Theoretical Computer Science. 157 (2006) 2 - p. 19-34 , 2006

Link: https://doi.org/10.1016/..

10

Profiling the publish/subscribe paradigm for automated anal..:

Gómez Llana, Abel ; Rodríguez, Ricardo J ; Cambronero, María Emilia.
Software and Systems Modeling, 2019, 18(). , 2019

Link: http://hdl.handle.net/10..

11

Modeling and simulation of the IEEE 802.11e wireless protoc..:

Fernando L. Pelayo ; Luis Orozco-Barbosa ; María-Emilia Cambronero..
url:https://www.openaccessrepository.it/communities/itmirror. , 2020

Link: https://www.openaccessre..

12

Adaptación y ejecución de aplicaciones MPI en entornos de s..:

Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor...
PIMCD2018. , 2019

Link: https://hdl.handle.net/2..

13

A timed contract-calculus:

Cambronero, Maria-Emilia ; Llana, Luis ; Pace, Gordon J
Cambronero, M. E., Llana, L., & Pace, G. J. (2017). A timed contract-calculus (No. CS2017-02). Msida, Malta.. , 2017

Link: https://www.um.edu.mt/li..

14

Modelling, Simulation and Performance Evaluation of the IEE..:

María Emilia Cambronero
doi:10.5281/zenodo.7257375. , 2022

Link: https://zenodo.org/recor..

15

Modelling, Simulation and Performance Evaluation of the IEE..:

María Emilia Cambronero
doi:10.5281/zenodo.7257375. , 2022

Link: https://zenodo.org/recor..