Luckeneder, Christoph

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Ass. Dipl.-Ing.
 
Full name Familienname, Vorname
Luckeneder, Christoph
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kaindl, Hermann ; Lukasch, Franz ; Heigl, Matthias ; Kavaldjian, Sevan ; Luckeneder, Christoph ; Rausch, Sebastian Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment AssignmentKonferenzbeitrag Inproceedings 2018
2Luckeneder Christoph - 2015 - Unit-Testen in modellbasierter Softwareentwicklung.pdf.jpgLuckeneder, Christoph Unit-Testen in modellbasierter SoftwareentwicklungThesis Hochschulschrift 2015
3Luckeneder, Christoph ; Kaindl, Hermann Systematic top-down design of cyber-physical models with integrated validation and formal verificationKonferenzbeitrag Inproceedings 2018
4Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann ; Radojicic, Carna Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award]Konferenzbeitrag Inproceedings 2018
5Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann Minimalist Qualitative Models for Model Checking Cyber-physical Feature CoordinationKonferenzbeitrag Inproceedings 2016
6Luckeneder, Christoph ; Rathmair, Michael ; Kaindl, Hermann Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using SimulationKonferenzbeitrag Inproceedings 2017
7Rathmair, Michael ; Luckeneder, Christoph ; Meisel, Marcus ; Wilker, Stefan ; Hans, Philipp ; Artner, Gerald ; Grames, Johanna ; Krebs, Heinz ; Mansouri Khosravi, Hamid Reza ; Rouhi, Taraneh In-Field Simulation for Process Tuning in Industry 4.0 ApplicationsKonferenzbeitrag Inproceedings2018
8Rathmair, Michael ; Luckeneder, Christoph ; Haspl, Thomas ; Reiterer, Berhnard ; Hoch, Ralph ; Hofbaur, Michael ; Kaindl, Hermann ; IEEE Formal Verification of Safety Properties of Collaborative Robotic Applications including VariabilityKonferenzbeitrag Inproceedings 2021
9Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph ; Damiani, Ernesto ; Spanoudakis, George ; Maciaszek, Leszek Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsBuchbeitrag Book Contribution 2018
10Luckeneder, Christoph ; Kaindl, Hermann ; Korinek, Martin Johannes Automated Unit Testing in Model-based Embedded Software DevelopmentKonferenzbeitrag Inproceedings 2017
11Luckeneder, Christoph ; Kaindl, Hermann A case study of systematic top-down design of cyber-physical models with integrated validation and formal verificationKonferenzbeitrag Inproceedings 2019

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Paradzikovic Petar - 2019 - Defining an using an ontology of test environments.pdf.jpgParadzikovic, Petar Defining an using an ontology of test environmentsThesis Hochschulschrift 2019