The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marco Roveri" ( http://dblp.L3S.de/Authors/Marco_Roveri )

URL (Homepage):  https://es.fbk.eu/people/roveri/  Author page on DBLP  Author page in RDF  Community of Marco Roveri in ASPL-2

Publication years (Num. hits)
1996-2003 (17) 2004-2007 (16) 2008-2010 (20) 2011-2012 (16) 2013-2016 (17) 2017-2019 (12)
Publication types (Num. hits)
article(29) inproceedings(66) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 15 keywords

Results
Found 99 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri, David E. Smith Strong temporal planning with uncontrollable durations. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Marco Roveri, Stefano Tonetta Certifying Proofs for LTL Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Cerone, Marco Roveri (eds.) Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers Search on Bibsonomy SEFM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Dynamic controllability via Timed Game Automata. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Griggio, Marco Roveri Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani Verilog2SMV: A tool for word-level verification. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving strong controllability of temporal problems with uncertainty using SMT. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Safety assessment of AltaRica models via symbolic model checking. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta HRELTL: A temporal logic for hybrid systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang Formal Verification of Infinite-State BIP Models. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri Spacecraft early design validation using formal methods. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta The nuXmv Symbolic Model Checker. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Software Model Checking SystemC. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Timelines with Temporal Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Software Model Checking with Explicit Scheduler and Symbolic Threads Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Validation of requirements for hybrid systems: A formal approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Weak Controllability. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Marco Roveri Solving Temporal Problems Using SMT: Strong Controllability. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Verification of parametric system designs. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Jörg Brauer, Marco Roveri, Hendrik Tews (eds.) 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands Search on Bibsonomy SSV The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Formalizing requirements with object models and temporal constraints. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta Symbolic Model Checking and Safety Assessment of Altarica models. Search on Bibsonomy ECEASST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri Conformant Planning via Symbolic Model Checking Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri Safety, Dependability and Performance Analysis of Extended AADL Models. Search on Bibsonomy Comput. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri Kratos - A Software Model Checker for SystemC. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri An Analytic Evaluation of SystemC Encodings in Promela. Search on Bibsonomy SPIN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Iman Narasamdya, Marco Roveri Boosting Lazy Abstraction for SystemC with Partial Order Reduction. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta OthelloPlay: a plug-in based tool for requirement formalization and validation. Search on Bibsonomy TOPI@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev A Comprehensive Approach to On-Board Autonomy Verification and Validation. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer A Model Checker for AADL. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber RATSY - A New Requirements Analysis Tool with Synthesis. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri Tighter integration of BDDs and SMT for Predicate Abstraction. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri Semi-formal functional verification by EFSM traversing via NuSMV. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta From Sequential Extended Regular Expressions to NFA with Symbolic Labels. Search on Bibsonomy CIAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Kowalewski, Marco Roveri (eds.) Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri Verifying SystemC: A software model checking approach. Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Angelo 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. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, methodology, requirements validation
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Formalization and Validation of Safety-Critical Requirements Search on Bibsonomy FMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Codesign of dependable systems: A component-based modeling language. Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Requirements Validation for Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Verification and performance evaluation of aadl models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF performability, model checking, reliability, dependability, aadl
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri Model-Based Codesign of Critical Embedded Systems. Search on Bibsonomy ACES-MB@MoDELS The full citation details ... 2009 DBLP  BibTeX  RDF
1Roberto 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. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EuRailCheck, formal methods, requirements validation, ETCS
1Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri Structure-aware computation of predicate abstraction. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Symbolic Compilation of PSL. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta From Informal Requirements to Property-Driven Formal Validation. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev Diagnostic Information for Realizability. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Object Models with Temporal Constraints. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Marco Roveri, Fabio Somenzi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri Symbolic Implementation of Alternating Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev RAT: A Tool for the Formal Analysis of Requirements. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta Boolean Abstraction for Temporal Logic Satisfiability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Stefano Tonetta Syntactic Optimizations for PSL Verification. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso Strong planning under partial observability. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini Symbolic Implementation of Alternating Automata. Search on Bibsonomy CIAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta From PSL to NBA: a Modular Symbolic Encoding. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti Formal analysis of hardware requirements. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF property assurance, property simulation, specification, requirements analysis, hardware design
1Marco Pistore, Marco Roveri, Paolo Busetta Requirements-Driven Verification of Web Services. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso Specifying and analyzing early requirements in Tropos. Search on Bibsonomy Requir. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Early requirements specifications, Model checking, Formal methods
1Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli Conformant planning via symbolic model checking and heuristic search. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Daniel Sheridan Bounded Verification of Past LTL. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raman Kazhamiakin, Marco Pistore, Marco Roveri A Framework for Integrating Business Processes and Business Requirements. Search on Bibsonomy EDOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raman Kazhamiakin, Marco Pistore, Marco Roveri Formal Verification of Requirements using SPIN: A Case Study on Web Services. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso Weak, strong, and strong cyclic planning via symbolic model checking. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ariel Fuxman, Lin Liu 0001, Marco Pistore, Marco Roveri, John Mylopoulos Specifying and Analyzing Early Requirements: Some Experimental Results. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi Agent-Oriented Modeling by Interleaving Formal and Informal Specification. Search on Bibsonomy AOSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandro 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. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani Improving the Encoding of LTL Model Checking into SAT. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella Integrating BDD-Based and SAT-Based Symbolic Model Checking. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri Conformant Planning via Symbolic Model Checking. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri NUSMV: A New Symbolic Model Checker. Search on Bibsonomy STTT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification
1Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri NUSMV: A New Symbolic Model Verifier. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri Conformant Planning via Model Checking. Search on Bibsonomy ECP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Paolo Traverso Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Paolo Traverso Strong Planning in Non-Deterministic Domains Via Model Checking. Search on Bibsonomy AIPS The full citation details ... 1998 DBLP  BibTeX  RDF
1Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani A New Method for Testing Decision Procedures in Modal Logics. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani A New Method for Testing Decision Procedures in Modal and Terminological Logics. Search on Bibsonomy Description Logics The full citation details ... 1996 DBLP  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license