| Symbolic execution framework for parallel object-oriented programs |
1. nov. 2021 |
|
| Modellering av enkle sanntidssystemer i Maude med SMT |
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 |
|
| Symbolic execution for parallel systems |
22. okt. 2021 |
|
| Combining deductive verification and testing by symbolic execution |
22. okt. 2021 |
|
| Locally Abstract Globally Concrete Semantics of Concurrent Systems - PoC Implementation |
18. 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 |
|
| ABS modeling language case studies |
25. sep. 2018 |
|
| ABS modeling language standard library of data structures |
25. sep. 2018 |
|
| Visualization of Objects on the Cloud |
25. sep. 2018 |
|
| Executable Modelling of Concurrency Paradigms |
10. sep. 2018 |
|
| Model-based Hadoop YARN Auto-Configuration |
3. sep. 2018 |
|