To content
Fakultät für Informatik

Publications

2025

A Qualitative Analysis of the German Road Traffic Regulations (StVO) for Automated Driving
Dominik Schmid, Till Schallau, Nick Pawlinorz, Stefan Naujokat, Robin Philipp, Zhijing Zhu, Falk Howar
In: IEEE International Automated Vehicle Validation Conference (IAVVC 2025)
To be published
Preprint

Post-hoc Scenario-based Testing of Automated Driving Systems: Classification of Driving Scenarios and Checking of Functional Requirements in Recorded Data
Till Schallau, Dominik Schmid, Nick Pawlinorz, Harun Teper, Stefan Naujokat, Jian-Jia Chen, Falk Howar
In: Intelligent Vehicles (IV 2025)
DOI: http://doi.org/10.1109/IV64158.2025.11097740
Preprint

Extended Abstract of Poster: STARS: Tree-Based Classification and Testing of Feature Combinations in the Automated Robotic Domain
Till Schallau, Dominik Schmid, Nick Pawlinorz, Stefan Naujokat, Falk Howar
In: ICST Workshops - IWCT 2025
DOI: https://doi.org/10.1109/ICSTW64639.2025.10962523
Preprint

LearnLib: 10 years later
Markus Frohme, Falk Howar, Bernhard Steffen
In: Computer Aided Verification (CAV 2025)
DOI: https://doi.org/10.1007/978-3-031-98685-7_7
Preprint

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

Scalable Tree-based Register Automata Learning
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
In:  Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
DOI: https://doi.org/10.1007/978-3-031-57249-4_5
Preprint

AI-supported, automatic document checking for digital submission and processing of building applications in Germany
Alexandra Nestorowicz, Julian Graefenstein, Jan Winkels, Lisa Lenz
In: Digital Building Permit conference (BP 2024)
URL: https://eu4dbp.net/wp-content/uploads/2024/04/Book-of-Abstracts.pdf

Strukturvarianz in wandlungsfähigen Produktions- und Logistiksystemen
Robin Sutherland, Felix Özkul, Liane Grusie, Sigrid Wenzel, Jan Winkels, Jannik Löhn, Jakob Rehof
In: Zeitschrift für wirtschaftlichen Fabrikbetrieb (2024)
DOI: https://doi.org/10.1515/zwf-2024-1030

The integration of multi-color taint-analysis with dynamic symbolic execution for java web application security analysis
Malte Mues
In: Softwaretechnik-Trends
URL: https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band_44_Heft_2/Denert2023_8_Mues.pdf Ernst_dennert_preis_mues.pdf
Preprint

HERO: A Cross-Domain Human-Enhanced Robot Orchestration Framework for Seamless Multi-Robot Emergency Handling
Julia Freytag, Natalia Ogorelysheva, Irfan Fachrudin Priyanta, Stefan Bocker, Jana Jost, Ivana Kruijff-Korbayova, Robert Grafe, Christian Wietfeld, Alice Kirchheim
In: International Workshop on Safety, Security, and Rescue Robotics (SSRR 2024)
DOI: https://doi.org/10.1109/SSRR62954.2024.10770036

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
DOI: https://doi.org/10.48550/arxiv.2402.10684

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

Continuous Integration of Neural Networks in Autonomous Systems
Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels
In: Engineering of Computer-Based Systems (ECBS 2023)
DOI: https://doi.org/10.1007/978-3-031-49252-5_21
Preprint

Konfiguration und Parameteroptimierung eines Evolutionären Algorithmus für die Maschinenbelegungsplanung mittels kombinatorischer Logik
Dominik Mäckel
DOI: https://doi.org/10.17877/DE290R-24276
Preprint

Comparison of Priority Rules, Machine Allocation, and Stage Allocation Strategies for Hybrid Flow Shop Instances Using Combinatorial Logic
Dominik Mäckel, Benedikt Kordus, Christin Schumacher
In: Technical Programm of the International Conference on Operations Research (GOR 2023)
DOI: 10.1007/978-3-031-58405-3_39
Preprint

