Francesco Spegni

According to our database1, Francesco Spegni
  • authored at least 16 papers between 2008 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Parameterized model checking of rendezvous systems.
Distributed Computing, 2018

2017
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

2016
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

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

2014
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

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

2012
A modular environment for software development and re-engineering.
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.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010

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


  Loading...