| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta |
Symbolic Model Checking and Safety Assessment of Altarica models.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalizing requirements with object models and temporal constraints. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Symbolic Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev |
A Comprehensive Approach to On-Board Autonomy Verification and Validation. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
Efficient Scenario Verification for Hybrid Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Kratos - A Software Model Checker for SystemC. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Efficient generation of craig interpolants in satisfiability modulo theories. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
Model Checking of Hybrid Systems Using Shallow Synchronization. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
Satisfiability Modulo the Theory of Costs: Foundations and Applications. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Verifying SystemC: A software model checking approach. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev |
Applying SMT in symbolic execution of microcode. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti |
SMT-Based Software Model Checking. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
Tighter integration of BDDs and SMT for Predicate Abstraction. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
formal methods, methodology, requirements validation |
| 1 | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani |
Software Model Checking via Large-Block Encoding |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalization and Validation of Safety-Critical Requirements |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Interpolant Generation for UTVPI. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
EuRailCheck, formal methods, requirements validation, ETCS |
| 1 | Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri |
Structure-aware computation of predicate abstraction. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani |
Software model checking via large-block encoding. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Requirements Validation for Hybrid Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Symbolic Compilation of PSL. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Object Models with Temporal Constraints. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
Efficient Interpolant Generation in Satisfiability Modulo Theories. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Robert B. Jones (eds.) |
Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 |
FMCAD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
From Informal Requirements to Property-Driven Formal Validation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian |
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani |
The MathSAT 4SMT Solver. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
Diagnostic Information for Realizability. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri |
Symbolic Implementation of Alternating Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Syntactic Optimizations for PSL Verification. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
Verifying Heap-Manipulating Programs in an SMT Framework. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo |
Symbolic Fault Tree Analysis for Reactive Systems. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
Boolean Abstraction for Temporal Logic Satisfiability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani |
Efficient theory combination via boolean search. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Alessandro Cimatti |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Strong planning under partial observability. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
Stong Cyclic Planning Under Partial Observability. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
From PSL to NBA: a Modular Symbolic Encoding. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
Towards Strong Cyclic Planning under Partial Observability. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti |
Formal analysis of hardware requirements. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
property assurance, property simulation, specification, requirements analysis, hardware design |
| 1 | Alessandro Cimatti, Roberto Sebastiani |
Building Efficient Decision Procedures on Top of SAT Solvers. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
SFM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini |
Symbolic Implementation of Alternating Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani |
Verifying Industrial Hybrid Systems with MathSAT. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability |
| 1 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
The MathSAT 3 System. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
Conformant planning via symbolic model checking and heuristic search. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso |
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Floris Roelofsen, Luciano Serafini, Alessandro Cimatti |
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Daniel Sheridan |
Bounded Verification of Past LTL. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso |
Weak, strong, and strong cyclic planning via symbolic model checking. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu |
Bounded model checking. |
Advances in Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Charles Pecheur, Roberto Cavada |
Formal Verification of Diagnosability via Symbolic Model Checking. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Benedetti, Alessandro Cimatti |
Bounded Model Checking for Past LTL. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso |
A Framework for Planning with Extended Goals under Partial Observability. |
ICAPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Bounded Model Checking for Timed Systems. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux |
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti |
Improving Heuristics for Planning as Search in Belief Space. |
AIPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
Integrating BDD-Based and SAT-Based Symbolic Model Checking. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Alessandro Cimatti |
Validation of Multiagent Systems by Symbolic Model Checking. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
Improving the Encoding of LTL Model Checking into SAT. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri |
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Symbolic Model Checking. |
J. Artif. Intell. Res. (JAIR) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Checker. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification |
| 1 | Alessandro Cimatti |
Industrial Applications of Model Checking. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Orna Grumberg |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri |
Conformant Planning via Model Checking. |
ECP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
Symbolic Model Checking without BDDs. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu |
Symbolic Model Checking Using SAT Procedures instead of BDDs. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")