Index of Talks
Selection by year
Selection by category
- Conference and other Presentations
- Guest lectures, invited talks, and tutorials
- Theses and projects (PhD, MSc, BSc, Project)
- Thesis defenses
Selection by author
- Daniel Baier
- Dirk Beyer
- Thomas Bunk
- Po-Chun Chien
- Matthias Dangl
- Gidon Ernst
- Karlheinz Friedberger
- Marie-Christine Jakobs
- Sudeep Kanav
- Matthias Kettl
- Nian-Ze Lee
- Thomas Lemberger
- Stefan Löwe
- Martin Spiessl
- Henrik Wachowitz
- Philipp Wendler
Selection by research interest
- Abstract Interpretation
- Apron
- Benchmarking
- Btor2
- CPAchecker
- Cloud-Based Software Verification
- Competition on Software Testing
- Competition on Software Verification
- Cooperative Verification
- JavaSMT
- OpenSMT2
- SMT
- SMT-LIB2
- Software Model Checking
- Symbolic Memory Graphs
- Verification Witnesses