Francesco Spegni

According to our database, Francesco Spegni authored at least 26 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Interoperable mixed reality for facility management: a cyber-physical perspective.

Massimo Vaccarini, Francesco Spegni, Alberto Giretti, Massimiliano Pirani, Alessandro Carbonari

J. Inf. Technol. Constr., 2024

2023

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.

Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger

CoRR, 2023

Blockchain based choreographies: The construction industry case study.

Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia

Concurr. Comput. Pract. Exp., 2023

ChoEn: A Smart Contract Based Choreography Enforcer.

Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

2022

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

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021

Automatic Repair of Timestamp Comparisons.

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi

IEEE Trans. Software Eng., 2021

2020

Parameterized model checking of networks of timed automata with Boolean guards.

Luca Spalazzi, Francesco Spegni

Theor. Comput. Sci., 2020

Verifying temporal specifications of Java programs.

Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin

Softw. Qual. J., 2020

2019

Verification-as-a-Service for Parameter Assessment.

Luca Spalazzi, Francesco Spegni

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

High-Performance Computing for Formal Security Assessment.

Luca Spalazzi, Francesco Spegni

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2018

Parameterized model checking of rendezvous systems.

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith

Distributed Comput., 2018

Towards Model Checking Security of Real Time Java Software.

Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Modeling time in Java programs for automatic error detection.

Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.

Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.

Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.

Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.

Luca Spalazzi, Francesco Spegni

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).

Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni

CoRR, 2016

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.

Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni

Proceedings of the International Conference on High Performance Computing & Simulation, 2016

2015

Liveness of Parameterized Timed Networks.

Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).

Luca Spalazzi, Francesco Spegni

CoRR, 2014

Parameterized Model-Checking of Timed Systems with Conjunctive Guards.

Luca Spalazzi, Francesco Spegni

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Model checking grid security.

Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni

Future Gener. Comput. Syst., 2013

2012

A modular environment for software development and re-engineering.

Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2010

Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.

Salvatore Campana, Luca Spalazzi, Francesco Spegni

Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

2008

XAL: A Web Oriented Programming Language Based on Timed-Automata.

Salvatore Campana, Luca Spalazzi, Francesco Spegni

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008