19 citations · 41 across the 7 of their papers we have counts for
9 papers
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2
We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of…
Taxonomy of Security Weaknesses in Java and Kotlin Android Apps
Alejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero +4
Android is nowadays the most popular operating system in the world, not only in the realm of mobile devices, but also when considering desktop and laptop computers. Such a populari…
Towards Probabilistic Session-Type Monitoring
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas +2
We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic…
A Behavioural Analysis of Credulous Twitter Users
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi +1
Thanks to platforms such as Twitter and Facebook, people can know facts and events that otherwise would have been silenced. However, social media significantly contribute also to f…
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…
Flexibility Is Key in Organizing a Global Professional Conference Online: The ICPE 2020 Experience in the COVID-19 Era
Alexandru Iosup, Catia Trubiani, Anne Koziolek +3
Organizing professional conferences online has never been more timely. Responding to the new challenges raised by COVID-19, the organizers of the ACM/SPEC International Conference…
Do you really follow them? Automatic detection of credulous Twitter users
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi +1
Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious account…
An Efficient Method for Uncertainty Propagation in Robust Software Performance Estimation
Aldeida Aleti, Catia Trubiani, André van Hoorn +1
Software engineers often have to estimate the performance of a software system before having full knowledge of the system parameters, such as workload and operational profile. Thes…
A model-driven approach to broaden the detection of software performance antipatterns at runtime
Antinisca Di Marco, Catia Trubiani
Performance antipatterns document bad design patterns that have negative influence on system performance. In our previous work we formalized such antipatterns as logical predicates…