The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laurent Van Begin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Attacking Symbolic State Explosion. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:298-310 [Conf]
  2. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    Expand, Enlarge and Check... Made Efficient. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:394-407 [Conf]
  3. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:287-298 [Conf]
  4. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Towards the Automated Verification of Multithreaded Java Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:173-187 [Conf]
  5. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:49-64 [Conf]
  6. Christophe Darlot, Alain Finkel, Laurent Van Begin
    About Fast and TReX Accelerations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:87-103 [Journal]
  7. Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    On the omega-language Expressive Power of Extended Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:87-101 [Journal]
  8. Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
    Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:6, pp:- [Journal]
  9. Jean-François Raskin, Laurent Van Begin
    Petri Nets with Non-blocking Arcs are Difficult to Analyze. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:98, n:, pp:35-55 [Journal]
  10. Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
    Games for Counting Abstractions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:69-85 [Journal]
  11. Raymond R. Devillers, Laurent Van Begin
    Boundedness undecidability for synchronized nets. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:99, n:5, pp:208-214 [Journal]
  12. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2006, v:72, n:1, pp:180-203 [Journal]
  13. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
    Covering sharing trees: a compact data structure for parameterized verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:268-297 [Journal]
  14. Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    On the omega-language expressive power of extended Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:374-386 [Journal]
  15. Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:124-143 [Conf]
  16. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    On the Efficient Computation of the Minimal Coverability Set for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:98-113 [Conf]
  17. Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
    Comparing the Expressive Power of Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:99-114 [Conf]
  18. Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
    Testing Distributed Systems Through Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:263-279 [Conf]
  19. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
    Well-structured languages. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:44, n:3-4, pp:249-288 [Journal]

  20. On the Dynamics of PB Systems with Volatile Membranes. [Citation Graph (, )][DBLP]


  21. On the Qualitative Analysis of Conformon P Systems. [Citation Graph (, )][DBLP]


  22. A Biologically Inspired Model with Fusion and Clonation of Membranes. [Citation Graph (, )][DBLP]


  23. A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. [Citation Graph (, )][DBLP]


Search in 0.397secs, Finished in 0.398secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002