Travelled to:1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
2 × France
Collaborated with:G.Delzanno J.Raskin P.A.Abdulla P.Ganty G.Geeraerts
Talks about:multithread (1) comparison (1) interpret (1) framework (1) structur (1) properti (1) abstract (1) without (1) transit (1) program (1)
Person: Laurent Van Begin
DBLP: Begin:Laurent_Van
Contributed to:
2009
2007
2006
2005
20022001Wrote 6 papers:
- LATA-2009-AbdullaDB #comparison #petri net
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
- CSL-2007-AbdullaDB #power of
- Comparing the Expressive Power of Well-Structured Transition Systems (PAA, GD, LVB), pp. 99–114.
- VMCAI-2006-GantyRB #abstract interpretation #framework
- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS (PG, JFR, LVB), pp. 49–64.
- CAV-2005-GeeraertsRB #performance
- Expand, Enlarge and Check... Made Efficient (GG, JFR, LVB), pp. 394–407.
- TACAS-2002-DelzannoRB #automation #java #parallel #source code #thread #towards #verification
- Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
- CAV-2001-DelzannoRB #explosion
- Attacking Symbolic State Explosion (GD, JFR, LVB), pp. 298–310.