Engineering Virtualized Services October 2013 - September 2016
Collection
Collection
-
Architecture of Distributed Data Aggregation Service In Proceedings
May 2014
-
CWI herstelt fundamentele fout in Java - Automatiseringgids.nl Magazine Article
February 2015
-
CWI verhelpt bug in Java met formele methoden Magazine Article
February 2015
-
A formal method for rule analysis and validation in distributed data aggregation service Article
World Wide Web Journal, 18(6), 1717-1736.March 2015
-
March 2015
-
Formele methoden leggen fout in Java's sorteeralgoritme bloot Article
Bits&ChipsMay 2015
-
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case In Proceedings
C.P.T. de Gouw (Stijn), J.C. Rot (Jurriaan), F.S. de Boer (Frank), R. Bubel (Richard) and R Haehnle
July 2015
-
Fixing the Sorting Algorithm for Android, Java and Python Article
ERCIM News, 2015(102), 40-45.July 2015