| | 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 | | Stippel, Christian ; Schwendinger, Benjamin ; Kammerhofer, Michael ; Hoch, Ralph ; Kaindl, Hermann ; Sauter, Thilo | Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 3 | | Paradzikovic, Petar ; Hoch, Ralph ; Kaindl, Hermann | Assigning Systems to Test Environments Through Ontological Reasoning | Inproceedings Konferenzbeitrag | Sep-2022 |
| 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 | | 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 |
| 6 | | Kaindl, Hermann ; Hoch, Ralph ; Roman, Popp ; Rathfux, Thomas ; Lukasch, Franz | An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search | Konferenzbeitrag Inproceedings | 2021 |
| 7 | | Kaindl, Hermann ; Hoch, Ralph ; Popp, Roman | Estimating Problem Instance Difficulty | Konferenzbeitrag Inproceedings | 2020 |
| 8 | | Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz | An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz | Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking | Konferenzbeitrag Inproceedings | 2019 |
| 10 | | Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph | Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models | Buchbeitrag Book Contribution | 2018 |
| 11 | | Hoch, Ralph ; Kaindl, Hermann | Verification of Feature Coordination using the Fluent Calculus | Konferenzbeitrag Inproceedings | 2018 |
| 12 | | Kaindl, Hermann ; Kramer, Stefan ; Hoch, Ralph | An inductive learning perspective on automated generation of feature models from given product specifications | Konferenzbeitrag Inproceedings | 2018 |
| 13 | | Kaindl, Hermann ; Hoch, Ralph ; Popp, Roman | Semantic Task Specification in Business Process Context | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Popp, Roman ; Hoch, Ralph ; Kaindl, Hermann | A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman ; Zeidler, Christian | Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Hoch, Ralph ; Rathmair, Michael ; Kaindl, Hermann ; Popp, Roman | Verification of Business Processes Against Business Rules Using Object Life Cycles | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Kaindl, Hermann ; Popp, Roman ; Hoch, Ralph ; Zeidler, Christian | Reuse vs. Reusability of Software Supporting Business Processes | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Rathmair, Michael ; Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman | Consistently Formalizing a Business Process and its Properties for Verification: A Case Study | Konferenzbeitrag Inproceedings | 2015 |
| 19 | | Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman ; Ertl, Dominik | Comprehensive Integration of Executable Business Process Models with Semantic Concept and Task Specifications | Konferenzbeitrag Inproceedings | 2015 |
| 20 | | Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman ; Ertl, Dominik ; Horacek, Helmut | Semantic Service Specification for V&V of Service Composition and Business Processes | Konferenzbeitrag Inproceedings | 2015 |