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 |
|