The SCEAS System
Navigation Menu

Search the dblp DataBase


Pierre Ganty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Armando, Luca Compagna, Pierre Ganty
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:875-893 [Conf]
  2. Javier Esparza, Pierre Ganty, Stefan Schwoon
    Locality-Based Abstractions. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:118-134 [Conf]
  3. Giorgio Delzanno, Pierre Ganty
    Automatic Verification of Time Sensitive Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:342-356 [Conf]
  4. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:49-64 [Conf]
  5. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:124-143 [Conf]
  6. Patrick Cousot, Pierre Ganty, Jean-François Raskin
    Fixpoint-Guided Abstraction Refinements. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:333-348 [Conf]

  7. Bounded Underapproximations. [Citation Graph (, )][DBLP]

  8. Analyzing Real-Time Event-Driven Programs. [Citation Graph (, )][DBLP]

  9. Verifying liveness for asynchronous programs. [Citation Graph (, )][DBLP]

  10. Fixpoint Guided Abstraction Refinement for Alternating Automata. [Citation Graph (, )][DBLP]

  11. Parikh-Equivalent Bounded Underapproximations [Citation Graph (, )][DBLP]

  12. Parikh's Theorem: A simple and direct construction [Citation Graph (, )][DBLP]

Search in 0.003secs, 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