Learning Symbolic Timed Models from Concrete Timed Data
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
In: NASA Formal Methods (NFM 2023)
DOI: https://doi.org/0.1007/978-3-031-33170-1_7
Preprint

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis.
Malte Mues
Doctoral dissertation
DOI: https://doi.org/10.17877/DE290R-23694

Implementing Data Sovereignty: Requirements & Challenges from Practice
Malte Hellmeier, Julia Pampus, Haydar Qarawlus, Falk Howar
In: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES 2023)
DOI: https://doi.org/10.1145/3600160.3604995

Interpretable Anomaly Detection via Discrete Optimization
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
arXiv:2303.14111
DOI: https://doi.org/10.48550/arXiv.2303.14111
Preprint

On Troubleshooting in AGV-based Autonomous Systems
Natalia Ogorelysheva, Anna Vasileva, Nils Gramse
In: International Conference on Control, Automation and Diagnosis (ICCAD 2023)
DOI: https://doi.org/10.1109/ICCAD57653.2023.10152445

Towards 6G-Driven Digital Continuum in Logistics
Irfan Fachrudin Priyanta, Julia Freytag, Philipp Schulte, Sönke Kauffmann, Natalia Ogorelysheva, Moritz Roidl
In:  Logistics Journal: Proceedings, (19)
DOI: https://doi.org/10.2195/lj_proc_priyanta_en_202310_01

CROSSStacks: A Dataset and a Simulative Study of Storage Allocation Strategies for Cross-Docking Block-Stacking Warehouses
Alexandru Rinciog,Jakob Pfrommer, Hardik Rathod, Anne Meyer, Natalia Ogorelysheva, Anna Vasileva
In: Winter Simulation Conference (WSC 2023)
DOI: https://doi.org/10.1109/WSC60868.2023.10408362

Mitigating Emergency Stop Collisions in AGV Fleets in Case of Control Failure
Natalia Ogorelysheva, Anna Vasileva, Jannik Stadtler, Moritz Roidl, Falk Howar
In: IEEE International Conference on Robotic Computing (IRC 2023)
DOI: https://doi.org/10.1109/IRC59093.2023.00058

Model-based quality assurance of instrumented context-free systems
Markus Frohme
DOI: https://doi.org/10.17877/de290r-24032

2022

Neural network verification with DSE
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
In:  4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (Overlay 2022)
Preprint

A Realistic Hybrid Flow Shop Scheduling Problem With Availability Restrictions, Priorities, and Machine Qualifications
Dominik Mäckel, Jan Winkels, Christin Schumacher
presented at the 18th International Workshop on Project Management and Scheduling  (PMS 2022)
Preprint

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

Reach on Register Automata via History Independence
Simon Dierl, Falk Howar
In: Tests and Proofs (TAP 2022)
DOI: https://doi.org/10.1007/978-3-031-09827-7_2
Preprint

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
Malte Mues, Falk Howar, Simon Dierl
In: Software Engineering and Formal Methods (SEFM 2022)
DOI: https://doi.org/10.1007/978-3-031-17108-6_6
Preprint

EXIST-Forschungstransfer: Building Information Cloud
Lisa Lenz, Jan Winkels, Julian Graefenstein, Alexandra Nestorowicz, Mike Gralla
In: Bauwirtschaft, Heft 4 (BW 2021)

