We present PSTMonitor, a tool for the run-time verification of quantitat...
Android is nowadays the most popular operating system in the world, not ...
We present a tool-based approach for the runtime analysis of communicati...
We study a probabilistic variant of binary session types that relate to ...
Organizing professional conferences online has never been more timely.
R...
Online Social Media represent a pervasive source of information able to ...
Software engineers often have to estimate the performance of a software
...