Marco Roveri

	2009
40		Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Requirements Validation for Hybrid Systems. CAV 2009: 188-203
39		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: 285-286
38		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: 173-186
	2008
37		Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: From Informal Requirements to Property-Driven Formal Validation. FMICS 2008: 166-181
36		Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta: Object Models with Temporal Constraints. SEFM 2008: 249-258
35		Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
34		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		Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
32		Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
31		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		Alessandro Cimatti, Marco Roveri, Stefano Tonetta: Syntactic Optimizations for PSL Verification. TACAS 2007: 505-518
29		Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007)
28		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		Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
26		Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
25		Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta: From PSL to NBA: a Modular Symbolic Encoding. FMCAD 2006: 125-133
24		Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso: Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006)
	2004
23		Raman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20
22		Alessandro Cimatti, Marco Roveri, Daniel Sheridan: Bounded Verification of Past LTL. FMCAD 2004: 245-259
21		Raman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
20		Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159(1-2): 127-206 (2004)
19		Marco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004)
18		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		Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52
16		Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
15		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		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		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		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		Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli: Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS 2001: 313-327
	2000
8		Alessandro Cimatti, Marco Roveri: Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR) 13: 305-338 (2000)
7		Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
	1999
6		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	Marco Bozzano	[38] [39]
4	Paolo Busetta	[19]
5	Roberto Cavada	[26] [31] [33]
6	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] [37] [38] [39] [40]
7	Edmund M. Clarke	[6] [7] [14]
8	Anders Franzén	[31]
9	Ariel Fuxman	[16] [18]
10	Enrico Giunchiglia	[13] [14]
11	Fausto Giunchiglia	[1] [2] [6] [7] [14]
12	Krishnamani Kalyanasundaram	[31]
13	Joost-Pieter Katoen	[38] [39]
14	Raman Kazhamiakin	[21] [23]
15	Lin Liu	[16] [18]
16	John Mylopoulos	[16] [18]
17	Viet Yen Nguyen	[38] [39]
18	Thomas Noll	[38] [39]
19	Anna Perini	[17]
20	Ingo Pill	[26] [27] [28] [33]
21	Marco Pistore	[12] [13] [14] [15] [16] [17] [19] [21] [23]
22	Viktor Schuppan	[32] [35]
23	Roberto Sebastiani	[1] [2] [12] [13] [14]
24	Simone Semprini	[25] [26] [27]
25	Daniel Sheridan	[22]
26	R. K. Shyamasundar	[31]
27	Fabio Somenzi	[29]
28	Angelo Susi	[17] [36] [37]
29	Armando Tacchella	[13] [14]
30	Andrei Tchaltsev	[33] [35]
31	Stefano Tonetta	[25] [30] [32] [34] [36] [37] [40]
32	Paolo Traverso	[3] [4] [10] [15] [18] [24]