GDart: an ensemble of tools for dynamic symbolic execution on the Java virtual machine (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_27
PreprinPreprint

GWIT: a witness validator for Java based on GraalVM (competition contribution)
Falk Howar, Malte Mues
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_29
PreprinPreprint

Data-driven design and evaluation of SMT meta-solving strategies: balancing performance, accuracy, and cost
Malte Mues, Falk Howar
In: Automated Software Engineering (ASE 2021)
DOI: https://doi.org/10.1109/ase51524.2021.9678881
Preprint

From Languages to Behaviors and Back
Markus Frohme, Bernhard Steffen
In: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
DOI: https://doi.org/10.1007/978-3-031-15629-8_11

2021

Synthesis of Scheduling Heuristics by Composition and Recombination
Dominik Mäckel, Jan Winkels, Christin Schumacher
In: Optimization and Learning (OLA 2021)
DOI: https://doi.org/10.1007/978-3-030-85672-4_21
Preprint

A Taxonomy and Reductions for Common Register Automata Formalisms
Simon Dierl, Falk Howar
In: Model Checking, Synthesis, and Learning
DOI: https://doi.org/10.1007/978-3-030-91384-7_10
Preprint

The RERS challenge: towards controllable and scalable benchmark synthesis
Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
In: Software Tools for Technology Transfer (STTT 2021)
DOI: https://doi.org/10.1007/s10009-021-00617-z
Preprint

JDart: portfolio solving, breadth-first search and SMT-Lib strings (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)
DOI: https://doi.org/10.1007/978-3-030-72013-1_30
PreprinPreprint

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

A policy-agnostic programming language for the international data spaces
Fabian Bruckner, Julia Pampus, Falk Howar 
In: Data Management Technologies and Applications
DOI: https://doi.org/10.1007/978-3-030-83014-4_9

Can We Trust Theorem Provers for Industrial AI?
Falk Howar, Malte Mues
In: IEEE Software
DOI: https://doi.org/10.1109/ms.2021.3103448

Compositional learning of mutually recursive procedural systems
Markus Frohme, Bernhard Steffen
In: International Journal on Software Tools for Technology Transfer (Vol. 23, pp. 521–543, 2021)
DOI: https://doi.org/10.1007/s10009-021-00634-y

Never-Stop Context-Free Learning
Markus Frohme, Bernhard Steffen
In: Model Checking, Synthesis, and Learning (2021)
DOI: https://doi.org/10.1007/978-3-030-91384-7_9

A Context-Free Symbiosis of Runtime Verification and Automata Learning
Markus Frohme, Bernhard Steffen
In: Formal Methods in Outer Space (2021)
DOI: https://doi.org/10.1007/978-3-030-87348-6_10

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

A hybrid approach of modular Planning – synchronizing factory and building planning by using component based synthesis
Jan Winkels, Julian Graefenstein, Lisa Lenz, Kai Weist, Kevin Krebil, Mike Gralla
In: Hawaii International Conference on System Sciences (HICSS 2020)
DOI: https://doi.org/10.24251/hicss.2020.806

JDart: dynamic symbolic execution for Java bytecode (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
DOI: https://doi.org/10.1007/978-3-030-45237-7_28
Preprint

Thoughts about using constraint solvers in action
Malte Mues, Martin Fitzke,  Falk Howar
In: Electronic Communications of the EASST (ECEASST 2020)
DOI: https://doi.org/10.14279/tuj.eceasst.78.1100
Preprint

Teaching a project-based course at a safe distance: an experience report
Malte Mues, Falk Howar
In: Conference on Software Engineering Education and Training (CSEE&T 2020)
DOI: https://doi.org/10.1109/cseet49119.2020.9206192
Preprint

Identification of spurious labels in machine learning data sets using N-version validation
Malte Mues, Sebastian Gerard, Falk Howar
In: International Conference on Intelligent Transportation Systems (ITSC 2020)
DOI: https://doi.org/10.1109/itsc45102.2020.9294223
Preprint

Grey-box learning of register automata
Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits 
In: Integrated Formal Methods
DOI: https://doi.org/10.1007/978-3-030-63461-2_2

2019

Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
In: Computer Safety, Reliability, and Security (SAFECOMP 2019)
DOI: https://doi.org/10.1007/978-3-030-26601-1_7
Preprint

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
Jan Winkels
Doctoral dissertation
DOI: https://doi.org/10.17877/DE290R-20469

Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics
Sigrid Wenzel, Jana Stolipin, Jakob Rehof, Jan Winkels
In: Winter Simulation Conference (WSC 2019)
DOI: https://doi.org/10.1109/WSC40007.2019.9004959

Smart Factory Adaptation Planning by means of BIM in Combination of Constraint Solving Techniques
Lisa Lenz, Julian Graefenstein, Jan Winkels, Mike Gralla
In: The International Council for Research an Innovation in Building and Construction (CIB) World Building Congress (WBC 2019)

Einfluss der Industrie 4.0 auf ausgewählte Kompetenz- und Rollenprofile – Entwicklungen von Berufsbildern unter besonderer Berücksichtigung von IT-Kompetenzen
Julian Graefenstein, Hendrik Lager, Philipp Regelmann, Christin Schumacher, Jan Winkels
In: Wissen-Lernen-Bildung in der Industrie 4.0 (Industrie 4.0 Management 2/2019)
URL: https://industry-science.com/artikel/einfluss-der-industrie-4-0-auf-ausgewaehlte-kompetenz-und-rollenprofile-entwicklungen-von-berufsbildern-unter-besonderer-beruecksichtigung-von-it-kompetenzen/

JConstraints: a library for working with logic expressions in Java
Falk Howar, Fadi Jabbour, Malte Mues
In: Models, mindsets, meta: the what, the how, and the why not? 
DOI: https://doi.org/10.1007/978-3-030-22348-9_19
PreprinPreprint

Language-driven engineering: from general-purpose to purpose-specific anguages
Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria 
In: Computing and Software Science
DOI: https://doi.org/10.1007/978-3-319-91908-9_17

RERS 2019: combining synthesis with real-world models
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon Schiffelers, Harco Kuppens, Frits W. Vaandrager
In: Tools and Algorithms for the Construction and Analysis of Systems
DOI: https://doi.org/10.1007/978-3-030-17502-3_7

Pyro: generating domain-specific collaborative online modeling environments
Philip Zweihoff, Stefan Naujokat, Bernhard Steffen 
In: Fundamental Approaches to Software Engineering
DOI: https://doi.org/10.1007/978-3-030-16722-6_6

Product Line Verification via Modal Meta Model Checking
Tim Tegeler, Alsnid Murtovi, Markus Frohme, Bernhard Steffen
In: From Software Engineering to Formal Methods and Tools, and Back (2019)
DOI: https://doi.org/10.1007/978-3-030-30985-5_19

Active Automata Learning with Adaptive Distinguishing Sequences
Markus Frohme
DOI: https://doi.org/10.48550/arxiv.1902.01139

2018

Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatorial logic
Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke 
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
DOI: https://doi.org/10.1007/978-3-030-03427-6_36

Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
In: International Symposium on Leveraging Applications of Formal Methods (ISOLA 2018)
DOI: https://doi.org/10.1007/978-3-030-03421-4_9
Preprint

On the difficulty of drawing the line
Steve Boßelmann, Stefan Naujokat, Bernhard Steffen 
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
DOI: https://doi.org/10.1007/978-3-030-03418-4_20

Automated generation of requirements-based test cases for an adaptive cruise control system
Adina Aniculaesei, Falk Howar, Peer Denecke, Andreas Rausch
In: IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST)
DOI: https://doi.org/10.1109/vst.2018.8327150

RERS 2018: CTL, LTL, and reachability
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar 
In: Leveraging Applications of Formal Methods, Verification and Validation. Verification
DOI: https://doi.org/10.1007/978-3-030-03421-4_27

Active Mining of Document Type Definitions
Markus Frohme, Bernhard Steffen
In: International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018)
DOI: https://doi.org/10.1007/978-3-030-00244-2_10

