Reference page for completed master's theses

Title Author Supervisor(s) Date of submission
Formal Modeling and Analysis of the CANOpen Protocol in Full Maude Wenlu Zhang Ingrid Chieh Yu, Olaf Owe May 2014
Automated Composition of Refactorings Erlend Kristiansen Volker Stolz May 2014
Algebraic Component Composition in the UML Martin Harbu Bielecki Volker Stolz May 2014
Case Studies of Modeling Distributed Algorithms in ABS Daniel Rødskog Rudi Schlatte May 2014
Master Thesis Håkon Normann Olaf Owe, Cristian Prisacariu May 2014
Predicting bike-share usage patterns with machine learning Arnab Kumar Datta Volker Stolz November 2014
Implementing garbage collection for active objects on top of Erlang Sigmund Hansen Rudi Schlatte, Ingrid Chieh Yu December 2014
Published May 2, 2014 8:09 AM - Last modified Jan. 14, 2015 8:25 AM