Available Master´s theses from Reliable Systems (PSY)

Tittel Publisert Veileder(e)
Symbolic execution framework for parallel object-oriented programs 1. nov. 2021
Modellering av enkle sanntidssystemer i Maude med SMT 22. okt. 2021
Modellering av litet kraftverk i HybridSynchAADL 22. okt. 2021
Modellering av selvkjørende ting i Maude 22. okt. 2021
Formell modellering/analyse i Maude 22. okt. 2021
Runtime Verification with Linux BPF 22. okt. 2021
Backwards symbolic execution 22. okt. 2021
Programming with GDPR compliance 22. okt. 2021
Formal semantics for robot controllers 22. okt. 2021
Correctness of symbolic execution in Coq 22. okt. 2021
Model-based engineering / Digital twins 22. okt. 2021
Symbolic execution for parallel systems 22. okt. 2021
Combining deductive verification and testing by symbolic execution 22. okt. 2021
Locally Abstract Globally Concrete Semantics of Concurrent Systems - PoC Implementation 18. okt. 2021
Policy Languages to Capture Privacy Concerns in Distributed Services 14. okt. 2021
Efficient Simulation of IoT Systems 15. okt. 2020
Refactoring-related projects 14. okt. 2020
Dependly typed programming (for security) 14. okt. 2020
Verification Tool for Concurrent Software 7. okt. 2020
Software Agents for Rights Negotiation and Configuration in a Distributed Environment 4. mars 2020
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
Executable Modelling of Concurrency Paradigms 10. sep. 2018
Model-based Hadoop YARN Auto-Configuration 3. sep. 2018