Stefano Tonetta

E-mail:
SKYPE: stonetta
Phone: 0461314359
FBK Povo

LINKEDIN

Linkedin
GOOGLE SCHOLAR

Google Scholar

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

VALU3S

SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components

Evidence-FBK collaboration

COMPASS - Correctness, Modeling and Performance of Aerospace Systems

FoReVer - Functional Requirements and Verification Techniques for the Software Reference Architecture

D-MILS

FBK-Boeing Collaboration

FAME - FDIR Development and Verification & Validation Process

HASDEL - Hardware-Software Dependability for Launchers

Catsy - Catalogue of System Properties

AMASS

CITADEL

Verification Modulo Theories

HUBCAP

Bosch-FBK collaboration

Publications

2020

Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano,

SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators,

in «INFORMATION AND COMPUTATION»,

vol. 272,

2020
Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano,

Reactive Synthesis from Extended Bounded Response LTL Specifications,

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,

Safe Decomposition of Startup Requirements: Verification and Synthesis,

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,

Model-Based Safety Analysis of Mode Transitions,

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,

A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems,

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,

COMPASS 3.0,

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,

Extending nuXmv with Timed Transition Systems and Timed Temporal Properties,

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,

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems,

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,

Assumption-based Runtime Verification with Partial Observability and Resets,

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,

NuRV: a nuXmv Extension for Runtime Verification,

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,

Tightening the contract refinements of a system architecture,

in «FORMAL METHODS IN SYSTEM DESIGN»,

vol. 52,

n. 1,

2018

, pp. 88 -

116
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano,

Formal Specification and Verification of Dynamic Parametrized Architectures,

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,

Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation,

2018

2017

Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,

Formal Methods for Aerospace Systems,

Cyber-Physical System Design from an Architecture Analysis Viewpoint,

Springer,

2017

, pp. 133 -

159
Stefano, Tonetta,

Linear-time Temporal Logic with Event Freezing Functions,

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,

From System Specification to Anomaly Detection (and back),

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.),

Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings,

Springer,

2017
Stefano, Tonetta; Erwin, Schoitsch; Friedemann, Bitsch (eds.),

Computer Safety, Reliability, and Security - 36th International Conference,
SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings,

Springer,

2017

2016

Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano,

Infinite-state invariant checking with IC3 and predicate abstraction,

in «FORMAL METHODS IN SYSTEM DESIGN»,

2016
Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,

Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations,

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,

Model Checking at Scale: Automated Air Traffic Control Design Space Exploration,

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,

A Lazy Approach to Temporal Epistemic Logic Model Checking,

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,

Verification of Railway Interlocking - Compositional Approach with OCRA,

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,

Catalogue of System and Software Properties,

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,

Tightening a Contract Refinement,

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,

Model-Based Design of an Energy-System Embedded Controller Using Taste,

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,

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic,

in «LOGICAL METHODS IN COMPUTER SCIENCE»,

vol. 11,

n. 4,

2015
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano,

HRELTL: A temporal logic for hybrid systems,

in «INFORMATION AND COMPUTATION»,

vol. 245,

2015

, pp. 54 -

71
Cimatti A.; Griggio A.; Mover S.; Tonetta S.,

HYCOMP - an SMT-based model checker for hybrid systems,

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.,

Formal Design and Safety Analysis of AIR6110 Wheel Brake System,

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,

Safely Using the AUTOSAR End-to-End Protection Library,

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,

Combining MILS with Contract-Based Design for Safety and Security Requirements,

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,

Quantifier-free encoding of invariants for hybrid systems,

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,

Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case,

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.,

A Formal Framework for the Specification, Verification and Synthesis of Diagnosers,

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,

Formalizing requirements with object models and temporal constraints,

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,

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,

The synergy of precise and fast abstractions for program verification,

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,

GSTE is partitioned model checking,

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,

Property-driven partitioning for abstraction refinement,

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,

GSTE is partitioned Model Checking,

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)

Search form

You are here