Jacopo Mantovani

According to our database, Jacopo Mantovani authored at least 8 papers between 2004 and 2014.

Collaborative distances:

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

2014

Counterexample-guided abstraction refinement for linear programs with arrays.

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani

Autom. Softw. Eng., 2014

2009

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

2008

Automatic software verification for robotics.

Jacopo Mantovani

AI Commun., 2008

2007

Abstraction Refinement of Linear Programs with Arrays.

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

The eureka tool for software model checking.

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005

Model Checking Linear Programs with Arrays.

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani

Proceedings of the 3rd Workshop on Software Model Checking, 2005

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, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Software Model Checking Using Linear Constraints.

Alessandro Armando, Claudio Castellini, Jacopo Mantovani

Proceedings of the Formal Methods and Software Engineering, 2004