


default search action
Stefano Tonetta
Person information
- affiliation: Fondazione Bruno Kessler, Trento, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j28]Srajan Goyal
, Alberto Griggio
, Stefano Tonetta
:
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. Sci. Comput. Program. 242: 103253 (2025) - 2024
- [j27]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. 64(1): 1-49 (2024) - [j26]Alexander Artikis, Roberto Posenato
, Stefano Tonetta:
Temporal representation and reasoning in data-intensive systems. Inf. Syst. 122: 102350 (2024) - [j25]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. 23(2): 427-453 (2024) - [c101]Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright:
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C 2024: 121-127 - [c100]Alberto Bombardelli, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
Another Look at LTL Modulo Theory over Finite and Infinite Traces. Principles of Verification (1) 2024: 419-443 - [c99]Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa:
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS 2024: 170-181 - [c98]Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta:
Unifying Asynchronous Logics for Hyperproperties. FSTTCS 2024: 14:1-14:18 - [c97]Mojtaba Sharifzadeh, Hani Beirami, Federico Bonafini, Matteo Campidelli, Roberto Cavada, Alessandro Cimatti, Stefano Tonetta:
A Switching Event-Triggered Model Predictive Control for HVAC Systems. ICINCO (1) 2024: 37-45 - [c96]Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta:
Towards Formal Design of FDIR Components with AI. ISoLA (4) 2024: 311-328 - [c95]Vince Molnár
, Bence Graics
, András Vörös
, Stefano Tonetta
, Luca Cristoforetti
, Greg Kimberly
, Pamela Dyer
, Kristin Giammarco
, Manfred Köthe
, John Hester
, Jamie Smith
, Christoph Grimm
:
Towards the Formal Verification of SysML v2 Models. MoDELS (Companion) 2024: 1086-1095 - [c94]Davide Bresolin, Filippo Fantinato, Stefano Tonetta:
Model Checking of Optimal LTL and ASAP Properties. OVERLAY 2024: 3-11 - [c93]Alessandro Cimatti
, Thomas Møller Grosen
, Kim G. Larsen
, Stefano Tonetta
, Martin Zimmermann
:
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. SEFM 2024: 70-88 - [c92]Srajan Goyal
, Alberto Griggio
, Stefano Tonetta
:
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. SEFM 2024: 441-460 - [c91]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) 2024: 44-65 - [d5]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Zenodo, 2024 - [d4]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Zenodo, 2024 - [i10]Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta:
Unifying Asynchronous Logics for Hyperproperties. CoRR abs/2404.16778 (2024) - [i9]Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann:
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability. CoRR abs/2409.05456 (2024) - 2023
- [j24]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
GR(1) is equivalent to R(1). Inf. Process. Lett. 179: 106319 (2023) - [j23]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19(3) (2023) - [c90]Alberto Casagrande
, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta:
Set-Based Invariants over Polynomial Systems. CILC 2023 - [c89]Alberto Bombardelli
, Stefano Tonetta:
Metric Temporal Logic with Resettable Skewed Clocks. DATE 2023: 1-6 - [c88]Stylianos Basagiannis
, Ludovico Battista
, Anna Becchi
, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis:
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W 2023: 243-250 - [c87]Isabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta:
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis. ICSRS 2023: 376-383 - [c86]Alberto Bombardelli
, Alessandro Cimatti
, Stefano Tonetta
, Marco Zamboni:
Symbolic Model Checking of Relative Safety LTL Properties. iFM 2023: 302-320 - [c85]Alberto Bombardelli
, Stefano Tonetta
:
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. NFM 2023: 174-190 - [c84]Alessandro Cimatti
, Luca Cristoforetti
, Alberto Griggio
, Stefano Tonetta
, Sara Corfini
, Marco Di Natale, Florian Barrau
:
EVA: a Tool for the Compositional Verification of AUTOSAR Models. TACAS (2) 2023: 3-10 - [c83]Srajan Goyal
, Alberto Griggio
, Jacob Kimblad, Stefano Tonetta:
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. FMAS@iFM 2023: 113-129 - [e6]Jérémie Guiochet
, Stefano Tonetta
, Friedemann Bitsch
:
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14181, Springer 2023, ISBN 978-3-031-40922-6 [contents] - [e5]Jérémie Guiochet
, Stefano Tonetta
, Erwin Schoitsch
, Matthieu Roy, Friedemann Bitsch
:
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Lecture Notes in Computer Science 14182, Springer 2023, ISBN 978-3-031-40952-3 [contents] - [e4]Akash Lal, Stefano Tonetta
:
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13800, Springer 2023, ISBN 978-3-031-25802-2 [contents] - [d3]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Version 1. Zenodo, 2023 [all versions] - [d2]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Zenodo, 2023 - [d1]Lukas König
, Christian Heinzemann
, Alberto Griggio
, Michaela Klauck
, Alessandro Cimatti
, Franziska Henze
, Stefano Tonetta
, Stefan Küperkoch
, Dennis Fassbender
, Michael Hanselmann
:
Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". Version 2. Zenodo, 2023 [all versions] - [i8]Alberto Bombardelli, Stefano Tonetta:
Asynchronous Composition of LTL Properties over Infinite and Finite Traces. CoRR abs/2312.14831 (2023) - 2022
- [j22]Benjamin Bittner, Marco Bozzano
, Alessandro Cimatti, Marco Gario
, Stefano Tonetta, Viktória Vozárová:
Diagnosability of fair transition systems. Artif. Intell. 309: 103725 (2022) - [j21]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-based Runtime Verification. Formal Methods Syst. Des. 60(2): 277-324 (2022) - [j20]Alessandro Cimatti
, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022) - [c82]Alessandro Cimatti
, Luca Geatti
, Nicola Gigante
, Angelo Montanari
, Stefano Tonetta
:
A first-order logic characterisation of safety and co-safety languages. FoSSaCS 2022: 244-263 - [c81]Alberto Bombardelli
, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta:
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA 2022: 21-27 - [c80]Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta:
A comprehensive framework for the analysis of automotive systems. MoDELS 2022: 379-389 - [c79]Alberto Bombardelli
, Stefano Tonetta
:
Asynchronous Composition of Local Interface LTL Properties. NFM 2022: 508-526 - [c78]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. SMT 2022: 80-89 - [c77]Marco Bozzano
, Alessandro Cimatti
, Stefano Tonetta
, Viktória Vozárová
:
Searching for Ribbon-Shaped Paths in Fair Transition Systems. TACAS (1) 2022: 543-560 - [e3]Alexander Artikis
, Roberto Posenato
, Stefano Tonetta
:
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. LIPIcs 247, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-262-4 [contents] - [i7]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
A first-order logic characterization of safety and co-safety languages. CoRR abs/2209.02307 (2022) - 2021
- [j19]Alberto Griggio
, Marco Roveri
, Stefano Tonetta
:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (2021) - [j18]Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa
, Stylianos Basagiannis
, Georgios Giantamidis, Thomas Bauer
, Enrico Ferrari
, Mikel Labayen Esnaola
, Vanessa Orani
, Johnny Öberg, David Pereira
, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti
, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
:
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87: 104349 (2021) - [c76]Sergio Mover, Alessandro Cimatti, Alberto Griggio
, Ahmed Irfan
, Stefano Tonetta:
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. CAV (1) 2021: 529-551 - [c75]Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta:
Model-based Analysis Support for Dependable Complex Systems in CHESS. MODELSWARD 2021: 262-269 - [c74]Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira
, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi
, Fabio Patrone, David Pereira, José Proença
, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie:
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC 2021: 325-340 - [c73]Jabier Martinez
, Alejandra Ruiz
, Ansgar Radermacher, Stefano Tonetta:
Assumptions and Guarantees for Composable Models in Papyrus for Robotics. RoSE@ICSE 2021: 1-4 - [c72]Jabier Martinez
, Alejandra Ruiz
, Ainara Garzo
, Thierry Keller
, Ansgar Radermacher, Stefano Tonetta:
Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics. RoSE@ICSE 2021: 13-18 - [c71]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. RV 2021: 207-227 - [c70]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM 2021: 351-371 - [c69]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. GandALF 2021: 152-165 - [i6]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. CoRR abs/2109.12821 (2021) - 2020
- [j17]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272: 104502 (2020) - [c68]Alessandro Cimatti, Luca Geatti
, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD 2020: 83-92 - [c67]Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta, Viktória Vozárová:
Model-Based Safety Analysis of Mode Transitions. SAFECOMP 2020: 99-114 - [c66]Peter Gorm Larsen
, Hugo Daniel Macedo
, John S. Fitzgerald
, Holger Pfeifer, Martin Benedikt
, Stefano Tonetta
, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
:
HUBCAP: A Novel Collaborative Approach to Model-Based Design of Cyber-Physical Systems. SIMULTECH (Selected Papers) 2020: 90-110 - [c65]Peter Gorm Larsen
, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio
, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems. SIMULTECH 2020: 263-270 - [c64]Alessandro Cimatti
, Luca Geatti
, Alberto Griggio
, Greg Kimberly, Stefano Tonetta
:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172 - [i5]Peter Gorm Larsen
, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.:
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems. CoRR abs/2005.02449 (2020) - [i4]Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR abs/2008.05335 (2020) - [i3]Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini, Alberto Debiasi, Stefano Tonetta:
Model-based analysis support for dependable complex systems in CHESS. CoRR abs/2009.06089 (2020)
2010 – 2019
- 2019
- [c63]Alessandro Cimatti, Alberto Griggio
, Enrico Magnago, Marco Roveri
, Stefano Tonetta:
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) 2019: 376-386 - [c62]Goran Frehse
, Alessandro Abate, Dieky Adzkiya
, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe
, Alberto Griggio
, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak
, Stefano Tonetta, Enea Zaffanella
:
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c61]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification with Partial Observability and Resets. RV 2019: 165-184 - [c60]Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
NuRV: A nuXmv Extension for Runtime Verification. RV 2019: 382-392 - [c59]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. SAFECOMP 2019: 200-215 - [c58]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll
, Stefano Tonetta:
COMPASS 3.0. TACAS (1) 2019: 379-385 - 2018
- [j16]Alessandro Cimatti
, Ramiro Demasi
, Stefano Tonetta:
Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52(1): 88-116 (2018) - [c57]Alessandro Cimatti, Ivan Stojic, Stefano Tonetta:
Formal Specification and Verification of Dynamic Parametrized Architectures. FM 2018: 625-644 - [c56]Alberto Griggio
, Marco Roveri
, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9 - [c55]Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta:
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. MILS@DSN 2018 - 2017
- [c54]Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta:
From System Specification to Anomaly Detection (and back). CPS-SPC@CCS 2017: 13-24 - [c53]Stefano Tonetta:
Linear-time Temporal Logic with Event Freezing Functions. GandALF 2017: 195-209 - [e2]Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10488, Springer 2017, ISBN 978-3-319-66265-7 [contents] - [e1]Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. Lecture Notes in Computer Science 10489, Springer 2017, ISBN 978-3-319-66283-1 [contents] - 2016
- [j15]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. Formal Methods Syst. Des. 49(3): 190-218 (2016) - [c52]Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Lazy Approach to Temporal Epistemic Logic Model Checking. AAMAS 2016: 1218-1226 - [c51]Marco Gario
, Alessandro Cimatti
, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier:
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. CAV (2) 2016: 3-22 - [c50]Jakub Daniel
, Alessandro Cimatti
, Alberto Griggio
, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. CAV (1) 2016: 271-291 - [c49]Roberto Cavada, Alessandro Cimatti
, Luigi Crema
, Mattia Roccabruna, Stefano Tonetta:
Model-Based Design of an Energy-System Embedded Controller Using Taste. FM 2016: 741-747 - [c48]Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of Railway Interlocking - Compositional Approach with OCRA. RSSRail 2016: 134-149 - [c47]Victor Bos, Harold Bruintjes, Stefano Tonetta:
Catalogue of System and Software Properties. SAFECOMP 2016: 88-101 - [c46]Alessandro Cimatti
, Ramiro Demasi, Stefano Tonetta:
Tightening a Contract Refinement. SEFM 2016: 386-402 - [i2]Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta:
Verification of railway interlocking - Compositional approach with OCRA. CoRR abs/1605.06245 (2016) - 2015
- [j14]Marco Bozzano
, Alessandro Cimatti
, Marco Gario
, Stefano Tonetta:
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Log. Methods Comput. Sci. 11(4) (2015) - [j13]Alessandro Cimatti
, Marco Roveri
, Stefano Tonetta:
HRELTL: A temporal logic for hybrid systems. Inf. Comput. 245: 54-71 (2015) - [j12]Alessandro Cimatti
, Stefano Tonetta:
Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. 97: 333-348 (2015) - [j11]Marco Bozzano
, Alessandro Cimatti
, Oleg Lisagor, Cristian Mattarei
, Sergio Mover, Marco Roveri
, Stefano Tonetta:
Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98: 464-483 (2015) - [c45]Marco Bozzano, Alessandro Cimatti
, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta:
Formal Design and Safety Analysis of AIR6110 Wheel Brake System. CAV (1) 2015: 518-535 - [c44]Cristian Mattarei, Alessandro Cimatti
, Marco Gario
, Stefano Tonetta, Kristin Y. Rozier:
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD 2015: 112-119 - [c43]Harald Rueß, Stefano Tonetta:
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. MILS@HiPEAC 2015 - [c42]Thomas Arts, Stefano Tonetta:
Safely Using the AUTOSAR End-to-End Protection Library. SAFECOMP 2015: 74-89 - [c41]Alessandro Cimatti
, Rance DeLong, Davide Marcantonio, Stefano Tonetta:
Combining MILS with Contract-Based Design for Safety and Security Requirements. SAFECOMP Workshops 2015: 264-276 - [c40]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter Synthesis with IC3 (Informal Presentation). SynCoP 2015: 106-107 - [c39]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
HyComp: An SMT-Based Model Checker for Hybrid Systems. TACAS 2015: 52-67 - 2014
- [j10]Alessandro Cimatti
, Sergio Mover, Stefano Tonetta:
Quantifier-free encoding of invariants for hybrid systems. Formal Methods Syst. Des. 45(2): 165-188 (2014) - [c38]Marco Bozzano, Alessandro Cimatti
, Cristian Mattarei, Stefano Tonetta:
Formal Safety Assessment via Contract-Based Design. ATVA 2014: 81-97 - [c37]Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio
, Alessandro Mariotti, Andrea Micheli
, Sergio Mover, Marco Roveri, Stefano Tonetta:
The nuXmv Symbolic Model Checker. CAV 2014: 334-342 - [c36]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
Verifying LTL Properties of Hybrid Systems with K-Liveness. CAV 2014: 424-440 - [c35]Thomas Arts, Michele Dorigatti, Stefano Tonetta:
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. SAFECOMP 2014: 81-92 - [c34]Alessandro Cimatti
, Alberto Griggio
, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61 - [c33]Marco Bozzano, Alessandro Cimatti
, Marco Gario
, Stefano Tonetta:
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. TACAS 2014: 326-340 - 2013
- [j9]Alessandro Cimatti
, Sergio Mover, Stefano Tonetta:
SMT-based scenario verification for hybrid systems. Formal Methods Syst. Des. 42(1): 46-66 (2013) - [j8]Daniel Kroening
, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [c32]Marco Bozzano
, Alessandro Cimatti, Marco Gario, Stefano Tonetta:
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. AAAI (Late-Breaking Developments) 2013 - [c31]Sergio Mover, Alessandro Cimatti
, Ashish Tiwari, Stefano Tonetta:
Time-aware relational abstractions for hybrid systems. EMSOFT 2013: 14:1-14:10 - [c30]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter synthesis with IC3. FMCAD 2013: 165-168 - [c29]