The Control Architecture of the Amadeus Gripper. - Damiano Angeletti; Giorgio Cannata; Giuseppe Casalino (Int. J. Syst. Sci., 1998)

Dexterous Underwater Object Manipulation via Multirobot Cooperating Systems. - Giuseppe Casalino; Damiano Angeletti; Tommaso Bozzo; Giacomo Marani (ICRA, 2001)

Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu; Salvatore Sabina (RCRA@AI*IA, 2009)

Automatic Test Generation for Coverage Analysis Using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (EUROCAST, 2009)

Automatic Test Generation for Coverage Analysis of ERTMS Software. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (ICST, 2009)

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (J. Autom. Reason., 2010)