Thomas Kuhn

Comput. Ind., August, 2023

Towards the Concept of Trust Assurance Case.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

2022

Continuous engineering for Industry 4.0 architectures and systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2022

A Quality 4.0 Model for architecting industry 4.0 systems.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2022

Predictive Simulation within the Process of Building Trust.

[BibT_eX]

[DOI]

Barbora Buhnova

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Architecture Blueprints for the Application of the Industry 4.0 Asset Administration Shell.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Architecture Blueprints to Enable Scalable Vertical Integration of Assets with Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

A Digital Twin-based Approach Performing Integrated Process Planning and Scheduling for Service-based Production<sup>*</sup>.

[BibT_eX]

[DOI]

Zai Müller-Zhang

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Continuous Systems and Software Engineering for Industry 4.0: A disruptive view.

[BibT_eX]

[DOI]

Elisa Yumi Nakagawa

Peter Liggesmeyer

Inf. Softw. Technol., 2021

Industry 4.0 reference architectures: State of the art and future trends.

[BibT_eX]

[DOI]

Elisa Yumi Nakagawa

Comput. Ind. Eng., 2021

SEC-Learn: Sensor Edge Cloud for Federated Learning - Invited Paper.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

Bridging Trust in Runtime Open Evaluation Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Enabling SMEs to Industry 4.0 Using the BaSyx Middleware: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 15th European Conference, 2021

Architecture Blueprint Enabling Distributed Digital Twins.

[BibT_eX]

[DOI]

Daniel Espen

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

Supporting the Creation of Digital Twins for CESs.

[BibT_eX]

[DOI]

Dimitar Dimitrov

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

Creating Trust in Collaborative Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software, 2020

FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing, 2020

Service-Based Architectures in Production Systems: Challenges, Solutions & Experiences.

[BibT_eX]

[DOI]

Proceedings of the 2020 ITU Kaleidoscope: Industry-Driven Digital Transformation, 2020

Building trust in the untrustable.

[BibT_eX]

[DOI]

Proceedings of the ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June, 2020

Reference Architecture for Trust-Based Digital Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

Towards the Factory of the Future with Digital Twins and SOA : Towards the Factory of the Future with Digital Twins and SOA.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Software Architecture Companion, 2020

Dynamic Process Planning using Digital Twins and Reinforcement Learning.

[BibT_eX]

[DOI]

Zai Müller-Zhang

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Enabling Industry 4.0 Service-Oriented Architecture Through Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Industrie 4.0 Virtual Automation Bus Architecture.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

A Simulator Coupling Architecture for the Creation of Digital Twins.

[BibT_eX]

[DOI]

Adam Bachorek

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

A Service-Based Production Ecosystem Architecture for Industrie 4.0.

[BibT_eX]

[DOI]

Siwara Sadikow

Künstliche Intell., 2019

Simulation methods and tools for collaborative embedded systems: with focus on the automotive smart ecosystems.

[BibT_eX]

[DOI]

Florian Pudlitz

Ilias Gerostathopoulos

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Towards virtual validation of distributed functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 Summer Simulation Conference, 2019

A constraint modeling framework for domain-specific languages.

[BibT_eX]

[DOI]

Patrick Pschorn

Andreas Morgenstern

Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems.

[BibT_eX]

[DOI]

Felicita Di Giandomenico

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

(Do not) trust in ecosystems.

[BibT_eX]

[DOI]

Barbora Buhnova

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Towards architecting digital twin-pervaded systems.

[BibT_eX]

[DOI]

Thomas Bauer

Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

Towards a Virtual Continuous Integration Platform for Advanced Driving Assistance Systems.

[BibT_eX]

[DOI]

Adam Bachorek

Felix Schulte-Langforth

Alexander Witton

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Rapid Identification of Shared Memory in Multithreaded Embedded Systems with Static Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 48th International Conference on Parallel Processing, 2019

Detection of conflicts and inconsistencies between architecture solutions.