2017

Automated processing of planning modules in factory planning by means of constraint-solving using the example of production segmentation
Julian Graefenstein, David Scholz, Oliver Seifert, Jan Winkels, Michael Henke, Jakob Rehof 
In: World Mass Customization & Personalization Conference (MCPC 2017)
DOI: https://doi.org/10.1007/978-3-319-77556-2_10

Releasing the PSYCO: using symbolic search in interface generation for Java
Malte Mues, Falk Howar, Kasper Luckow, Temesghen Kahsai, Zvonimir Rakamrić
In: Software Engineering Notes
DOI: https://doi.org/10.1145/3011286.3011298
Preprint

Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld
 Tim Delbrügger, Frederik Döbbeler, Julian Graefenstein, Hendrik Lager, Lisa T. Lenz, Matthias Meißner, Daniel Müller, Philipp Regelmann, David Scholz, Christin Schumacher, Jan Winkels, Andreas Wirtz, Felix Zeidler
In: Zeitschrift für wirtschaftlichen Fabrikbetrieb
DOI: https://doi.org/10.3139/104.111731

High-level frameworks for the specification and verification of scheduling problems
Mounir Chadli, Jin H. Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
In: International Journal on Software Tools for Technology Transfer
DOI: https://doi.org/10.1007/s10009-017-0466-1

