Research Group on the Foundations of Computer Science

Search results

• SSBSE 2020 Best Paper Award

  Derakhshanfar, P. (Recipient), DEVROEY, Xavier (Recipient) & Zaidman, A. (Recipient), 8 Oct 2020

  Prize: Prize (including medals and awards)

  • Software engineering

• Most Influential Paper Award

  SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Trigaux, J. (Recipient) & Bontemps, Y. (Recipient), 15 Sep 2016

  Prize: National/international honour

  • Requirements engineering
  • Semantics

• Most Influential Paper Award

  SCHOBBENS, PIERRE-YVES (Recipient), Classen, A. (Recipient), HEYMANS, Patrick (Recipient), Legay, A. (Recipient) & Raskin, J. (Recipient), 23 Oct 2020

  Prize: Prize (including medals and awards)

  File

  • Model checking
  • Software engineering
  • Testing

• IBM Belgium Prijs informatica

  VANHOOF, Wim (Recipient), 1996

  Prize: National/international honour