Masteroppgaver PSY

Tittel Publisert Veileder(e)
Veryfing the Sainte Lagues algorithm for election management in Norway 18. okt. 2018
Verifying TPM or SGX based security protocols 16. okt. 2018
ABS modeling language case studies 25. sep. 2018
ABS modeling language standard library of data structures 25. sep. 2018
Visualization of Objects on the Cloud 25. sep. 2018
Symbolic execution framework for parallel object-oriented programs 25. sep. 2018
Verification Tool for Concurrent Software 24. sep. 2018
Executable Modelling of Concurrency Paradigms 10. sep. 2018
Model-based Hadoop YARN Auto-Configuration 3. sep. 2018
Cognitive Causes of Security Breaches 19. aug. 2018
Access Control Engines 19. aug. 2018
Verification of Terms of Services and Electronic Contracts 19. aug. 2018
Topics in Theoretical Computer Science 19. aug. 2018
HTML5 for InfoInternet 19. aug. 2018
Implementation of an Interpreter for Simulating Self-Adaptive Systems 14. aug. 2018
Artificial Intelligence Platform for Investment Decisions in Nano and Quantum Startups 30. apr. 2018
R3: Random Robust Rust 8. okt. 2017
Modelling Human Behaviour in Computer Science 20. sep. 2017
Privacy violation through improper handling of electronic waste 5. sep. 2017
Working with True Concurrency 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