Name Card

Full name Familienname, Vorname
Luckeneder, Christoph
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-14 of 14 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Luckeneder, Christoph ; Hoch, Ralph ; Kaindl, Hermann Towards Using Structural Abstraction for Model CheckingInproceedings Konferenzbeitrag14-Nov-2023
2Luckeneder Christoph - 2022 - Approaches to cyber-physical model model-checking.pdf.jpgLuckeneder, Christoph Approaches to cyber-physical (model) model-checkingThesis Hochschulschrift 2022
3Hoch, Ralph ; Luckeneder, Christoph ; Popp, Roman ; Kaindl, Hermann Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic SpecificationsArtikel Article 2021
4Rathmair, Michael ; Luckeneder, Christoph ; Haspl, Thomas ; Reiterer, Berhnard ; Hoch, Ralph ; Hofbaur, Michael ; Kaindl, Hermann Formal Verification of Safety Properties of Collaborative Robotic Applications including VariabilityKonferenzbeitrag Inproceedings 2021
5Luckeneder, Christoph ; Kaindl, Hermann A case study of systematic top-down design of cyber-physical models with integrated validation and formal verificationKonferenzbeitrag Inproceedings 2019
6Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsBuchbeitrag Book Contribution 2018
7Rathmair, Michael ; Luckeneder, Christoph ; Meisel, Marcus ; Wilker, Stefan In-Field Simulation for Process Tuning in Industry 4.0 ApplicationsKonferenzbeitrag Inproceedings2018
8Luckeneder, Christoph ; Kaindl, Hermann Systematic top-down design of cyber-physical models with integrated validation and formal verificationKonferenzbeitrag Inproceedings 2018
9Kaindl, Hermann ; Lukasch, Franz ; Heigl, Matthias ; Kavaldjian, Sevan ; Luckeneder, Christoph ; Rausch, Sebastian Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment AssignmentKonferenzbeitrag Inproceedings 2018
10Rathmair, 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
11Luckeneder, Christoph ; Kaindl, Hermann ; Korinek, Martin Johannes Automated Unit Testing in Model-based Embedded Software DevelopmentKonferenzbeitrag Inproceedings 2017
12Luckeneder, Christoph ; Rathmair, Michael ; Kaindl, Hermann Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using SimulationKonferenzbeitrag Inproceedings 2017
13Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann Minimalist Qualitative Models for Model Checking Cyber-physical Feature CoordinationKonferenzbeitrag Inproceedings 2016
14Luckeneder Christoph - 2015 - Unit-Testen in modellbasierter Softwareentwicklung.pdf.jpgLuckeneder, Christoph Unit-Testen in modellbasierter SoftwareentwicklungThesis Hochschulschrift 2015

Contributing Publications Mitbeteiligte Publikationen


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

PreviewAuthor(s)TitleTypeIssue 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