The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stefano Tonetta" ( http://dblp.L3S.de/Authors/Stefano_Tonetta )

URL (Homepage):  http://es.fbk.eu/people/tonetta/  Author page on DBLP  Author page in RDF  Community of Stefano Tonetta in ASPL-2

Publication years (Num. hits)
2003-2009 (19) 2010-2012 (16) 2013-2015 (25) 2016-2018 (17) 2019 (6)
Publication types (Num. hits)
article(18) inproceedings(63) proceedings(2)
Venues (Conferences, Journals, ...)
CAV(7) FMCAD(6) Formal Methods in System Desig...(6) SAFECOMP(5) TACAS(5) ASE(3) CAV (1)(3) FM(3) ATVA(2) CoRR(2) EUROMICRO-SEAA(2) RV(2) SAFECOMP Workshops(2) Sci. Comput. Program.(2) SEFM(2) STTT(2) More (+10 of total 45)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 7 keywords

Results
Found 84 publication records. Showing 83 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta NuRV: A nuXmv Extension for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Chun Tian 0001, Stefano Tonetta Assumption-Based Runtime Verification with Partial Observability and Resets. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta COMPASS 3.0. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Goran 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. Search on Bibsonomy ARCH@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta Tightening the contract refinements of a system architecture. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Ivan Stojic, Stefano Tonetta Formal Specification and Verification of Dynamic Parametrized Architectures. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Marco Roveri, Stefano Tonetta Certifying Proofs for LTL Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. Search on Bibsonomy MILS@DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefano Tonetta Linear-time Temporal Logic with Event Freezing Functions. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta From System Specification to Anomaly Detection (and back). Search on Bibsonomy CPS-SPC@CCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.) Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano 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 Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Infinite-state invariant checking with IC3 and predicate abstraction. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta Verification of railway interlocking - Compositional approach with OCRA. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier Model Checking at Scale: Automated Air Traffic Control Design Space Exploration. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta Verification of Railway Interlocking - Compositional Approach with OCRA. Search on Bibsonomy RSSRail The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Victor Bos, Harold Bruintjes, Stefano Tonetta Catalogue of System and Software Properties. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta Model-Based Design of an Energy-System Embedded Controller Using Taste. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta Tightening a Contract Refinement. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Gario, Stefano Tonetta A Lazy Approach to Temporal Epistemic Logic Model Checking. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Safety assessment of AltaRica models via symbolic model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Stefano Tonetta Contracts-refinement proof system for component-based embedded systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta HRELTL: A temporal logic for hybrid systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson, Stefano Tonetta Formal Design and Safety Analysis of AIR6110 Wheel Brake System. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Arts, Stefano Tonetta Safely Using the AUTOSAR End-to-End Protection Library. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta Combining MILS with Contract-Based Design for Safety and Security Requirements. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta HyComp: An SMT-Based Model Checker for Hybrid Systems. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter Synthesis with IC3 (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier Comparing Different Functional Allocations in Automated Air Traffic Control Design. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Harald Rueß, Stefano Tonetta Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. Search on Bibsonomy MILS@HiPEAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta Quantifier-free encoding of invariants for hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Verifying LTL Properties of Hybrid Systems with K-Liveness. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Arts, Michele Dorigatti, Stefano Tonetta Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. Search on Bibsonomy SAFECOMP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta Formal Safety Assessment via Contract-Based Design. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loop summarization using state and transition invariants. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta SMT-based scenario verification for hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta IC3 Modulo Theories via Implicit Predicate Abstraction. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Sergio Mover, Alessandro Cimatti, Ashish Tiwari 0001, Stefano Tonetta Time-aware relational abstractions for hybrid systems. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Michele Dorigatti, Stefano Tonetta OCRA: A tool for checking the refinement of temporal contracts. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta Parameter synthesis with IC3. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich An abstraction refinement approach combining precise and approximated techniques. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Validation of requirements for hybrid systems: A formal approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta SMT-Based Verification of Hybrid Systems. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Stefano Tonetta A Property-Based Proof System for Contract-Based Design. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta A quantifier-free SMT encoding of non-linear hybrid automata. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Formalizing requirements with object models and temporal constraints. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Symbolic Model Checking and Safety Assessment of Altarica models. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta Efficient Scenario Verification for Hybrid Automata. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Stefano Tonetta Proving and explaining the unfeasibility of message sequence charts for hybrid systems. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta OthelloPlay: a plug-in based tool for requirement formalization and validation. Search on Bibsonomy TOPI@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta From Sequential Extended Regular Expressions to NFA with Symbolic Labels. Search on Bibsonomy CIAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loopfrog - loop summarization for static analysis. Search on Bibsonomy WING@ETAPS/IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta Model Checking of Hybrid Systems Using Shallow Synchronization. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo 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. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, methodology, requirements validation
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Formalization and Validation of Safety-Critical Requirements Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Requirements Validation for Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich The synergy of precise and fast abstractions for program verification. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CEGAR, predicate abstraction, abstraction refinement
1Stefano Tonetta Abstract Model Checking without Computing the Abstraction. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk. Search on Bibsonomy SAVCBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto 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. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EuRailCheck, formal methods, requirements validation, ETCS
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loopfrog: A Static Analyzer for ANSI-C Programs. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Symbolic Compilation of PSL. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Loop Summarization Using Abstract Transformers. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta From Informal Requirements to Property-Driven Formal Validation. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Object Models with Temporal Constraints. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi GSTE is partitioned model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GSTE, Property-driven partitioning, Symbolic model checking
1Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Syntactic Optimizations for PSL Verification. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Property-Driven Partitioning for Abstraction Refinement. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta From PSL to NBA: a Modular Symbolic Encoding. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi GSTE Is Partitioned Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roberto Sebastiani, Stefano Tonetta "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #83 of 83 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license