dblp.uni-trier.dewww.uni-trier.de

Laurent Van Begin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
25EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA 2009: 71-82
2008
24EEGiorgio Delzanno, Laurent Van Begin: A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82
23EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94
22EEPierre Ganty, Jean-François Raskin, Laurent Van Begin: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Fundam. Inform. 88(3): 275-305 (2008)
21EEThierry Massart, Cédric Meuter, Laurent Van Begin: On the complexity of partial order trace model checking. Inf. Process. Lett. 106(3): 120-126 (2008)
2007
20EEGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the Efficient Computation of the Minimal Coverability Set for Petri Nets. ATVA 2007: 98-113
19EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114
18EEGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin: Testing Distributed Systems Through Symbolic Model Checking. FORTE 2007: 263-279
17EEPierre Ganty, Jean-François Raskin, Laurent Van Begin: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. ICATPN 2007: 124-143
16EEGiorgio Delzanno, Laurent Van Begin: On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256
15EEGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Well-structured languages. Acta Inf. 44(3-4): 249-288 (2007)
2006
14EEPierre Ganty, Jean-François Raskin, Laurent Van Begin: A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. VMCAI 2006: 49-64
13EERaymond R. Devillers, Laurent Van Begin: Boundedness undecidability for synchronized nets. Inf. Process. Lett. 99(5): 208-214 (2006)
12EEGilles 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): 180-203 (2006)
11EEAlain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language expressive power of extended Petri nets. Theor. Comput. Sci. 356(3): 374-386 (2006)
2005
10EEGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge and Check... Made Efficient. CAV 2005: 394-407
9EEAlain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language Expressive Power of Extended Petri Nets. Electr. Notes Theor. Comput. Sci. 128(2): 87-101 (2005)
8EEJean-François Raskin, Mathias Samuelides, Laurent Van Begin: Games for Counting Abstractions. Electr. Notes Theor. Comput. Sci. 128(6): 69-85 (2005)
7EEChristophe Darlot, Alain Finkel, Laurent Van Begin: About Fast and TReX Accelerations. Electr. Notes Theor. Comput. Sci. 128(6): 87-103 (2005)
2004
6EEGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. FSTTCS 2004: 287-298
5EEJean-François Raskin, Laurent Van Begin: Petri Nets with Non-blocking Arcs are Difficult to Analyze. Electr. Notes Theor. Comput. Sci. 98: 35-55 (2004)
4EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Covering sharing trees: a compact data structure for parameterized verification. STTT 5(2-3): 268-297 (2004)
2002
3EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
2EEAlain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin: Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. Electr. Notes Theor. Comput. Sci. 68(6): (2002)
2001
1EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Attacking Symbolic State Explosion. CAV 2001: 298-310

Coauthor Index

1Parosh Aziz Abdulla [19] [23] [25]
2Christophe Darlot [7]
3Giorgio Delzanno [1] [3] [4] [16] [19] [23] [24] [25]
4Raymond R. Devillers [13]
5Alain Finkel [2] [7] [9] [11]
6Pierre Ganty [14] [17] [22]
7Gilles Geeraerts [6] [9] [10] [11] [12] [15] [20]
8Gabriel Kalyon [18]
9Thierry Massart [18] [21]
10Cédric Meuter [18] [21]
11Jean-François Raskin [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [14] [15] [17] [20] [22]
12Mathias Samuelides [2] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)