Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl (APSEC, 2016)

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. - Christoph Luckeneder; Michael Rathmair; Hermann Kaindl (HICSS, 2017)

Automated Unit Testing in Model-based Embedded Software Development. - Christoph Luckeneder; Hermann Kaindl; Martin Korinek (ICSOFT, 2017)

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. - Hermann Kaindl; Ralph Hoch; Michael Rathmair; Christoph Luckeneder (ENASE (Selected Papers), 2018)

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl; Carna Radojicic (HICSS, 2018)

Systematic top-down design of cyber-physical models with integrated validation and formal verification. - Christoph Luckeneder; Hermann Kaindl (ICSE (Companion Volume), 2018)

Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. - Hermann Kaindl; Franz Lukasch; Matthias Heigl; Sevan Kavaldjian; Christoph Luckeneder; Sebastian Rausch (ICST Workshops, 2018)

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. - Christoph Luckeneder; Hermann Kaindl (SAC, 2019)

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. - Michael Rathmair; Christoph Luckeneder; Thomas Haspl; Bernhard Reiterer; Ralph Hoch; Michael W. Hofbaur; Hermann Kaindl (RO-MAN, 2021)

Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. - Ralph Hoch; Christoph Luckeneder; Roman Popp; Hermann Kaindl (IEEE Trans. Software Eng., 2022)

Towards Using Structural Abstraction for Model Checking. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (DSA, 2023)

Structural Abstraction and Selective Refinement for Formal Verification. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (CoRR, 2025)