Name Card

Full name Familienname, Vorname
Spegni, Francesco
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized model checking of rendezvous systemsArtikel Article 2018
2Baldi, Marco ; Bartocci, Ezio ; Chiaraluce, Franco ; Cucchiarelli, Alessandro ; Senigagliesi, Linda ; Spalazzi, Luca ; Spegni, Francesco A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud StorageKonferenzbeitrag Inproceedings2017
3Konnov Igor V - 2017 - Accuracy of Message Counting Abstraction in...pdf.jpgKonnov, Igor V. ; Widder, Josef ; Spegni, Francesco ; Luca, Spalazzi Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag 2017