Marco Roveri

2008
36	EE	Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Object Models with Temporal Constraints. SEFM 2008: 249-258
35	EE	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
34	EE	Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems 27(10): 1737-1750 (2008)
2007
33	EE	Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
32	EE	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
31	EE	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
30	EE	Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518
29	EE	Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007)
28	EE	Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri: Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007)
2006
27	EE	Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
26	EE	Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
25	EE	Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta: From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133
24	EE	Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
2004
23	EE	Raman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20
22	EE	Alessandro Cimatti, Marco Roveri, Daniel Sheridan: Bounded Verification of Past LTL. FMCAD 2004: 245-259
21	EE	Raman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
20	EE	Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004)
19	EE	Marco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004)
18	EE	Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso: Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004)
2003
17	EE	Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52
16	EE	Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
15	EE	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)
2002
14	EE	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
13	EE	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
12	EE	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
2001
11		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri: Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI 2001: 467-472
10		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478
9	EE	Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327
2000
8	EE	Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR) 13: 305-338 (2000)
7	EE	Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
1999
6	EE	Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
5		Alessandro Cimatti, Marco Roveri: Conformant Planning via Model Checking. ECP 1999: 21-34
1998
4		Alessandro Cimatti, Marco Roveri, Paolo Traverso: Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881
3		Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43
1997
2		Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
1996
1		Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123

Coauthor Index

1	Piergiorgio Bertoli	[9] [10] [11] [20] [24]
2	Roderick Bloem	[26] [27] [28] [29] [33]
3	Paolo Busetta	[19]
4	Roberto Cavada	[26] [31] [33]
5	Alessandro Cimatti	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [20] [22] [24] [25] [26] [27] [28] [30] [31] [32] [34] [35] [36]
6	Edmund M. Clarke	[6] [7] [14]
7	Anders Franzén	[31]
8	Ariel Fuxman	[16] [18]
9	Enrico Giunchiglia	[13] [14]
10	Fausto Giunchiglia	[1] [2] [6] [7] [14]
11	Krishnamani Kalyanasundaram	[31]
12	Raman Kazhamiakin	[21] [23]
13	Lin Liu	[16] [18]
14	John Mylopoulos	[16] [18]
15	Anna Perini	[17]
16	Ingo Pill	[26] [27] [28] [33]
17	Marco Pistore	[12] [13] [14] [15] [16] [17] [19] [21] [23]
18	Viktor Schuppan	[32] [35]
19	Roberto Sebastiani	[1] [2] [12] [13] [14]
20	Simone Semprini	[25] [26] [27]
21	Daniel Sheridan	[22]
22	R. K. Shyamasundar	[31]
23	Fabio Somenzi	[29]
24	Angelo Susi	[17] [36]
25	Armando Tacchella	[13] [14]
26	Andrei Tchaltsev	[33] [35]
27	Stefano Tonetta	[25] [30] [32] [34] [36]
28	Paolo Traverso	[3] [4] [10] [15] [18] [24]