Damiano Angeletti

	2010
5		Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reasoning 45(4): 397-414 (2010)
	2009
4		Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294
3		Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST 2009: 303-306
	2001
2		Giuseppe Casalino, Damiano Angeletti, Tommaso Bozzo, Giacomo Marani: Dexterous Underwater Object Manipulation via Multirobot Cooperating Systems. ICRA 2001: 3220-3225
	1998
1		Damiano Angeletti, Giorgio Cannata, Giuseppe Casalino: The Control Architecture of the Amadeus Gripper. Int. J. Systems Science 29(5): 485-496 (1998)

Coauthor Index

1	Tommaso Bozzo	[2]
2	Giorgio Cannata	[1]
3	Giuseppe Casalino	[1] [2]
4	Enrico Giunchiglia	[3] [4] [5]
5	Giacomo Marani	[2]
6	Massimo Narizzano	[3] [4] [5]
7	Alessandra Puddu	[3] [4] [5]
8	Salvatore Sabina	[3] [4] [5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page