Business Card

Univ.Ass. Dipl.-Ing. Christoph Luckeneder ,
Univ.Ass. Dipl.-Ing. Christoph Luckeneder

Contact Information

+43 1 58801 38427

Curriculum Vitae

Christoph Luckeneder was borne 1986 in Austria. He finished the bachelor degree program of Electrical Engineering and Information Technology at Vienna University of Technology in 2013. On this basis, he deepened his knowledge about system engineering in the master’s program Computer Engineering, which he graduated from in 2015. In 2015, he joined the Institute of Computer Technology as a project employee. His work there is associated with the project FeatureOpt. FeatureOpt is founded by the Austrian Research Promotion Agency (FFG) and deals with feature interaction detection, prevention of unwanted feature interaction as well as feature coordination in automotive software. Since 2017, he is also working in the project Verification of Cyber-physical Automotive Systems-of-Systems (VerASoS).

Unfold to show all publications (at this affiliation)

All publications

  • R. Hoch, C. Luckeneder, R. Popp, H. Kaindl, Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications. IEEE Transactions on Software Engineering, vol. 9, 2021, pp. .
  • H. Kaindl, R. Hoch, M. Rathmair, C. Luckeneder, Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models, in Evaluation of Novel Approaches to Software Engineering, Springer International Publishing, 2018, pp. 261 - 287.
  • M. Rathmair, C. Luckeneder, H. Kaindl, Minimalist Qualitative Models for Model Checking Cyber-physical Feature Coordination, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), p. 8, Hamilton, Neuseeland, 2016.
  • C. Luckeneder, M. Rathmair, H. Kaindl, Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation, in Proceedings of the 50th Hawaii International Conference on System Sciences 2017, 2017, pp. 6151 - 6160.
  • C. Luckeneder, H. Kaindl, M. Korinek, Automated Unit Testing in Model-based Embedded Software Development, in Proceedings of the 12th International Conference on Software Technologies, 2017, pp. 427 - 434.
  • M. Rathmair, C. Luckeneder, H. Kaindl, C. Radojicic, Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award], in 51st Hawaii International Conference on System Sciences (HICSS 2018), 2018, pp. 5655 - 5664.
  • H. Kaindl, F. Lukasch, M. Heigl, S. Kavaldjian, C. Luckeneder, S. Rausch, Verification of Cyber-physical Automotive Systems-of-Systems: Test Environment Assignment, in Proceedings of the 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, 2018, pp. 390 - 391.
  • C. Luckeneder, H. Kaindl, Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification, in 2018 ACM/IEEE 40th International Conference on Software Engineering: Companion Proceedings, 2018, pp. 274 - 275.
  • M. Rathmair, C. Luckeneder, M. Meisel, S. Wilker, In-Field Simulation for Process Tuning in Industry 4.0 Applications, in Vienna young Scientists Symposium 2018, 2018, pp. 66 - 67.
  • C. Luckeneder, H. Kaindl, A Case Study of Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification, in Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019, pp. 1828 - 1836.
  • M. Rathmair, C. Luckeneder, T. Haspl, B. Reiterer, R. Hoch, M. Hofbaur, H. Kaindl, Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability, in 2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN), 2021, pp. 1283 - 1288.