Christoph Luckeneder

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