News
Dominik Schmid and Malte Mues visit Dagstuhl seminar on research methods
Dominik Schmid and Malte Mues visit Dagstuhl seminar on research methods
Robin Philipp defends Doctoral Dissertation
Robin successfully defended his dissertation project on methods for validating the perception of automated driving systems
EATCS Best ETAPS Paper Award for Joint Publication
Our TACAS 2024 paper “Scalable Tree-Based Register Automata Learning” was awarded the Best ETAPS Paper Award.
GDart wins BRONZE in SV-COMP 2024 for Java
Our dynamic symbolic execution GDart wins BRONZE in this year's Software Verification competition for the Java category.
Marcel Altendeitering defends Doctoral Dissertation
Marcel successfully defended his dissertation titled "Design Principles for Data Quality Tools".
DFG funding for project StdLearnLib
The StdLearnLib project ensures the continued development and expansion of the de-facto standard library in automata learning, LearnLib.
Autonomous Racing Showcased on AADC Model Car
At the university's 2023 open house event, AQUA group presented its work on autnomous driving on 1:8 scale model cars. Using the Jarvic racing…
NFDI4Ing seed funding for project ReReSo
Project ReReSo, funded by NFDI4Ing, aims at improving the reusability of research software through standardized data formats and tool interfaces.
GDart wins SILVER in SV-COMP 2023 for Java
Our dynamic symbolic execution GDart wins SILVER in this year's Software Verification competition for the Java category.