You are here

Stefano Tonetta

Researcher
  • SKYPE: stonetta
  • Phone: 0461314359
  • FBK Povo
Short bio

Awards:

Research interests
Model checking Temporal logics Requirements validation Contract-Based Design SMT-based verification Hybrid systems Safety and security
Publications

2016

  1. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
  2. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
    Computer Aided Verification - 28th International Conference, CAV 2016,
    vol.9779,
    2016
    , pp. 271-
    291
    , (28th International Conference on Computer Aided Verification, CAV 2016,
    Toronto, Canada,
    July 17-23, 2016)
  3. Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
    vol.9780,
    2016
    , pp. 3-
    22
    , (28th International Conference on Computer Aided Verification (CAV),
    Toronto, Canada,
    July 17-23 2016)
  4. Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
    Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
    International Foundation for Autonomous Agents and Multiagent Systems,
    2016
    , pp. 1218-
    1226
    , (2016 International Conference on Autonomous Agents & Multiagent Systems,
    Singapore,
    9-13 May, 2016)
  5. Christophe Limbrée; Quentin Cappart; Charles Pecheur; Tonetta, Stefano,
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,Verification, and Certification - First International Conference,RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings,
    Springer,
    vol.9707,
    2016
    , pp. 134-
    149
    , (First International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification,
    Paris, France,
    June 28-30, 2016)
  6. Victor Bos; Harold Bruintjes; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings,
    Springer,
    vol.9922,
    2016
    , pp. 88-
    101
    , (35th International Conference on Computer Safety, Reliability, and Security,
    Trondheim, Norway,
    September 21-23, 2016)
  7. Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano,
    Software Engineering and Formal Methods - 14th International Conference,SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8,2016, Proceedings,
    Springer,
    vol.9763,
    2016
    , pp. 386-
    402
    , (14th International Conference on Software Engineering and Formal Methods,
    Vienna, Austria,
    July 4-8, 2016)
  8. Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano,
    Proceedings of FM 2016: Formal Methods 21st International Symposium,
    vol.9995,
    2016
    , pp. 741-
    747
    , (FM 2016: Formal Methods 21st International Symposium,
    Limassol, Cyprus,
    November 9-11, 2016)

2015

  1. A. Cimatti; S. Tonetta,
    Contracts-refinement proof system for component-based embedded systems,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    2015
  2. Marco Bozzano; Alessandro Cimatti; Oleg Lisagor; Cristian Mattarei; Sergio Mover; Marco Roveri; Stefano Tonetta,
    Safety Assessment of AltaRica Models via Symbolic Model Checking,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 98,
    2015
    , pp. 464 -
    483
  3. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 11,
    n. 4,
    2015
  4. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    in «INFORMATION AND COMPUTATION»,
    vol. 245,
    2015
    , pp. 54 -
    71
  5. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings,
    Springer,
    vol.9035,
    2015
    , pp. 52-
    67
    , (21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
    London, UK,
    April 11-18, 2015)
  6. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Comparing Different Functional Allocations in Automated Air Traffic Control Design,
    Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015,
    IEEE,
    2015
    , pp. 112-
    119
    , (FMCAD '15 Formal Methods in Computer-Aided Design,
    Austin, TX, USA,
    September 27 - 30, 2015)
  7. Bozzano, M.; Cimatti, A.; Fernandes Pires, A.; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, S.,
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I,
    vol.9206,
    2015
    , pp. 518-
    535
    , (27th International Conference on Computer Aided Verification (CAV),
    San Francisco, CA, USA,
    July 18-24, 2015)
  8. Arts, Thomas; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings,
    vol.9337,
    2015
    , pp. 74-
    89
    , (34th International Conference on Computer Safety, Reliability, and Security,
    Delft, The Netherlands,
    September 23-25, 2015)
  9. Cimatti, Alessandro; Delong, Rance; Marcantonio, Davide; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings,
    vol.9338,
    2015
    , pp. 264-
    276
    , (2nd International workshop on the Integration of Safety and Security Engineering,
    Delft, The Netherlands,
    September 22, 2015)

