Supervised Master Theses

Geir Sagberg
Engineering Responsive Mobile Applications for Android from Reusable Building Blocks.
Master's Thesis, Norwegian University of Science and Technology, 2011.


Stephan Haugsrud.
Developing Android Applications with Arctis.
Master’s thesis, Norwegian University of Science and Technology, 2009


Doan Thi Hong Tam.
Collaboration-Oriented Modeling of an Offshore Group Communication System.
Master’s thesis, Norwegian University of Science and Technology, 2009


Nina Heitman.
Towards Modeling of Data in UML Activities with the SPACE Method. An Example-Driven Discussion.
Master’s thesis, Norwegian University of Science and Technology, 2008


Vidar Slåtten.
Automatic Detection and Correction of Flaws in Service Specifications.
Master’s thesis, Norwegian University of Science and Technology, 2008
PDF (from DAIM)
PDF (from Vidar's homepage)


Sebjørn Sæther Birkeland.
A Pattern-Based Approach for the Correct Design of Interaction Interfaces.
Master’s thesis, Norwegian University of Science and Technology, 2006


Øystein Gisnås.
A Constructive Approach to Support the Design of State Machines.
Master’s thesis, Norwegian University of Science and Technology, 2006


Lars Erik Karlsen.
Providing a Bird’s Eye View on the Execution of Distributed Reactive Systems Using Collaborations.
Master’s thesis, Norwegian University of Science and Technology, 2006.


Ronnie Nessa.
Trace Visualisation for Distributed State Machines.
Master’s thesis, Norwegian University of Science and Technology, 2005


Dragana Korda.
Service-Role Validation.
Master’s thesis, University of Banja Luka, May 2004


Alf Kristian Støyle.
Service Engineering Environment for AMIGOS.
Master’s thesis, Norwegian University of Science and Technology, 2004


Supervised Project Assignments

Charles Mawutor Adrah
A Building Block to Support Map-Based Applications.
Project Thesis, Norwegian University of Science and Technology, 2011.


Erlend Gabrielsen
A Communication Application for Workers.
Project Thesis, Norwegian University of Science and Technology, 2011.


Haijiao Zhang
A Communication System for Hospitals on Android.
Project Thesis, Norwegian University of Science and Technology, 2011.


Geir Sagberg
A Voice-Based Group Communication System on Android.
Project Thesis, Norwegian University of Science and Technology, 2010.


Kim-Andre Martinsen
Encapsulation of Android User Interfaces in Arctis.
Project Thesis, Norwegian University of Science and Technology, 2009.


Mats Knutsen
Towards Model-Driven Engineering of Android Applications.
Project Thesis, Norwegian University of Science and Technology, 2009.


Hovard Alexander Berg
UML Building Blocks for Android Location Services.
Project Thesis, Norwegian University of Science and Technology, 2009.


Henrik Gundersen
UML Building Blocks for Component Discovery.
Project Thesis, Norwegian University of Science and Technology, 2009.


Espen Herseth Halvorsen
Building blocks for web-based services.
Project Thesis, Norwegian University of Science and Technology, 2009.


Marius Bjerke
Asynchronous Messaging between Embedded Java Devices.
Project Thesis, Norwegian University of Science and Technology, 2008.


Bemnet Tesfaye Merha
Code Generation for Executable State Machines on Embedded Java Devices.
Project Thesis, Norwegian University of Science and Technology, 2008.
PDF (from Bemnet's homepage)


Benoit Landrieu
Towards Ajax-Based User Interfaces as Building Blocks in Arctis.
Project Thesis, Norwegian University of Science and Technology, 2008.


Nattanond Sangvanphant
Providing TLS Security Functions by means of Collaborative Building Blocks.
Project Thesis, Norwegian University of Science and Technology, 2008.


Stephan Haugsrud
A Mobile Treasure Hunt as an Example for Collaborative Service Specifications.
Project Thesis, Norwegian University of Science and Technology, 2008.


Vidar Slåtten
Model Checking Collaborative Serice Specificatios in TLA with TLC.
Project Thesis, Norwegian University of Science and Technology, 2007.
PDF (from Vidar's homepage)


Sebjørn Sæther Birkeland.
Behavioral Pro jections and Validation from UML 2.0 State Machines.
Project Thesis, Norwegian University of Science and Technology, 2005


Øystein Gisnåas.
Design Rule Checking of UML 2.0 State Machines.
Project Thesis, Norwegian University of Science and Technology, December 2005


Lars Erik Karlsen
Collaboration-Oriented Visualisation of Communicating State Machines.
Project Thesis, Norwegian University of Science and Technology, 2005