The SCEAS System
Navigation Menu

Search the dblp DataBase


Jacopo Mantovani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002