default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefano 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
- 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) - [c92]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 - [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 - [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] - [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]Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta:
OCRA: A tool for checking the refinement of temporal contracts. ASE 2013: 702-705 - [i1]Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
IC3 Modulo Theories via Implicit Predicate Abstraction. CoRR abs/1310.6847 (2013) - 2012
- [j7]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques. Int. J. Softw. Tools Technol. Transf. 14(1): 1-14 (2012) - [j6]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Validation of requirements for hybrid systems: A formal approach. ACM Trans. Softw. Eng. Methodol. 21(4): 22:1-22:34 (2012) - [c28]Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
SMT-Based Verification of Hybrid Systems. AAAI 2012: 2100-2105 - [c27]Alessandro Cimatti, Stefano Tonetta:
A Property-Based Proof System for Contract-Based Design. EUROMICRO-SEAA 2012: 21-28 - [c26]Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
A quantifier-free SMT encoding of non-linear hybrid automata. FMCAD 2012: 187-195 - 2011
- [j5]Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta:
Symbolic Model Checking and Safety Assessment of Altarica models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j4]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalizing requirements with object models and temporal constraints. Softw. Syst. Model. 10(2): 147-160 (2011) - [j3]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Int. J. Softw. Tools Technol. Transf. 13(4): 319-335 (2011) - [c25]Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
Efficient Scenario Verification for Hybrid Automata. CAV 2011: 317-332 - [c24]Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA 2011: 275-278 - [c23]Alessandro Cimatti, Sergio Mover, Stefano Tonetta:
Proving and explaining the unfeasibility of message sequence charts for hybrid systems. FMCAD 2011: 54-62 - [c22]Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta:
OthelloPlay: a plug-in based tool for requirement formalization and validation. TOPI@ICSE 2011: 59 - 2010
- [c21]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c20]Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta:
Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169 - [c19]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. ICSE (2) 2010: 109-118 - [c18]Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta:
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94
2000 – 2009
- 2009
- [c17]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Requirements Validation for Hybrid Systems. CAV 2009: 188-203 - [c16]Stefano Tonetta:
Abstract Model Checking without Computing the Abstraction. FM 2009: 89-105 - [c15]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. ASE 2009: 665-667 - [c14]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - [c13]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573 - [c12]Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. SAVCBS 2009: 35-36 - [c11]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalization and Validation of Safety-Critical Requirements. FMA 2009: 68-75 - 2008
- [j2]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Symbolic Compilation of PSL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1737-1750 (2008) - [c10]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger:
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - [c9]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181 - [c8]Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Object Models with Temporal Constraints. SEFM 2008: 249-258 - 2007
- [j1]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE is partitioned model checking. Formal Methods Syst. Des. 31(2): 177-196 (2007) - [c7]Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta:
Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546 - [c6]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404 - [c5]Alessandro Cimatti, Marco Roveri, Stefano Tonetta:
Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518 - 2006
- [b1]Stefano Tonetta:
A new hybrid approach for efficient LTL model checking. University of Trento, Italy, 2006 - [c4]Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta:
From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133 - 2005
- [c3]Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363 - 2004
- [c2]Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE Is Partitioned Model Checking. CAV 2004: 229-241 - 2003
- [c1]Roberto Sebastiani, Stefano Tonetta:
"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. CHARME 2003: 126-140
Coauthor Index
[j25] [c92] [c91] [i9] [j24] [j23] [c90] [c88] [c87] [c86] [c84] [j22] [j21] [j20] [c82] [c81] [c80] [c78] [c77] [i7] [c76] [c71] [c70] [c69] [i6] [j17] [c68] [c64] [i4] [c63] [c62] [c61] [c60] [c59] [c58] [j16] [c57] [c55] [j15] [c52] [c51] [c50] [c49] [c46] [j14] [j13] [j12] [j11] [c45] [c44] [c41] [c40] [c39] [j10] [c38] [c37] [c36] [c34] [c33] [j9] [c32] [c31] [c30] [c29] [i1] [j6] [c28] [c27] [c26] [j5] [j4] [c25] [c24] [c23] [c22] [c20] [c19] [c18] [c17] [c15] [c11] [j2] [c9] [c8] [c7] [c5] [c4]
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-10-10 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
