- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j29 |      | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: SMT-based scenario verification for hybrid systems. Formal Methods in System Design 42(1): 46-66 (2013) |
| j28 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Software Model Checking SystemC. IEEE Trans. on CAD of Integrated Circuits and Systems 32(5): 774-787 (2013) |
| c102 | | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani: The MathSAT5 SMT Solver. TACAS 2013: 93-107 |
| 2012 | ||
| j27 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Software Model Checking with Explicit Scheduler and Symbolic Threads. Logical Methods in Computer Science 8(2) (2012) |
| j26 | | 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) |
| c101 | | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive: Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI 2012 |
| c100 | | Alessandro Cimatti, Andrea Micheli, Marco Roveri: Solving Temporal Problems Using SMT: Weak Controllability. AAAI 2012 |
| c99 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: SMT-Based Verification of Hybrid Systems. AAAI 2012 |
| c98 | | |
| c97 | | 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 |
| c96 | | Alessandro Cimatti, Andrea Micheli, Marco Roveri: Solving Temporal Problems Using SMT: Strong Controllability. CP 2012: 248-264 |
| c95 | | Alessandro Cimatti, Stefano Tonetta: A Property-Based Proof System for Contract-Based Design. EUROMICRO-SEAA 2012: 21-28 |
| c94 | | |
| c93 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Verification of parametric system designs. FMCAD 2012: 122-130 |
| c92 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: A quantifier-free SMT encoding of non-linear hybrid automata. FMCAD 2012: 187-195 |
| e3 | | Alessandro Cimatti, Roberto Sebastiani (Eds.): Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7317, Springer 2012, isbn 978-3-642-31611-1 |
| 2011 | ||
| j25 | | 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) |
| j24 | | 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) |
| j23 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. J. Artif. Intell. Res. (JAIR) 40: 701-728 (2011) |
| j22 | | 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) |
| c91 | | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri: Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316 |
| c90 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: Efficient Scenario Verification for Hybrid Automata. CAV 2011: 317-332 |
| c89 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA 2011: 275-278 |
| c88 | | Alessandro Cimatti, Sergio Mover, Stefano Tonetta: Proving and explaining the unfeasibility of message sequence charts for hybrid systems. FMCAD 2011: 54-62 |
| c87 | | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev: A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403 |
| c86 | | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri: An Analytic Evaluation of SystemC Encodings in Promela. SPIN 2011: 90-107 |
| c85 | | Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356 |
| i3 | | Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. CoRR abs/1106.0252 (2011) |
| 2010 | ||
| j21 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient generation of craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1): 7 (2010) |
| c84 | | 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 |
| c83 | | 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 |
| c82 | | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri: Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712 |
| c81 | | Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti: Parametric analysis of distributed firm real-time systems: A case study. ETFA 2010: 1-8 |
| c80 | | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri: Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59 |
| c79 | | Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev: Applying SMT in symbolic execution of microcode. FMCAD 2010: 121-128 |
| c78 | | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta: Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169 |
| c77 | | 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 |
| c76 | | |
| c75 | | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico: Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS 2010: 99-113 |
| c74 | | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta: From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94 |
| 2009 | ||
| j20 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Ann. Math. Artif. Intell. 55(1-2): 63-99 (2009) |
| c73 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Interpolant Generation for UTVPI. CADE 2009: 167-182 |
| c72 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Requirements Validation for Hybrid Systems. CAV 2009: 188-203 |
| c71 | | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri: Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16 |
| c70 | | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software model checking via large-block encoding. FMCAD 2009: 25-32 |
| c69 | | 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 |
| c68 | | 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 |
| c67 | | 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 |
| c66 | | 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 |
| c65 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalization and Validation of Safety-Critical Requirements. FMA 2009: 68-75 |
| i2 | | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009) |
| i1 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories. CoRR abs/0906.4492 (2009) |
| 2008 | ||
| j19 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1737-1750 (2008) |
| c64 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: The MathSAT 4SMT Solver. CAV 2008: 299-303 |
| c63 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181 |
| c62 | | Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian: Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. RTSS 2008: 80-89 |
| c61 | | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Object Models with Temporal Constraints. SEFM 2008: 249-258 |
| c60 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412 |
| c59 | | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67 |
| e2 |  | Alessandro Cimatti, Robert B. Jones (Eds.): Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008. IEEE 2008, isbn 978-1-4244-2735-2 |
| 2007 | ||
| j18 | | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri: Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) |
| c58 | | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo: Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176 |
| c57 | | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti: Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252 |
| c56 | | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546 |
| c55 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani: A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV 2007: 547-560 |
| c54 | | 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 |
| c53 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. SAT 2007: 334-339 |
| c52 | | Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518 |
| 2006 | ||
| j17 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006) |
| j16 | | Alessandro Armando, Alessandro Cimatti: Preface. Electr. Notes Theor. Comput. Sci. 144(2): 1-2 (2006) |
| j15 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani: Encoding RTL Constructs for MathSAT: a Preliminary Report. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006) |
| j14 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006) |
| c51 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357 |
| c50 | | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826 |
| c49 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584 |
| c48 | | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta: From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133 |
| c47 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. LPAR 2006: 527-541 |
| c46 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani: To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). LPAR 2006: 557-571 |
| c45 | | Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18 |
| c44 | | Alessandro Cimatti, Roberto Sebastiani: Building Efficient Decision Procedures on Top of SAT Solvers. SFM 2006: 144-175 |
| c43 | | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218 |
| e1 | | Marco Bernardo, Alessandro Cimatti (Eds.): Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures. Lecture Notes in Computer Science 3965, Springer 2006, isbn 978-3-540-34304-2 |
| 2005 | ||
| j13 | | Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005) |
| j12 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reasoning 35(1-3): 265-293 (2005) |
| c42 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321 |
| c41 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349 |
| c40 | | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS 2005: 317-333 |
| 2004 | ||
| j11 | | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004) |
| c39 | | Floris Roelofsen, Luciano Serafini, Alessandro Cimatti: Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. ECAI 2004: 58-62 |
| c38 | | Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso: Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661 |
| c37 | | Alessandro Cimatti, Marco Roveri, Daniel Sheridan: Bounded Verification of Past LTL. FMCAD 2004: 245-259 |
| 2003 | ||
| j10 | | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 117-148 (2003) |
| j9 | | 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) |
| c36 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso: A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225 |
| c35 | | Alessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369 |
| c34 | | |
| 2002 | ||
| c33 | | Piergiorgio Bertoli, Alessandro Cimatti: Improving Heuristics for Planning as Search in Belief Space. AIPS 2002: 143-152 |
| c32 | | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245 |
| c31 | | Massimo Benerecetti, Alessandro Cimatti: Validation of Multiagent Systems by Symbolic Model Checking. AOSE 2002: 32-46 |
| c30 | | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002: 195-210 |
| c29 | | 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 |
| c28 | | Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux: Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580 |
| c27 | | Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002: 243-259 |
| c26 | | 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 |
| c25 | | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207 |
| 2001 | ||
| c24 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri: Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472 |
| c23 | | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 |
| c22 | | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327 |
| 2000 | ||
| j8 | | Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR) 13: 305-338 (2000) |
| j7 | | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36(1): 53-64 (2000) |
| j6 | | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000) |
| c21 | | |
| 1999 | ||
| j5 | | |
| c20 | | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499 |
| c19 | | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320 |
| c18 | | |
| c17 | | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604 |
| c16 | | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419 |
| c15 | | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207 |
| 1998 | ||
| j4 | | Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch: A Many-Sorted Natural Deduction. Computational Intelligence 14(1): 134-149 (1998) |
| j3 | | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998) |
| c14 | | Alessandro Cimatti, Marco Roveri, Paolo Traverso: Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881 |
| c13 | | Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43 |
| c12 | | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. FTCS 1998: 458-463 |
| c11 | | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso: A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230 |
| c10 | | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP 1998: 284-295 |
| 1997 | ||
| c9 | | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213 |
| c8 | | Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142 |
| 1996 | ||
| j2 | | Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti: Visual representation of natural language scene descriptions. IEEE Transactions on Systems, Man, and Cybernetics, Part B 26(4): 575-589 (1996) |
| c7 | | Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130 |
| c6 | | Alessandro Cimatti, Luciano Serafini: Mechanizing Multi-Agent Reasoning with Belief Contexts. FAPR 1996: 694-696 |
| 1995 | ||
| c5 | | Alessandro Cimatti, Luciano Serafini: Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. ICMAS 1995: 57-64 |
| 1994 | ||
| j1 | | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia: MRG: Building planers for real-world complex applications. Applied Artificial Intelligence 8(3): 333-357 (1994) |
| c4 | | Alessandro Cimatti, Luciano Serafini: Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 71-85 |
| c3 | | |
| 1993 | ||
| c2 | | Alessandro Armando, Alessandro Cimatti, Luca Viganò: Building and Executing Proof Strategies in a Formal Metatheory. AI*IA 1993: 11-22 |
| 1992 | ||
| c1 | | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647 |
Data released under the ODC-BY 1.0 license — See also our legal information page