Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Active automata learning in practice: An annotated bibliography of the years 2011 to 2016
Howar, Falk; Steffen, Bernhard
Conference Paper
2018Augmented-Reality-gestützte Fabrikplanung unter Verwendung der Microsoft HoloLens
Hohlsiepe, Arne
: Henke, Michael; Meister, Sven
Master Thesis
2018Automated generation of requirements-based test cases for an adaptive cruise control system
Aniculaesei, Adina; Howar, Falk; Denecke, Peer; Rausch, Andreas
Conference Paper
2018Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic
Winkels, Jan; Graefenstein, Julian; Schäfer, Tristan; Scholz, David; Rehof, Jakob; Henke, Michael
Conference Paper
2018Automatische Detektion von tonisch-klonischen Anfällen mit Hilfe von SVM und kNN auf Basis in EPItect gewonnener Beschleunigungsdaten
Dulich, Pascal
: Howar, Falk; Meister, Sven
Bachelor Thesis
2018Blockchain and smart contracts
Schütte, Julian; Fridgen, Gilbert; Prinz, Wolfgang; Rose, Thomas; Urbach, Nils; Hoeren, Thomas; Guggenberger, Nikolas; Welzel, Christian; Holly, Steffen; Schulte, Axel; Sprenger, Philipp; Schwede, Christian; Weimert, Birgit; Otto, Boris; Dalheimer, Mathias; Wenzel, Markus; Kreutzer, Michael; Fritz, Michael; Leiner, Ulrich; Nouak, Alexander
: Prinz, Wolfgang (Ed.); Schulte, Axel T. (Ed.)
Report
2018Checking consistency of real-time requirements on distributed automotive control software early in the development process using UPPAAL
Toennemann, Jan; Rausch, Andreas; Howar, Falk; Cool, Benjamin
Conference Paper
2018A conceptual model of benchmarking data and its implications for data mapping in the data economy
Spiekermann, Markus; Wenzel, Sven; Otto, Boris
Conference Paper
2018Conceptualizing the knowledge to manage and utilize data assets in the context of digitization
Böhmer, Martin; Dabrowski, Agatha; Otto, Boris
Report
2018Data security and consumer trust in FinTech innovation in Germany
Stewart, Harrison; Jürjens, Jan
Journal Article
2018Detecting conflicts between data-minimization and security requirements in business process models
Ramadan, Qusai; Strüber, Daniel; Salnitri, Mattia; Riediger, Volker; Jürjens, Jan
Conference Paper
2018Digital business engineering: Findings from the install4schenker case
Möller, F.; Opriel, S.; Hermann, M.; Otto, B.
Conference Paper
2018Digital Transformation Trends: Industry 4.0, Automation, and AI
Hessenkämper, Axel; Howar, Falk; Rausch, Andreas
Conference Paper
2018Digitale Gesundheit: Wie digitale Medien zur Unterstützung unserer Gesundheit eingesetzt werden
Meister, Sven; Deiters, Wolfgang; Hellwig, Andre; Pantförder, Michael
Journal Article
2018Digitalisierungsstrategien für das Krankenhaus der Zukunft
Deiters, Wolfgang; Burmann, Anja; Meister, Sven
Journal Article
2018Einfache Handhabung und Bezug zum Alltagsleben - Digitalisierung in der Medizin zielführend umsetzen
Meister, Sven
Journal Article
2018Einsatz der eHealth-Plattform zur Optimierung des MDK-Managements durch Digitalisierung und Integration von Systemen
Houta, Salima; Rüsing, Lars; Stein, Markus; Wilking Tim
Book Article
2018Extending automata learning to extended finite state machines
Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Conference Paper
2018Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements
Ahmadian, Amir Shayan; Jürjens, Jan; Strüber, Daniel
Conference Paper
2018Fit für die Digitalisierung - Chatbots sichern Anwendern den Zugriff auf die Cyber-Ebene
Cirullies, Jan; Pikus, Yevgen
Conference Paper
2018Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018
: Howar, Falk; Barnat, Jiri
Conference Proceedings
2018A framework for semi-automated co-evolution of security knowledge and system models
Bürger, Jens; Strüber, Daniel; Gärtner, Stefan; Ruhroth, Thomas; Jürjens, Jan; Schneider, Kurt
Journal Article
2018Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2017
 
