| 2008 |
|---|
| 7 | EE | Jacopo Mantovani:
Automatic software verification for robotics.
AI Commun. 21(4): 263-264 (2008) |
| 2007 |
|---|
| 6 | EE | Alessandro Armando,
Massimo Benerecetti,
Dario Carotenuto,
Jacopo Mantovani,
Pasquale Spica:
The eureka tool for software model checking.
ASE 2007: 541-542 |
| 5 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Abstraction Refinement of Linear Programs with Arrays.
TACAS 2007: 373-388 |
| 2006 |
|---|
| 4 | EE | Alessandro Armando,
Jacopo Mantovani,
Lorenzo Platania:
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.
SPIN 2006: 146-162 |
| 3 | EE | Alessandro Armando,
Massimo Benerecetti,
Jacopo Mantovani:
Model Checking Linear Programs with Arrays.
Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006) |
| 2005 |
|---|
| 2 | EE | Alessandro Armando,
David A. Basin,
Yohan Boichut,
Yannick Chevalier,
Luca Compagna,
Jorge Cuéllar,
Paul Hankes Drielsma,
Pierre-Cyrille Héam,
Olga Kouchnarenko,
Jacopo Mantovani,
Sebastian Mödersheim,
David von Oheimb,
Michaël Rusinowitch,
Judson Santiago,
Mathieu Turuani,
Luca Viganò,
Laurent Vigneron:
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
CAV 2005: 281-285 |
| 2004 |
|---|
| 1 | EE | Alessandro Armando,
Claudio Castellini,
Jacopo Mantovani:
Software Model Checking Using Linear Constraints.
ICFEM 2004: 209-223 |
