Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2023	Simplicity-oriented lifelong learning of web applications	Steffen, Bernhard; Bainczyk, Julius Alexander; Hähnle, Reiner
2023	Model-based quality assurance of instrumented context-free systems	Steffen, Bernhard; Frohme, Markus; Jonsson, Bengt
2023	A lingualization strategy for knowledge sharing in large-scale DevOps	Steffen, Bernhard; Tegeler, Tim; Wirsing, Martin
2023	Evolution of ecosystems for Language-Driven Engineering	Steffen, Bernhard; Boßelmann, Steve; Wirsing, Martin
2021-06-24	The RERS challenge: towards controllable and scalable benchmark synthesis	Howar, Falk; Jasper, Marc; Mues, Malte; Steffen, Bernhard; Schmidt, David
2021-10-05	Compositional learning of mutually recursive procedural systems	Frohme, Markus; Steffen, Bernhard
2021-06-18	Towards language-to-language transformation	Kopetzki, Dawid; Lybecait, Michael; Naujokat, Stefan; Steffen, Bernhard
2022	Aligned and collaborative language-driven engineering	Steffen, Bernhard; Zweihoff, Philip; Jörges, Sven
2021	Aggressive aggregation	Margaria, Tiziana; Gossen, Frederik Jakob; Steffen, Bernhard
2021	Synthesizing realistic verification tasks	Steffen, Bernhard; Jasper, Marc; Siegel, Stephen F.
2020-05-06	Characteristic invariants in Hennessy-Milner logic	Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard
2019	Generation of domain-specific language-to-language transformation languages	Steffen, Bernhard; Kopetzki, Dawid; Jörges, Sven
2019	Meta-model based generation of domain-specific modeling tools	Steffen, Bernhard; Lybecait, Michael; Jörges, Sven
2017	Heavy meta: model-driven domain-specific generation of generative domain-specific modeling tools	Steffen, Bernhard; Naujokat, Stefan; Legay, Axel; Rehof, Jakob
2015	Foundations of active automata learning: an algorithmic perspective	Steffen, Bernhard; Isberner, Malte; Vaandrager, Frits
2014-07-25	Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle	Steffen, Bernhard; Windmüller, Stephan; Rehof, Jakob
2014-07-09	Higher order process engineering	Steffen, Bernhard; Neubauer, Johannes; Hinchey, Mike
2014-05-22	Modellgetriebenes Reengineering der Geschäftslogik von Java-Applikationen	Tomskikh, Vera
2014-05-08	Higher-Order Process Engineering: The Technical Background	Neubauer, Johannes
2014-03-20	Trusted computing	Biskup, Joachim; Hoffmann, Johannes; Neubauer, Johannes