Damiano Angeletti
According to our database1,
Damiano Angeletti
authored at least 6 papers
between 1998 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.
J. Autom. Reason., 2010
2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Computer Aided Systems Theory, 2009
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009
2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
1998