Francesco Spegni

32 papers B 2C 2Journal 13Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.
Log. Methods Comput. Sci.
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2024 J jnl
Interoperable mixed reality for facility management: a cyber-physical perspective.
J. Inf. Technol. Constr.
Massimo Vaccarini, Francesco Spegni, Alberto Giretti, Massimiliano Pirani, Alessandro Carbonari
2024 C conf
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy.
EUMAS
Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano
2024 — ed.
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2024 J jnl
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments.
J. Inf. Technol. Constr.
Leonardo Messi, Francesco Spegni, Massimo Vaccarini, Alessandra Corneli, Leonardo Binni
2023 J jnl
Blockchain based choreographies: The construction industry case study.
Concurr. Comput. Pract. Exp.
Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia
2023 — conf
ChoEn: A Smart Contract Based Choreography Enforcer.
PerCom Workshops
Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi
2023 J jnl
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.
CoRR
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2022 — conf
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame
2021 J jnl
Automatic Repair of Timestamp Comparisons.
IEEE Trans. Software Eng.
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
2020 J jnl
Parameterized model checking of networks of timed automata with Boolean guards.
Theor. Comput. Sci.
Luca Spalazzi, Francesco Spegni
2020 J jnl
Verifying temporal specifications of Java programs.
Softw. Qual. J.
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
2019 — conf
High-Performance Computing for Formal Security Assessment.
HPCS
Luca Spalazzi, Francesco Spegni
2019 — conf
Verification-as-a-Service for Parameter Assessment.
HPCS
Luca Spalazzi, Francesco Spegni
2018 — conf
Modeling time in Java programs for automatic error detection.
FormaliSE@ICSE
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
2018 J jnl
Parameterized model checking of rendezvous systems.
Distributed Comput.
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2018 — conf
Towards Model Checking Security of Real Time Java Software.
HPCS
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger
2017 — conf
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
QEST
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2017 B conf
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.
VMCAI
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
2017 — conf
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
ICTCS/CILC
Luca Spalazzi, Francesco Spegni
2017 C conf
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.
ISCC
Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2016 J jnl
Liveness of Parameterized Timed Networks.
CoRR
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2016 J jnl
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
CoRR
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2016 — conf
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.
HPCS
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2015 — conf
Liveness of Parameterized Timed Networks.
ICALP (2)
Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
2014 B conf
Parameterized Model Checking of Rendezvous Systems.
CONCUR
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2014 J jnl
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).
CoRR
Luca Spalazzi, Francesco Spegni
2014 — conf
Parameterized Model-Checking of Timed Systems with Conjunctive Guards.
VSTTE
Luca Spalazzi, Francesco Spegni
2013 J jnl
Model checking grid security.
Future Gener. Comput. Syst.
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
2012 — conf
A modular environment for software development and re-engineering.
TOPI@ICSE
Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni
2010 — conf
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
CTS
Salvatore Campana, Luca Spalazzi, Francesco Spegni
2008 — conf
XAL: A Web Oriented Programming Language Based on Timed-Automata.
Web Intelligence
Salvatore Campana, Luca Spalazzi, Francesco Spegni