Master's projects PSY

Page title Published Supervisor(s)
Digitalization-friendly regulation. Transforming and reasoning about legislative text Oct. 5, 2023
Dependly typed programming (for security) Sep. 27, 2023
Refactoring-related projects Sep. 27, 2023
Verification Tool for Concurrent Software Sep. 27, 2023
Runtime Verification with Linux BPF Sep. 27, 2023
Oppgaver innen formell modellering og analyse ved bruk av Maude og Real-Time Maude Sep. 27, 2023
Playing the service game - the digitalization of user-centric processes Sep. 22, 2023
Modelling and Analysis of a Self-Adaptive Underwater Robot Sep. 22, 2023
Formal semantics for robot controllers Sep. 22, 2023
Programming with GDPR compliance Sep. 22, 2023
Combining deductive verification and testing by symbolic execution Sep. 22, 2023
Backwards symbolic execution Sep. 22, 2023
Verification of Meta-controllers Sep. 1, 2023
Reliability, Privacy, and Security of Trading Systems for shares of startup companies Oct. 7, 2022
FMUs for runtime monitoring in RTLola Oct. 6, 2022
Eksekveringsstrategier for sanntidssystemer Oct. 5, 2022
A domain-specific language for real-estate floor plans Aug. 24, 2022
Bruk av Maude med eksterne objekter Oct. 22, 2021
Modellering av litet kraftverk i HybridSynchAADL Oct. 22, 2021
Modellering av selvkjørende ting i Maude Oct. 22, 2021
Formell modellering/analyse i Maude Oct. 22, 2021
Model-based engineering / Digital twins Oct. 22, 2021
Analysing Cognitive Controllers Oct. 18, 2021
Policy Languages to Capture Privacy Concerns in Distributed Services Oct. 14, 2021
Efficient Simulation of IoT Systems Oct. 15, 2020