| 2021 | RO-MAN | Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. | Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl |
| 2019 | SAC | A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. | Christoph Luckeneder, Hermann Kaindl |
| 2018 | ENASE | Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. | Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder |
| 2018 | ICSE | Systematic top-down design of cyber-physical models with integrated validation and formal verification. | Christoph Luckeneder, Hermann Kaindl |
| 2018 | ICST | Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. | Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch |
| 2017 | ICSoft | Automated Unit Testing in Model-based Embedded Software Development. | Christoph Luckeneder, Hermann Kaindl, Martin Korinek |
| 2016 | APSEC | Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. | Michael Rathmair, Christoph Luckeneder, Hermann Kaindl |