BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Croatia
1 × Denmark
1 × Russia
2 × Italy
2 × Spain
3 × United Kingdom
4 × USA
Collaborated with:
R.Majumdar J.Esparza J.Raskin A.Rezine S.Genaim G.Delzanno R.Iosif F.Konecný B.Monmege N.Maquet A.Rybalchenko P.Cousot L.V.Begin S.Schwoon A.Armando L.Compagna A.Durand-Gasselin M.Emmi F.Rosa-Velardo
Talks about:
abstract (5) verif (5) asynchron (4) program (4) base (4) parameter (3) refin (3) model (3) underapproxim (2) protocol (2)

Person: Pierre Ganty

DBLP DBLP: Ganty:Pierre

Contributed to:

CAV 20152015
ESOP 20152015
LATA 20142014
CAV 20132013
TACAS 20132013
LICS 20122012
POPL 20112011
CAV 20102010
CIAA 20092009
POPL 20092009
SAS 20072007
VMCAI 20062006
SAS 20052005
TACAS 20042004
FME 20032003

Wrote 16 papers:

CAV-2015-Durand-Gasselin #model checking
Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
ESOP-2015-EmmiGMR #analysis #source code
Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
LATA-2014-GantyR #order #verification
Ordered Counter-Abstraction — Refinable Subword Relations for Parameterized Verification (PG, AR), pp. 396–408.
CAV-2013-EsparzaGM #verification
Parameterized Verification of Asynchronous Shared-Memory Systems (JE, PG, RM), pp. 124–140.
CAV-2013-GantyG #proving #termination
Proving Termination Starting from the End (PG, SG), pp. 397–412.
TACAS-2013-GantyIK #approximate #integer #source code #summary
Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.
LICS-2012-EsparzaGM #bound #verification
A Perfect Model for Bounded Verification (JE, PG, RM), pp. 285–294.
POPL-2011-EsparzaG #complexity #parallel #source code #thread #verification
Complexity of pattern-based verification for multithreaded programs (JE, PG), pp. 499–510.
CAV-2010-GantyMM #approximate #bound
Bounded Underapproximations (PG, RM, BM), pp. 600–614.
CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement
Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
POPL-2009-GantyMR #liveness #source code #verification
Verifying liveness for asynchronous programs (PG, RM, AR), pp. 102–113.
SAS-2007-CousotGR #abstraction
Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.
VMCAI-2006-GantyRB #abstract interpretation #framework
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS (PG, JFR, LVB), pp. 49–64.
SAS-2005-EsparzaGS #abstraction
Locality-Based Abstractions (JE, PG, SS), pp. 118–134.
TACAS-2004-DelzannoG #automation #encryption #protocol #verification
Automatic Verification of Time Sensitive Cryptographic Protocols (GD, PG), pp. 342–356.
FME-2003-ArmandoCG #analysis #graph #model checking #protocol #satisfiability #security #using
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis (AA, LC, PG), pp. 875–893.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.