LS 05 Programmiersysteme : [39]

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 39
Issue DateTitleAuthor(s)
2023Simplicity-oriented lifelong learning of web applicationsSteffen, Bernhard; Bainczyk, Julius Alexander; Hähnle, Reiner
2023Model-based quality assurance of instrumented context-free systemsSteffen, Bernhard; Frohme, Markus; Jonsson, Bengt
2023A lingualization strategy for knowledge sharing in large-scale DevOpsSteffen, Bernhard; Tegeler, Tim; Wirsing, Martin
2023Evolution of ecosystems for Language-Driven EngineeringSteffen, Bernhard; Boßelmann, Steve; Wirsing, Martin
2021-06-24The RERS challenge: towards controllable and scalable benchmark synthesisHowar, Falk; Jasper, Marc; Mues, Malte; Steffen, Bernhard; Schmidt, David
2021-10-05Compositional learning of mutually recursive procedural systemsFrohme, Markus; Steffen, Bernhard
2021-06-18Towards language-to-language transformationKopetzki, Dawid; Lybecait, Michael; Naujokat, Stefan; Steffen, Bernhard
2022Aligned and collaborative language-driven engineeringSteffen, Bernhard; Zweihoff, Philip; Jörges, Sven
2021Aggressive aggregationMargaria, Tiziana; Gossen, Frederik Jakob; Steffen, Bernhard
2021Synthesizing realistic verification tasksSteffen, Bernhard; Jasper, Marc; Siegel, Stephen F.
2020-05-06Characteristic invariants in Hennessy-Milner logicJasper, Marc; Schlüter, Maximilian; Steffen, Bernhard
2019Generation of domain-specific language-to-language transformation languagesSteffen, Bernhard; Kopetzki, Dawid; Jörges, Sven
2019Meta-model based generation of domain-specific modeling toolsSteffen, Bernhard; Lybecait, Michael; Jörges, Sven
2017Heavy meta: model-driven domain-specific generation of generative domain-specific modeling toolsSteffen, Bernhard; Naujokat, Stefan; Legay, Axel; Rehof, Jakob
2015Foundations of active automata learning: an algorithmic perspectiveSteffen, Bernhard; Isberner, Malte; Vaandrager, Frits
2014-07-25Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter ModelleSteffen, Bernhard; Windmüller, Stephan; Rehof, Jakob
2014-07-09Higher order process engineeringSteffen, Bernhard; Neubauer, Johannes; Hinchey, Mike
2014-05-22Modellgetriebenes Reengineering der Geschäftslogik von Java-ApplikationenTomskikh, Vera
2014-05-08Higher-Order Process Engineering: The Technical BackgroundNeubauer, Johannes
2014-03-20Trusted computingBiskup, Joachim; Hoffmann, Johannes; Neubauer, Johannes
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 39