Francesco Spegni

Identifiers

• name variant Francesco Spegni 0.60 · backfill

Papers (3)

1. Liveness of Parameterized Timed Networks cs.LO · 2016 · author #3
2. Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version) cs.CR · 2016 · author #5
3. Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version) cs.LO · 2014 · author #2

Mentions

• 1407.7305 #2 · backfill · confidence 0.70 Francesco Spegni

Frequent Coauthors

• Luca Spalazzi 2 shared papers
• Alessandro Cucchiarelli 1 shared papers
• Benjamin Aminof 1 shared papers
• Florian Zuleger 1 shared papers
• Linda Senigagliesi 1 shared papers
• Marco Baldi 1 shared papers
• Sasha Rubin 1 shared papers