Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2021Arzt-Patienten-Portale
Meister, Sven; Houta, Salima; Becker, Stefan; Schöpe, Lothar; Surges, Rainer
Aufsatz in Buch
2021Breast-feeding promotion in hospitals and prospective breast-feeding rates during the first year of life in two national surveys 1997-1998 and 2017-2019 in Germany
Hockamp, Nele; Burak, Constanze; Sievers, Erika; Rudloff, Silvia; Burmann, Anja; Thinnes, Merlin; Zahn, Johanna; Lücke, Thomas; Kersting, Mathilde
Zeitschriftenaufsatz
2021The Challenge of Implementing Digital Twins in Operating Value Chains
Werner, Roman; Takacs, Ronny; Geier, Dominik; Becker, Thomas; Weißenberg, Norbert; Haße, Hendrik; Sollacher, Rudolf; Thalhofer, Michael; Schumm, Bernhard; Steinke, Ines
Aufsatz in Buch
2021A Comparative Evaluation of Machine Learning Deployment Approaches in Real Term Environments using the Example of the Detection of Epileptic Seizure
Houta, Salima
Konferenzbeitrag
2021Concept and Implementation of Data Usage Proposal Process Based on International Standards in SMITH
Klötgen, Marcel; Fiege, Eric; Houta, Salima
Konferenzbeitrag
2021Data Sovereignty and Data Economy - Two Repulsive Forces?. Position Paper
Lauf, Florian; Scheider, Simon; Meister, Sven; Radic, Marija; Herrmann, Philipp; Schulze, Max; Nemat, André T.; Becker, Sarah J.; Rebbert, Marcel; Abate, Constantin; Konrad, Ralf; Bartsch, Jan; Dehling, Tobias; Sunyaev, Ali
Bericht
2021Digital Maturity of Hospitals in Practice: A Qualitative Design-Approach
Burmann, Anja; Deiters, Wolfgang; Meister, Sven
Konferenzbeitrag
2021Die elektronische Fallakte
Meister, Sven; Houta, Salima
Aufsatz in Buch
2021Entwicklungslinien für das Produktionscontrolling im digitalisierten Umfeld
Schmelting, Jürgen
Zeitschriftenaufsatz
2021Europäische Dateninfrastrukturen
Otto, Boris; Burmann, Anja
Zeitschriftenaufsatz
2021Multimodal Detection of Tonic-Clonic Seizures Based on 3D Acceleration and Heart Rate Data from an In-Ear Sensor
Henze, J.; Houta, S.; Surges, R.; Kreuzer, J.; Bisgin, P.
Konferenzbeitrag
2021On-demand Shared Digital Twins - An Information Architectural Model to Create Transparency in Collaborative Supply Networks
Cirullies, Jan; Schwede, Christian
Konferenzbeitrag
2021Optimisation model for multi-item multi-echelon supply chains with nested multi-level products
Quetschlich, M.; Moetz, A.; Otto, B.
Zeitschriftenaufsatz
2021Practical Application of Maturity Models in Healthcare: Findings from Multiple Digitalization Case Studies
Burmann, Anja; Meister, Sven
Konferenzbeitrag
2021The Role of Physicians in Digitalizing Healthcare Provision: A Web-based Survey Study
Burmann, Anja; Tischler, Max; Faßbach, Mira; Schneitler, Sophie; Meister, Sven
Zeitschriftenaufsatz
2021Self-Learning Multi-Objective Service Coordination Using Deep Reinforcement Learning
Schneider, S.; Khalili, R.; Manzoor, A.; Qarawlus, H.; Schellenberg, R.; Karl, H.; Hecker, A.
Zeitschriftenaufsatz
2021Wertschöpfung durch Software in Deutschland
Aichroth, Patrick; Bös, Joachim; Sladeczek, Christoph; Bodden, Eric; Liggesmeyer, Peter; Trapp, Mario; Falk Howar; Otto, Boris; Rehof, Jakob; Spiekermann, Markus; Arzt, Steven; Steffen, Barbara; Nouak, Alexander; Köhler, Henning
Bericht
2020Accumulating design knowledge with reference models: Insights from 12 years’ research into data management
Legner, C.; Pentek, T.; Otto, B.
Zeitschriftenaufsatz
2020Challenges in the emergence of data ecosystems
Gelhaar, J.; Otto, B.
Konferenzbeitrag
2020Challenges of data management in industry 4.0: A single case study of the material retrieval process
Amadori, A.; Altendeitering, M.; Otto, B.
Konferenzbeitrag
2020CNN-based Pain Detection through Facial Expressions
Tokple, Joel
: Weichert, Frank; Meister, Sven
Bachelor Thesis
2020A conceptual framework for a flexible data analytics network
Tebernum, D.; Chabrowski, D.
Konferenzbeitrag
2020Cost Fairness for Blockchain-Based Two-Party Exchange Protocols
Lohr, M.; Schlosser, B.; Jurjens, J.; Staab, S.
Konferenzbeitrag
2020Data governance in data ecosystems - Insights from organizations
Lis, D.; Otto, B.
Konferenzbeitrag
2020Data-driven business models in logistics: A taxonomy of optimization and visibility services
Möller, F.; Stachon, M.; Hoffmann, C.; Bauhaus, H.; Otto, B.
Konferenzbeitrag
2020Data-Flow programming for Smart Homes and other Smart Spaces
Altendeitering, Marcel; Schimmler, Sonja
Konferenzbeitrag
2020Design principles for route optimization business models: A grounded theory study of user feedback
Möller, F.; Guggenberger, T.M.; Otto, B.
Konferenzbeitrag
2020Designing digital games for people with cerebral palsy - a qualitative approach on fostering self-efficacy and therapy compliance
Hellwig, Andre; Buschmann, Katrin; Burmann, Anja
Konferenzbeitrag
2020Digital Twins in Simulative Applications: A Taxonomy
Valk, H. van der; Hunker, J.; Rabe, M.; Otto, B.
Konferenzbeitrag
2020Der digitale Reifegrad
König, Volker; Thölen, Frank; Burmann, Anja; Meister, Sven
Zeitschriftenaufsatz
2020Digitalisierung in der Mund-, Kiefer- und Gesichtschirurgie
Meister, Sven; Haßfeld, Stefan; Burmann, Anja
Zeitschriftenaufsatz
2020Forschungsbereiche der Datenökonomie
Azkan, C.; Goecke, H.; Spiekermann, M.
Zeitschriftenaufsatz
2020A framework for creating policy-agnostic programming languages
Bruckner, F.; Pampus, J.; Howar, F.
Konferenzbeitrag
2020Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2019
 
