Francesco Spegni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EUMAS | Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy. | Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano |
| 2023 | PERCOM | ChoEn: A Smart Contract Based Choreography Enforcer. | Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi |
| 2022 | ESORICS | A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. | Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame |
| 2018 | ICSE | Modeling time in Java programs for automatic error detection. | Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger |
| 2017 | ISCC | Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. | Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni |
| 2017 | VMCAI | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. | Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi |
| 2015 | ICALP | Liveness of Parameterized Timed Networks. | Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni |
| 2014 | CONCUR | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2012 | ICSE | A modular environment for software development and re-engineering. | Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni |