A Calculus Supporting Contract Reasoning and Monitoring

by Maria Emilia Cambronero, Luis Llana, Gordon J. Pace
Published 2017-01-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

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