Learning-based testing the sliding window behavior of TCP implementations
Paul Fiterău-Broştean, Falk Howar
In: Critical Systems: Formal Methods and Automated Verification
DOI: https://doi.org/10.1007/978-3-319-67113-0_12

Model-Based Testing Without Models: The TodoMVC Case Study
Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar 
In: ModelEd, TestEd, TrustEd 
DOI: https://doi.org/10.1007/978-3-319-68270-9_7

Heavy meta: model-driven domain-specific generation of generative domain-specific modeling tools
Stefan Naujokat
In: Universitätsbibliothek Dortmund

2016

Meta-Level Reuse for Mastering Domain Specialization
Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen 
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 
DOI: https://doi.org/10.1007/978-3-319-47169-3_16

Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective
Steve Boßelmann, Johannes Neubauer, Stefan Naujokat, Bernhard Steffen
In: The 2016 International Conference on Security and Management

Archimedean points: the essence for mastering change
Bernhard Steffen, Stefan Naujokat
In: Transactions on Foundations for Mastering Change I 
DOI: https://doi.org/10.1007/978-3-319-46508-1_3

Synthesis from a practical perspective
Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
DOI: https://doi.org/10.1007/978-3-319-47166-2_20

A model-based framework for the specification and Analysis of Hierarchical Scheduling Systems
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen 
In: Critical Systems: Formal Methods and Automated Verification 
DOI: https://doi.org/10.1007/978-3-319-45943-1_9

Towards inferring environment models for control functions from recorded signal data
Henrik Peters, Falk Howar, Andreas Rausch
In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) 
DOI: https://doi.org/10.1109/saner.2016.83

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch
In: Electronic proceedings in theoretical computer science
DOI: https://doi.org/10.4204/eptcs.232.10

Active learning for extended finite state machines
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
In: Formal Aspects of Computing
DOI: https://doi.org/10.1007/s00165-016-0355-5

Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring
Malte Mauritz, Falk Howar, Andreas Rausch 
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 
DOI: https://doi.org/10.1007/978-3-319-47169-3_52

DIME: A Programming-Less Modeling Environment for Web Applications
Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff & Bernhard Steffen
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
DOI: https://doi.org/10.1007/978-3-319-47169-3_60

2015

Verifying the Safety of a Flight-Critical System
Guillaume Brat, David Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
In: FM 2015: Formal Methods
DOI: https://doi.org/10.1007/978-3-319-19249-9_20

Trusting Outsourced Components In Flight Critical Systems
Falk Howar, Temesghen Kahsai, Arie Gurfinkel, Cesare Tinelli
In: AIAA Infotech@Aerospace Conference 2015
DOI: https://doi.org/10.2514/6.2015-1868

The Open-Source LearnLib: A Framework for Active Automata Learning
Malte Isberner, Falk Howar & Bernhard Steffen
In: Computer Aided Verification
DOI: https://doi.org/10.1007/978-3-319-21690-4_32

LearnLib Tutorial: An Open-Source Java Library for Active Automata Learning
Malte Isberner, Bernhard Steffen & Falk Howar
In: Runtime Verification
DOI: https://doi.org/10.1007/978-3-319-23820-3_25

A succinct canonical register automaton model
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen 
In: Journal of Logical and Algebraic Methods in Programming
DOI: https://doi.org/10.1016/j.jlamp.2014.07.004

From simulation to operation: using design time artifacts to ensure the safety of advanced driving assistance systems at runtime
Malte Mauritz, Falk Howar, Andreas Rausch
In: Modelling in automotive software engineering

2014

Testing-Based Compiler Validation for Synchronous Languages
Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux 
In: NASA Formal Methods
DOI: https://doi.org/10.1007/978-3-319-06200-6_19

Taming test inputs for separation assurance
Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamarić, Vishwanath Raman
In: ASE ’14
DOI: https://doi.org/10.1145/2642937.2642940

