- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: SMT-based scenario verification for hybrid systems. Formal Methods in System Design 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 in System Design 42(3): 221-261 (2013) |
| 2012 | ||
| j7 | | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: An abstraction refinement approach combining precise and approximated techniques. STTT 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 (2012) |
| c25 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: SMT-Based Verification of Hybrid Systems. AAAI 2012 |
| c24 | | Alessandro Cimatti, Stefano Tonetta: A Property-Based Proof System for Contract-Based Design. EUROMICRO-SEAA 2012: 21-28 |
| c23 | | 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. ECEASST 46 (2011) |
| j4 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalizing requirements with object models and temporal constraints. Software and System Modeling 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. STTT 13(4): 319-335 (2011) |
| c22 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: Efficient Scenario Verification for Hybrid Automata. CAV 2011: 317-332 |
| c21 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA 2011: 275-278 |
| c20 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: Proving and explaining the unfeasibility of message sequence charts for hybrid systems. FMCAD 2011: 54-62 |
| 2010 | ||
| c19 | | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta: Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169 |
| c18 | | 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 |
| c17 | | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta: From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94 |
| 2009 | ||
| c16 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Requirements Validation for Hybrid Systems. CAV 2009: 188-203 |
| c15 | | |
| c14 | | 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 |
| c13 | | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 |
| c12 | | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573 |
| 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. on CAD of Integrated Circuits and Systems 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 in System Design 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 | ||
| 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 |
Colors in the list of coauthors
Last update Thu May 23 08:19:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page