Остановите войну!
for scientists:
default search action
Stefano Tonetta
- > Home > Persons > Stefano Tonetta
Publications
- 2024
- [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 - 2023
- [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 - 2022
- [j20]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, Stefano Tonetta:
Verification modulo theories. Formal Methods Syst. Des. 60(3): 452-481 (2022) - [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 - [c78]Alessandro Cimatti, Alberto Griggio, Stefano Tonetta:
The VMT-LIB Language and Tools. SMT 2022: 80-89 - 2021
- [j19]Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying proofs for SAT-based model checking. Formal Methods Syst. Des. 57(2): 178-210 (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 - [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) - [c64]Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta:
Safe Decomposition of Startup Requirements: Verification and Synthesis. TACAS (1) 2020: 155-172 - 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 - 2018
- [c56]Alberto Griggio, Marco Roveri, Stefano Tonetta:
Certifying Proofs for LTL Model Checking. FMCAD 2018: 1-9 - 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) - [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 - 2015
- [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
- [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 - [c34]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. TACAS 2014: 46-61 - 2013
- [c30]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Parameter synthesis with IC3. FMCAD 2013: 165-168 - [i1]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR abs/1310.6847 (2013)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint