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