dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Alessandro Cimatti Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri: Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Sergio Mover, Stefano Tonetta: Efficient Scenario Verification for Hybrid Automata. CAV 2011: 317-332
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Sergio Mover, Stefano Tonetta: HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. EUROMICRO-SEAA 2011: 275-278
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev: A Comprehensive Approach to On-Board Autonomy Verification and Validation. IJCAI 2011: 2398-2403
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri: An Analytic Evaluation of SystemC Encodings in Promela. SPIN 2011: 90-107
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Iman Narasamdya, Marco Roveri: Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking CoRR abs/1106.0252: (2011)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. J. Artif. Intell. Res. (JAIR) 40: 701-728 (2011)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalizing requirements with object models and temporal constraints. Software and System Modeling 10(2): 147-160 (2011)
2010
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderick 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
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer: A Model Checker for AADL. CAV 2010: 562-565
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta: From Sequential Extended Regular Expressions to NFA with Symbolic Labels. CIAA 2010: 87-94
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri: Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThi 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev: Applying SMT in symbolic execution of microcode. FMCAD 2010: 121-128
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri: Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta: Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti: SMT-Based Software Model Checking. SPIN 2010: 1-3
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico: Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS 2010: 99-113
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient generation of craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1): 7 (2010)
2009
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Interpolant Generation for UTVPI. CADE 2009: 167-182
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Stefano Tonetta: Requirements Validation for Hybrid Systems. CAV 2009: 188-203
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Formalization and Validation of Safety-Critical Requirements FMA 2009: 68-75
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software model checking via large-block encoding. FMCAD 2009: 25-32
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri: Structure-aware computation of predicate abstraction. FMCAD 2009: 9-16
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding CoRR abs/0904.4709: (2009)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories CoRR abs/0906.4492: (2009)
2008
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Robert B. Jones: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 IEEE 2008
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: The MathSAT 4SMT Solver. CAV 2008: 299-303
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Luigi Palopoli, Yusi Ramadian: Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. IEEE Real-Time Systems Symposium 2008: 80-89
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Object Models with Temporal Constraints. SEFM 2008: 249-258
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Stefano Tonetta: Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1737-1750 (2008)
2007
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Alessandro Cimatti, Francesco Tapparo: Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti: Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani: A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. SAT 2007: 334-339
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Stefano Tonetta: Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri: Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007)
2006
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Alessandro Cimatti: 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 Springer 2006
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta: From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt 2006: 1-18
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Roberto Sebastiani: Building Efficient Decision Procedures on Top of SAT Solvers. SFM 2006: 144-175
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Alessandro Cimatti: Preface. Electr. Notes Theor. Comput. Sci. 144(2): 1-2 (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
2005
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
2004
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFloris Roelofsen, Luciano Serafini, Alessandro Cimatti: Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. ECAI 2004: 58-62
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso: Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Daniel Sheridan: Bounded Verification of Past LTL. FMCAD 2004: 245-259
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004)
2003
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso: A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Benedetti, Alessandro Cimatti: Bounded Model Checking for Past LTL. TACAS 2003: 18-33
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 117-148 (2003)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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)
2002
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti: Improving Heuristics for Planning as Search in Belief Space. AIPS 2002: 143-152
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Alessandro Cimatti: Validation of Multiagent Systems by Symbolic Model Checking. AOSE 2002: 32-46
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux: Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002: 243-259
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
2001
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri: Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti: Industrial Applications of Model Checking. MOVEP 2000: 153-168
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR) 13: 305-338 (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVicky 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)
1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri: Conformant Planning via Model Checking. ECP 1999: 21-34
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 23(2): 127-128 (1999)
1998
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Paolo Traverso: Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Marco Roveri, Paolo Traverso: Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVicky 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch: A Many-Sorted Natural Deduction. Computational Intelligence 14(1): 134-149 (1998)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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)
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Luciano Serafini: Mechanizing Multi-Agent Reasoning with Belief Contexts. FAPR 1996: 694-696
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
1995
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Luciano Serafini: Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance. ICMAS 1995: 57-64
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Alessandro Cimatti: Introspective Metatheoretic Reasoning. META 1994: 425-439
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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)
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Alessandro Cimatti, Luca Viganò: Building and Executing Proof Strategies in a Formal Metatheory. AI*IA 1993: 11-22
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Alessandro Cimatti, Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647

Coauthor Index

