Christoph Luckeneder

According to our database, Christoph Luckeneder authored at least 11 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Towards Using Structural Abstraction for Model Checking.

Christoph Luckeneder, Ralph Hoch, Hermann Kaindl

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022

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

2021

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

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

2019

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph Luckeneder, Hermann Kaindl

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment.

Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph Luckeneder, Hermann Kaindl

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

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.

Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

2017

Automated Unit Testing in Model-based Embedded Software Development.

Christoph Luckeneder, Hermann Kaindl, Martin Korinek

Proceedings of the 12th International Conference on Software Technologies, 2017

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.

Christoph Luckeneder, Michael Rathmair, Hermann Kaindl

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2016

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016