Roberto Cavada

	2009
5		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: 665-667
	2007
4		Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
3		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
	2006
2		Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
	2003
1		Alessandro Cimatti, Charles Pecheur, Roberto Cavada: Formal Verification of Diagnosability via Symbolic Model Checking. IJCAI 2003: 363-369

Coauthor Index

1	Roderick Bloem (Roderick Paul Bloem)	[2] [4]
2	Alessandro Cimatti	[1] [2] [3] [5]
3	Anders Franzén	[3]
4	Krishnamani Kalyanasundaram	[3]
5	Alessandro Mariotti	[5]
6	Cristian Mattarei	[5]
7	Andrea Micheli	[5]
8	Sergio Mover	[5]
9	Charles Pecheur	[1]
10	Marco Pensallorto	[5]
11	Ingo Pill	[2] [4]
12	Marco Roveri	[2] [3] [4] [5]
13	Simone Semprini	[2]
14	R. K. Shyamasundar (Rudrapatna K. Shyamasundar)	[3]
15	Angelo Susi	[5]
16	Andrei Tchaltsev	[4]
17	Stefano Tonetta	[5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page