According to our database1, Francesco Spegni authored at least 14 papers between 2008 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Towards Model Checking Security of Real Time Java Software.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 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.
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 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