[BibT_eX]

[DOI]

Benno Kallweit

Jasmin Jahic

Peter Liggesmeyer

Proceedings of the 13th European Conference on Software Architecture, 2019

Towards creation of a reference architecture for trust-based digital ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 13th European Conference on Software Architecture, 2019

Blueprints for architecture drivers and architecture solutions for Industry 4.0 shopfloor applications.

[BibT_eX]

[DOI]

Zai Zhang

Proceedings of the 13th European Conference on Software Architecture, 2019

Speculative Temporal Decoupling Using fork().

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

BOSMI: a framework for non-intrusive monitoring and testing of embedded multithreaded software on the logical level.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Industrie 4.0 virtual automation bus.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Bridging the Gap between Architecture Specifications and Simulation Models.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 2018

Prototyping Automotive Smart Ecosystems.

[BibT_eX]

[DOI]

Thomas Bauer

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017

Digitaler Zwilling.

[BibT_eX]

[DOI]

Inform. Spektrum, 2017

Supervised testing of concurrent software in embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Embedded Computer Systems: Architectures, 2017

Observation Based Creation of Minimal Test Suites for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Accelerated Simulated Fault Injection Testing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Modeling embedded systems using a tailored view framework and architecture modeling constraints.

[BibT_eX]

[DOI]

Andreas Morgenstern

Patrick Pschorn

Benno Kallweit

Proceedings of the 11th European Conference on Software Architecture, 2017

2016

Embedded-Software Architects: It's Not Only about the Software.

[BibT_eX]

[DOI]

Andreas Morgenstern

IEEE Softw., 2016

Technology Transfer Concepts.

[BibT_eX]

[DOI]

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

Optimal Deployment.

[BibT_eX]

[DOI]

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Virtual Validation of Cyber Physical Systems.

[BibT_eX]

[DOI]

Patrik Feth

Thomas Bauer

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Analysis of Functional Software Dependencies through Supervised Execution.

[BibT_eX]

[DOI]

Jasmin Jahic

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Frühzeitiges Absichern von Entwurfsentscheidungen durch Virtuelle Deployments.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013

FERAL - Framework for simulator coupling on requirements and architecture level.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2011

Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks.

[BibT_eX]

[DOI]

Comput. Networks, 2011

A pattern-based approach to DSL development.

[BibT_eX]

[DOI]

Christian Schäfer

Mario Trapp

Proceedings of the SPLASH'11 Workshops, 2011

2010

Extensible and Automated Model-Evaluations with INProVE.

[BibT_eX]

[DOI]

Sören Kemmann

Mario Trapp

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Domain-specific modeling as an enabling technology for small and medium-sized enterprises.

[BibT_eX]

[DOI]

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Integration of Component Fault Trees into the UML.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

2009

Model Driven Development of MacZ - A QoS Medium Access Control Layer for Ambient Intelligence Systems.

[BibT_eX]

[DOI]

PhD thesis, 2009

Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks.

[BibT_eX]

[DOI]

Dennis Christmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

Model-driven Performance Simulation of Self-organizing Systems with PartsSim.

[BibT_eX]

[DOI]

Philipp Becker

Prax. Inf.verarb. Kommun., 2008

Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, 2008

Model-Driven Platform-Specific Testing through Configurable Simulations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

2007

Specifying Input Port Bounds in SDL.

[BibT_eX]

[DOI]

Rüdiger Grammes

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

An experimental evaluation of black burst transmissions.

[BibT_eX]

[DOI]

José Irigon de Irigon

Proceedings of the Fifth ACM International Workshop on Mobility Management & Wireless Access, 2007

MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks.

[BibT_eX]

[DOI]

Philipp Becker

Proceedings of the 7th International Conference on Hybrid Intelligent Systems, 2007

2006

A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models.

[BibT_eX]

[DOI]

Philipp Becker

Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Model-Driven Development with SDL - Process, Tools, and Experiences.

[BibT_eX]

[DOI]