Master's projects PSY

Title Published Supervisor(s)
A domain-specific language for real-estate floor plans Aug. 24, 2022
Symbolic execution framework for parallel object-oriented programs Nov. 1, 2021
Modellering av enkle sanntidssystemer i Maude med SMT 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
Runtime Verification with Linux BPF Oct. 22, 2021
Backwards symbolic execution Oct. 22, 2021
Programming with GDPR compliance Oct. 22, 2021
Formal semantics for robot controllers Oct. 22, 2021
Correctness of symbolic execution in Coq Oct. 22, 2021
Model-based engineering / Digital twins Oct. 22, 2021
Symbolic execution for parallel systems Oct. 22, 2021
Combining deductive verification and testing by symbolic execution Oct. 22, 2021
Locally Abstract Globally Concrete Semantics of Concurrent Systems - PoC Implementation Oct. 18, 2021
Policy Languages to Capture Privacy Concerns in Distributed Services Oct. 14, 2021
Efficient Simulation of IoT Systems Oct. 15, 2020
Refactoring-related projects Oct. 14, 2020
Dependly typed programming (for security) Oct. 14, 2020
Verification Tool for Concurrent Software Oct. 7, 2020
Software Agents for Rights Negotiation and Configuration in a Distributed Environment Mar. 4, 2020
ABS modeling language case studies Sep. 25, 2018
ABS modeling language standard library of data structures Sep. 25, 2018
Visualization of Objects on the Cloud Sep. 25, 2018
Executable Modelling of Concurrency Paradigms Sep. 10, 2018