Annual Report
2018Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Howar, Falk; Giannakopoulou, Dimitra; Mues, Malte; Navas, Jorge
Conference Paper
2018IDS Reference Architecture Model. Industrial Data Space. Version 2.0
Otto, Boris; Lohmann, Steffen; Steinbuss, Sebastian; Teuscher, Andreas; Auer, Soeren; Boehmer, Martin; Bohn, Juergen; Brost, Gerd; Cirullies, Jan; Ciureanu, Constantin; Corsi, Eva; Danielsen, Soeren; Eitel, Andreas; Ernst, Thilo; Geisler, Sandra; Gelhaar, Joshua; Gude, Roland; Haas, Christian; Heiles, Juergen; Hierro, Juanjo; Hoernle, Joachim; Huber, Manuel; Jung, Christian; Juerjens, Jan; Kasprzik, Anna; Ketterl, Markus; Koetzsch, Judith; Koehler, Jacob; Lange, Christoph; Langer, Dorothea; Langkau, Joerg; Lis, Dominik; Loeffler, Sven; Loewen, Ulrich; Mader, Christian; Menz, Nadja; Mueller, Andreas; Mueller, Bernhard; Nagel, Lars; Nagel, Ralf; Nieminen, Harri; Reitelbach, Thomas; Resetko, Aleksei; Pakkala, Daniel; Patzer, Florian; Pettenpohl, Heinrich; Pietzsch, Rene; Pullmann, Jaroslav; Punter, Matthijs; Quix, Christoph; Rohrmus, Dominik; Romer, Lena; Sandloehken, Joerg; Schoewe, Patrick; Schulz, Daniel; Schuette, Julian; Schweichhart, Karsten; Sol, Egbert-Jan; Sorowka, Peter; Spiegelberg, Gernot;
Report
2018Innovation durch Kooperation in Supply Chains. Geschäftsökosysteme und die Rolle der Daten
Otto, Boris; Cirullies, Jan; Schwede, Christian
Conference Paper
2018Die Klinik 4.0 im Einkaufswagen - Digitalisierung als Produkt?
Meister, Sven
Journal Article
2018Kompetenzentwicklung der Zukunft: Forschung - Praxis - Politik
Ahrens, Daniela; Alexander, C.; Ardelt, T.; Balic, M.; Baumgarten, K.; Blanco, S.; Bruder, R.; Eickholt, C.; Hertle, C.; Holtkamp, Bernhard; Jokovic, B.; Kinkel, S.; Kley, T.; Knickmeier, A.; König, C.; Kriegesmann, B.; Lehmann, K.; Leimeister, J.M.; Lichtner, R.; Metternich, J.; Migas, S.; Molzberger, G.; Oeste-Reiß, S.; Riebe, S.; Schemmann, B.; Schöbel, S.; Söllner, M.; Steinbuß, S.; Templer, M.; Tenberg, R.; Tisch, M.; Weber, C.; Weiß, U.
Book Article
2018Konzeption und Implementierung eines Augmented Reality Tour-Guides unter Verwendung der Microsoft HoloLens
Li, Wendy
: Neges, Matthias; Meister, Sven
Master Thesis
2018Layout optimization of a system for successive laser scanner detection and control of mobile robots
Halmheu, Rainer; Otto, Boris; Hegel, Johann
Journal Article
2018A lightweight industrial data space sensor connector
Holtkamp, Bernhard; Cirullies, Jan; Dahlmanns, Tim; Steinbuß, Sebastian
Report
2018A metadata model for data goods
Spiekermann, Markus; Tebernum, Daniel; Wenzel, Sven; Otto, Boris
Conference Paper
2018A methodology for combinatory process synthesis: Process variability in clinical pathways
Schäfer, Tristan; Möller, Frederik; Burmann, Anja; Pikus, Yevgen; Weißenberg, Norbert; Hintze, Marcus; Rehof, Jakob
Conference Paper
2018Model-based discrimination analysis
Ramadan, Q.; Ahmadian, A.S.; Strüber, D.; Jürjens, J.; Staab, S.
Conference Paper
2018A multi-frequency acquisition algorithm for a GNSS software receiver
Cui, Shaolong; Wang, Dacheng; Holtkamp, Bernhard; Yao, Xiaojing; Fang, Jinyun
Conference Paper
2018Planning [Pl]
Cirullies, Jan; Pikus, Yevgen; Schnakenburg, Igor; Plumbaum, Till
Book Article
2018Predictive maintenance in the context of service - a state-of-the-art analysis of predictive models and the role of social media data in this context
Grambau, Jens; Hitzges, Arno; Otto, Boris
Conference Paper
2018Eine Programmiersprache zur souveränen Datenverarbeitung
Bruckner, Fabian; Nagel, Ralf; Krüger, D.; Wenzel, Sven; Otto, Boris
Conference Paper
2018RERS 2018: CTL, LTL, and reachability
Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk
Conference Paper
2018Risikobewertungen in Datennetzwerken
Tebernum, Daniel; Spiekermann, Markus; Wenzel, Sven; Otto, Boris
Conference Paper
2018Schedule Instability in Production Networks
Moetz, A.; Meinlschmidt, J.; Otto, B.
Journal Article
2018Sektorübergreifendes Versorgungsmanagement von Akteuren des Gesundheitssektors zur Entlastung des Case Care Managements in Krankenhäusern und Stärkung der Nachbarschaftshilfe im Quartier
Hellwig, Andre; Meister, Sven; Bredehorn, Thomas; Dragon, Dominika; Schöpe, Lothar; Stumpe, Carola
Conference Paper
2018Should we stay or should we go? Analyzing continuance of cloud enterprise systems
Walther, Sebastian; Sedera, Darshana; Urbach, Nils; Eymann, Torsten; Otto, Boris; Sarker, Saonee
Journal Article
2018A Simpler Undecidability Proof for System F Inhabitation
Dudenhefner, A.; Rehof, Jakob
Abstract
2018Smart Medical Information Technology for Healthcare (SMITH)
Winter, Alfred; Stäubert, Sebastian; Ammon, Danny; Aiche, Stephan; Beyan, Oya; Bischoff, Verena; Daumke, Philipp; Decker, Stefan; Funkat, Gert; Gewehr, Jan E.; Greiff, Armin de; Haferkamp, Silke; Hahn, Udo; Henkel, Andreas; Kirsten, Toralf; Klöss, Thomas; Lippert, Jörg; Löbe, Matthias; Lowitsch, Volker; Maassen, Oliver; Maschmann, Jens; Meister, Sven; Mikolajczyk, Rafael; Nüchter, Matthias; Pletz, Mathias W.; Rahm, Erhard; Riedel, Morris; Saleh, Kutaiba; Schuppert, Andreas; Smers, Stefan; Stollenwerk, André; Uhlig, Stefan; Wendt, Thomas; Zenker, Sven; Fleig, Wolfgang; Marx, Gernot; Scherag, André; Löffler, Markus
Journal Article
2018Sprachassistenten in der ambulanten Pflege
Hellwig, Andre; Meister, Sven; Deiters, Wolfgang; Schneider, Caroline
Conference Paper
2018Sprachassistenten in der Pflege - Potentiale und Voraussetzungen zur Unterstützung von Senioren
Hellwig, Andre; Schneider, Caroline; Meister, Sven; Deiters, Wolfgang
Conference Paper
2018Studien zu Stillen und Säuglingsernährung in Deutschland "SuSe" - die Rolle der Geburtskliniken bei der Mütterrekrutierung 1997/98 und 2017/18
Burak, Constanze; Pohlhausen, Stefanie; Lücke, Thomas; Rudolf, Henrik; Burmann, Anja; Meister, Sven; Kersting, Mathilde
Abstract
2018Study of integrating random and symbolic testing for object-oriented software
Dimjasevic, Marko; Howar, Falk; Luckow, Kapser; Rakamaric, Zvonimir
Conference Paper
2018Supporting privacy impact assessment by model-based privacy analysis
Ahmadian, Amir Shayan; Strüber, Daniel; Riediger, Volker; Jürjens, Jan
Conference Paper
2018A systematic review on the code smell effect
Santos, J.A.M.; Rocha-Junior, J.B.; Prates, L.C.L.; Santos do Nascimento, R; Freitas, M.F.; Gomes de Mendonça, M.
Journal Article
2018Taming multi-variability of software product line transformations
Strüber, Daniel; Peldzsus, Sven; Jürjens, Jan
Conference Paper
2018Technische Innovationen als Mittel zum arbeitsintegrierten Lernen in kleinen und mittleren Unternehmen des Einzelhandels
Holtkamp, Bernhard; Riebe, Sebastian; Baumgarten, Kerstin; Blanco, Sonja; Steinbuß, Sebastian; Eickholt, Clarissa; Templer, Martin
Book Article
2018Telemedizin in der Nephrologie
Jahn, Michael; Kopecky, Jens; Meister, Sven; Kribben, Andreas; Koisar, Karoline; Becker, Stefan
Journal Article
2018Towards utilizing customer data for business model innovation: The case of a german manufacturer
Michalik, Alexander; Möller, Frederik; Henke, Michael; Otto, Boris
Journal Article, Conference Paper
2018Übersicht und notwendige Weichenstellung im Bereich Medizin- und Informationstechnik
Burmann, Anja
Conference Paper
2018Unterstützung pflegebedürftiger Senioren mit Amazon Echo und Google Home
Schneider, Caroline
: Wojciechowski, Manfred; Meister, Sven
Master Thesis
2018Welche Vorteile hat die Digitalisierung in der Gesundheitsversorgung schon jetzt gebracht?
Kaindl, A.; Jansen, S.; Meister, Sven
Journal Article