Location & approach

By car

The campus of TU Dortmund University is located close to interstate junction Dortmund West, where the Sauerlandlinie A 45 (Frankfurt-Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is “Dortmund-Eichlinghofen” (closer to South Campus), and from B 1 / A 40 “Dortmund-Dorstfeld” (closer to North Campus). Signs for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund.

To get from North Campus to South Campus by car, there is the connection via Vogelpothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at North Campus and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.

By train

TU Dortmund University has its own train station (“Dortmund Universität”). From there, suburban trains (S-Bahn) leave for Dortmund main station (“Dortmund Hauptbahnhof”) and Düsseldorf main station via the “Düsseldorf Airport Train Station” (take S-Bahn number 1, which leaves every 15 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.

You can also take the bus or subway train from Dortmund city to the university: From Dortmund main station, you can take any train bound for the Station “Stadtgarten”, usually lines U41, U45, U 47 and U49. At “Stadtgarten” you switch trains and get on line U42 towards “Hombruch”. Look out for the Station “An der Palmweide”. From the bus stop just across the road, busses bound for TU Dortmund University leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dortmund main station to the stop “Dortmund Kampstraße”. From there, take U43 or U44 to the stop “Dortmund Wittener Straße”. Switch to bus line 447 and get off at “Dortmund Universität S”.

By plane

The AirportExpress is a fast and convenient means of transport from Dortmund Airport (DTM) to Dortmund Central Station, taking you there in little more than 20 minutes. From Dortmund Central Station, you can continue to the university campus by interurban railway (S-Bahn). A larger range of international flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the university station.

The H-Bahn (Suspended Monorail System)

The H-Bahn is one of the hallmarks of TU Dortmund University. There are two stations on North Campus. One (“Dortmund Universität S”) is directly located at the suburban train stop, which connects the university directly with the city of Dortmund and the rest of the Ruhr Area. Also from this station, there are connections to the “Technologiepark” and (via South Campus) Eichlinghofen. The other station is located at the dining hall at North Campus and offers a direct connection to South Campus every five minutes.

Map

The facilities of TU Dortmund University are spread over two campuses, the larger Campus North and the smaller Campus South. Additionally, some areas of the university are located in the adjacent “Technologiepark”.

Site Map of TU Dortmund University (Second Page in English).

ServicePortal UniMail

Contrast

Location & approach

By car

The campus of TU Dortmund University is located close to interstate junction Dortmund West, where the Sauerlandlinie A 45 (Frankfurt-Dortmund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is “Dortmund-Eichlinghofen” (closer to South Campus), and from B 1 / A 40 “Dortmund-Dorstfeld” (closer to North Campus). Signs for the university are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dortmund.

To get from North Campus to South Campus by car, there is the connection via Vogelpothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at North Campus and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.

By train

TU Dortmund University has its own train station (“Dortmund Universität”). From there, suburban trains (S-Bahn) leave for Dortmund main station (“Dortmund Hauptbahnhof”) and Düsseldorf main station via the “Düsseldorf Airport Train Station” (take S-Bahn number 1, which leaves every 15 or 30 minutes). The university is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.

You can also take the bus or subway train from Dortmund city to the university: From Dortmund main station, you can take any train bound for the Station “Stadtgarten”, usually lines U41, U45, U 47 and U49. At “Stadtgarten” you switch trains and get on line U42 towards “Hombruch”. Look out for the Station “An der Palmweide”. From the bus stop just across the road, busses bound for TU Dortmund University leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dortmund main station to the stop “Dortmund Kampstraße”. From there, take U43 or U44 to the stop “Dortmund Wittener Straße”. Switch to bus line 447 and get off at “Dortmund Universität S”.

By plane

The AirportExpress is a fast and convenient means of transport from Dortmund Airport (DTM) to Dortmund Central Station, taking you there in little more than 20 minutes. From Dortmund Central Station, you can continue to the university campus by interurban railway (S-Bahn). A larger range of international flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the university station.

The H-Bahn (Suspended Monorail System)

The H-Bahn is one of the hallmarks of TU Dortmund University. There are two stations on North Campus. One (“Dortmund Universität S”) is directly located at the suburban train stop, which connects the university directly with the city of Dortmund and the rest of the Ruhr Area. Also from this station, there are connections to the “Technologiepark” and (via South Campus) Eichlinghofen. The other station is located at the dining hall at North Campus and offers a direct connection to South Campus every five minutes.

Map

The facilities of TU Dortmund University are spread over two campuses, the larger Campus North and the smaller Campus South. Additionally, some areas of the university are located in the adjacent “Technologiepark”.

Site Map of TU Dortmund University (Second Page in English).

ServicePortal UniMail

Correct, Safe, and Secure

Software for the 21st century

The AQUA group works on formal methods in software engineering. The one overarching question that drives our works is:

How can we ensure that a software system meets our requirements in the intended operation environment?

We work in four working directions:

modeling assumptions on the intended operation environment,
formalizing expectations into testable requirements,
checking requirements on a system under the made assumptions, and
supporting the corresponding tasks with tools, processes, and standards.

Find out more about our research ...

to verify a system, models have to be generated for environment, system, and requirements

Research-based Teaching

Safe Autonomous Systems

We frequently base our teaching on our research (e.g., for model learning, symbolic execution, or for deveoping and testing automotive software). This allows students to get hands-on experience with the application of formal methods in the context of software engineering. We develop multiple software systems and frameworks that serve as case studies in our labs and courses:

Autonomous Vehicle Lab (AV model vehicles for learning about developing and testing software for autonomous robotic systems)
BoardGameWork (a framework for learning application development by developing board games in Kotlin)
BoardGame Server (a SpringBoot web application for playing Pachisi and similar games in the browser for learning a.o. enterprise application patterns)
BoardGame Editor (a Cinco meta-model from which an editor for Pachisi boards and rulesets can be generated)
Very Insecure Web Application (a PHP web application for learning about injection attacks and pen testing)

Find out more about our teaching ...

Open-Source Research Software

World Class Research Tools for Model Learning and Software Verification

Robust research tools are a cornerstone for scaling formal methods towards industrial applications. The group develops multiple research tools, mainly for dynamic symbolic execution and model learning. To compete, compare, and collaborate with other researchers, we compete with our tools in SV-COMP and co-organize the RERS challenge.

We believe in open science and make our tools available as open source software. We strive to provide reproduction packages and benchmark suites for our results and engange in the national research data infrastructure (NFDI) to develop corresponding standards.

Software Verification

JDart (SVCOMP Gold 2022 for Java)
GDart (SV-COMP Silver 2023 for Java)
SPouT (Amazon Research Award 2021)

Model Learning

LearnLib (CAV Artifact Award 2015. We are contributors and co-developers of the library)
RaLib

News

Dominik Schmid and Malte Mues visit Dagstuhl seminar on research methods

Dominik Schmid and Malte Mues visit Dagstuhl seminar on research methods

Gruppenfoto

Daniel Tebernum defends Doctoral Dissertation

Daniel successfully defended his dissertation project on a design theory for data catalogs

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.

Authors holding their EATCS Best ETAPS Paper award certificates.

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

Marcel Altendeitering with Christian Janiesch and Falk Howar after defending his doctoral dissertation

DFG funding for project StdLearnLib

The StdLearnLib project ensures the continued development and expansion of the de-facto standard library in automata learning, LearnLib.

Architectural Overview of the LearnLib Components.

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…

The AADC model car is being prepared for an autonomous race at the TU's 2023 Open House.

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.

Three benchmarks with distinct problems and metadata of different types, together with two tools providing an execution and a configuration API, as well as two configurations for each tool.

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.

Malte Mues defends Doctoral Dissertation

Malte successfully defended his dissertation project on the integration of dynamic symbolic execution and multi-color taint analysis.

Malte Mues with Heinrich Müller, Ben Hermann and Falk Howar after defending his doctoral dissertation

BMBF funding for Project QuARum

The QuARUm project, a collaboration between Constructor University and TU Dortmund University, aims to develop a low-code platform for geoscientists.

QuARUm-based workflow. After sampling and sample preparation, a geochemist can use the QuARUm low-code platform to perform quality assessment of analytical and literature data during data evaluation, leading to a publication.

AQUA featured in CS@ TU Dortmund promotional video

Our research and teaching on software engineering for autonomous driving is featured in the promotional video of the CS department of TU Dortmund!

DFG funding for project STING

The STING project researches formal methods for finding exploits in Web applications.

Fabian Bruckner defends Doctoral Dissertation

Fabian successfully defended his dissertation project in which he developed concepts for enforcing data usage control requirements in DSLs.

Fabian Brucker with Ben Hermann and Falk Howar after defending his doctoral dissertation

JDart wins GOLD in SV-COMP 2022 for Java

Our dynamic symbolic execution JDart wins GOLD in this year's Software Verification competition for the Java category.

BMBF funding for project KomDatis

The projects will develop a general data escrow concept in a collaboration with Fraunhofer ISST and DKSR.

ACM Distinguished Paper Award for ASE 2021

Paper "Data-driven design and evaluation of SMT meta-solving strategies: balancing performance, accuracy, and cost" receives Distinguished Paper Award

Falk Howar receives Amazon Research Award

The funded project aims at scaling symbolic execution for the Java VirtualMachine.

JDart wins SILVER in SV-COMP 2021 for Java

Our dynamic symbolic execution JDart wins SILVER in this year's Software Verification competition for the Java category.

PG 625 "Development of Automated Tools for Solving CTFs" receives P5 Award

PG 625 "Development of Automated Tools for Solving CTFs", organized by the AQUA group at TU Dortmund University, wins this year's P5 Competition