| | 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 | | Mannion, Mike ; Kaindl, Hermann | Determining the Relative Importance of Features for Influencing Software Product Similarity Matching | Inproceedings Konferenzbeitrag | 2023 |
| 4 | | Kaindl, Hermann | Automated Web GUI Generation from High-Level Interaction Design with Discourse Models | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2023 |
| 5 | | Majchrzak, Tim A. ; Gronli, Tor-Morten ; Kaindl, Hermann | Introduction to the HICSS-56 Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems Minitrack | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2023 |
| 6 | ![Paradzikovic-2022-Assigning Systems to Test Environments Through Ontologi...-vor.pdf.jpg](/retrieve/217505/Paradzikovic-2022-Assigning%20Systems%20to%20Test%20Environments%20Through%20Ontologi...-vor.pdf.jpg) | Paradzikovic, Petar ; Hoch, Ralph ; Kaindl, Hermann | Assigning Systems to Test Environments Through Ontological Reasoning | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | Sep-2022 |
| 7 | | Majchrzak, Tim A. ; Grønli, Tor-Morten ; Kaindl, Hermann | Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 8 | | Mannion, Mike ; Kaindl, Hermann | Enhancing Product Comparison through Automated Similarity Matching | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 9 | | Biørn-Hansen, Andreas ; Grønli, Tor-Morten ; Majchrzak, Tim A. ; Kaindl, Hermann ; Ghinea, Gheorghita | The Use of Cross-Platform Frameworks for Google Play Store Apps | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 10 | | Elsokkary, Nada ; Muneeb Ur Rehman, Muhammad ; Suhail, Sabah ; Kaindl, Hermann ; Svetinovic, Davor | Trust Evaluation of Blockchain-Based Cryptocurrencies: The Cases of Bitcoin and Diem | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 11 | | Mannion, Mike ; Kaindl, Hermann | Similarity matching for product comparison | Inproceedings Konferenzbeitrag ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 12 | | Kaindl, Hermann | Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers | Proceedings Tagungsband ![peer reviewed](/image/PeerReview_Icon.png) | 2022 |
| 13 | ![Kaindl-2022-Tutorial Discourse Models for Interaction Design-vor.pdf.jpg](/retrieve/296464/Kaindl-2022-Tutorial%20Discourse%20Models%20for%20Interaction%20Design-vor.pdf.jpg) | Kaindl, Hermann | Tutorial: Discourse Models for Interaction Design | Inproceedings Konferenzbeitrag ![Volltext verfügbar](/image/Volltext_Icon.png) | 2022 |
| 14 | | Hoch, Ralph ; Luckeneder, Christoph ; Popp, Roman ; Kaindl, Hermann | Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 15 | | Majchrzak, Tim A. ; Kaindl, Hermann ; Gronli, Tor-Morten | Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Hirsch, Matias ; Mateos, Cristian ; Zunino, Alejandro ; Majchrzak, Tim A. ; Gronli, Tor-Morten ; Kaindl, Hermann | A Task Execution Scheme for Dew Computing with State-of-the-Art Smartphones | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 17 | | Hirsch, Matias ; Mateos, Cristian ; Zunino, Alejandro ; Majchrzak, Tim A. ; Gronli, Tor-Morten ; Kaindl, Hermann | A Simulation-based Performance Evaluation of Heuristics for Dew Computing | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 18 | | Kaindl, Hermann ; Mannion, Mike | Requirements Reuse for Exploring Stakeholder Needs | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 19 | | Raneburger, David ; Popp, Roman ; Kaindl, Hermann | A User Study to Evaluate the Customization of Automatically Generated GUIs | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 20 | | Kaindl, Hermann | ModelGenGUIs – High-level Interaction Design with Discourse Models for Automated GUI Generation | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |