Francesco Spegni

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 19

Top Topics

Temporal Properties

Formal Verification

Top Venues

Publications

Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi
ChoEn: A Smart Contract Based Choreography Enforcer. PerCom Workshops (2023)
Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia
Blockchain based choreographies: The construction industry case study. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. CoRR (2023)
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47 (11) (2021)
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
Verifying temporal specifications of Java programs. Softw. Qual. J. 28 (2) (2020)
Luca Spalazzi, Francesco Spegni
Parameterized model checking of networks of timed automata with Boolean guards. Theor. Comput. Sci. 813 (2020)
Luca Spalazzi, Francesco Spegni
Verification-as-a-Service for Parameter Assessment. HPCS (2019)
Luca Spalazzi, Francesco Spegni
High-Performance Computing for Formal Security Assessment. HPCS (2019)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized model checking of rendezvous systems. Distributed Comput. 31 (3) (2018)
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger
Towards Model Checking Security of Real Time Java Software. HPCS (2018)
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE (2018)
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST (2017)
Luca Spalazzi, Francesco Spegni
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC (2017)
Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. ISCC (2017)
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI (2017)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. HPCS (2016)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Liveness of Parameterized Timed Networks. CoRR (2016)
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version). CoRR (2016)
Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
Liveness of Parameterized Timed Networks. ICALP (2) (2015)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized Model Checking of Rendezvous Systems. CONCUR (2014)
Luca Spalazzi, Francesco Spegni
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). CoRR (2014)
Luca Spalazzi, Francesco Spegni
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. VSTTE (2014)
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
Model checking grid security. Future Gener. Comput. Syst. 29 (3) (2013)
Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni
A modular environment for software development and re-engineering. TOPI@ICSE (2012)
Salvatore Campana, Luca Spalazzi, Francesco Spegni
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. CTS (2010)
Salvatore Campana, Luca Spalazzi, Francesco Spegni
XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence (2008)