LS 05 Programmiersysteme und Übersetzerbau : [25]

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 25
Issue DateTitleAuthor(s)
2015Foundations of active automata learning: an algorithmic perspectiveSteffen, Bernhard; Isberner, Malte; Vaandrager, Frits
25-Jul-2014Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter ModelleSteffen, Bernhard; Windmüller, Stephan; Rehof, Jakob
9-Jul-2014Higher order process engineeringSteffen, Bernhard; Neubauer, Johannes; Hinchey, Mike
22-May-2014Modellgetriebenes Reengineering der Geschäftslogik von Java-ApplikationenTomskikh, Vera
8-May-2014Higher-Order Process Engineering: The Technical BackgroundNeubauer, Johannes
20-Mar-2014Trusted computingBiskup, Joachim; Hoffmann, Johannes; Neubauer, Johannes
31-Jan-2014Service-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
26-Mar-2013Verifikation von Firewall-Regeln mit dem Java Application Building CenterSteffen, Bernhard; Windmüller, Stephan; Margaria-Steffen, Tiziana
26-Mar-2013LocalChecker plugin for the jABCSteffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
26-Mar-2013Entwicklung eines jABC Plugin zur grafischen Beschreibung von Transformationen strukturierter DatenSteffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
29-Jan-2013Active automata learning for real life applicationsSteffen, Bernhard; Merten, Maik; Hähnle, Reiner
11-Jan-2013jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-KomponentenSteffen, Bernhard; Kubczak, Christian; Yahyapour, Ramin
17-Dec-2012jETI: Redesign der ETI-PlattformNaujokat, Stefan
17-Dec-2012Automatische Generierung von Prozessen im jABCNaujokat, Stefan
26-Jun-2012Active learning of interface programsSteffen, Bernhard; Howar, Falk M.; Meinke, Karl
16-Apr-2012Large scale parallel state space search utilizing graphics processing units and solid state disksEdelkamp, Stefan; Sulewski, Damian; Steffen, Bernhard
11-Jan-2010Feature-orientierte Entwicklung von rollenbasierten Systemen zur kooperativen EntscheidungsfindungSteffen, Bernhard; Karusseit, Martin; Jannach, Dietmar
28-Jul-2009Technische Herausforderungen modellgetriebener Beherrschung von Prozesslebenszyklen aus der FachperspektiveSteffen, Bernhard; Nagel, Ralf; Rehof, Jakob
14-Jul-2009Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels AutomatenlernverfahrenSteffen, Bernhard; Raffelt, Harald; Rehof, Jakob
10-Jun-2009External memory algorithms for state space exploration in model checking and action planningEdelkamp, Stefan; Jabbar, Shahid; Steffen, Bernhard
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 25