Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:281-285 [Conf]
   
2. Alessandro Armando, Claudio Castellini, Jacopo Mantovani
   Software Model Checking Using Linear Constraints. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2004, pp:209-223 [Conf]
   
3. Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
   Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. [Citation Graph (0, 0)][DBLP]
   SPIN, 2006, pp:146-162 [Conf]
   
4. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
   Model Checking Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:79-94 [Journal]
   
5. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
   Abstraction Refinement of Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:373-388 [Conf]
   
6. 
   The eureka tool for software model checking. [Citation Graph (, )][DBLP]
   
   
7. 
   Automatic software verification for robotics. [Citation Graph (, )][DBLP]