Francesco Spegni

According to our database, Francesco Spegni authored at least 17 papers between 2008 and 2023.

Collaborative distances:

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

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

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

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.

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 of Timed Systems with Conjunctive Guards.

Luca Spalazzi, Francesco Spegni

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

Parameterized Model Checking of Rendezvous Systems.

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

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

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