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