Jacopo Mantovani

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Interior Point Methods

Top Venues

Autom. Softw. Eng.

Publications

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Counterexample-guided abstraction refinement for linear programs with arrays. Autom. Softw. Eng. 21 (2) (2014)
Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
Bounded model checking of software using SMT solvers instead of SAT solvers. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Jacopo Mantovani
Automatic software verification for robotics. AI Commun. 21 (4) (2008)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Abstraction Refinement of Linear Programs with Arrays. TACAS (2007)
Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking. ASE (2007)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Model Checking Linear Programs with Arrays. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. SPIN (2006)
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)
Alessandro Armando, Claudio Castellini, Jacopo Mantovani
Software Model Checking Using Linear Constraints. ICFEM (2004)