2014

  1. A. Cimatti;S. Mover;S. Tonetta,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 2,
    2014
    , pp. 165 -
    188
  2. Laura Baracchi;Alessandro Cimatti;Gerald Garcia;Silvia Mazzini;Stefano Puri;Stefano Tonetta,
    Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach,
    Handbook of Research on Embedded Systems Design,
    2014
    , pp. 209 -
    241
  3. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
    TACAS 2014, LNCS 8413,,
    Berlin,
    Springer-Verlag,
    vol.8413,
    2014
    , pp. 326-
    340
    , (Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014,
    Grenoble, Francia,
    2014)
  4. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    IC3 Modulo Theories via Implicit Predicate Abstraction,
    TACAS,
    Springer,
    vol.8413,
    2014
    , pp. 46-
    61
    , (Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    Grenoble,
    2014)
  5. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
    , (Computer-Aided Verification,
    2014)
  6. R. Cavada;A. Cimatti;M. Dorigatti;A. Griggio;A. Mariotti;A. Micheli;S. Mover;M. Roveri;S. Tonetta,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
    , (Computer Aided Verification,
    Vienna,
    2014)
  7. Thomas Arts; Michele Dorigatti; Stefano Tonetta,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol.8666,
    2014
    , pp. 81-
    92
    , (33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014),
    Florence, Italy,
    September 10-12, 2014)
  8. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
    , (Automated Technology for Verification and Analysis,
    Sydney,

2013

  1. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
    Loop Summarization using State and Transition Invariants,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 3,
    2013
    , pp. 221 -
    261
  2. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    SMT-based scenario verification for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 1,
    2013
    , pp. 46 -
    66
  3. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    AAAI Workshops,
    2013
    , (Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence,
    Bellevue, Washington, USA,
    14–18 July 2013)
  4. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
    Formal Specification and Synthesis of FDI through an Example,
    Proceedings of the 24th International Workshop on Principles of Diagnosis,
    2013
    , (The 24th International Workshop on Principles of Diagnosis,
    Jerusalem, Israel,
    October 1-4, 2013)
  5. Mover S.; Cimatti A.; Tiwari A.; Tonetta S.,
    Time-aware Relational Abstractions for Hybrid Systems,
    Proceedings of the 13th International Conference on Embedded Software,
    2013
    , (International Conference on Embedded Software,
    Montreal, Canada,
    October 2013)
  6. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
    Parameter Synthesis with IC3,
    Formal Methods in Computer-Aided Design,
    2013
    , (Formal Methods in Compuiter-Aided Desisgn 2013,
    Portland, OR, USA,
    October 20-23, 2013)
  7. Cimatti A.; Dorigatti M.; Tonetta S.,
    OCRA: A tool for checking the refinement of temporal contracts,
    in «AUTOMATED SOFTWARE ENGINEERING»
    ASE 2013,
    2013
    , pp. 702-
    705

2012

  1. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Validation of Requirements for Hybrid Systems: a Formal Approach,
    in «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY»,
    vol. 21,
    n. 4,
    2012
    , pp. 22:1 -
    22:34
  2. N. Sharygina; S. Tonetta; A. Tsitovich,
    An abstraction refinement approach combining precise and approximated techniques,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 14,
    n. 1,
    2012
  3. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    SMT-Based Verification of Hybrid Systems,
    2012
    , (Twenty-Sixth AAAI Conference on Artificial Intelligence,
    Toronto, Ontario, Canada,
    July 22-26, 2012)
  4. A. Cimatti; S. Tonetta,
    A Property-Based Proof System for Contract-Based Design,
    2012
    , (38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012,
    Cesme, Turkey,
    da 09/05/2012 a 09/07/2012)
  5. A. Cimatti; S. Mover; S. Tonetta,
    Quantifier-free encoding of hybrid systems with non-linear dynamics,
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012),
    2012
    , (International Conference on Formal Methods in Computer-Aided Design, FMCAD12,
    Cambridge, UK,
    da 10/22/2012 a 10/25/2012)