1Alessandro Armando [2] [3] [7] [58]
2Gilles Audemard [35] [38] [40] [52]
3Marco Benedetti [44]
4Massimo Benerecetti [9] [39]
5Marco Bernardo [69]
6Piergiorgio Bertoli [15] [30] [31] [32] [36] [38] [40] [41] [46] [47] [49] [59] [61] [64] [66]
7Dirk Beyer [87] [92]
8Armin Biere [21] [24] [43]
9Roderick Bloem (Roderick Paul Bloem) [67] [68] [70] [109]
10Marco Bozzano [51] [52] [53] [54] [55] [56] [57] [61] [77] [89] [90] [94] [108] [112] [113] [117]
11Roberto Bruttomesso [51] [53] [54] [55] [56] [57] [62] [63] [74] [76] [84] [88]
12Lei Bu [102]
13Daniele Campana [116]
14Sérgio Vale Aguiar Campos [16] [26]
15Roberto Cavada [45] [67] [73] [97]
16Angelo Chiappini [22] [101]
17Edmund M. Clarke [16] [21] [24] [25] [26] [27] [37] [43]
18Jori Dubrovin [91]
19Anders Franzén [57] [62] [63] [73] [74] [84] [88] [99] [104] [106]
20Masahiro Fujita [24]
21Enrico Giunchiglia [3] [7] [9] [10] [34] [37]
22Fausto Giunchiglia [4] [9] [10] [11] [12] [13] [14] [15] [16] [25] [26] [27] [37]
23Karin Greimel [109]
24Alberto Griggio [62] [63] [72] [74] [80] [84] [86] [87] [88] [92] [96] [98] [99] [106] [111] [120]
25Orna Grumberg [19]
26Ziyad Hanna [57] [74]
27Vicky Hartonas-Garmhausen [16] [26]
28Georg Hofferek [109]
29Alan J. Hu [76]
30Robert B. Jones [85]
31Tommi A. Junttila [51] [53] [54] [55] [56] [91]
32Krishnamani Kalyanasundaram [73] [106]
33Joost-Pieter Katoen [89] [90] [94] [108] [113]
34M. Erkan Keremoglu [87] [92]
35Zurab Khasidashvili [57]
36Robert Könighofer [109]
37Artur Kornilowicz [35] [38] [40]
38Thi Thieu Hoa Le [105]
39Xuandong Li [102]
40Oleg Lisagor [112]
41Luca Macchi [101]
42Alessandro Mariotti [97]
43Cristian Mattarei [97] [112]
44Andrea Micheli [97] [103] [120]
45Giorgio Mongardi [12] [14]
46Sergio Mover [97] [102] [107] [112] [118] [119]
47Alexander Nadel [74] [104]
48Iman Narasamdya [103] [115] [116] [120]
49Viet Yen Nguyen [89] [90] [94] [108] [113]
50Thomas Noll [89] [90] [94] [108] [113]
51Luigi Palopoli [82] [105]
52Amit Palti [57] [74]
53Roberto Passerone [105]
54Paolo Pecchiari [11]
55Charles Pecheur [45]
56Marco Pensallorto [97]
57P. L. Pieraccini [20]
58Bruno Pietra [11]
59Ingo Pill [67] [68] [70]
60Marco Pistore [33] [34] [37] [42] [46] [64] [66]
61Carmen Porzia [22]
62Joe Profeta [11]
63Zvonimir Rakamaric [76]
64Yusi Ramadian [82] [105]
65Silvio Ranise [54] [56]
66Oscar Rebollo [101]
67Floris Roelofsen [50]
68Dario Romano [11] [12] [14]
69Peter van Rossum [51] [53] [54] [55] [56]
70G. Rotondo [22]
71Marco Roveri [17] [18] [23] [25] [27] [28] [30] [31] [32] [33] [34] [37] [42] [47] [48] [59] [65] [67] [68] [70] [71] [73] [75] [78] [79] [81] [83] [89] [90] [91] [93] [94] [95] [97] [101] [103] [106] [107] [108] [109] [110] [112] [113] [114] [115] [116] [117] [120]
72Alessandro Santuari [62]
73Stephan Schulz [51] [53] [55]
74Viktor Schuppan [75] [79] [109]
75Roberto Sebastiani [20] [22] [33] [34] [35] [37] [38] [40] [51] [52] [53] [54] [55] [56] [57] [60] [62] [63] [72] [74] [80] [84] [86] [87] [88] [92] [96] [98] [99] [104] [111]
76Richard Seeber [109]
77Simone Semprini [65] [67] [68]
78Luciano Serafini [5] [6] [8] [9] [50]
79Jonathan Shalev [104]
80Daniel Sheridan [48]
81R. K. Shyamasundar (Rudrapatna K. Shyamasundar) [73]
82John K. Slaney [36]
83Luca Spalazzi [1] [3]
84Cristian Stenico [99]
85Ofer Strichman [43]
86Angelo Susi [81] [83] [93] [97] [101] [110]
87Armando Tacchella [34] [37]
88Francesco Tapparo [77]
89Andrei Tchaltsev [79] [117]
90Sylvie Thiébaux [36]
91Stefano Tonetta [65] [71] [75] [78] [81] [83] [93] [95] [97] [101] [102] [107] [110] [112] [118] [119]
92Fernando Torielli [12] [14]
93Paolo Traverso [1] [3] [7] [10] [11] [12] [14] [15] [17] [18] [20] [22] [31] [42] [46] [49] [59]
94Luca Viganò [2]
95Adolfo Villafiorita [20] [22]
96Berardino Vittorini [101]
97Richard W. Weyhrauch [13]
98Ralf Wimmer [108]
99Bing Yu [11]
100Yunshan Zhu [21] [24] [43]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page