Attacking Symbolic State Explosion. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (CAV, 2001)

Towards the Automated Verification of Multithreaded Java Programs. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (TACAS, 2002)

Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. - Alain Finkel; Jean-François Raskin; Mathias Samuelides; Laurent Van Begin (INFINITY, 2002)

Petri Nets with Non-blocking Arcs are Difficult to Analyze. - Jean-François Raskin; Laurent Van Begin (INFINITY, 2003)

About Fast and TReX Accelerations. - Christophe Darlot; Alain Finkel; Laurent Van Begin (AVoCS, 2004)

On the omega-language Expressive Power of Extended Petri Nets. - Alain Finkel; Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (EXPRESS, 2004)

Games for Counting Abstractions. - Jean-François Raskin; Mathias Samuelides; Laurent Van Begin (AVoCS, 2004)

Covering sharing trees: a compact data structure for parameterized verification. - Giorgio Delzanno; Jean-François Raskin; Laurent Van Begin (Int. J. Softw. Tools Technol. Transf., 2004)

Expand, Enlarge and Check... Made Efficient. - Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (CAV, 2005)

A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. - Pierre Ganty; Jean-François Raskin; Laurent Van Begin (VMCAI, 2006)

Boundedness undecidability for synchronized nets. - Raymond Devillers; Laurent Van Begin (Inf. Process. Lett., 2006)

Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. - Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (J. Comput. Syst. Sci., 2006)

On the omega-language expressive power of extended Petri nets. - Alain Finkel; Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (Theor. Comput. Sci., 2006)

Comparing the Expressive Power of Well-Structured Transition Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (CSL, 2007)

Testing Distributed Systems Through Symbolic Model Checking. - Gabriel Kalyon; Thierry Massart; Cédric Meuter; Laurent Van Begin (FORTE, 2007)

On the Dynamics of PB Systems with Volatile Membranes. - Giorgio Delzanno; Laurent Van Begin (Workshop on Membrane Computing, 2007)

Well-structured languages. - Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (Acta Informatica, 2007)

On the Qualitative Analysis of Conformon P Systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (Workshop on Membrane Computing, 2008)

A Biologically Inspired Model with Fusion and Clonation of Membranes. - Giorgio Delzanno; Laurent Van Begin (UC, 2008)

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. - Pierre Ganty; Jean-François Raskin; Laurent Van Begin (Fundam. Informaticae, 2008)

On the complexity of partial order trace model checking. - Thierry Massart; Cédric Meuter; Laurent Van Begin (Inf. Process. Lett., 2008)

A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (LATA, 2009)

Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. - Pierre Ganty; Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (Tech. Sci. Informatiques, 2009)

On the Efficient Computation of the Minimal Coverability Set of Petri Nets. - Gilles Geeraerts; Jean-François Raskin; Laurent Van Begin (Int. J. Found. Comput. Sci., 2010)

On the verification of membrane systems with dynamic structure. - Giorgio Delzanno; Laurent Van Begin (Nat. Comput., 2010)

A classification of the expressive power of well-structured transition systems. - Parosh Aziz Abdulla; Giorgio Delzanno; Laurent Van Begin (Inf. Comput., 2011)