Christoph Luckeneder

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Qualitative Models

Top Venues

Publications

Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
Towards Using Structural Abstraction for Model Checking. DSA (2023)
Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. 48 (10) (2022)
Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN (2021)
Christoph Luckeneder, Hermann Kaindl
A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. SAC (2019)
Christoph Luckeneder, Hermann Kaindl
Systematic top-down design of cyber-physical models with integrated validation and formal verification. ICSE (Companion Volume) (2018)
Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. ICST Workshops (2018)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS (2018)
Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) (2018)
Christoph Luckeneder, Michael Rathmair, Hermann Kaindl
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS (2017)
Christoph Luckeneder, Hermann Kaindl, Martin Korinek
Automated Unit Testing in Model-based Embedded Software Development. ICSOFT (2017)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC (2016)