research
∙
12/14/2022
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
We present PSTMonitor, a tool for the run-time verification of quantitat...
share
research
∙
01/27/2022
Taxonomy of Security Weaknesses in Java and Kotlin Android Apps
Android is nowadays the most popular operating system in the world, not ...
research
∙
07/19/2021
Towards Probabilistic Session-Type Monitoring
We present a tool-based approach for the runtime analysis of communicati...
research
∙
07/23/2020
Probabilistic Analysis of Binary Sessions
We study a probabilistic variant of binary session types that relate to ...
research
∙
05/18/2020
Flexibility Is Key in Organizing a Global Professional Conference Online: The ICPE 2020 Experience in the COVID-19 Era
Organizing professional conferences online has never been more timely. R...
research
∙
09/09/2019
Do you really follow them? Automatic detection of credulous Twitter users
Online Social Media represent a pervasive source of information able to ...
research
∙
01/15/2018