BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × Italy
1 × Japan
1 × Portugal
2 × Denmark
2 × USA
Collaborated with:
J.Leroux F.Herbreteau A.Heußner T.A.Henzinger R.Jhala R.Majumdar P.Totzke M.Praveen V.Penelle T.L.Gall T.Q.Tran L.Clemente A.Stainer A.Muscholl G.C.Necula W.Weimer
Talks about:
system (6) pushdown (3) communic (3) vector (3) addit (3) reachabl (2) problem (2) analysi (2) ackermannian (1) framework (1)

Person: Grégoire Sutre

DBLP DBLP: Sutre:Gr=eacute=goire

Contributed to:

ICALP (2) 20152015
CSL-LICS 20142014
FOSSACS 20132013
LICS 20132013
TACAS 20122012
FOSSACS 20102010
SAS 20072007
TACAS 20072007
CAV 20022002
POPL 20022002

Wrote 10 papers:

ICALP-v2-2015-LerouxST #automaton #on the #problem
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
LICS-CSL-2014-LerouxPS #automaton #bound
Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
FoSSaCS-2013-ClementeHSS #communication #process #reachability
Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
LICS-2013-LerouxPS #on the #problem
On the Context-Freeness Problem for Vector Addition Systems (JL, VP, GS), pp. 43–52.
TACAS-2012-HeussnerGS #communication #framework #named #verification
McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
FoSSaCS-2010-HeussnerLMS #analysis #automaton #communication #reachability
Reachability Analysis of Communicating Pushdown Systems (AH, JL, AM, GS), pp. 267–281.
SAS-2007-LerouxS #analysis #data flow
Accelerated Data-Flow Analysis (JL, GS), pp. 184–199.
TACAS-2007-HerbreteauST #concurrent
Unfolding Concurrent Well-Structured Transition Systems (FH, GS, TQT), pp. 706–720.
CAV-2002-HenzingerJMNSW #proving
Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.
POPL-2002-HenzingerJMS #abstraction #lazy evaluation
Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.

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.