Prototype-Driven Development of Web Applications with DyWA. - Johannes Neubauer; Markus Frohme; Bernhard Steffen; Tiziana Margaria (ISoLA (1), 2014)

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 (ISoLA (2), 2016)

Active Mining of Document Type Definitions. - Markus Frohme; Bernhard Steffen (FMICS, 2018)

Product Line Verification via Modal Meta Model Checking. - Tim Tegeler; Alnis Murtovi; Markus Frohme; Bernhard Steffen (From Software Engineering to Formal Methods and Tools, and Back, 2019)

A Context-Free Symbiosis of Runtime Verification and Automata Learning. - Markus Frohme; Bernhard Steffen (Formal Methods in Outer Space, 2021)

Never-Stop Context-Free Learning. - Markus Frohme; Bernhard Steffen (Model Checking, Synthesis, and Learning, 2021)

Compositional learning of mutually recursive procedural systems. - Markus Frohme; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

From Languages to Behaviors and Back. - Markus Frohme; Bernhard Steffen (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Model-based quality assurance of intrumented context-free systems. - Markus Frohme (2023)

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; et al. (CoRR, 2024)

LearnLib: 10 years later. - Markus Frohme; Falk Howar; Bernhard Steffen (CAV (4), 2025)

Artifact for the CAV 2025 tool paper "LearnLib: 10 years later". - Markus Frohme; Falk Howar; Bernhard Steffen (Zenodo, 2025)

Deconstructing Subset Construction - Reducing While Determinizing. - John Nicol; Markus Frohme (CoRR, 2025)