Jahresbericht
2020From crisis to bottleneck management: Integration of social media analysis for early response in the automotive supply chain event management
Tietze, Ann-Carina; Cirullies, Jan; Otto, Boris; Holtz, Andreas
Zeitschriftenaufsatz
2020Grey-Box Learning of Register Automata
Garhewal, B.; Vaandrager, F.; Howar, F.; Schrijvers, T.; Lenaerts, T.; Smits, R.
Konferenzbeitrag
2020Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation
Mues, M.; Gerard, S.; Howar, F.
Konferenzbeitrag
2020International Business Communication Standard®
Schmelting, Jürgen
Zeitschriftenaufsatz
2020Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Mues, M.; Schallau, T.; Howar, F.
Konferenzbeitrag
2020JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
Mues, M.; Howar, F.
Konferenzbeitrag
2020Let the Computer Say NO! The Neglected Potential of Policy Definition Languages for Data Sovereignty
Bartsch, Jan; Dehling, Tobias; Lauf, Florian; Meister, Sven; Sunyaev, Ali
Zeitschriftenaufsatz
2020Logistik
Ten Hompel, Michael; Prasse, Christian; Schmidt, Thorsten; Schmidt, Michael; Clausen, Uwe; Pöting, Moritz; Henke, Michael; Besenfelder, Christoph; Rehof, Jakob
Aufsatz in Buch
2020Mobile Health und digitale Biomarker: Daten als neues Blut für die P4-Medizin bei Parkinson und Epilepsie
Meister, Sven; Houta, Salima; Bisgin, Pinar
Aufsatz in Buch
2020Ontology Evolution in the Context of Model-Based Secure Software Engineering
Bürger, J.; Kehrer, T.; Jürjens, J.
Konferenzbeitrag
2020Der Patient im Mittelpunkt - Nutzen und Risiken von Gesundheits-Apps
Burmann, Anja
Aufsatz in Buch
2020Produktions-Controlling im Übergang zur Digitalisierung. Eine qualitativ-empirische Studie an der Dyade Fertigung und Controlling
Schmelting, Jürgen
Studie
2020REM Sleep Stage Detection of Parkinson’s Disease Patients with RBD
Bisgin, Pinar; Houta, Salima; Burmann, Anja; Lenfers, Tim
Konferenzbeitrag
2020Scalable detection of concept drift: A learning technique based on support vector machines
Altendeitering, M.; Dübler, S.
Zeitschriftenaufsatz
2020Selecting a secure cloud provider - an empirical study and multi criteria approach
Pape, S.; Paci, F.; Jürjens, J.; Massacci, F.
Zeitschriftenaufsatz
2020A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
Ramadan, Q.; Strüber, D.; Salnitri, M.; Jürjens, J.; Riediger, V.; Staab, S.
Zeitschriftenaufsatz
2020Shared Digital Twins: Data Sovereignty in Logistics Networks
Haße, Hendrik; Valk, Hendrik van der; Weißenberg, Norbert; Otto, Boris
Konferenzbeitrag
2020Shared Digital Twins: Kollaborativer Erkenntnisgewinn aus Daten
Schmelting, Jürgen; Otto, Boris
Zeitschriftenaufsatz
2020Status quo im Investitionscontrolling. Eine Inhaltsanalyse im Hinblick auf Heraus­forde­rungen durch die Elektromobilität
Silveira Pereira, Daniel; Schmelting, Jürgen
Konferenzbeitrag
2020A systematic literature review of ecosystems: An approach to introduce logistics ecosystems into academia
Lamberjohann, M.; Otto, B.
Konferenzbeitrag
2020A taxonomy for data-driven services in manufacturing industries
Azkan, C.; Iggena, L.; Möller, F.; Gür, I.; Otto, B.
Konferenzbeitrag
2020A taxonomy of digital twins
Valk, H. van der; Haße, H.; Möller, F.; Arbter, M.; Henning, J.-L.; Otto, B.
Konferenzbeitrag
2020Teaching a Project-Based Course at a Safe Distance: An Experience Report
Mues, M.; Howar, F.
Konferenzbeitrag
2020Towards a Method for Design Principle Development in Information Systems
Möller, F.; Guggenberger, T.M.; Otto, B.
Konferenzbeitrag
2020Towards a unifying understanding of digital business models
Guggenberger, T.M.; Boualouch, K.; Möller, F.; Otto, B.
Konferenzbeitrag
2020User-Centered Design and Evaluation of Standard-Based Health Technologies for Epilepsy Care
Houta, Salima; Meschede, Carolin; Beeres, Kassandra; Surges, Rainer; Klötgen, Marcel
Konferenzbeitrag
2020Using component-based software synthesis and constraint solving to generate sets of manufacturing simulation models
Kallat, F.; Mieth, C.; Rehof, J.; Meyer, A.
Zeitschriftenaufsatz
2019Das "Digitale Krankenhaus". Reifegradmessung zur Standortbestimmung
Meister, Sven
Zeitschriftenaufsatz
2019Abbildung eines Data Use & Access Prozesses zum Datenaustausch für die klinische Forschung auf Basis internationaler Standards in SMITH
Klötgen, Marcel; Weiergräber, Ann-Christin
Konferenzbeitrag
2019The Application of Artificial Intelligence Technologies as a Substitute for Reading and to Support and Enhance the Authoring of Scientific Review Articles
Buchkremer, R.; Demund, A.; Ebener, S.; Gampfer, F.; Jagering, D.; Jürgens, A.; Klenke, S.; Krimpmann, D.; Schmank, J.; Spiekermann, M.; Wahlers, M.; Wiepke, M.
Zeitschriftenaufsatz
2019An approach towards a native voice control system for the web
Tebernum, Daniel; Altendeitering, Marcel; Atamantschuk, Sergej
Konferenzbeitrag
2019Archetypes of digital business models in logistics start-ups
Möller, F.; Bauhaus, H.; Hoffmann, C.; Niess, C.; Otto, B.
Konferenzbeitrag
2019Chancen und Herausforderungen für die prototypische Entwicklung eines Neurogames mit Unity 3D zur Unterstützung der Psychotherapie von Kindern und Jugendlichen mit Hilfe eines EEGs
Simon, Corinna
: Schmidt, Holger; Meister, Sven
Master Thesis
2019Combining Black-Box and White-Box Techniques for Learning Register Automata
Howar, Falk; Jonsson, Bengt; Vaandrager, Frits
Aufsatz in Buch
2019Data Catalogs - Integrated Platforms for Matching Data Supply and Demand
Korte, Tobias; Fadler, Martin; Spiekermann, Markus; Legner, Christine; Otto, Boris
Buch
2019Data Ecosystems: Conceptual Foundations, Constituents and Recommendations for Action
Otto, Boris; Lis, Dominik; Jürjens, Jan; Cirullies, Jan; Opriel, Sebastian; Howar, Falk; Meister, Sven; Spiekermann, Markus; Pettenpohl, Heinrich; Möller, Frederik
Bericht
2019Data Marketplaces: Trends and Monetisation of Data Goods
Spiekermann, Markus
Zeitschriftenaufsatz
2019Data Sovereignty and Data Space Ecosystems
Jarke, Matthias; Otto, Boris; Ram, Sudha
Editorial
2019Designing a multi-sided data platform: Findings from the international data spaces case
Otto, Boris; Jarke, Matthias
Zeitschriftenaufsatz
2019Detektion von epileptischen Anfällen unter Verwendung von EKG und PPG Daten
Fiege, Eric
: Howar, Falk; Meister, Sven
Master Thesis
2019Digital Health Innovation Engineering: Enabling Digital Transformation in Healthcare
Meister, Sven; Deiters, Wolfgang; Burmann, Anja
Aufsatz in Buch
2019Digital Health Maturity Index
Burmann, Anja; Deiters, Wolfgang; Meister, Sven
Aufsatz in Buch
2019Digital Life Journey
Meister, Sven; Otto, Boris
Bericht
2019Digital life journey
Meister, Sven; Otto, Boris
Bericht
2019Digital twin for real-time data processing in logistics
Haße, Hendrik; Li, Bin; Weißenberg, Norbert; Cirullies, Jan; Otto, Boris
Konferenzbeitrag
2019Digitale Nephrologie
Becker, Stefan; Budde, K.; Tillmann, Frank-Peter; Koisar, Karoline; Wamprecht, Laura; Müschenich, Markus; Meister, Sven; Roller, Roland
Zeitschriftenaufsatz
2019An Efficient Soft Error Tolerant Approach to Enhance Reliability of TCAM
Afrin, R.; Sadi, M.S.; Jürjens, J.
Konferenzbeitrag
2019Einsatz von digitalen Biomarkern in der Praxis - Epilepsie-Anfallsdetektion und Parkinson-Früherkennung durch Smart-Data-Verfahren
Houta, Salima; Burmann, Anja; Braun, Bastian
Aufsatz in Buch
2019Einsatz von Gesundheits-Apps und Sensormonitoring zur automatisierten Anfallsdetektion und -dokumentation
Houta, Salima; Kreuzer, Johannes; Spiczak, Sarah von; Stephani, Ulrich; Surges, Rainer; Nass, Robert D.
Aufsatz in Buch
2019Engineering of Safe Autonomous Vehicles through Seamless Integration of System Development and System Operation
Mauritz, Malte
: Rausch, Andreas; Howar, Falk
Dissertation
2019Ensuring Genuineness for Selectively Discolsed Confidential Data using Distributed Ledgers
Lohr, M.; Hund, J.; Jürjens, J.; Staab, S.
Konferenzbeitrag
2019Erkennen von parkinsonassoziierten Mustern im Schlaf und Neurovegetativum
Bisgin, Pinar; Meister, Sven; Haubrich, Christina
Konferenzbeitrag
2019Explaining algorithmic decisions with respect to fairness
Ramadan, Q.; Ahmadian, S.; Jürjens, J.; Staab, S.; Strüber, D.
Konferenzbeitrag
2019A framework for semi-automated co-evolution of security knowledge and system models
Bürger, J.; Strüber, D.; Gärtner, S.; Jürjens, J.; Ruhroth, T.; Schneider, K.
Konferenzbeitrag
2019Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2018
 
