Articles dans des revues avec comité de lecture (40)
  1. 37. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2006). Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. Journal of computer and system sciences, 72(1), 180-203. doi:10.1016/j.jcss.2005.09.001
  2. 38. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2005). Expand, Enlarge and Check... Made Efficient. Lecture notes in computer science, 3576, 394-407.
  3. 39. 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.
  4. 40. 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).
    5.   Communications publiées lors de congrès ou colloques nationaux et internationaux (4)
  5. 1. Brihaye, T., Geeraerts, G., Milchior, A., Monmege, B., & Ho, H. M. (2018). Efficient algorithms and tools for MITL model-checking and synthesis. In Proceedings of ICECCS 2018, 23rd International Conference on Engineering of Complex Computer Systems IEEE.
  6. 2. Geeraerts, G., Goossens, J., & Stainer, A. (2014). Efficient computation of succinct strategies, with applications to real-time scheduler synthesis. 1st Cassting Workshop ETAPS 2014 (April 2014: Grenoble, France)
  7. 3. Lindstrom, M., Geeraerts, G., & Goossens, J. (2011). A faster exact multiprocessor schedulability test for sporadic tasks. Proceedings of RTNS 2011 International Conference on Real-Time and Network Systems(19th: September 29-30, 2011: Nantes, France)
  8. 4. 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.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (7)
  9. 1. Brihaye, T., Geeraerts, G., SHANKARA NARAYANAN, K., MANASA, L., Monmege, B., & Trivedi, A. (2014). Adding negative prices to priced timed games.
  10. 2. Geeraerts, G., Goossens, J., & Stainer, A. (2014). Synthesising succinct strategies in safety games.
  11. 3. Geeraerts, G., Raskin, J.-F., & Sznajder, N. (2011). Event-clock automata : From theory to practice.
  12. 4. Brihaye, T., Doyen, L., Geeraerts, G., Ouaknine, J., Raskin, J.-F., & Worrell, J. (2011). On reachability for hybrid automata over bounded time.
    13. << Précédent 1 2 3 4 5 6 Suivant >>