Laurent Van Begin

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