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