19 citations · 41 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 6 cited
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…
cs.SI2021
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…