CW710
Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens
Assessing the security of an industrial hatchery using the FAST-CPS framework
December 2017
abstract.html / report.pdf (598K) / email to: L. Lemaire

CW709
Sven Verdoolaege and Alexandre Isoard
Consecutivity in the isl Polyhedral Scheduler
November 2017
abstract.html / report.pdf (528K) / email to: S. Verdoolaege

CW708
Matija Pretnar, Amr Hany Saleh, Axel Faes, Tom Schrijvers
Efficient compilation of algebraic effects and handlers
October 2017
abstract.html / report.pdf (779K) / email to: T. Schrijvers

CW707
Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Sound and complete reactive UAV behavior using constraint programming
September 2017
abstract.html / report.pdf (573K) / email to: T. Holvoet

CW706
Sven Verdoolaege, Gerda Janssens
Scheduling for PPCG
June 2017
abstract.html / report.pdf (921K) / email to: S. Verdoolaege

CW705
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Cochis: Deterministic and coherent implicits
May 2017
abstract.html / report.pdf (904K) / email to: T. Schrijvers

CW704
Jafar Hamin and Bart Jacobs
Modular verification of deadlock-freedom in the presence of condition variables
May 2017
abstract.html / report.pdf (349K) / email to: J. Hamin

CW703
Gijs Vanspauwen and Bart Jacobs
Verifying cryptographic protocol implementations that use industrial cryptographic APIs
May 2017
abstract.html / report.pdf (470K) / email to: B. Jacobs

CW702
Dominique Devriese, Marco Patrignani, Frank Piessens
Modular fully-abstract compilation by approximate back-translation. Technical appendix
March 2017
abstract.html / report.pdf (1.1M) / email to: D. Devriese

CW701
Jasper Bogaerts, Bert Lagaisse and Wouter Joosen
Transforming XACML policies into database search queries
February 2017
abstract.html / report.pdf (674K) / email to: J. Bogaerts