Software Model Checking Using Linear Constraints. - Alessandro Armando; Claudio Castellini; Jacopo Mantovani (ICFEM, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - 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; et al. (CAV, 2005)

Model Checking Linear Programs with Arrays. - Alessandro Armando; Massimo Benerecetti; Jacopo Mantovani (SoftMC@CAV, 2005)

The eureka tool for software model checking. - Alessandro Armando; Massimo Benerecetti; Dario Carotenuto; Jacopo Mantovani; Pasquale Spica (ASE, 2007)

Abstraction Refinement of Linear Programs with Arrays. - Alessandro Armando; Massimo Benerecetti; Jacopo Mantovani (TACAS, 2007)

Automatic software verification for robotics. - Jacopo Mantovani (AI Commun., 2008)

Bounded model checking of software using SMT solvers instead of SAT solvers. - Alessandro Armando; Jacopo Mantovani; Lorenzo Platania (Int. J. Softw. Tools Technol. Transf., 2009)

Counterexample-guided abstraction refinement for linear programs with arrays. - Alessandro Armando; Massimo Benerecetti; Jacopo Mantovani (Autom. Softw. Eng., 2014)