Ausschreibungen/Webseite/ArDoCo
< Ausschreibungen | Webseite
Bachelor’s Theses
| Topic | Supervisors |
|---|---|
| The Structure of Design Argumentations in Code Changes | Tobias Hey, Haoyu Liu |
| Building a Benchmark for LLM-assisted Formal Verification | Dominik Fuchß, Tobias Hey |
Master’s Theses
| Topic | Supervisors |
|---|---|
| The Structure of Design Argumentations in Code Changes | Tobias Hey, Haoyu Liu |
| Utilizing Context to Improve LLM-assisted Formal Verification | Tobias Hey, Tianhai Liu |