Books, Proceedings

2013

Book

Paul van den Bosch, Carmen Cochior, Mohamed Ezzeldin, Perry Groot, Peter Lucas, Jacques Verriet, René Waarsing, Siep Weiland. Model-Based Design of Adaptive Embedded Systems, 2013.



2007

Edited Proceedings

Perry Groot, Alexander Serebrenik, Marko van Eekelen (eds). Proceedings Verification and Validation of Software Systems (VVSS 2007), LaQuSo:Laboratory for Quality Software, TUE Computer Science Reports 07-04, Eindhoven, March 23, 2007. [PDF]



2004

PhD Thesis

Perry Groot. A Theoretical and Empirical Analysis of Approximation in Symbolic Problem Solving. PhD Thesis, SIKS, Vrije Universiteit, Amsterdam, March 2004. [PDF] [GZipped Postscript] [Bibtex]