|
Search the dblp DataBase
Marco Roveri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alessandro Cimatti, Marco Roveri, Paolo Traverso
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:875-881 [Conf]
- Alessandro Cimatti, Marco Roveri, Paolo Traverso
Strong Planning in Non-Deterministic Domains Via Model Checking. [Citation Graph (0, 0)][DBLP] AIPS, 1998, pp:36-43 [Conf]
- Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. [Citation Graph (0, 0)][DBLP] AOSE, 2003, pp:36-52 [Conf]
- Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
A New Method for Testing Decision Procedures in Modal Logics. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:264-267 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:359-364 [Conf]
- Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
NUSMV: A New Symbolic Model Verifier. [Citation Graph (0, 0)][DBLP] CAV, 1999, pp:495-499 [Conf]
- Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
Formal analysis of hardware requirements. [Citation Graph (0, 0)][DBLP] DAC, 2006, pp:821-826 [Conf]
- Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 1996, pp:119-123 [Conf]
- Alessandro Cimatti, Marco Roveri
Conformant Planning via Model Checking. [Citation Graph (0, 0)][DBLP] ECP, 1999, pp:21-34 [Conf]
- Raman Kazhamiakin, Marco Pistore, Marco Roveri
A Framework for Integrating Business Processes and Business Requirements. [Citation Graph (0, 0)][DBLP] EDOC, 2004, pp:9-20 [Conf]
- Alessandro Cimatti, Marco Roveri, Daniel Sheridan
Bounded Verification of Past LTL. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:245-259 [Conf]
- Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
From PSL to NBA: a Modular Symbolic Encoding. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:125-133 [Conf]
- Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
Integrating BDD-Based and SAT-Based Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] FroCos, 2002, pp:49-56 [Conf]
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:467-472 [Conf]
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:473-478 [Conf]
- Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
Specifying and Analyzing Early Requirements: Some Experimental Results. [Citation Graph (0, 0)][DBLP] RE, 2003, pp:105-0 [Conf]
- Raman Kazhamiakin, Marco Pistore, Marco Roveri
Formal Verification of Requirements using SPIN: A Case Study on Web Services. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:406-415 [Conf]
- Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:313-327 [Conf]
- Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
Improving the Encoding of LTL Model Checking into SAT. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:196-207 [Conf]
- Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
Symbolic Implementation of Alternating Automata. [Citation Graph (0, 0)][DBLP] CIAA, 2006, pp:208-218 [Conf]
- Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Strong planning under partial observability. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2006, v:170, n:4-5, pp:337-384 [Journal]
- Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
Weak, strong, and strong cyclic planning via symbolic model checking. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2003, v:147, n:1-2, pp:35-84 [Journal]
- Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
Conformant planning via symbolic model checking and heuristic search. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:159, n:1-2, pp:127-206 [Journal]
- Marco Pistore, Marco Roveri, Paolo Busetta
Requirements-Driven Verification of Web Services. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:95-108 [Journal]
- Roderick Bloem, Marco Roveri, Fabio Somenzi
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:1- [Journal]
- Alessandro Cimatti, Marco Roveri
Conformant Planning via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2000, v:13, n:, pp:305-338 [Journal]
- Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
Specifying and analyzing early requirements in Tropos. [Citation Graph (0, 0)][DBLP] Requir. Eng., 2004, v:9, n:2, pp:132-150 [Journal]
- Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
NUSMV: A New Symbolic Model Checker. [Citation Graph (0, 0)][DBLP] STTT, 2000, v:2, n:4, pp:410-425 [Journal]
- Francesco Amigoni, Nicola Gatti, C. Pinciroli, Marco Roveri
What planner for ambient intelligence applications? [Citation Graph (0, 0)][DBLP] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2005, v:35, n:1, pp:7-21 [Journal]
- Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
RAT: A Tool for the Formal Analysis of Requirements. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:263-267 [Conf]
- Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:532-546 [Conf]
- Alessandro Cimatti, Marco Roveri, Stefano Tonetta
Syntactic Optimizations for PSL Verification. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:505-518 [Conf]
Requirements Validation for Hybrid Systems. [Citation Graph (, )][DBLP]
RATSY - A New Requirements Analysis Tool with Synthesis. [Citation Graph (, )][DBLP]
A Model Checker for AADL. [Citation Graph (, )][DBLP]
Tighter integration of BDDs and SMT for Predicate Abstraction. [Citation Graph (, )][DBLP]
Structure-aware computation of predicate abstraction. [Citation Graph (, )][DBLP]
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]
Formalization and validation of a subset of the European Train Control System. [Citation Graph (, )][DBLP]
Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]
Object Models with Temporal Constraints. [Citation Graph (, )][DBLP]
Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]
Diagnostic Information for Realizability. [Citation Graph (, )][DBLP]
From Informal Requirements to Property-Driven Formal Validation. [Citation Graph (, )][DBLP]
Formalization and Validation of Safety-Critical Requirements [Citation Graph (, )][DBLP]
Search in 0.050secs, Finished in 0.053secs
|