1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
We propose a framework for expressing and analyzing the Quality of Service (QoS) of message-passing systems using a choreographic model that consists of g-choreographies and Commun…
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
We present MoCheQoS, a bounded model checker to analyse (QoS) properties of message-passing systems. Building on the dynamic temporal logic, the choreographic model, and the bounde…
Integrating deduction and model finding in a language independent setting
Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé
Software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cel phones, and even in more critical activities like aeronautics and health scienc…
Probabilistic Quality of Service aware Service Selection
Agustín E. Martinez Suñé, Carlos G. Lopez Pombo
In software-as-a-service paradigms software systems are no longer monolithic pieces of code executing within the boundaries of an organisation, on the contrary, they are conceived…