LS 14 Software Engineering : [23]

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 23
Issue DateTitleAuthor(s)
2023Design principles for data quality toolsHowar, Falk; Altendeitering, Marcel; Janiesch, Christian
2022Komponentenbasierte Synthese von SimulationsmodellenRehof, Jakob; Kallat, Fadil; Meyer, Anne
2023The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysisHowar, Falk; Mues, Malte; Beyer, Dirk
2022User support for software development technologiesRehof, Jakob; Vasileva, Anna; Hermann, Ben
2021Component-based synthesis of motion planning algorithmsRehof, Jakob; Schäfer, Tristan; Wiederkehr, Petra
2022Programmierkonzepte für die Umsetzung von Nutzungsrichtlinien in industriellen DatenräumenHowar, Falk; Bruckner, Fabian; Jürjens, Jan
2021-05-24Modeling of cutting forces in trochoidal milling with respect to wear-dependent topographic changesBergmann, Jim A.; Potthoff, Nils; Rickhoff, Tobias; Wiederkehr, Petra
2021-09-29Algebraic aggregation of random forestsGossen, Frederik; Steffen, Bernhard
2021-05-22Investigation of the effect of residual stresses in the subsurface on process forces for consecutive orthogonal cutsWöste, Forian; Kimm, Janis; Bergmann, Jim A.; Theisen, Werner; Wiederkehr, Petra
2019Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer LogikRehof, Jakob; Winkels, Jan; Steffen, Bernhard
2019A type-theoretic framework for software component synthesisRehof, Jakob; Bessai, Jan; Heineman, George T.
2019Algorithmic aspects of type-based program synthesisRehof, Jakob; Dudenhefner, Andrej; Urzyczyn, Pawel
2015Digitales, sektorübergreifendes Prozessmanagement im GesundheitswesenRehof, Jakob; Heiden, Katja; Böckmann, Britta
2014Automatic synthesis of component & connector software architectures with bounded combinatory logicRehof, Jakob; Düdder, Boris; Henglein, Fritz
2014-04-08Erweiterung von Konzepten des complex event processings zur informationslogistischen Verarbeitung telemedizinischer EreignisseRehof, Jakob; Meister, Sven; Margaria-Steffen, Tiziana
2013-06-07Verteilte Prozesskontrolle in ressourcenbasierten ArchitekturenRehof, Jakob; Sugioarto, Martin; Steffen, Bernhard
2013-01-28A generic scheduling architecture for service oriented distributed computing infrastructuresYahyapour, Ramin; Wieder, Philipp; Kranzlmüller, Dieter
2012-08-23Model based security guarantees and changeJürjens, Jan; Ochoa Ronderos, Martín; Viganò, Luca
2011-07-05Modellierung und dynamische Adaption klinischer Pfade auf Basis semantischer ProzessfragmenteRehof, Jakob; Reuter, Claudia; Dadam, Peter
2011-06-21"Compositional Modeling" Ansatz zur Benutzerschnittstellengenerierung am Beispiel telemedizinischer AnwendungenRehof, Jakob; Königsmann, Thomas; Müller, Heinrich
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 23