Jahresbericht
2019Industrie 4.0 process transformation: Findings from a case study in automotive logistics
Hermann, Mario; Bücker, I.; Otto, B.
Zeitschriftenaufsatz
2019International Data Spaces. Reference architecture for the digitization of industries
Otto, Boris; Ten Hompel, Michael; Wrobel, Stefan
Aufsatz in Buch
2019Interview with Reinhold Achatz on "Data Sovereignty and Data Ecosystems"
Otto, B.
Zeitschriftenaufsatz
2019JConstraints: A Library for Working with Logic Expressions in Java
Howar, Falk; Jabbour, Fadi; Mues, Malte
Konferenzbeitrag
2019Konzeption und Entwicklung eines Augmented Reality Exergames zur Rehabilitation der oberen Extremitäten
Minor, Sascha
: Friedrich, Christoph; Meister, Sven
Bachelor Thesis
2019Konzeption und Implementierung einer NDEx Schnittstelle zur Visualisierung von Graphen in VR/AR
Schönborn, Robin
: Rehof, Jakob; Meister, Sven
Bachelor Thesis
2019Konzeption und Umsetzung einer Analyse- und Visualisierungskomponente von HL7 FHIR basierten Gesundheitsdaten am Beispiel des Projekts EPItect
Seddouki Daoudi, Abir
: Vollmer, Guy; Houta, Salima
Bachelor Thesis
2019Machine Learning Methods for Detection of Epileptic Seizures with Long-Term Wearable Devices
Houta, Salima; Bisgin, Pinar; Dulich, Pascal
Konferenzbeitrag
2019Das neue Gesundheits-Ich - souverän, selbstbestimmt und digital unterstützt?
Meister, Sven
Zeitschriftenaufsatz
2019Ökosysteme für Daten und Künstliche Intelligenz. Positionspapier
Lis, Dominik; Tagalidou, Nektaria; Lingelbach, Katharina; Spiekermann, Markus
Bericht
2019Principality and approximation under dimensional bound
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2019Privacy-enhanced system design modeling based on privacy features
Ahmadian, A.S.; Strüber, D.; Jürjens, J.
Konferenzbeitrag
2019Reference Architecture framework for enhanced social media data analytics for Predictive Maintenance models
Grambau, J.; Hitzges, A.; Otto, B.
Konferenzbeitrag
2019Reference Architecture Model. Version 3.0
Otto, Boris; Steinbuss, Sebastian; Teuscher, Andreas; Lohmann, Steffen; Bader, Sebastian; Birnstil, P.; Böhmer, M.; Brost, G.; Cirullies, J.; Eitel, A.; Ernst, T.; Geisler, S.; Gelhaar, J.; Gude, R.; Haas, C.; Huber, M.; Jung, C.; Jürjens, J.; Lange, C.; Lis, D.; Mader, C.; Menz, N.; Nagel, R.; Patzer, F.; Pettenpohl, H.; Pullmann, J.; Quix, C.; Schulz, D.; Schütte, J. et al.
Bericht
2019RERS 2019: Combining Synthesis with Real-World Models
Jasper, Marc; Mues, Malte; Murtovi, Alnis; Schlüter, Maximilian; Howar, Falk; Steffen, Bernhard; Schordan, Markus; Hendriks, Dennis; Schiffelers, Ramon; Kuppens, Harco; Vaandrager, Frits
Konferenzbeitrag
2019Schedule instability in automotive production networks: The Development of a network-oriented resequencing method
Moetz, A.; Stylos-Duesmann, P.; Otto, B.
Zeitschriftenaufsatz
2019Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings
Peldszus, S.; Tuma, K.; Strüber, D.; Jürjens, J.; Scandariato, R.
Konferenzbeitrag
2019Semi-Automatic Ontology-Driven Development Documentation. Generating Documents from RDF Data and DITA Templates
Pikus, Yevgen; Weißenberg, Norbert; Holtkamp, Bernhard; Otto, Boris
Konferenzbeitrag
2019Simulation als Voraussetzung zur dezentral gesteuerten Materialbereitstellung in cyber-physischen Produktionssystemen
Skubowius, Emanuel; Bayhan, Haci; Schwede, Christian; Ten Hompel, Michael
Konferenzbeitrag
2019Stillprobleme und mögliche Gründe für ein vorzeitiges Abstillen während der ersten zwei Monate nach der Geburt - die SuSe II Studie
Zahn, Johanna; Burak, Constanze; Thinnes, Merlin; Rudolf, Henrik; Burmann, Anja; Meister, Sven; Lücke, Thomas; Kersting, Mathilde
Konferenzbeitrag
2019Stillvoraussetzungen in der Geburtsklinik und Stillpraxis der Mütter nach der Entlassung - Ergebnisse der SuSe II Studie 2018/19
Burak, Constanze; Thinnes, Merlin; Zahn, Johanna; Rudolf, Henrik; Burmann, Anja; Meister, Sven; Lücke, Thomas; Kersting, Mathilde
Konferenzbeitrag
2019Telemedizin mit Blick auf die Heimdialyseverfahren
Jahn, Michael; Kopecky, Jens; Meister, Sven; Mülling, Nils; Kribben, Andreas; Becker, Stefan
Zeitschriftenaufsatz
2019Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics
Wenzel, Sigrid; Rehof, Jakob; Stolipin, Jana; Winkels, Jan
Konferenzbeitrag
2019Umsetzung der Richtlinien zur unmittelbaren postpartalen Stillförderung in deutschen Geburtskliniken - Ergebnisse einer Querschnittserhebung im Rahmen der Studie Stillen und Säuglingsernährung im 1. Lebensjahr in Deutschland SuSe II (2018/19)
Thinnes, Merlin; Burak, Constanze; Zahn, Johanna; Rudolf, Henrik; Burmann, Anja; Meister, Sven; Lücke, Thomas; Kersting, Mathilde
Konferenzbeitrag
2019Uncovering Research Streams in the Data Economy Using Text Mining Algorithms
Azkan, Can; Spiekermann, Markus; Goecke, Henry
Zeitschriftenaufsatz
2019Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2019Use of HL7 FHIR to structure data in epilepsy self-management applications
Houta, Salima; Ameler, Tim; Surges, Rainer
Konferenzbeitrag
2019Versorgungsforschung in der Psychotherapie - Potentiale von Neurogaming in der Therapiebegleitung von Kindern und Jugendlichen
Hellwig, Andre; Simon, Corinna; Meister, Sven
Konferenzbeitrag
2018Active automata learning in practice: An annotated bibliography of the years 2011 to 2016
Howar, Falk; Steffen, Bernhard
Aufsatz in Buch
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
Konferenzbeitrag
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
Konferenzbeitrag
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 (Editor); Schulte, Axel T. (Editor)
Bericht
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
Konferenzbeitrag
2018A conceptual model of benchmarking data and its implications for data mapping in the data economy
Spiekermann, Markus; Wenzel, Sven; Otto, Boris
Konferenzbeitrag
2018Conceptualizing the knowledge to manage and utilize data assets in the context of digitization
Böhmer, Martin; Dabrowski, Agatha; Otto, Boris
Bericht
2018Data security and consumer trust in FinTech innovation in Germany
Stewart, Harrison; Jürjens, Jan
Zeitschriftenaufsatz
2018Detecting conflicts between data-minimization and security requirements in business process models
Ramadan, Qusai; Strüber, Daniel; Salnitri, Mattia; Riediger, Volker; Jürjens, Jan
Konferenzbeitrag
2018Digital business engineering: Findings from the install4schenker case
Möller, F.; Opriel, S.; Hermann, M.; Otto, B.
Konferenzbeitrag
2018Digital Transformation Trends: Industry 4.0, Automation, and AI
Hessenkämper, Axel; Howar, Falk; Rausch, Andreas
Konferenzbeitrag
2018Digitale Gesundheit: Wie digitale Medien zur Unterstützung unserer Gesundheit eingesetzt werden
Meister, Sven; Deiters, Wolfgang; Hellwig, Andre; Pantförder, Michael
Zeitschriftenaufsatz
2018Digitalisierungsstrategien für das Krankenhaus der Zukunft
Deiters, Wolfgang; Burmann, Anja; Meister, Sven
Zeitschriftenaufsatz
2018Einfache Handhabung und Bezug zum Alltagsleben - Digitalisierung in der Medizin zielführend umsetzen
Meister, Sven
Zeitschriftenaufsatz
2018Einsatz 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
2018Extending automata learning to extended finite state machines
Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Konferenzbeitrag
2018Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements
Ahmadian, Amir Shayan; Jürjens, Jan; Strüber, Daniel
Konferenzbeitrag
2018Fit für die Digitalisierung - Chatbots sichern Anwendern den Zugriff auf die Cyber-Ebene
Cirullies, Jan; Pikus, Yevgen
Konferenzbeitrag
2018Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018
: Howar, Falk; Barnat, Jiri
Tagungsband
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
Zeitschriftenaufsatz
2018Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2017
 
