Laurent Van Begin

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
A classification of the expressive power of well-structured transition systems. Inf. Comput. 209 (3) (2011)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the Efficient Computation of the Minimal Coverability Set of Petri Nets. Int. J. Found. Comput. Sci. 21 (2) (2010)
Giorgio Delzanno, Laurent Van Begin
On the verification of membrane systems with dynamic structure. Nat. Comput. 9 (4) (2010)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA (2009)
Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Tech. Sci. Informatiques 28 (9) (2009)
Pierre Ganty, Jean-François Raskin, Laurent Van Begin
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Fundam. Informaticae 88 (3) (2008)
Giorgio Delzanno, Laurent Van Begin
A Biologically Inspired Model with Fusion and Clonation of Membranes. UC (2008)
Thierry Massart, Cédric Meuter, Laurent Van Begin
On the complexity of partial order trace model checking. Inf. Process. Lett. 106 (3) (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
Comparing the Expressive Power of Well-Structured Transition Systems. CSL (2007)
Pierre Ganty, Jean-François Raskin, Laurent Van Begin
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. ICATPN (2007)
Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
Testing Distributed Systems Through Symbolic Model Checking. FORTE (2007)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. ATVA (2007)
Giorgio Delzanno, Laurent Van Begin
On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing (2007)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Well-structured languages. Acta Informatica 44 (3-4) (2007)
Pierre Ganty, Jean-François Raskin, Laurent Van Begin
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. VMCAI (2006)
Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
-language expressive power of extended Petri nets. Theor. Comput. Sci. 356 (3) (2006)
Raymond R. Devillers, Laurent Van Begin
Boundedness undecidability for synchronized nets. Inf. Process. Lett. 99 (5) (2006)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. J. Comput. Syst. Sci. 72 (1) (2006)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge and Check... Made Efficient. CAV (2005)
Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
Games for Counting Abstractions. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Christophe Darlot, Alain Finkel, Laurent Van Begin
About Fast and TReX Accelerations. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
Covering sharing trees: a compact data structure for parameterized verification. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
On the omega-language Expressive Power of Extended Petri Nets. EXPRESS (2004)
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. FSTTCS (2004)
Jean-François Raskin, Laurent Van Begin
Petri Nets with Non-blocking Arcs are Difficult to Analyze. INFINITY (2003)
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
Towards the Automated Verification of Multithreaded Java Programs. TACAS (2002)
Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. INFINITY (2002)
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
Attacking Symbolic State Explosion. CAV (2001)