| 2009 | LATA | A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2008 | UC | A Biologically Inspired Model with Fusion and Clonation of Membranes. | Giorgio Delzanno, Laurent Van Begin |
| 2007 | ATVA | On the Efficient Computation of the Minimal Coverability Set for Petri Nets. | Gilles Geeraerts, Jean-Franois Raskin, Laurent Van Begin |
| 2007 | CSL | Comparing the Expressive Power of Well-Structured Transition Systems. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2007 | FORTE | Testing Distributed Systems Through Symbolic Model Checking. | Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin |
| 2006 | VMCAI | A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. | Pierre Ganty, Jean-Franois Raskin, Laurent Van Begin |
| 2005 | CAV | Expand, Enlarge and Check... Made Efficient. | Gilles Geeraerts, Jean-Franois Raskin, Laurent Van Begin |
| 2002 | TACAS | Towards the Automated Verification of Multithreaded Java Programs. | Giorgio Delzanno, Jean-Franois Raskin, Laurent Van Begin |
| 2001 | CAV | Attacking Symbolic State Explosion. | Giorgio Delzanno, Jean-Franois Raskin, Laurent Van Begin |