Jahresbericht
2018Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Howar, Falk; Giannakopoulou, Dimitra; Mues, Malte; Navas, Jorge
Konferenzbeitrag
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;
Bericht
2018Innovation durch Kooperation in Supply Chains. Geschäftsökosysteme und die Rolle der Daten
Otto, Boris; Cirullies, Jan; Schwede, Christian
Konferenzbeitrag
2018Die Klinik 4.0 im Einkaufswagen - Digitalisierung als Produkt?
Meister, Sven
Zeitschriftenaufsatz
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.
Aufsatz in Buch
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
Zeitschriftenaufsatz
2018A lightweight industrial data space sensor connector
Holtkamp, Bernhard; Cirullies, Jan; Dahlmanns, Tim; Steinbuß, Sebastian
Bericht
2018A metadata model for data goods
Spiekermann, Markus; Tebernum, Daniel; Wenzel, Sven; Otto, Boris
Konferenzbeitrag
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
Konferenzbeitrag
2018Mixin composition synthesis based on intersection types
Bessai, J.; Chen, T.-C.; Dudenhefner, A.; Düdder, B.; De'liguoro, U.; Rehof, J.
Zeitschriftenaufsatz
2018Model-based discrimination analysis
Ramadan, Q.; Ahmadian, A.S.; Strüber, D.; Jürjens, J.; Staab, S.
Konferenzbeitrag
2018Model-based security analysis of feature-oriented software product lines
Peldszus, S.; Strüber, D.; Jürjens, J.
Konferenzbeitrag
2018A multi-frequency acquisition algorithm for a GNSS software receiver
Cui, Shaolong; Wang, Dacheng; Holtkamp, Bernhard; Yao, Xiaojing; Fang, Jinyun
Konferenzbeitrag
2018Planning [Pl]
Cirullies, Jan; Pikus, Yevgen; Schnakenburg, Igor; Plumbaum, Till
Aufsatz in Buch
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
Konferenzbeitrag
2018Eine Programmiersprache zur souveränen Datenverarbeitung
Bruckner, Fabian; Nagel, Ralf; Krüger, D.; Wenzel, Sven; Otto, Boris
Konferenzbeitrag
2018RERS 2018: CTL, LTL, and reachability
Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk
Konferenzbeitrag
2018Risikobewertungen in Datennetzwerken
Tebernum, Daniel; Spiekermann, Markus; Wenzel, Sven; Otto, Boris
Konferenzbeitrag
2018Schedule Instability in Production Networks
Moetz, A.; Meinlschmidt, J.; Otto, B.
Zeitschriftenaufsatz
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
Konferenzbeitrag
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
Zeitschriftenaufsatz
2018A Simpler Undecidability Proof for System F Inhabitation
Dudenhefner, A.; Rehof, Jakob
Konferenzbeitrag
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
Zeitschriftenaufsatz
2018Sprachassistenten in der ambulanten Pflege
Hellwig, Andre; Meister, Sven; Deiters, Wolfgang; Schneider, Caroline
Konferenzbeitrag
2018Sprachassistenten in der Pflege - Potentiale und Voraussetzungen zur Unterstützung von Senioren
Hellwig, Andre; Schneider, Caroline; Meister, Sven; Deiters, Wolfgang
Konferenzbeitrag
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
Konferenzbeitrag
2018Study of integrating random and symbolic testing for object-oriented software
Dimjasevic, Marko; Howar, Falk; Luckow, Kapser; Rakamaric, Zvonimir
Konferenzbeitrag
2018Supporting privacy impact assessment by model-based privacy analysis
Ahmadian, Amir Shayan; Strüber, Daniel; Riediger, Volker; Jürjens, Jan
Konferenzbeitrag
2018System evolution through semi-automatic elicitation of security requirements
Vargas, C.; Bürger, J.; Viertel, F.; Vogel-Heuser, B.; Jürjens, J.
Zeitschriftenaufsatz
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.
Zeitschriftenaufsatz
2018Taming multi-variability of software product line transformations
Strüber, Daniel; Peldzsus, Sven; Jürjens, Jan
Konferenzbeitrag
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
Aufsatz in Buch
2018Telemedizin in der Nephrologie
Jahn, Michael; Kopecky, Jens; Meister, Sven; Kribben, Andreas; Koisar, Karoline; Becker, Stefan
Zeitschriftenaufsatz
2018Towards utilizing customer data for business model innovation: The case of a german manufacturer
Michalik, Alexander; Möller, Frederik; Henke, Michael; Otto, Boris
Zeitschriftenaufsatz
2018Übersicht und notwendige Weichenstellung im Bereich Medizin- und Informationstechnik
Burmann, Anja
Konferenzbeitrag
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
Zeitschriftenaufsatz
2017The Algebraic Intersection Type Unification Problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Zeitschriftenaufsatz
2017Automotive supply-chain requirements for a time-critical knowledge management
Tietze, Ann-Carina; Cirullies, Jan; Otto, Boris
Konferenzbeitrag
2017Bedeutung von Daten im Zeitalter der Digitalisierung
Möller, Frederik; Spiekermann, Markus; Burmann, Anja; Pettenpohl, Heinrich; Wenzel, Sven
Bericht
2017Blockchain und 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 (Editor); Schulte, Axel T. (Editor)
Bericht
2017The Complexity of Principal Inhabitation
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Dialyse 2.0 - Möglichkeiten und Herausforderungen der digitalen Vernetzung
Jahn, Michael; Kribben, Andreas; Statti, Armando; Meister, Sven; Kopecky, Jens; Becker, Stefan
Zeitschriftenaufsatz
2017Digital Health Business Engineering. Digitale Wege im Krankenhaus 4.0
Meister, Sven; Hintze, Marcus; Wibbeling, Sebastian
Aufsatz in Buch
2017Digital Health, Mobile Health und Co. - Wertschöpfung durch Digitalisierung und Datenverarbeitung
Meister, Sven; Becker, Stefan; Leppert, Florian; Drop, Linus
Aufsatz in Buch
2017Digitale Souveränität in der vernetzten Supply Chain mit dem Industrial Data Space
Cirullies, Jan; Schwede, Christian
Zeitschriftenaufsatz
2017Digitalisierung ist kein Selbstzweck
Meister, Sven
Zeitschriftenaufsatz
2017Digitisation in Logistics
Heistermann, Frauke; Mallée, Torsten; Ten Hompel, Michael
: Bäumann, Lars; Otto, Boris; Wiemer, Frank; Blackburn, Robert; Söllner, Johannes; Wimmer, Thomas
Buch
2017From secure business process modeling to design-level security verification
Ramadan, Q.; Salnitriy, M.; Strüber, D.; Jürjens, J.; Giorgini, P.
Konferenzbeitrag
2017HANDELkompetent - Situation Aware Learning in Retail
Steinbuß, S.; Holtkamp, B.; Opriel, S.
Zeitschriftenaufsatz
2017Implementierung einer Android-basierten Gesundheits-App zur Anzeige und Auswertung von Vitalparametern unter Anwendung eines In-Ohr Sensors
Boyraz, Ayse
: Vollmer, Guy; Houta, Salima
Bachelor Thesis
2017Information security management and the human aspect in organizations
Stewart, H.; Jürjens, J.
Zeitschriftenaufsatz
2017Intelligente Orchestrierung von Planungsprozessen
Graefenstein, Julian; Scholz, David; Henke, Michael; Winkels, Jan; Rehof, Jakob
Zeitschriftenaufsatz
2017Intersection type calculi of bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Intuitive Mensch-Maschine-Schnittstellen
Cirullies, Jan; Pikus, Yevgen
Zeitschriftenaufsatz
2017Krankenhaus 4.0 - Bedeutung, Chancen und Risiken des digitalen Krankenhauses
Burmann, Anja
Konferenzbeitrag
2017Das Krankenhaus der Zukunft
Bredehorn, Thomas; Deiters, Wolfgang; Dragon, Dominika; Hintze, Marcus; Kaffka-Cevani, Vanessa; Meister, Sven; Moll, Beate; Raida, Andrea
: Wibbeling, Sebastian (Hrsg.); Hintze, Marcus (Hrsg.); Deiters, Wolfgang (Hrsg.)
Buch
2017Lower end of the linial-post spectrum
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Model-based privacy analysis in industrial ecosystems
Ahmadian, A.S.; Strüber, D.; Riediger, V.; Jürjens, J.
Konferenzbeitrag
2017Model-based privacy and security analysis with CARiSMA
Ahmadian, A.S.; Peldszus, S.; Ramadan, Q.; Jürjens, J.
Konferenzbeitrag
2017Nutzungsbasierte Datenbewertung
Möller, Klaus; Otto, Boris; Zechmann, Andreas
Zeitschriftenaufsatz
2017Privacy data management and awareness for public administrations: A case study from the healthcare domain
Diamantopoulou, V.; Angelopoulos, K.; Flake, J.; Praitano, A.; Ruiz, J.F.; Jürjens, J.; Pavlidis, M.; Bonutto, D.; Sanz, A.C.; Mouratidis, H.; Robles, J.G.; Tozzi, A.E.
Konferenzbeitrag
2017Rank 3 Inhabitation of Intersection Types Revisited
Dudenhefner, A.; Rehof, J.
Preprint
2017Reference Architecture Model for the Industrial Data Space
Otto, Boris; Lohmann, Steffen; Auer, Sören; Brost, Gerd; Cirullies, Jan; Eitel, Andreas; Ernst, Thilo; Haas, Christian; Huber, Manuel; Jung, Christian; Jürjens, Jan; Lange, Christoph; Mader, Christian; Menz, Nadja; Nagel, Ralf; Pettenpohl, Heinrich; Pullmann, Jaroslav; Quix, Christoph; Schon, Jochen; Schulz, Daniel; Schütte, Julian; Spiekermann, Markus; Wenzel, Sven
Bericht
2017Sicherheitszertifizierung für die Digitale Transformation. Anwendung auf den Industrial Data Space
Peldszus, Sven; Cirullies, Jan; Jürjens, Jan
Vortrag
2017Soft error tolerance using HVDQ (Horizontal-Vertical-Diagonal-Queen parity method)
Ahammed, S.; Sadi, M.S.; Rahman, M.S.; Jürjens, J.
Zeitschriftenaufsatz
2017Telemedizin - quo vadis?
Jahn, Michael; Kopecki, Jens; Statti, Armando; Meister, Sven; Kribben, Andreas; Becker, Stefan
Zeitschriftenaufsatz
2017Telemedizin in der Behandlung der chronischen Nierenerkrankung
Jahn, Michael; Kribben, Andreas; Meister, Sven; Becker, Stefan
Zeitschriftenaufsatz
2017Typability in bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Vorrichtung und Verfahren zur Anwesenheitserkennung in Gebäuden
Holtkamp, Bernhard; Steinbuß, Sebastian; Weißenberg, Norbert; Rudolph, Stephan
Patent
2016Classifying flexibility types in smart electric distribution grids: A taxonomy
Bärenfänger, R.; Drayer, E.; Daniluk, D.; Otto, B.; Vanet, E.; Caire, R.; Abbas, T.S.; Lisanti, B.
Konferenzbeitrag
2016Combinatory Process Synthesis
Bessai, J.; Dudenhefner, A.; Düdder, B.; Martens, M.; Rehof, J.
Konferenzbeitrag
2016Combinatory synthesis of classes using feature grammars
Bessai, J.; Düdder, B.; Heineman, G.T.; Rehof, J.
Konferenzbeitrag
2016Datenqualitätsmanagement für den Industriebetrieb
Otto, Boris; Legner, Christine
Zeitschriftenaufsatz
2016Design principles for industrie 4.0 scenarios
Hermann, M.; Pentek, T.; Otto, B.
Konferenzbeitrag
2016Digital health and digital biomarkers - enabling value chains on health data
Meister, Sven; Deiters, Wolfgang; Becker, Stefan
Zeitschriftenaufsatz
2016Digitale Gesundheit: Unterstützung der Adipositastherapie durch digitale Technologien
Meister, Sven; Becker, Stefan; Simson, Udo
Zeitschriftenaufsatz
2016Evaluation und Konzeption einer regelbasierten Alarmierung von Patienten auf Basis der Android Plattform im Rahmen des Projektes EPItect
Reinbold, Maximilian
: Sachweh, Sabine; Houta, Salima
Bachelor Thesis
2016Industrial Data Space. Digital Souvereignity Over Data
Otto, Boris; Jürjens, Jan; Schon, Jochen; Auer, Sören; Menz, Nadja; Wenzel, Sven; Cirullies, Jan
: Cirullies, Jan (Redaktion)
Bericht
2016Industrial Data Space. Digitale Souveränität über Daten
Otto, Boris; Jürjens, Jan; Schon, Jochen; Auer, Sören; Menz, Nadja; Wenzel, Sven; Cirullies, Jan
: Cirullies, Jan (Redaktion)
Bericht
2016The intersection type unification problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Konferenzbeitrag
2016Laser scanner detection and localization of successively arranged mobile robots
Halmheu, R.; Otto, B.; Pauleser, T.
Konferenzbeitrag
2016Linking service- and capability-driven design - Towards a framework for designing digital business
Bärenfänger, Rieke; Leveling, Jens; Otto, Boris
Konferenzbeitrag
2016A Long and Winding Road Towards Modular Synthesis
Heineman, G.T.; Bessai, J.; Düdder, B.; Rehof, J.
Konferenzbeitrag
2016Master Data erfolgreich managen
Otto, Boris; Legner, Christine
Zeitschriftenaufsatz
2016mHealth - neue Ansätze zur Verbesserung der Arzneitherapiesicherheit und Therapieadhärenz
Becker, Stefan; Meister, Sven
Zeitschriftenaufsatz
2016A mobile application improves therapy-adherence rates in elderly patients undergoing rehabilitation: A crossover design study comparing documentation via iPad with paper-based control
Mertens, Alexander; Brandl, Christopher; Miron-Shatz, Talya; Schlick, Christopher; Neumann, Till; Kribben, Andreas; Meister, Sven; Diamantidis, Clarissa Jonas; Albrecht, Urs-Vito; Horn, Peter; Becker, Stefan
Zeitschriftenaufsatz
2016Modal Intersection Types, Two-Level Languages, and Staged Synthesis
Henglein, F.; Rehof, J.
Konferenzbeitrag
2016Model-based security verification for evolving systems
Jürjens, J.; Wenzel, S.; Poggenpohl, D.; Ochoa, M.
Konferenzbeitrag
2016ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction
Düdder, B.; Heineman, G.T.; Rehof, J.
Konferenzbeitrag
2016On event detection from spatial time series for urban traffic applications
Souto, G.; Liebig, T.
Aufsatz in Buch
2016Orientierung für Hersteller von Gesundheits-Apps
Brönner, Matthias; Meister, Sven; Breil, Bernhard; Albrecht, Urs-Vito
Aufsatz in Buch
2016Programming in the Sleptsov net language for systems control
Zaitsev, D.; Jürjens, J.
Zeitschriftenaufsatz
2016An SLA-based performance monitoring mechanism for 3PL business process
Qi, Fangzhong; Zhou, Gengui; Holtkamp, Bernhard
Zeitschriftenaufsatz
2016STAGE: A software tool for automatic grading of testing exercises
Pape, S.; Flake, J.; Beckmann, A.; Jürjens, J.
Konferenzbeitrag
2016Supporting model-based privacy analysis by exploiting privacy level agreements
Ahmadian, A.S.; Jürjens, J.
Konferenzbeitrag
2016Supporting the security certification and privacy level agreements in the context of clouds
Ahmadian, A.S.; Coerschulte, F.; Jürjens, J.
Konferenzbeitrag
2016Towards a methodology for Industrie 4.0 transformation
Bücker, I.; Hermann, M.; Pentek, T.; Otto, B.
Konferenzbeitrag
2016UMLchange - specifying model changes with to support security verification of potential evolution
Wenzel, S.; Poggenpohl, D.; Warzecha, D.; Jürjens, J.; Ochoa, M.
Konferenzbeitrag