Concepedia

Laurent Van Begin

LV

13

Publications

321

Citations

11

H-Index

2002

Active since

Affiliations

Université Libre de Bruxelles(Current)

University of Genoa

Uppsala University

Laboratoire d'Informatique de Paris-Nord

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Laurent Van Begin is an author at Université Libre de Bruxelles specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationFormal SpecificationVerificationSoftware DesignSystems EngineeringComputational Complexity

Publications per year

2002–2010

13

Publications

13

Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin · Journal of Computer and System Sciences · 2005 · 75 citations

New Algorithms, Computational Complexity Theory, Engineering +10

Covering sharing trees: a compact data structure for parameterized verification

Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin · International Journal on Software Tools for Technology Transfer · 2004 · 32 citations

Formal Specification, Compact Data Structure, Engineering +15

Well-structured languages

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin · Acta Informatica · 2007 · 31 citations

A classification of the expressive power of well-structured transition systems

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin · Information and Computation · 2010 · 30 citations

Formal Specification, Engineering, Well-structured Transition Systems +11

On the complexity of partial order trace model checking

Thierry Massart, Cédric Meuter, Laurent Van Begin · Information Processing Letters · 2007 · 27 citations

Engineering, Automated Reasoning, Verification +8

Rows per page

1–5 of 13