Markus Frohme

According to our database, Markus Frohme authored at least 14 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Deconstructing Subset Construction - Reducing While Determinizing.

John Nicol, Markus Frohme

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Artifact for the TACAS 2026 paper "AutomataLib: the open-source library for automata, graphs, and transition systems".

Markus Frohme, Falk Howar, Bernhard Steffen

Dataset, October, 2025

Artifact for the CAV 2025 tool paper "LearnLib: 10 years later".

Markus Frohme, Falk Howar, Bernhard Steffen

Dataset, April, 2025

LearnLib: 10 years later.

Markus Frohme, Falk Howar, Bernhard Steffen

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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

CoRR, 2024

2023

Model-based quality assurance of intrumented context-free systems.

Markus Frohme

PhD thesis, 2023

2022

From Languages to Behaviors and Back.

Markus Frohme, Bernhard Steffen

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Compositional learning of mutually recursive procedural systems.

Markus Frohme, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2021

Never-Stop Context-Free Learning.

Markus Frohme, Bernhard Steffen

Proceedings of the Model Checking, Synthesis, and Learning, 2021

A Context-Free Symbiosis of Runtime Verification and Automata Learning.

Markus Frohme, Bernhard Steffen

Proceedings of the Formal Methods in Outer Space, 2021

2019

Product Line Verification via Modal Meta Model Checking.

Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Active Mining of Document Type Definitions.

Markus Frohme, Bernhard Steffen

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2014

Prototype-Driven Development of Web Applications with DyWA.

Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014