Stefano Tonetta

Head of Unit

    Short bio

    Born in 1977, married, 3 hildren.

    Academic Qualifications
    • PhD in Information and Communication Technologies (ICT) at the University of Trento (March 2006)
    • Laurea in Mathematics (summa cum laude) at the University of Trento (March 2001)
    • “Abilitazione Scientifica Nazionale di Seconda Fascia” in “Informatica (01/B1)” and in “Sistemi di Elaborazione delle Informazioni (09/H1)” (April 2017)
    Activities
    Software
    Awards

    Publications

    1. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
      in «INFORMATION AND COMPUTATION»,
      vol. 272,
      2020
    2. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
      Proceedings of the 20th International Conference on Formal Methods in Computer-Aided Design (FMCAD),
      2020
    3. Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano,
      Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, (TACAS) 2020, Held as Part of theEuropean Joint Conferences on Theory and Practice of Software, (ETAPS) 2020, Dublin, Ireland, April 25-30, 2020, Proceedi...,
      Springer,
      vol. 12078,
      2020
      , pp. 155-
      172
    4. Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova,
      Computer Safety, Reliability, and Security - 39th International Conference,(SAFECOMP) 2020, Proceedings,
      Springer,
      vol. 12234,
      2020
      , pp. 99-
      114
    5. Gorm Larsen, Peter; Daniel Macedo, Hugo; Fitzgerald, John S.; Pfeifer, Holger; Benedikt, Martin; Tonetta, Stefano; Marguglio, Angelo; Gusmeroli, Sergio; Jr., George Suciu,
      Proceedings of the 10th International Conference on Simulation andModeling Methodologies, Technologies and Applications, (SIMULTECH) 2020,
      ScitePress,
      2020
      , pp. 263-
      270
    6. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
      Tools and Algorithms for the Construction and Analysis of Systems,
      Springer,
      vol. 11427,
      2019
      , pp. 379-
      385
    7. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
      Proceedings of Computer Aided Verification - 31st International Conference, CAV 2019,
      vol. 11561,
      2019
      , pp. 376-
      386
    8. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
      Computer Safety, Reliability, and Security - Proceedings of the 38th International Conference,SAFECOMP 2019,
      Springer,
      vol. 11698,
      2019
      , pp. 200-
      215
    9. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
      Runtime Verification (RV 2019),
      Springer,
      vol. 11757,
      n. 10,
      2019
      , pp. 165-
      184
    10. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
      Runtime Verification (RV 2019),
      Springer,
      vol. 11757,
      n. 23,
      2019
      , pp. 382-
      392
    11. Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 52,
      n. 1,
      2018
      , pp. 88-
      116
    12. Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,
      Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings,
      Springer,
      vol. 10951,
      2018
      , pp. 625-
      644
    13. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
      2018
    14. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
      Certifying Proofs for LTL Model Checking,
      Formal Methods in Computer-Aided Design, FMCAD 2018,
      2018
      , pp. 225-
      233
    15. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
      Cyber-Physical System Design from an Architecture Analysis Viewpoint,
      Springer,
      2017
      , pp. 133-
      159
    16. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,
      Springer,
      vol. 10489,
      2017
    17. Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch,
      Springer,
      vol. 10488,
      2017
    18. Stefano, Tonetta,
      Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
      vol. 256,
      2017
      , pp. 195-
      209
    19. Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
      Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy,
      ACM,
      2017
      , pp. 13-
      24
    20. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
      Computer Aided Verification - 28th International Conference, CAV 2016,
      vol. 9779,
      2016
      , pp. 271-
      291
    21. 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
    22. 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
    23. 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
    24. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      2016
    25. 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
    26. 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
    27. Victor Bos; Harold Bruintjes; Tonetta, Stefano,
      Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings,
      Springer,
      vol. 9922,
      2016
      , pp. 88-
      101
    28. A. Cimatti; S. Tonetta,
      Contracts-refinement proof system for component-based embedded systems,
      in «SCIENCE OF COMPUTER PROGRAMMING»,
      2015
    29. 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
    30. 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
    31. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
      in «LOGICAL METHODS IN COMPUTER SCIENCE»,
      vol. 11,
      n. 4,
      2015
    32. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
      in «INFORMATION AND COMPUTATION»,
      vol. 245,
      2015
      , pp. 54-
      71
    33. 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
    34. 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
    35. 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
    36. 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
    37. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
      Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
      TACAS 2014, LNCS 8413,,
      Springer-Verlag,
      vol. 8413,
      2014
      , pp. 326-
      340
    38. A. Cimatti;S. Mover;S. Tonetta,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 45,
      n. 2,
      2014
      , pp. 165-
      188
    39. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
      IC3 Modulo Theories via Implicit Predicate Abstraction,
      TACAS,
      Springer,
      vol. 8413,
      2014
      , pp. 46-
      61
    40. A. Cimatti;A. Griggio;S. Mover;S. Tonetta,
      Verifying LTL Properties of Hybrid Systems with K-Liveness,
      CAV,
      2014
      , pp. 424-
      440
    41. 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
    42. M. Bozzano; A. Cimatti; C. Mattarei; S. Tonetta,
      Formal Safety Assessment via Contract-Based Design.,
      ATVA14,
      2014
      , pp. 81-
      97
    43. 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
    44. 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
    45. 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
    46. Bozzano M.; Cimatti A.; Gario M.; Tonetta S.,
      AAAI Workshops,
      2013
    47. 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
    48. 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
    49. Cimatti A.; Griggio A.; Mover S.; Tonetta S.,
      Parameter Synthesis with IC3,
      Formal Methods in Computer-Aided Design,
      2013
    50. 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
    51. 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
    52. 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
    53. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      SMT-Based Verification of Hybrid Systems,
      2012
    54. A. Cimatti; S. Tonetta,
      A Property-Based Proof System for Contract-Based Design,
      2012
    55. 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
    56. 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
    57. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
      in «SOFTWARE AND SYSTEMS MODELING»,
      Springer Berlin / Heidelberg,
      vol. 10,
      n. 2,
      2011
      , pp. 147-
      160
    58. 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
    59. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      Efficient Scenario VeriFIcation for Hybrid Automata,
      2011
    60. 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
    61. 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),
      EASST,
      vol. 46,
      2011
    62. 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
    63. Alessandro Cimatti; Sergio Mover; Stefano Tonetta,
      HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
      2011
    64. 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
    65. 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
    66. 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
    67. 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,
      vol. 2,
      2010
      , pp. 109-
      118
    68. 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
    69. 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
    70. Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich,
      Proceedings of the 24th Annual ACM Symposium on Applied Computing,
      ACM,
      2009
      , pp. 566-
      573
    71. Stefano Tonetta,
      Abstract Model Checking without Computing the Abstraction,
      Proceedings of the 16th Int. Symposium on Formal Methods,
      Springer-Verlag,
      2009
      , pp. 89-
      105
    72. 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,
      IEEE Computer Society,
      2009
      , pp. 668-
      670
    73. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
      Symbolic Compilation of PSL,
      in «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS»,
      IEEE,
      vol. 27,
      n. 10,
      2008
      , pp. 1737-
      1750
    74. 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
    75. 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
    76. 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
    77. 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
    78. 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
    79. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
      Proceedings of the 13th Int. Conference on Tools and algorithms for the construction and analysis of systems,
      Springer-Verlag,
      vol. 4424,
      2007
      , pp. 389-
      404
    80. Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
      in «FORMAL METHODS IN SYSTEM DESIGN»,
      vol. 31,
      n. 2,
      2007
      , pp. 177-
      196
    81. 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
    82. Stefano Tonetta; Natasha Sharygina,
      A Uniform Framework for Predicate Abstraction Approximation,
      Proceedings of the 4th Int. Workshop on Software Verification and Validation,
      2006
    83. 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,
      Springer-Verlag,
      vol. 3576,
      2005
      , pp. 100-
      246
    84. 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