- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j16 |      | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Software Model Checking SystemC. IEEE Trans. on CAD of Integrated Circuits and Systems 32(5): 774-787 (2013) |
| 2012 | ||
| j15 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Software Model Checking with Explicit Scheduler and Symbolic Threads. Logical Methods in Computer Science 8(2) (2012) |
| j14 | | 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) |
| c49 | | Alessandro Cimatti, Andrea Micheli, Marco Roveri: Solving Temporal Problems Using SMT: Weak Controllability. AAAI 2012 |
| c48 | | Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev: Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV 2012: 378-393 |
| c47 | | Alessandro Cimatti, Andrea Micheli, Marco Roveri: Solving Temporal Problems Using SMT: Strong Controllability. CP 2012: 248-264 |
| c46 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Verification of parametric system designs. FMCAD 2012: 122-130 |
| e2 |  | Jörg Brauer, Marco Roveri, Hendrik Tews (Eds.): 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. OASICS 24, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, isbn 978-3-939897-36-1 |
| 2011 | ||
| j13 | | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011) |
| j12 | | 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) |
| j11 | | 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) |
| c45 | | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri: Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316 |
| c44 | | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev: A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403 |
| c43 | | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri: An Analytic Evaluation of SystemC Encodings in Promela. SPIN 2011: 90-107 |
| c42 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356 |
| i1 | | Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. CoRR abs/1106.0252 (2011) |
| 2010 | ||
| c41 | | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber: RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429 |
| c40 | | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer: A Model Checker for AADL. CAV 2010: 562-565 |
| c39 | | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri: Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712 |
| c38 | | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri: Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59 |
| c37 | | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri: Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 |
| c36 | | 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 |
| c35 | | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta: From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94 |
| e1 | | Stefan Kowalewski, Marco Roveri (Eds.): Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371, Springer 2010, isbn 978-3-642-15897-1 |
| 2009 | ||
| c34 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Requirements Validation for Hybrid Systems. CAV 2009: 188-203 |
| c33 | | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri: Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16 |
| c32 | | 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 |
| c31 | | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130 |
| c30 | | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186 |
| c29 | | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286 |
| c28 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalization and Validation of Safety-Critical Requirements. FMA 2009: 68-75 |
| 2008 | ||
| j10 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1737-1750 (2008) |
| c27 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181 |
| c26 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Object Models with Temporal Constraints. SEFM 2008: 249-258 |
| c25 | | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67 |
| 2007 | ||
| j9 | | Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007) |
| j8 | | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri: Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) |
| c24 | | Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 |
| c23 | | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546 |
| c22 | | Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar: Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD 2007: 69-76 |
| c21 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518 |
| 2006 | ||
| j7 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006) |
| c20 | | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826 |
| c19 | | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta: From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133 |
| c18 | | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218 |
| 2004 | ||
| j6 | | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004) |
| j5 | | Marco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004) |
| j4 | | Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso: Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004) |
| c17 | | Raman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20 |
| c16 | | Alessandro Cimatti, Marco Roveri, Daniel Sheridan: Bounded Verification of Past LTL. FMCAD 2004: 245-259 |
| c15 | | Raman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415 |
| 2003 | ||
| j3 | | Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1-2): 35-84 (2003) |
| c14 | | Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52 |
| c13 | | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105- |
| 2002 | ||
| c12 | | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364 |
| c11 | | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56 |
| c10 | | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207 |
| 2001 | ||
| c9 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri: Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 |
| c8 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 |
| c7 | | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327 |
| 2000 | ||
| j2 | | Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR) 13: 305-338 (2000) |
| j1 | | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000) |
| 1999 | ||
| c6 | | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499 |
| c5 | | |
| 1998 | ||
| c4 | | Alessandro Cimatti, Marco Roveri, Paolo Traverso: Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881 |
| c3 | | Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43 |
| 1997 | ||
| c2 | | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267 |
| 1996 | ||
| c1 | | Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123 |
Colors in the list of coauthors
Last update Thu May 23 06:27:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page