Markus Frohme

13 papers C 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Deconstructing Subset Construction - Reducing While Determinizing.
TACAS (2)
John Nicol, Markus Frohme
2025 J jnl
Deconstructing Subset Construction - Reducing While Determinizing.
CoRR
John Nicol, Markus Frohme
2025 — conf
LearnLib: 10 years later.
CAV (4)
Markus Frohme, Falk Howar, Bernhard Steffen
2024 J jnl
Language-Driven Engineering An Interdisciplinary Software Development Paradigm.
CoRR
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
2023 — —
Model-based quality assurance of intrumented context-free systems.
Markus Frohme
2022 — conf
From Languages to Behaviors and Back.
A Journey from Process Algebra via Timed Automata to Model Learning
Markus Frohme, Bernhard Steffen
2021 — conf
A Context-Free Symbiosis of Runtime Verification and Automata Learning.
Formal Methods in Outer Space
Markus Frohme, Bernhard Steffen
2021 J jnl
Compositional learning of mutually recursive procedural systems.
Int. J. Softw. Tools Technol. Transf.
Markus Frohme, Bernhard Steffen
2021 — conf
Never-Stop Context-Free Learning.
Model Checking, Synthesis, and Learning
Markus Frohme, Bernhard Steffen
2019 — conf
Product Line Verification via Modal Meta Model Checking.
From Software Engineering to Formal Methods and Tools, and Back
Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
2018 C conf
Active Mining of Document Type Definitions.
FMICS
Markus Frohme, Bernhard Steffen
2016 — conf
DIME: A Programming-Less Modeling Environment for Web Applications.
ISoLA (2)
Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen
2014 — conf
Prototype-Driven Development of Web Applications with DyWA.
ISoLA (1)
Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria