Masteroppgaver

Tittel Publisert Veileder(e)
R3: Random Robust Rust 8. okt. 2017
Modelling Human Behaviour in Computer Science 20. sep. 2017
HTML5 for Basic Internet 14. sep. 2017
Privacy violation through improper handling of electronic waste 5. sep. 2017
Topics in Theoretical Computer Science 25. aug. 2017
Working with True Concurrency 25. aug. 2017
Working with Electronic Contracts 25. aug. 2017
Working with Kleene Algebras and related automated tools and methods 25. aug. 2017
Auto-scaling and Load-balancing in Amazon 23. aug. 2017
Working with Live Sequence Charts 23. aug. 2017
Master of Ceremonies 23. aug. 2017
Analyzing Off-The-Record messaging protocol 23. aug. 2017
Trains iSAT 23. aug. 2017
Train travel simulations in design software 23. aug. 2017
Programming IoT with ThingML 23. aug. 2017
Synthesis of railway interlocking controlers 23. aug. 2017
Analysing Bitcoin-like Crypto-currencies 23. aug. 2017
Cognitive Causes of Security Breaches 23. aug. 2017
Access Control Engines 23. aug. 2017
Topics in security and privacy 21. aug. 2017
Verification Tool for Concurrent Software 4. okt. 2016
Refactoring at scale 30. sep. 2016
Analyzing VoIP protocols 23. sep. 2016
Semantic Modeling of a Smart Home Infrastructure 22. sep. 2016
Typing and Subtyping for Security 22. sep. 2016
Logical Drools - advanced logical notions in the Drools engine 27. nov. 2015
Business Process Engineering - the JBoss way 26. nov. 2015
The Constrained Natural Language of the Legal Electronic Contracts 29. okt. 2015
Reading legal contracts 19. okt. 2015
Modelling support for the Go language 14. sep. 2015
Formal Semantics for JavaScript 11. sep. 2015
Symbolic execution framework for parallel object-oriented programs 8. sep. 2015
Programming IoT with UML 7. sep. 2015
Programming/modeling of mobile systems with Bigraphs 4. sep. 2015
ABS modeling language case studies 22. sep. 2014
ABS modeling language standard library of data structures 22. sep. 2014
UML modeling for the ABS language 22. sep. 2014
Visualization of Objects on the Cloud 22. sep. 2014
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude 16. sep. 2014
Price calculator for cloud services 18. juli 2014
Privacy and security in the Norwegian eVoting system 23. feb. 2014