CW700
Rinde R.S. van Lon and Tom Holvoet
When do agents outperform centralized algorithms? A systematic empirical evaluation in logistics
October 2016
abstract.html / report.pdf (2.5M) / email to: R. van Lon

CW699
Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
Monad transformers and modular algebraic effects: What binds them together
September 2016
abstract.html / report.pdf (343K) / email to: T. Schrijvers

CW698
Toon Van Craenendonck, Hendrik Blockeel
Constraint-based clustering selection
September 2016
abstract.html / report.pdf (459K) / email to: T. Van Craenendonck

CW697
Amin Timany and Bart Jacobs
Category theory in Coq 8.5: Extended version
April 2016
abstract.html / report.pdf (474K) / email to: A. Timany

CW696
Jafar Hamin, Bart Jacobs
Modular verification of termination and execution time bounds using separation logic
April 2016
abstract.html / report.pdf (322K) / email to: J. Hamin

CW695
Niels Billen and Philip Dutré
Visibility acceleration using efficient ray classification
April 2016
abstract.html / report.pdf ( 18M) / email to: N. Billen

CW694
Gijs Vanspauwen, Bart Jacobs
Verifying cryptographic protocols. Applying the symbolic model to cryptographic APIs for C
March 2016
abstract.html / report.pdf (445K) / email to: G. Vanspauwen

CW693
M. Usman Iftikhar, Danny Weyns
Towards runtime statistical model checking for self-adaptive systems
August 2016
abstract.html / report.pdf (5.9M) / email to: D. Weyns

CW692
Jan Van Haaren, Albrecht Zimmermann, and Jesse Davis
MLSA15 - Proceedings of "Machine Learning and Data Mining for Sports Analytics", workshop @ ECML/PKDD 2015
February 2016
abstract.html / report.pdf (2.8M) / email to: J. Van Haaren

CW691
Matthias Galster, Danny Weyns
Empirical Research in Software Architecture - How far have we come? - Supplementary Material, 13th Working IEEE/IFIP Conference on Software Architecture, Venice, Italy, 2016
February 2016
abstract.html / report.pdf (785K) / email to: D. Weyns

CW690
Dominique Devriese, Lars Birkedal, Frank Piessens
Reasoning about object capabilities with logical relations and effect parametricity - Technical Report including proofs and details
January 2016
abstract.html / report.pdf (798K) / email to: D. Devriese