Master's projects

Title Published Supervisor(s)
R3: Random Robust Rust Oct. 8, 2017
HTML5 for Basic Internet Sep. 14, 2017
Privacy violation through improper handling of electronic waste Sep. 5, 2017
Topics in Theoretical Computer Science Aug. 25, 2017
Working with True Concurrency Aug. 25, 2017
Working with Electronic Contracts Aug. 25, 2017
Working with Kleene Algebras and related automated tools and methods Aug. 25, 2017
Auto-scaling and Load-balancing in Amazon Aug. 23, 2017
Working with Live Sequence Charts Aug. 23, 2017
Analyzing Off-The-Record messaging protocol Aug. 23, 2017
Trains iSAT Aug. 23, 2017
Train travel simulations in design software Aug. 23, 2017
Programming IoT with ThingML Aug. 23, 2017
Synthesis of railway interlocking controlers Aug. 23, 2017
Verification Tool for Concurrent Software Oct. 4, 2016
Refactoring at scale Sep. 30, 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
The Constrained Natural Language of the Legal Electronic Contracts Oct. 29, 2015
Reading legal contracts Oct. 19, 2015
Modelling support for the Go language Sep. 14, 2015
Formal Semantics for JavaScript Sep. 11, 2015
Symbolic execution framework for parallel object-oriented programs Sep. 8, 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