19 citations · 32 across the 4 of their papers we have counts for
6 papers
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…
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…