Stefano Tonetta

Identifiers

• name variant Stefano Tonetta 0.60 · backfill

Papers (3)

1. Verification of railway interlocking - Compositional approach with OCRA cs.SE · 2016 · author #4
2. IC3 Modulo Theories via Implicit Predicate Abstraction cs.LO · 2013 · author #4
3. Formalization and Validation of Safety-Critical Requirements cs.SE · 2010 · author #4

Mentions

• 1310.6847 #4 · backfill · confidence 0.70 Stefano Tonetta
• 1003.1741 #4 · backfill · confidence 0.70 Stefano Tonetta

Frequent Coauthors

• Alessandro Cimatti 2 shared papers
• Alberto Griggio 1 shared papers
• Angelo Susi 1 shared papers
• Charles Pecheur 1 shared papers
• Christophe Limbree 1 shared papers
• Marco Roveri 1 shared papers
• Quentin Cappart 1 shared papers
• Sergio Mover 1 shared papers