Learning Extended Finite State Machines
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
In: Software Engineering and Formal Methods
DOI: https://doi.org/10.1007/978-3-319-10431-7_18

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
Malte Isberner, Falk Howar, Bernhard Steffen
In: Runtime Verification
DOI: https://doi.org/10.1007/978-3-319-11164-3_26

Property-driven benchmark generation: synthesizing programs of realistic structure
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske 
In: International Journal on Software Tools for Technology Transfer
DOI: https://doi.org/10.1007/s10009-014-0336-z

Tailored generation of concurrent benchmarks
Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
In: International Journal on Software Tools for Technology Transfer
DOI: https://doi.org/10.1007/s10009-014-0339-9

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen & Axel Legay
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
DOI: https://doi.org/10.1007/978-3-662-45234-9_33

Algorithms for Inferring Register Automata: A Comparison of Existing Approaches
Fides Aarts, Falk Howar, Harco Kuppens, Frits Vaandrager 
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
DOI: https://doi.org/10.1007/978-3-662-45234-9_15

Tutorial: Automata Learning in Practice
Falk Howar, Malte Isberner, Bernhard Steffen
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
DOI: https://doi.org/10.1007/978-3-662-45234-9_34

Learning register automata: from languages to program structures
Malte Isberner, Falk Howar, Bernhard Steffen
In: Machine Learning
DOI: https://doi.org/10.1007/s10994-013-5419-7

Prototype-Driven Development of Web Applications with DyWA
Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)
DOI: https://doi.org/10.1007/978-3-662-45234-9_5

2013

Hybrid learning: interface generation through static, dynamic, and symbolic analysis
Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamarić
In: Proceedings of the 2013 International Symposium on Software Testing & Analysis
DOI: https://doi.org/10.1145/2483760.2483783

Active continuous quality control
Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer
In: CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
DOI: https://doi.org/10.1145/2465449.2465469

Inferring Automata with State-Local Alphabet Abstractions
Malte Isberner, Falk Howar, Bernhard Steffen 
In: NASA Formal Methods
DOI: https://doi.org/10.1007/978-3-642-38088-4_9

Variability Management beyond Feature Models
Anna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer
In: Computer
DOI: https://doi.org/10.1109/mc.2013.299

Property-Driven Benchmark Generation
Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske 
In: Model Checking Software
DOI: https://doi.org/10.1007/978-3-642-39176-7_21

Practical Aspects of Active Automata Learning
Falk Howar, Maik Merten, Bernhard Steffen, Tiziana Margaria
In: Formal Methods for Industrial Critical Systems: A Survey of Applications
DOI: https://doi.org/10.1002/9781118459898.ch11

2012

Simplicity principles for plug-in development: The jABC approach
Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria
In: Workshop on Developing Tools as Plug-ins (TOPI) 
DOI: https://doi.org/10.1109/topi.2012.6229816

Loose Programming with PROPHETS
Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen 
In: Fundamental Approaches to Software Engineering
DOI: https://doi.org/10.1007/978-3-642-28872-2_7

Automated Inference of Models for Black Box Systems Based on Interface Descriptions
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pellicione, Massimo Tivoli
In: Leveraging Applications of Formal Methods, Verification and Validation 
DOI: https://doi.org/10.1007/978-3-642-34026-0_7

Automated Learning Setups in Automata Learning
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria 
In: Leveraging Applications of Formal Methods, Verification and Validation 
DOI: https://doi.org/10.1007/978-3-642-34026-0_44

Inferring Semantic Interfaces of Data Structures
Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson 
In: Leveraging Applications of Formal Methods, Verification and Validation
DOI: https://doi.org/10.1007/978-3-642-34026-0_41

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer 
In: Leveraging Applications of Formal Methods, Verification and Validation
DOI: https://doi.org/10.1007/978-3-642-34026-0_45

LearnLib Tutorial: From Finite Automata to Register Interface Programs
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen 
In: Leveraging Applications of Formal Methods, Verification and Validation
DOI: https://doi.org/10.1007/978-3-642-34026-0_43

Automata Learning with On-the-Fly Direct Hypothesis Construction
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria 
In: Leveraging Applications of Formal Methods, Verification, and Validation
DOI: https://doi.org/10.1007/978-3-642-34781-8_19

