Here follows a list of publications:

pdf icon Semester Project 1: Patrick Jayet, Association of Mobile Devices through Visual Codes, June 2005
pdf icon Semester Project 2: Patrick Jayet and Ronney Meyer, Devomorph, a Framework for Artificial Evolution, October 2005
pdf icon Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Goanna – A Static Model Checker
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, August, 2006
Published in Lecture Notes in Computer Science, Springer-Verlag.
pdf icon Master Thesis: Patrick Jayet, Lineage Tracking for JOpera, September 2006
pdf icon Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch
Model checking software at compile time
Proceedings of the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, June, 2007