dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Damiano Angeletti Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST 2009: 303-306
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Casalino, Damiano Angeletti, Tommaso Bozzo, Giacomo Marani: Dexterous Underwater Object Manipulation via Multirobot Cooperating Systems. ICRA 2001: 3220-3225
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Angeletti, Giorgio Cannata, Giuseppe Casalino: The Control Architecture of the Amadeus Gripper. Int. J. Systems Science 29(5): 485-496 (1998)

Coauthor Index

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

Colors in the list of coauthors

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