Francesco Spegni

According to our database1, Francesco Spegni authored at least 17 papers between 2008 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Parameterized model checking of rendezvous systems.
Distributed Computing, 2018

Modeling time in Java programs for automatic error detection.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
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

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

Liveness of Parameterized Timed Networks.
CoRR, 2016

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Liveness of Parameterized Timed Networks.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

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

Parameterized Model-Checking of Timed Systems with Conjunctive Guards.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Parameterized Model Checking of Rendezvous Systems.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Model checking grid security.
Future Generation Comp. Syst., 2013

A modular environment for software development and re-engineering.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

XAL: A Web Oriented Programming Language Based on Timed-Automata.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008