2011

  1. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
    in «SOFTWARE AND SYSTEMS MODELING»,
    vol. 10,
    n. 2,
    2011
    , pp. 147 -
    160
  2. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 13,
    n. 4,
    2011
    , pp. 319 -
    335
  3. Alessandro Cimatti; Sergio Mover; Marco Roveri; Stefano Tonetta,
    From Sequential Extended Regular Expressions to NFA with Symbolic Labels,
    Proceedings of 15th Int. Conference on Implementation and Application of Automata,
    vol.6482,
    2011
    , pp. 87-
    94
    , (CIAA 2010,
    Winnipeg, Canada,
    12-15/08/2010)
  4. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    Efficient Scenario VeriFIcation for Hybrid Automata,
    2011
    , (Accepted at CAV 2011 - 23rd International Conference onComputer Aided Verification,
    Cliff Lodge, Snowbird, Utah,
    14-20/07/2011)
  5. A. Cimatti; S. Mover; S. Tonetta,
    Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems,
    FMCAD '11 Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
    IEEE,
    n. 11,
    2011
    , pp. 54-
    62
    , (Formal Methods in Computer Aided Design (FMCAD),
    Austin, Texas, USA,
    30/10/2011)
  6. M. Bozzano; A. Cimatti; O. Lisagor; C. Mattarei; S. Mover; M. Roveri; S. Tonetta,
    Model Checking and Safety Assessment of Altarica models,
    in «ELECTRONIC COMMUNICATIONS OF THE EASST»
    Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011),
    Berlin,
    EASST,
    vol.46,
    2011
    , (AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems,
    Newcastle, UK,
    da 09/12/2011 a 09/14/2011)
  7. Roberto Cavada; Alessandro Cimatti; Andrea Micheli; Marco Roveri; Angelo Susi; Stefano Tonetta,
    OthelloPlay: a plug-in based tool for requirement formalization and validation,
    Proceedings of the 1st Workshop on Developing Tools as Plug-ins,
    2011
    , pp. 59-
    59
    , (TOPI 2011,
    Honolulu, Hawaii, USA,
    da 05/28/2011 a 05/28/2011)
  8. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
    HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
    2011
    , (37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011,
    Oulu, Finland,
    da 08/30/2011 a 09/02/2011)

2010

  1. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Formalization and Validation of Safety-Critical Requirements,
    Proceedings of the Workshop on Formal Methods for Aerospace,
    vol.20,
    2010
    , pp. 68-
    75
    , (FMA'09 - 16th Int. Symposium on Formal Methods FM'09,
    Eindhoven, The Netherlands,
    03/11/2009)
  2. Lei Bu; Alessandro Cimatti; Xuandong Li; Sergio Mover; Stefano Tonetta,
    Model Checking of Hybrid Systems using Shallow Synchronization,
    Proceedings of 30th IFIP Int. Conference on FORmal TEchniques for Networked and Distributed Systems, part of DisCoTec'10,
    vol.6117,
    2010
    , pp. 155-
    169
    , (FORTE 2010,
    Amsterdam, The Netherlands,
    07-10/06/2010)
  3. Angelo Chiappini; Alessandro Cimatti; Luca Macchi; Oscar Rebollo; Marco Roveri; Angelo Susi; Stefano Tonetta; Berardino Vittorini,
    Formalization and validation of a subset of the European Train Control System,
    Proceedings of 32nd Int. Conference on Software Engineering,
    New York,
    vol.2,
    2010
    , pp. 109-
    118
    , (ICSE (2),
    Cape Town, South Africa,
    01-08/05/2010)

