- Well-Structured Languages Gilles Geeraerts Jean-Francois Raskin Laurent Van Begin
- June 6, 2008 17:38 WSPC/INSTRUCTION FILE main International Journal of Foundations of Computer Science
- Une courte introduction aux outils de dveloppement C++ sous Linux
- Submitted for publication to FSTTCS'04 Accepted for presentation to Journ ees Montoises d'Informatique
- Expand, Enlarge, and Check New algorithms for the coverability problem of WSTS
- Lattice-Valued Binary Decision Diagrams G. Geeraerts, G. Kalyon, T. Le Gall, N. Maquet, and J.-F. Raskin
- Concurrent Boolean Programs Gilles Geeraerts
- Ann ee Acad emique 2001-2002 GEERAERTS Gilles A Comparison of Various Backward Analyzers
- Event Clock Automata: from Theory to Practice G. Geeraerts1
- On Reachability for Hybrid Automata over Bounded Time
- Le problme de couverture pour les rseaux de Petri: rsultats classiques et
- On the -language Expressive Power of Extended Petri Nets
- On the expressive power of Petri nets with transfer arcs vs. Petri nets with reset arcs
- G. Geeraerts Groupe deVrification -Dpartement d'Informatique
- Sciences Informatique How to Grind JAVA Programs to
- A Comparison of Various Backward Analyzers for
- Expand, Enlarge and Check... Made Efficient Submitted for publication to CAV'05
- October 5, 2009 16:36 WSPC/INSTRUCTION FILE main International Journal of Foundations of Computer Science
- On the efficient computation of the minimal coverability set for Petri nets
- A faster exact multiprocessor schedulability test for sporadic tasks Markus Lindstrm Gilles Geeraerts Jol Goossens
- Coverability and Expressiveness Properties of Well-Structured Transition Systems
- Safraless Procedures for Timed Specifications Barbara Di Giampaolo1
- Realizability of Real-Time Logics , G. Geeraerts1
- G. Geeraerts Groupe deVrification -Dpartement d'Informatique
- Noname manuscript No. (will be inserted by the editor)
