You are here
Stefano Tonetta
- E-mail:
- SKYPE: stonetta
- Phone: 0461314359
- FBK Povo
Short bio
Born in 1977, married, 3 children.
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
- Vice-coordinator of the Industrial Innovation Doctoral School of the University of Trento
- Member of various Program committees including the latest SAFECOMP20, RSSRail19, NFM19, SAFECOMP19, LATA19, FM18, SAFECOMP18, ...
- Co-Editors of Special Issue on Advances of Computer Safety and Reliability of the Elsevier journal on Reliability Engineering & Safety
- Co-chair and organizer of SAFECOMP17, SAFOME15, AVM13, Second Summer School on SAT/SMT 2012
- Invited talk at 2017 SCARE workshop on SMT-based Satisfiability of Temporal Logic (slides)
Software
Awards
- 2012 FMCAD Best Paper Award
- 2010 FBK Stringa Award
- 2010 Microsoft Research SEIF Award
Research interests
Model checking
Temporal logics
Requirements validation
Contract-Based Design
SMT-based verification
Hybrid systems
Safety and security
Diagnosis and Runtime Verification
Verification Modulo Theories
LTL Modulo Theories
Related projects
Publications
2020
-
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,in «INFORMATION AND COMPUTATION»,vol. 272,2020
-
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, (2020 Formal Methods in Computer Aided Design (FMCAD),Haifa, Israel,21-24 Sept. 2020)
-
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, (TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems,Dublin, Ireland,April 25–30, 2020)
-
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, (39th International Conference, SAFECOMP 2020,Lisbon, Portugal,September 16–18, 2020)
-
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, (10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications,Lieusaint, Paris, France,July 8-10, 2020)
2019
-
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, (TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems,Prague, Czech Republic,April 6-11, 2019)
-
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, (International Conference on Computer Aided Verification, CAV 2019,New York City, NY, USA,15-18 July 2019)
-
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, (38th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019,Turku, Finland,10-13 September 2019)
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,Runtime Verification (RV 2019),Cham,Springer,vol.11757,n. 10,2019, pp. 165-184, (19th International Conference on Runtime Verification,Porto, Portugal,October 8–11, 2019)
-
Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano,Runtime Verification (RV 2019),Cham,Springer,vol.11757,n. 23,2019, pp. 382-392, (19th International Conference on Runtime Verification,Porto, Portugal,October 8–11, 2019)
2018
-
Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta,in «FORMAL METHODS IN SYSTEM DESIGN»,vol. 52,n. 1,2018, pp. 88 -116
-
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, (22nd International Symposium on Formal Methods, FM 2018,Oxford, UK,15-17 July 2018)
-
Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,Certifying Proofs for LTL Model Checking,Formal Methods in Computer-Aided Design, FMCAD 2018,2018, pp. 225-233, (Formal Methods in Computer-Aided Design (FMCAD '18),Austin, Texas,30 Oct - 2 Nov, 2018)
-
Cimatti, Alessandro; Delong, Rance; Stojic, Ivan; Tonetta, Stefano,2018
2017
-
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
-
Stefano, Tonetta,Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,vol.256,2017, pp. 195-209, (Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,Roma, Italy,20-22 September2017)
-
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, (2017 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS17),Dallas, Texas,November 03, 2017)
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),Springer,2017
-
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),Springer,2017
2016
-
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,in «FORMAL METHODS IN SYSTEM DESIGN»,2016
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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
-
A. Cimatti; S. Tonetta,Contracts-refinement proof system for component-based embedded systems,in «SCIENCE OF COMPUTER PROGRAMMING»,2015
-
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
-
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,in «LOGICAL METHODS IN COMPUTER SCIENCE»,vol. 11,n. 4,2015
-
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,in «INFORMATION AND COMPUTATION»,vol. 245,2015, pp. 54 -71
-
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)
-
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)
-
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)
-
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)
-
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
-
A. Cimatti;S. Mover;S. Tonetta,in «FORMAL METHODS IN SYSTEM DESIGN»,vol. 45,n. 2,2014, pp. 165 -188
-
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
-
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)
-
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)
-
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)
-
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)
-
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)
-
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
-
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
-
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
-
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)
-
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)
-
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)
-
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)
-
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
-
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
-
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
-
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)
-
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)
-
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
-
Alessandro Cimatti; Angelo Susi; Stefano Tonetta; Marco Roveri,in «SOFTWARE AND SYSTEMS MODELING»,vol. 10,n. 2,2011, pp. 147 -160
-
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
-
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)
-
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)
-
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)
-
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)
-
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)
-
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
-
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)
-
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)
-
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
-
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)
-
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)
-
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)
-
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)
-
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
-
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
-
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)
-
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)
-
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
-
Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,in «FORMAL METHODS IN SYSTEM DESIGN»,vol. 31,n. 2,2007, pp. 177 -196
-
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)
-
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)
-
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
-
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)
-
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
-
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
-
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)