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