Research Group on the Foundations of Computer Sciences

Résultats de recherche

• 2020

  Most Influential Paper Award

  SCHOBBENS, PIERRE-YVES (Bénéficiaire), Classen, A. (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Legay, A. (Bénéficiaire) & Raskin, J. (Bénéficiaire), 23 oct. 2020

  Prix: Prix ​​(y compris les médailles et récompenses)

  Fichier

  • Model checking
  • Software engineering
  • Testing

• SSBSE 2020 Best Paper Award

  Derakhshanfar, P. (Bénéficiaire), DEVROEY, Xavier (Bénéficiaire) & Zaidman, A. (Bénéficiaire), 8 oct. 2020

  Prix: Prix ​​(y compris les médailles et récompenses)

  • Software engineering
• 2016

  Most Influential Paper Award

  SCHOBBENS, PIERRE-YVES (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Trigaux, J. (Bénéficiaire) & Bontemps, Y. (Bénéficiaire), 15 sept. 2016

  Prix: Mise à l'honneur nationale/internationale

  • Requirements engineering
  • Semantics
• 1996

  IBM Belgium Prijs informatica

  VANHOOF, Wim (Bénéficiaire), 1996

  Prix: Mise à l'honneur nationale/internationale