2009

  1. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Requirements Validation for Hybrid Systems,
    Proceedings 21st Int. Conference on Computer Aided Verification,
    Springer,
    vol.5643,
    2009
    , pp. 188-
    203
    , (CAV 2009,
    Grenoble, France,
    26/06/2009-02/07/2009)
  2. Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich,
    Proceedings of the 24th Annual ACM Symposium on Applied Computing,
    New York, NY,
    ACM,
    2009
    , pp. 566-
    573
    , (ACM SAC 2009,
    Honolulu, Hawaii, USA,
    08-12/03/2009)
  3. Stefano Tonetta,
    Abstract Model Checking without Computing the Abstraction,
    Proceedings of the 16th Int. Symposium on Formal Methods,
    Berlin, Heidelberg,
    Springer-Verlag,
    2009
    , pp. 89-
    105
    , (FM2009,
    Eindhoven, the Netherlands,
    02-06/11/2009)
  4. Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
    , (ASE 2009,
    Auckland, New Zealand,
    16/11/2009 - 20/11/2009)
  5. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
    Loopfrog: A Static Analyzer for ANSI-C Programs,
    Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering,
    Washington, DC,
    IEEE Computer Society,
    2009
    , pp. 668-
    670
    , (ASE '09,
    Auckland, New Zealand,
    16-20/11/2009)

2008

  1. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Symbolic Compilation of PSL,
    in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
    vol. 27,
    n. 10,
    2008
    , pp. 1737 -
    1750
  2. Daniel Kroening; Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich; Christoph M. Wintersteiger,
    Loop Summarization Using Abstract Transformers,
    Proceedings of the 6th Int. Symposium on Automated Technology for Verification and Analysis,
    Springer-Verlag,
    vol.5311,
    2008
    , pp. 111-
    125
    , (ATVA 2008,
    Seoul, Korea,
    20-23/10/2008)
  3. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Object Models with Temporal Constraints,
    Proceedings 6th Int. Conference on Software Engineering and Formal Methods,
    2008
    , pp. 249-
    258
    , (SEFM 2008,
    Cape Town,
    10/11/2008 - 14/11/2008)
  4. Alessandro Cimatti; Marco Roveri; Angelo Susi; Stefano Tonetta,
    From Informal Requirements to Property-Driven Formal Validation,
    Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems,
    Springer Verlag,
    vol.5596,
    2008
    , pp. 166-
    181
    , (FMICS 2008,
    L’Aquila, Italy,
    15/09/2008 - 16/09/2008)

2007

  1. Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 31,
    n. 2,
    2007
    , pp. 177 -
    196
  2. Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta,
    Boolean Abstraction for Temporal Logic Satisfiability,
    Proceedings of 19th Int. Conference Computer Aided Verification,
    Springer,
    vol.4590,
    2007
    , pp. 532-
    546
    , (CAV,
    Berlin, Germany,
    03/07/2007-07/07/2007)
  3. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Syntactic Optimizations for PSL Verification,
    Proceedings of 13th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol.4424,
    2007
    , pp. 505-
    518
    , (TACAS,
    Braga, Portugal,
    24/03/2007-01/04/2007)
  4. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Proceedings of the 13th Int. Conference on Tools and algorithms for the construction and analysis of systems,
    Berlin, Heidelberg,
    Springer-Verlag,
    vol.4424,
    2007
    , pp. 389-
    404
    , (TACAS'07,
    Braga, Portugal,
    24/03-1/04/2007)

2006

  1. Alessandro Cimatti; Marco Roveri; Simone Semprini; Stefano Tonetta,
    From PSL to NBA: a Modular Symbolic Encoding,
    Proceedings of 6th Int. Conference on Formal Methods in Computer Aided Design,
    2006
    , pp. 125-
    133
    , (FMCAD,
    San Jose, CA, USA,
    12/11/2006-16/11/2006)
  2. Stefano Tonetta; Natasha Sharygina,
    A Uniform Framework for Predicate Abstraction Approximation,
    Proceedings of the 4th Int. Workshop on Software Verification and Validation,
    2006
    , (SVV'06,
    Seattle, Washington, USA,
    10-22/08/2006)

2005

  1. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking,
    In proc. of the 17th Int. Conference on Computer-Aided Verification,
    Berlin, Heidelberg,
    Springer-Verlag,
    vol.3576,
    2005
    , pp. 100-
    246
    , (CAV 2005,
    Edinburgh, Scotland,
    6-10/07/2005)

2004

  1. Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
    Proceedings of the 16th Int. Conference on Computer-Aided Verification,
    Springer,
    vol.3114,
    2004
    , pp. 301-
    305
    , (CAV,
    Boston, MA, USA,
    13-17/07/2004)