Modeling and Validation of Executable Requirements Using Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (SERA, 2008)

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (TASE, 2008)

Modellierung und Validierung von ausführbaren Anforderungsspezifikationen mit erweiterten UML Aktivitätsdiagrammen. - Christoph Knieke (2011)

Mastering Erosion of Software Architecture in Automotive Software Product Lines. - Arthur Strasser; Benjamin Cool; Christoph Gernert; Christoph Knieke; Marco Körner 002; Dirk Niebuhr; Henrik Peters; Andreas Rausch 001; Oliver Brox; Stefanie Jauns-Seyfried; Hanno Jelden; Stefan Klie; et al. (SOFSEM, 2014)

A Test-Driven Approach for Model-Based Development of Powertrain Functions. - Henrik Peters; Christoph Knieke; Oliver Brox; Stefanie Jauns-Seyfried; Michael Krämer; Andreas Schulze (XP, 2014)

Semantic Foundation and Validation of Live Activity Diagrams. - Christoph Knieke; Michaela Huhn (Nord. J. Comput., 2015)

From product architectures to a managed automotive software product line architecture. - Benjamin Cool; Christoph Knieke; Andreas Rausch 001; Mirco Schindler; Arthur Strasser; Martin Vogel; Oliver Brox; Stefanie Jauns-Seyfried (SAC, 2016)

Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. - Rüdiger Ehlers; Jörg Grieser; Christoph Knieke; Andreas Rausch 001; Mirco Schindler (SE/SWM, 2019)

Managed Evolution of Automotive Software Product Line Architectures. - Christoph Knieke (Verlag Dr. Hut, 2019)

Tackling Software Architecture Erosion: Joint Architecture and Implementation Repairing by a Knowledge-based Approach. - Christoph Knieke; Andreas Rausch 001; Mirco Schindler (APR@ICSE, 2021)

Toward Formalizing The Emergent Behavior in Software Engineering. - Mohamed Toufik Ailane; Mohammad Abboush; Christoph Knieke; Abram Lawendy; Andreas Rausch 001 (SESoS/WDES, 2021)

Towards Specification Completion for Systems with Emergent Behavior based on DevOps. - Mohamed Toufik Ailane; Adina Aniculaesei; Christoph Knieke; Andreas Rausch 001; Fauzi Sholichin (CSCI, 2022)

How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ? - Mohamed Toufik Ailane; Christoph Knieke; Andreas Rausch 001 (CoRR, 2022)

Software Engineering meets Artificial Intelligence. - Holger Klus; Christoph Knieke; Andreas Rausch 001; Stefan H. A. Wittek (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022)

Hardware-in-the-Loop-Based Real-Time Fault Injection Framework for Dynamic Behavior Analysis of Automotive Software Systems. - Mohammad Abboush; Daniel Bamal; Christoph Knieke; Andreas Rausch 001 (Sensors, 2022)

Intelligent Fault Detection and Classification Based on Hybrid Deep Learning Methods for Hardware-in-the-Loop Test of Automotive Software Systems. - Mohammad Abboush; Daniel Bamal; Christoph Knieke; Andreas Rausch 001 (Sensors, 2022)

Intelligent Identification of Simultaneous Faults of Automotive Software Systems Under Noisy and Imbalanced Data Using Ensemble LSTM and Random Forest. - Mohammad Abboush; Christoph Knieke; Andreas Rausch 001 (IEEE Access, 2023)

Emergent Software Service Platform and its Application in a Smart Mobility Setting. - Nils Wilken; Christoph Knieke; Eric Nyakam; Andreas Rausch 001; Christian Schindler; Christian Bartelt; Nikolaus Ziebura (CoRR, 2023)

GRU-Based Denoising Autoencoder for Detection and Clustering of Unknown Single and Concurrent Faults during System Integration Testing of Automotive Software Systems. - Mohammad Abboush; Christoph Knieke; Andreas Rausch 001 (Sensors, 2023)

Representative Dataset Generation Framework for AI-based Failure Analysis during real-time Validation of Automotive Software Systems. - Mohammad Abboush; Christoph Knieke; Andreas Rausch 001 (HICSS, 2024)

Software Process as a Service: Towards A Software Process Ecosystem. - Oliver Greulich; Christoph Knieke; Bassel Rafie; Andreas Rausch 001; Marco Kuhrmann (ICSSP, 2024)

Automating Fault Test Cases Generation and Execution for Automotive Safety Validation via NLP and HIL Simulation. - Ayman Amyan; Mohammad Abboush; Christoph Knieke; Andreas Rausch 001 (Sensors, 2024)

A Virtual Testing Framework for Real-Time Validation of Automotive Software Systems Based on Hardware in the Loop and Fault Injection. - Mohammad Abboush; Christoph Knieke; Andreas Rausch 001 (Sensors, 2024)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference. - Steffen Herbold; Christoph Knieke; Andreas Rausch 001; Christian Schindler (NSE@ICSE, 2025)