Master's projects

Title Published Supervisor(s)
Verification Tool for Concurrent Software Oct. 4, 2016
Refactoring at scale Sep. 30, 2016
Train travel simulations in design software Sep. 23, 2016
Trains iSAT Sep. 23, 2016
Analyzing Off-The-Record messaging protocol Sep. 23, 2016
Analyzing VoIP protocols Sep. 23, 2016
Logical Drools - advanced logical notions in the Drools engine Nov. 27, 2015
Business Process Engineering - the JBoss way Nov. 26, 2015
Auto-scaling and Load-balancing in Amazon Nov. 17, 2015
The Constrained Natural Language of the Legal Electronic Contracts Oct. 29, 2015
Reading legal contracts Oct. 19, 2015
Off-the-record Implementations Oct. 19, 2015
Synthesis of railway interlocking controlers Sep. 25, 2015
Modelling support for the Go language Sep. 14, 2015
Symbolic execution framework for parallel object-oriented programs Sep. 8, 2015
Programming IoT with ThingML Sep. 7, 2015
Programming IoT with UML Sep. 7, 2015
Programming/modeling of mobile systems with Bigraphs Sep. 4, 2015
ABS modeling language case studies Sep. 22, 2014
ABS modeling language standard library of data structures Sep. 22, 2014
UML modeling for the ABS language Sep. 22, 2014
Visualization of Objects on the Cloud Sep. 22, 2014
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude Sep. 16, 2014
Price calculator for cloud services July 18, 2014