1 citations · 1 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 1 cited
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…
cs.SE2023
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…