Conformance Verification of Normative Specifications using C-O Diagrams

by Gregorio Díaz, Luis Llana, Valentín Valero, Jose Antonio Mateo
Published 2012-09-01

Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets

by Maria Emilia Cambronero, Hermenegilda Macia, Valentin Valero, Luis Orozco-Barbosa
Published 2018-01-01

Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool

by Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz
Published 2019-01-01

Complex Event Processing Modeling by Prioritized Colored Petri Nets

by Hermenegilda Macia, Valentin Valero, Gregorio Diaz, Juan Boubeta-Puig, Guadalupe Ortiz
Published 2016-01-01

Model Checking Techniques applied to the design of Web Services

by Gregorio Dıaz, Emilia M. Cambronero, Juan J. Pardo, Valentın Valero, Fernando Cuartero
Published 2007-12-01

Profiling SLAs for cloud system infrastructures and user interactions

by M. Emilia Cambronero, Adrián Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
Published 2021-05-01

A Framework for Modeling Cloud Infrastructures and User Interactions

by Adrian Bernal, Maria Emilia Cambronero, Valentin Valero, Alberto Nunez, Pablo C. Canizares
Published 2019-01-01