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

Issue Date	Title	Author(s)
2014-01-31	Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud-Computing	Steffen, Bernhard; Doedt, Markus; Rehof, Jakob
2013-03-26	Verifikation von Firewall-Regeln mit dem Java Application Building Center	Steffen, Bernhard; Windmüller, Stephan; Margaria-Steffen, Tiziana
2013-03-26	LocalChecker plugin for the jABC	Steffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
2013-03-26	Entwicklung eines jABC Plugin zur grafischen Beschreibung von Transformationen strukturierter Daten	Steffen, Bernhard; Neubauer, Johannes; Nagel, Ralf
2013-01-29	Active automata learning for real life applications	Steffen, Bernhard; Merten, Maik; Hähnle, Reiner
2013-01-11	jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten	Steffen, Bernhard; Kubczak, Christian; Yahyapour, Ramin
2012-12-17	jETI: Redesign der ETI-Plattform	Naujokat, Stefan
2012-12-17	Automatische Generierung von Prozessen im jABC	Naujokat, Stefan
2012-06-26	Active learning of interface programs	Steffen, Bernhard; Howar, Falk M.; Meinke, Karl
2012-04-16	Large scale parallel state space search utilizing graphics processing units and solid state disks	Edelkamp, Stefan; Sulewski, Damian; Steffen, Bernhard
2010-01-11T10:20:41Z	Feature-orientierte Entwicklung von rollenbasierten Systemen zur kooperativen Entscheidungsfindung	Steffen, Bernhard; Karusseit, Martin; Jannach, Dietmar
2009-07-28T07:13:04Z	Technische Herausforderungen modellgetriebener Beherrschung von Prozesslebenszyklen aus der Fachperspektive	Steffen, Bernhard; Nagel, Ralf; Rehof, Jakob
2009-07-14T09:58:21Z	Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels Automatenlernverfahren	Steffen, Bernhard; Raffelt, Harald; Rehof, Jakob
2009-06-10T11:18:13Z	External memory algorithms for state space exploration in model checking and action planning	Edelkamp, Stefan; Jabbar, Shahid; Steffen, Bernhard
2007-08-30T10:06:47Z	Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese	Steffen, Bernhard; Yoo, Haiseung; Rehof, Jakob
2006-05-17T10:39:36Z	Challenges and applications of assembly level software model checking	Edelkamp, Stefan; Mehler, Tilman; Morik, Katharina
2005-03-17	Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen	Steffen, B.; Gsottberger, Claudia; Doberkat, Ernst-Erich
2003-12-15	An integrated approach to testing complex systems	Steffen, Bernhard; Niese, Oliver; Buchholz, Peter
2002-02-19	A coarse granular approach to software development allowing non-programmers to build and deploy reliable, web based applications	Steffen, Bernhard; Braun, Volker; Krumm, Heiko