 | 2009 |
|---|
| 11 |       | Pierre Ganty,
Nicolas Maquet,
Jean-François Raskin:
Fixpoint Guided Abstraction Refinement for Alternating Automata.
CIAA 2009: 155-164 |
| 10 | | Pierre Ganty,
Rupak Majumdar:
Analyzing Real-Time Event-Driven Programs.
FORMATS 2009: 164-178 |
| 9 | | Pierre Ganty,
Rupak Majumdar,
Andrey Rybalchenko:
Verifying liveness for asynchronous programs.
POPL 2009: 102-113 |
| 2008 |
|---|
| 8 | | Pierre Ganty,
Rupak Majumdar,
Benjamin Monmege:
Parikh-Equivalent Bounded Underapproximations
CoRR abs/0809.1236: (2008) |
| 7 | | Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin:
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
Fundam. Inform. 88(3): 275-305 (2008) |
| 2007 |
|---|
| 6 | | Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin:
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
ICATPN 2007: 124-143 |
| 5 | | Patrick Cousot,
Pierre Ganty,
Jean-François Raskin:
Fixpoint-Guided Abstraction Refinements.
SAS 2007: 333-348 |
| 2006 |
|---|
| 4 | | Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin:
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.
VMCAI 2006: 49-64 |
| 2005 |
|---|
| 3 | | Javier Esparza,
Pierre Ganty,
Stefan Schwoon:
Locality-Based Abstractions.
SAS 2005: 118-134 |
| 2004 |
|---|
| 2 | | Giorgio Delzanno,
Pierre Ganty:
Automatic Verification of Time Sensitive Cryptographic Protocols.
TACAS 2004: 342-356 |
| 2003 |
|---|
| 1 | | Alessandro Armando,
Luca Compagna,
Pierre Ganty:
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.
FME 2003: 875-893 |
