To content
Fakultät für Informatik
Automated Quality Assurance

Dr. rer. nat. Markus Frohme

E-Mail
markus.frohmetu-dortmundde

Phone
(+49) 231 755-7731

Office
TU Dortmund University
Department for Computer Science
Otto-Hahn-Straße 14
44227 Dortmund
Room 112

Consultation Hours
By appointment

Links
ORCID
GitHub

Current Projects
LearnLib
AutomataLib

Publications

2025

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

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

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

2022

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

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

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

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

2019

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

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

2018

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

2016

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

2014

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