Dr. rer. nat. Markus Frohme

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

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

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

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

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

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

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

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

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