Till Schallau, M.Sc.
E-Mail
till.schallautu-dortmundde
Phone
(+49) 231 755-7738
Office
TU Dortmund University
Department for Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Room 2.012
Consultation Hours
By appointment
Links
ORCID
Google Scholar
GitHub
Publications
2024
Tree-Based Scenario Classification
Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar
In: NASA Formal Methods (NFM 2024)
DOI: https://doi.org/10.1007/978-3-031-60698-4_15
Preprint
STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems
Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
In: Dependable Computing – EDCC 2024 Workshops (EDCC 2024)
DOI: https://doi.org/10.1007/978-3-031-56776-6_6
Preprint
2023
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing
Till Schallau, Stefan Naujokat
In: Electronic Communications of the EASST (ECEASST 2023)
DOI: https://doi.org/10.14279/tuj.eceasst.82.1222
Preprint
2022
Aligning the Learning Experience in a Project-Based Course: Lessons Learned From the Redesign of a Programming Lab
Malte Mauritz, Stefan Naujokat, Christian Riest, Till Schallau
In: 4th International Workshop on Software Engineering Education for the Next Generation (SEENG 2022)
DOI: https://doi.org/10.1145/3528231.3528358
Preprint
2021
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
In: Third International Workshop on Software Engineering Education for the Next Generation (SEENG 2021)
DOI: https://doi.org/10.1109/SEENG53126.2021.00012
Preprint
2020
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Malte Mues, Till Schallau, Falk Howar
In: Integrated Formal Methods (IFM 2020)
DOI: https://doi.org/10.1007/978-3-030-63461-2_7
Preprint