Available Master´s theses from Reliable Systems (PSY)

Tittel Publisert Veileder(e)
Reliability, Privacy, and Security of Trading Systems for shares of startup companies 7. okt. 2022
System surveillance with anomaly detection 6. okt. 2022
Securing secrets across a complex microservice 6. okt. 2022
FMUs for runtime monitoring in RTLola 6. okt. 2022
FMUs for runtime monitoring in TeSSLa 6. okt. 2022
Climate Barometer for the Oslo Fjord 6. okt. 2022
Eksekveringsstrategier for sanntidssystemer 5. okt. 2022
A domain-specific language for real-estate floor plans 24. aug. 2022
Bruk av Maude med eksterne objekter 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
Combining deductive verification and testing by symbolic execution 22. 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