Damiano Angeletti

According to our database, Damiano Angeletti authored at least 6 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

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

2009

Automatic Test Generation for Coverage Analysis of ERTMS Software.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatic Test Generation for Coverage Analysis Using CBMC.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina

Proceedings of the Computer Aided Systems Theory, 2009

Improving the Automatic Test Generation process for Coverage Analysis using CBMC.

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2001

Dexterous Underwater Object Manipulation via Multirobot Cooperating Systems.

Giuseppe Casalino, Damiano Angeletti, Tommaso Bozzo, Giacomo Marani

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

1998

The Control Architecture of the Amadeus Gripper.

Damiano Angeletti, Giorgio Cannata, Giuseppe Casalino

Int. J. Syst. Sci., 1998