Visitenkarte

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

Kontaktinformation

Telefon:
+43 (1) 58801 38427
E-Mail:
christoph.luckeneder@tuwien.ac.at
Raum:
CD0408
TISS:
TISS

Lebenslauf

Christoph Luckeneder wurde 1986 in Österreich geboren. Er beendete sein Bachelor Studium der Elektrotechnik und Informationstechnik an der Technischen Universität Wien 2013. Danach vertiefte er sein Wissen über System Engineering im Master Studium Computertechnik welches er 2015 abschloss. Seit 2015 ist er ein Mitglied des Teams des Institutes für Computertechnik im Projekt FeatureOpt. Das durch die Österreichische Forschungsförderungsgesellschaft (FFG) geförderte Projekt befasst sich mit der Detektion von unerwünschten Interaktionen zwischen Features und mit der Koordinierung von Features zur Vermeidung dieser. Darüber hinaus arbeitet er seit 2017 im Projekt Verification of Cyber-physical Automotive Systems-of-Systems (VerASoS).

Aufklappen um alle Publikationen (TU Wien) zu sehen

Alle Publikationen

  • 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), S. 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, S. 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, S. 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, S. 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, S. 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, S. 274 - 275.