Ledige masteroppgaver hos Pålitelige systemer (PSY)

Tittel Publisert Veileder(e)
Software Agents for Rights Negotiation and Configuration in a Distributed Environment 4. mars 2020
Topics in Theoretical Computer Science 30. juli 2019
Designing security protocols using Intel SGX 30. juli 2019
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
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
Working with True Concurrency 25. aug. 2017
Working with Kleene Algebras and related automated tools and methods 25. aug. 2017
Refactoring at scale 30. sep. 2016
Modelling support for the Go language 14. sep. 2015
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude 16. sep. 2014