| Advanced Tooling in Modern Languages: Rust |
15. des. 2015 |
|
|
| Analysis of the Go memory model |
4. des. 2015 |
|
|
| Collaborative editing in emacs |
2. jan. 2015 |
|
|
| Development of a PLC code analyzer |
22. sep. 2014 |
|
|
| Discovering the Trusting Trust Attack |
13. nov. 2017 |
|
|
| DTrace and Runtime Verification |
22. sep. 2014 |
|
|
| Editor and IDE support for a Java-like language |
9. aug. 2024 |
|
|
| Patient Stream Generation for a Digital Twin of a Hospital Ward |
23. sep. 2026 |
|
|
| Privacy-aware interactions with Generative AI |
22. sep. 2025 |
|
|
| R3: Random Robust Rust |
7. okt. 2020 |
|
|
| Safer Refactorings |
22. sep. 2014 |
|
|
| Verification Tool for Concurrent Software |
22. sep. 2014 |
|
|