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: Sutre:Gr=eacute=goire
Contributed to:
2015
2014
20132013
20122010
20072007
2002
2002Wrote 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.