The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria 
In: Leveraging Applications of Formal Methods, Verification, and Validation
DOI: https://doi.org/10.1007/978-3-642-34781-8_18

Active Automata Learning: From DFAs to Interface Programs and Beyond
Bernhard Steffen, Falk Howar, Malte Isberner
In: Proceedings of the Eleventh International Conference on Grammatical Inference

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen 
In: Automated Technology for Verification and Analysis
DOI: https://doi.org/10.1007/978-3-642-33386-6_6

Reusing System States by Active Learning Algorithms
Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar 
In: Eternal Systems
DOI: https://doi.org/10.1007/978-3-642-28033-7_6

Inferring Canonical Register Automata
Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel 
In: Verification, Model Checking, and Abstract Interpretation
DOI: https://doi.org/10.1007/978-3-642-27940-9_17

Demonstrating Learning of Register Automata
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson 
In: Tools and Algorithms for the Construction and Analysis of Systems
DOI: https://doi.org/10.1007/978-3-642-28756-5_32

Automated continuous quality assurance
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
In: First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
DOI: https://doi.org/10.1109/formsera.2012.6229787

2011

Semantics-based composition of EMBOSS services
Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen 
In: Journal of Biomedical Semantics
DOI: https://doi.org/10.1186/2041-1480-2-s1-s5

Tailoring Process Synthesis to Domain Characteristics
Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
In: 16th IEEE International Conference on Engineering of Complex Computer Systems
DOI: https://doi.org/10.1109/iceccs.2011.24

A Succinct Canonical Register Automaton Model
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen 
In: Automated Technology for Verification and Analysis
DOI: https://doi.org/10.1007/978-3-642-24372-1_26

Introduction to Active Automata Learning from a Practical Perspective
Bernhard Steffen, Falk Howar, Maik Merten 
In: Formal Methods for Eternal Networked Software Systems
DOI: https://doi.org/10.1007/978-3-642-21455-4_8

Next Generation LearnLib
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria 
In: Tools and Algorithms for the Construction and Analysis of Systems
DOI: https://doi.org/10.1007/978-3-642-19835-9_18

Automata Learning with Automated Alphabet Abstraction Refinement
Falk Howar, Bernhard Steffen, Maik Merten 
In: Verification, Model Checking, and Abstract Interpretation
DOI: https://doi.org/10.1007/978-3-642-18275-4_19

2010

Constraint-Guided Workflow Composition Based on the EDAM Ontology
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
In: Semantic Web Applications and Tools for Life Sciences
DOI: https://doi.org/10.1038/npre.2010.5397.1

Synthesis-Based Loose Programming
Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
In: 7th International Conference on the Quality of Information and Communications Technology (QUATIC)
DOI: https://doi.org/10.1109/quatic.2010.53

Towards an Architecture for Runtime Interoperability
Amel Bennaceur, Gordon Blair, Franck Chauvel, Huang Gang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville 
In: Leveraging Applications of Formal Methods, Verification, and Validation
DOI: https://doi.org/10.1007/978-3-642-16561-0_23

On Handling Data in Automata Learning
Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
In: Leveraging Applications of Formal Methods, Verification, and Validation
DOI: https://doi.org/10.1007/978-3-642-16561-0_24

From ZULU to RERS: Lessons Learned in the ZULU Challenge
Falk Howar, Bernhard Steffen, Maik Merten
In: Leveraging Applications of Formal Methods, Verification, and Validation
DOI: https://doi.org/10.1007/978-3-642-16558-0_55

2009

Automatische Generierung von Prozessen im jABC
Stefan Naujokat
In: Universitätsbibliothek Dortmund

Automatic Generation of the SWS-Challenge Mediator with jABC/ABC
Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen
In: Semantic Web Services Challenge
DOI: https://doi.org/10.1007/978-0-387-72496-6_7

Semantics-based composition of EMBOSS services with Bio-jETI
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
In: Semantic Web Applications and Tools for Life Sciences

2007

The FMICS-jETI Platform: Status and Perspectives
Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat
In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
DOI: https://doi.org/10.1109/isola.2006.50

The FMICS-jETI Platform: Status and Perspectives
Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat
In: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 
DOI: https://doi.org/10.1109/isola.2006.50