Articles dans des revues avec comité de lecture (42)
  1. 37. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2007). On the efficient computation of the minimal coverability set of Petri nets. Lecture notes in computer science, 4762.
  2. 38. Finkel, A., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2006). On the omega-language expressive power of extended Petri nets. Theoretical computer science, 356(3), 374-386. doi:10.1016/j.tcs.2006.02.008
  3. 39. 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
  4. 40. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2005). Expand, Enlarge and Check... Made Efficient. Lecture notes in computer science, 3576, 394-407.
  5. 41. 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).
  6. 42. 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.
    7.   Communications publiées lors de congrès ou colloques nationaux et internationaux (4)
  7. 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.
  8. 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)
  9. 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)
  10. 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.).
    11.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (7)
  11. 1. Geeraerts, G., Goossens, J., & Stainer, A. (2014). Synthesising succinct strategies in safety games.
  12. 2. Brihaye, T., Geeraerts, G., SHANKARA NARAYANAN, K., MANASA, L., Monmege, B., & Trivedi, A. (2014). Adding negative prices to priced timed games.
    13. << Précédent 1 2 3 4 5 6 7 Suivant >>