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. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 309,
    2022
  2. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Proceedings of Runtime Verification (RV 2021),
    vol. 12974,
    n. 11,
    2021
    , pp. 207-
    227
  3. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Extended bounded response LTL: a new safety fragment for efficient reactive synthesis,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2021
  4. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
    vol. 346,
    2021
    , pp. 152-
    165
  5. Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano,
    Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, Proceedings, Part I,
    Springer,
    vol. 12759,
    2021
    , pp. 529-
    551
  6. Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,
    Proceedings of Software Engineering and Formal Methods - 19th International Conference,SEFM 2021,
    Springer,
    vol. 13085,
    2021
    , pp. 351-
    371
  7. Tonetta, Stefano; Mazzini, Silvia; Pierini, Pierluigi; Ihirwe, Felicien; Debiasi, Alberto,
    Proceedings of 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021),
    2021
    , pp. 262-
    269
  8. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 57,
    2021
    , pp. 178-
    210
  9. Luis de la Vara, Jose; Bauer, Thomas; Fischer, Bernhard; Karaca, Mustafa; Madeira, Henrique; Matschnig, Martin; Mazzini, Silvia; Spilere Nandi, Giann; Patrone, Fabio; Pereira, David; Proenca, Jose'; Schlick, Rupert; Tonetta, Stefano; Yayan, Ugur; Sangchoolie, Behrooz,
    Proceedings of Quality of Information and Communications Technology - 14th InternationalConference, QUATIC 2021,
    Springer,
    vol. 1439,
    2021
    , pp. 325-
    340
  10. Martinez, Jabier; Ruiz, Alejandra; Radermacher, Ansgar; Tonetta, Stefano,
    Proceedings of 3rd IEEE/ACM International Workshop on Robotics Software Engineering,RoSE@ICSE 2021,
    IEEE,
    2021
    , pp. 1-
    4
  11. Martinez, Jabier; Ruiz, Alejandra; Garzo, Ainara; Keller, Thierry; Radermacher, Ansgar; Tonetta, Stefano,
    Proceedings of 3rd IEEE/ACM International Workshop on Robotics Software Engineering,RoSE@ICSE 2021,
    IEEE,
    2021
    , pp. 13-
    18
  12. Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,
    in «INFORMATION AND COMPUTATION»,
    vol. 272,
    2020
  13. 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
  14. 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, Proceedings, Part (I),
    Springer,
    vol. 12078,
    2020
    , pp. 155-
    172
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 10,
    2019
    , pp. 165-
    184
  21. Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,
    Runtime Verification (RV 2019),
    Springer,
    vol. 11757,
    n. 23,
    2019
    , pp. 382-
    392
  22. Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 52,
    n. 1,
    2018
    , pp. 88-
    116
  23. 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
  24. Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,
    2018
  25. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
  26. 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
  27. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Springer,
    vol. 10489,
    2017
  28. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Springer,
    vol. 10488,
    2017
  29. Tonetta, Stefano,
    Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
    vol. 256,
    2017
    , pp. 195-
    209
  30. 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
  31. Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
    Computer Aided Verification - 28th International Conference, CAV 2016,
    vol. 9779,
    2016
    , pp. 271-
    291
  32. Gario, Marco Elio Gustavo; 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
  33. Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
  34. Cimatti, Alessandro; Demasi, Ramiro Adrian; 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
  35. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    2016
  36. 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
  37. 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
  38. Victor, Bos; Harold, Bruintjes; Tonetta, Stefano,
    Computer Safety, Reliability, and Security - 35th International Conference,SAFECOMP 2016, Proceedings,
    Springer,
    vol. 9922,
    2016
    , pp. 88-
    101
  39. A. Cimatti; S. Tonetta,
    Contracts-refinement proof system for component-based embedded systems,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    2015
  40. Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    Safety Assessment of AltaRica Models via Symbolic Model Checking,
    in «SCIENCE OF COMPUTER PROGRAMMING»,
    vol. 98,
    2015
    , pp. 464-
    483
  41. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    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
  42. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 11,
    n. 4,
    2015
  43. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    in «INFORMATION AND COMPUTATION»,
    vol. 245,
    2015
    , pp. 54-
    71
  44. Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
  45. Bozzano, Marco; Cimatti, Alessandro; Fernandes Pires, Anthony; Jones, D.; Kimberly, G.; Petri, T.; Robinson, R.; Tonetta, Stefano,
    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
  46. 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
  47. 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
  48. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic,
    TACAS 2014, LNCS 8413,,
    Springer-Verlag,
    vol. 8413,
    2014
    , pp. 326-
    340
  49. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 2,
    2014
    , pp. 165-
    188
  50. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    IC3 Modulo Theories via Implicit Predicate Abstraction,
    TACAS,
    Springer,
    vol. 8413,
    2014
    , pp. 46-
    61
  51. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Verifying LTL Properties of Hybrid Systems with K-Liveness,
    CAV,
    2014
    , pp. 424-
    440
  52. Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    The nuXmv Symbolic Model Checker,
    CAV,
    2014
    , pp. 334-
    342
  53. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano,
    Formal Safety Assessment via Contract-Based Design.,
    ATVA14,
    2014
    , pp. 81-
    97
  54. 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
  55. Thomas, Arts; Dorigatti, Michele; Tonetta, Stefano,
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings,
    vol. 8666,
    2014
    , pp. 81-
    92
  56. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    SMT-based scenario verification for hybrid systems,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 1,
    2013
    , pp. 46-
    66
  57. Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano,
    AAAI Workshops,
    2013
  58. 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
  59. Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano,
    Time-aware Relational Abstractions for Hybrid Systems,
    Proceedings of the 13th International Conference on Embedded Software,
    2013
  60. Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,
    Parameter Synthesis with IC3,
    Formal Methods in Computer-Aided Design,
    2013
  61. Cimatti, Alessandro; Dorigatti, Michele; Tonetta, Stefano,
    OCRA: A tool for checking the refinement of temporal contracts,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    ASE 2013,
    2013
    , pp. 702-
    705
  62. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; 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
  63. Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    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
  64. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    SMT-Based Verification of Hybrid Systems,
    2012
  65. Cimatti, Alessandro; Tonetta, Stefano,
    A Property-Based Proof System for Contract-Based Design,
    2012
  66. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    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
  67. N., Sharygina; Tonetta, Stefano; 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
  68. Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,
    in «SOFTWARE AND SYSTEMS MODELING»,
    Springer Berlin / Heidelberg,
    vol. 10,
    n. 2,
    2011
    , pp. 147-
    160
  69. 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
  70. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    Efficient Scenario VeriFIcation for Hybrid Automata,
    2011
  71. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    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
  72. Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano,
    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
  73. Cavada, Roberto; Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    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
  74. Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano,
    HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction,
    2011
  75. Sebastiani, Roberto; Tonetta, Stefano; 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
  76. 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
  77. Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano,
    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
  78. Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; 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
  79. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    Requirements Validation for Hybrid Systems,
    Proceedings 21st Int. Conference on Computer Aided Verification,
    Springer,
    vol. 5643,
    2009
    , pp. 188-
    203
  80. Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
  81. Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich,
    Proceedings of the 24th Annual ACM Symposium on Applied Computing,
    ACM,
    2009
    , pp. 566-
    573
  82. Tonetta, Stefano,
    Abstract Model Checking without Computing the Abstraction,
    Proceedings of the 16th Int. Symposium on Formal Methods,
    Springer-Verlag,
    2009
    , pp. 89-
    105
  83. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; 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
  84. Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,
    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
  85. 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
  86. 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
  87. Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; 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
  88. 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
  89. 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
  90. Sebastiani, Roberto; Tonetta, Stefano; 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
  91. Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 31,
    n. 2,
    2007
    , pp. 177-
    196
  92. 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
  93. Stefano Tonetta; Natasha Sharygina,
    A Uniform Framework for Predicate Abstraction Approximation,
    Proceedings of the 4th Int. Workshop on Software Verification and Validation,
    2006
  94. 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
  95. Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi,
    Proceedings of the 16th Int. Conference on Computer-Aided Verification,
    Springer,
    vol. 3114,
    2004
    , pp. 301-
    305