| Jahr Year | Titel/Autor:in Title/Author | Publikationstyp Publication Type |
|---|---|---|
| 2018 | Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements Ahmadian, Amir Shayan; Jürjens, Jan; Strüber, Daniel |
Konferenzbeitrag Conference Paper |
| 2018 | Supporting privacy impact assessment by model-based privacy analysis Ahmadian, Amir Shayan; Strüber, Daniel; Riediger, Volker; Jürjens, Jan |
Konferenzbeitrag Conference Paper |
| 2018 | Kompetenzentwicklung 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. |
Aufsatz in Buch Book Article |
| 2018 | Automated generation of requirements-based test cases for an adaptive cruise control system Aniculaesei, Adina; Howar, Falk; Denecke, Peer; Rausch, Andreas |
Konferenzbeitrag Conference Paper |
| 2018 | Mixin composition synthesis based on intersection types Bessai, J.; Chen, T.-C.; Dudenhefner, A.; Düdder, B.; De'liguoro, U.; Rehof, J. |
Zeitschriftenaufsatz Journal Article |
| 2018 | Eine Programmiersprache zur souveränen Datenverarbeitung Bruckner, Fabian; Nagel, Ralf; Krüger, D.; Wenzel, Sven; Otto, Boris |
Konferenzbeitrag Conference Paper |
| 2018 | Studien 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 |
Konferenzbeitrag Conference Paper |
| 2018 | Übersicht und notwendige Weichenstellung im Bereich Medizin- und Informationstechnik Burmann, Anja |
Konferenzbeitrag Conference Paper |
| 2018 | Conceptualizing the knowledge to manage and utilize data assets in the context of digitization Böhmer, Martin; Dabrowski, Agatha; Otto, Boris |
Bericht Report |
| 2018 | A 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 |
Zeitschriftenaufsatz Journal Article |
| 2018 | Extending automata learning to extended finite state machines Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard |
Konferenzbeitrag Conference Paper |
| 2018 | Fit für die Digitalisierung - Chatbots sichern Anwendern den Zugriff auf die Cyber-Ebene Cirullies, Jan; Pikus, Yevgen |
Konferenzbeitrag Conference Paper |
| 2018 | Planning [Pl] Cirullies, Jan; Pikus, Yevgen; Schnakenburg, Igor; Plumbaum, Till |
Aufsatz in Buch Book Article |
| 2018 | A multi-frequency acquisition algorithm for a GNSS software receiver Cui, Shaolong; Wang, Dacheng; Holtkamp, Bernhard; Yao, Xiaojing; Fang, Jinyun |
Konferenzbeitrag Conference Paper |
| 2018 | Digitalisierungsstrategien für das Krankenhaus der Zukunft Deiters, Wolfgang; Burmann, Anja; Meister, Sven |
Zeitschriftenaufsatz Journal Article |
| 2018 | Study of integrating random and symbolic testing for object-oriented software Dimjasevic, Marko; Howar, Falk; Luckow, Kapser; Rakamaric, Zvonimir |
Konferenzbeitrag Conference Paper |
| 2018 | A Simpler Undecidability Proof for System F Inhabitation Dudenhefner, A.; Rehof, Jakob |
Konferenzbeitrag Conference Paper |
| 2018 | Predictive 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 |
Konferenzbeitrag Conference Paper |
| 2018 | Layout optimization of a system for successive laser scanner detection and control of mobile robots Halmheu, Rainer; Otto, Boris; Hegel, Johann |
Zeitschriftenaufsatz Journal Article |
| 2018 | Sektorü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 |
Konferenzbeitrag Conference Paper |
| 2018 | Sprachassistenten in der ambulanten Pflege Hellwig, Andre; Meister, Sven; Deiters, Wolfgang; Schneider, Caroline |
Konferenzbeitrag Conference Paper |
| 2018 | Sprachassistenten in der Pflege - Potentiale und Voraussetzungen zur Unterstützung von Senioren Hellwig, Andre; Schneider, Caroline; Meister, Sven; Deiters, Wolfgang |
Konferenzbeitrag Conference Paper |
| 2018 | Digital Transformation Trends: Industry 4.0, Automation, and AI Hessenkämper, Axel; Howar, Falk; Rausch, Andreas |
Konferenzbeitrag Conference Paper |
| 2018 | A lightweight industrial data space sensor connector Holtkamp, Bernhard; Cirullies, Jan; Dahlmanns, Tim; Steinbuß, Sebastian |
Bericht Report |
| 2018 | Technische 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 |
Aufsatz in Buch Book Article |
| 2018 | Einsatz der eHealth-Plattform zur Optimierung des MDK-Managements durch Digitalisierung und Integration von Systemen Houta, Salima; Rüsing, Lars; Stein, Markus; Wilking, Tim |
Aufsatz in Buch Book Article |
| 2018 | Active automata learning in practice: An annotated bibliography of the years 2011 to 2016 Howar, Falk; Steffen, Bernhard |
Aufsatz in Buch Book Article |
| 2018 | Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring Howar, Falk; Giannakopoulou, Dimitra; Mues, Malte; Navas, Jorge |
Konferenzbeitrag Conference Paper |
| 2018 | Telemedizin in der Nephrologie Jahn, Michael; Kopecky, Jens; Meister, Sven; Kribben, Andreas; Koisar, Karoline; Becker, Stefan |
Zeitschriftenaufsatz Journal Article |
| 2018 | RERS 2018: CTL, LTL, and reachability Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk |
Konferenzbeitrag Conference Paper |
| 2018 | Welche Vorteile hat die Digitalisierung in der Gesundheitsversorgung schon jetzt gebracht? Kaindl, A.; Jansen, S.; Meister, Sven |
Zeitschriftenaufsatz Journal Article |
| 2018 | Die Klinik 4.0 im Einkaufswagen - Digitalisierung als Produkt? Meister, Sven |
Zeitschriftenaufsatz Journal Article |
| 2018 | Einfache Handhabung und Bezug zum Alltagsleben - Digitalisierung in der Medizin zielführend umsetzen Meister, Sven |
Zeitschriftenaufsatz Journal Article |
| 2018 | Digitale Gesundheit: Wie digitale Medien zur Unterstützung unserer Gesundheit eingesetzt werden Meister, Sven; Deiters, Wolfgang; Hellwig, Andre; Pantförder, Michael |
Zeitschriftenaufsatz Journal Article |
| 2018 | Towards utilizing customer data for business model innovation: The case of a german manufacturer Michalik, Alexander; Möller, Frederik; Henke, Michael; Otto, Boris |
Zeitschriftenaufsatz Journal Article |
| 2018 | Schedule Instability in Production Networks Moetz, A.; Meinlschmidt, J.; Otto, B. |
Zeitschriftenaufsatz Journal Article |
| 2018 | Digital business engineering: Findings from the install4schenker case Möller, F.; Opriel, S.; Hermann, M.; Otto, B. |
Konferenzbeitrag Conference Paper |
| 2018 | IDS 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; Spiekermann, Markus; Spohn, Christian; Stoehr, Gerrit; Thess, Michael; Tramp, Sebastian; Wappler, Mona; Weiergraeber, Ann-Christin; Wenzel, Sven; Wolff, Oliver; Woerner, Heike |
Bericht Report |
| 2018 | Innovation durch Kooperation in Supply Chains. Geschäftsökosysteme und die Rolle der Daten Otto, Boris; Cirullies, Jan; Schwede, Christian |
Konferenzbeitrag Conference Paper |
| 2018 | Model-based security analysis of feature-oriented software product lines Peldszus, S.; Strüber, D.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2018 | Model-based discrimination analysis Ramadan, Q.; Ahmadian, A.S.; Strüber, D.; Jürjens, J.; Staab, S. |
Konferenzbeitrag Conference Paper |
| 2018 | Detecting conflicts between data-minimization and security requirements in business process models Ramadan, Qusai; Strüber, Daniel; Salnitri, Mattia; Riediger, Volker; Jürjens, Jan |
Konferenzbeitrag Conference Paper |
| 2018 | A 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. |
Zeitschriftenaufsatz Journal Article |
| 2018 | A 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 |
Konferenzbeitrag Conference Paper |
| 2018 | Blockchain 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 |
Bericht Report |
| 2018 | A conceptual model of benchmarking data and its implications for data mapping in the data economy Spiekermann, Markus; Wenzel, Sven; Otto, Boris |
Konferenzbeitrag Conference Paper |
| 2018 | A metadata model for data goods Spiekermann, Markus; Tebernum, Daniel; Wenzel, Sven; Otto, Boris |
Konferenzbeitrag Conference Paper |
| 2018 | Data security and consumer trust in FinTech innovation in Germany Stewart, Harrison; Jürjens, Jan |
Zeitschriftenaufsatz Journal Article |
| 2018 | Taming multi-variability of software product line transformations Strüber, Daniel; Peldzsus, Sven; Jürjens, Jan |
Konferenzbeitrag Conference Paper |
| 2018 | Risikobewertungen in Datennetzwerken Tebernum, Daniel; Spiekermann, Markus; Wenzel, Sven; Otto, Boris |
Konferenzbeitrag Conference Paper |
| 2018 | Checking 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 |
Konferenzbeitrag Conference Paper |
| 2018 | System evolution through semi-automatic elicitation of security requirements Vargas, C.; Bürger, J.; Viertel, F.; Vogel-Heuser, B.; Jürjens, J. |
Zeitschriftenaufsatz Journal Article |
| 2018 | Should we stay or should we go? Analyzing continuance of cloud enterprise systems Walther, Sebastian; Sedera, Darshana; Urbach, Nils; Eymann, Torsten; Otto, Boris; Sarker, Saonee |
Zeitschriftenaufsatz Journal Article |
| 2018 | Automatic 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 |
Konferenzbeitrag Conference Paper |
| 2018 | Smart 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 |
Zeitschriftenaufsatz Journal Article |
| 2018 | Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018 | Tagungsband Conference Proceeding |
| 2018 | Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2017 | Jahresbericht Annual Report |