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 × 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 DBLP: Begin:Laurent_Van

Contributed to:

LATA 20092009
CSL 20072007
VMCAI 20062006
CAV 20052005
TACAS 20022002
CAV 20012001

Wrote 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.

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.