Andrea Micheli

	2011
3		Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri: Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316
	2010
2		Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri: Verifying SystemC: A software model checking approach. FMCAD 2010: 51-59
	2009
1		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

Coauthor Index

1	Roberto Cavada	[1]
2	Alessandro Cimatti	[1] [2] [3]
3	Alberto Griggio	[3]
4	Alessandro Mariotti	[1]
5	Cristian Mattarei	[1]
6	Sergio Mover	[1]
7	Iman Narasamdya	[2] [3]
8	Marco Pensallorto	[1]
9	Marco Roveri	[1] [2] [3]
10	Angelo Susi	[1]
11	Stefano Tonetta	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page