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