Articles dans des revues avec comité de lecture (31)
  1. 25. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2004). Expand, enlarge, and check: New algorithms for the coverability problem of WSTS. Lecture notes in computer science, 3328, 287-298.
  2. 26. Delzanno, G., Raskin, J.-F., & Van Begin, L. (2004). CSTs (Covering Sharing Trees: Compact Data Structures for Parameterized Verification. International journal on software tools for technology transfer, 5(2-3), 268-297.
  3. 27. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2004). On the omega-language expressive power of extended Petri nets. Electronic Notes in Theoretical Computer Science, 128(2).
  4. 28. Finkel, A., Raskin, J.-F., Samuelides, M., & Van Begin, L. (2003). Monotonic extensions of petri nets: Forward and backward search revisited. Electronic Notes in Theoretical Computer Science, 68(6), 89-100. doi:10.1016/S1571-0661(04)80535-8
  5. 29. Delzanno, G., Raskin, J.-F., & Van Begin, L. (2002). Towards the Automated Verification ofMulti-threaded Java Programs. Lecture notes in computer science, 2280, 173-187.
  6. 30. Delzanno, G., Raskin, J.-F., & Van Begin, L. (2002). Towards the automated verification of multithreaded Java programs. Lecture notes in computer science, 2280 LNCS, 173-187.
  7. 31. Delzanno, G., Raskin, J.-F., & Van Begin, L. (2001). Attacking Symbolic State Explosion. Lecture notes in computer science, 2102, 298-310. doi:10.1007/3-540-44585-4_28
    8.   Communications publiées lors de congrès ou colloques nationaux et internationaux (3)
  8. 1. Ammirati, P., Delzanno, G., Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2002). Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems. Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02 (p. 6p.).
  9. 2. Massart, T., Raskin, J.-F., & Van Begin, L. (2002). Symbolic distributed verification of a class of parametric concurrent systems. Proceedings of PDMC02: Workshop on Parallel and Distributed Model Checking (p. 6) (August 2002: Brno, Czech Republic).
  10. 3. Massart, T., Van Begin, L., & Van Nuffel, E. (1999). Design of timed systems using a real-time process algebra. Proceedings of the second Panhellenic logic symposium (p. 5) Panhellenic logic symposium(2: July 1999: Delphi, Greece).
    11.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (3)
  11. 1. Ganty, P., Meuter, C., Van Begin, L., Kalyon, G., Raskin, J.-F., & Delzanno, G. (2007). Symbolic Data Structure for Sets of k-uples of Integers.
  12. 2. Finkel, A., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2005). A counter-example to the minimal coverability tree algorithm.
    13. << Précédent 1 2 3 4 Suivant >>