LS 05 Programmiersysteme : [35]

Browse
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 35
Issue DateTitleAuthor(s)
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
2014-01-31Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud-ComputingSteffen, Bernhard; Doedt, Markus; Rehof, Jakob
2013-03-26Verifikation von Firewall-Regeln mit dem Java Application Building CenterSteffen, Bernhard; Windmüller, Stephan; Margaria-Steffen, Tiziana
2013-03-26LocalChecker plugin for the jABCSteffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
2013-03-26Entwicklung eines jABC Plugin zur grafischen Beschreibung von Transformationen strukturierter DatenSteffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 35