|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Luckeneder, Christoph ; Kaindl, Hermann | Systematic top-down design of cyber-physical models with integrated validation and formal verification | Konferenzbeitrag Inproceedings  | 2018 |
| 42 | | Kaindl, Hermann ; Kramer, Stefan ; Hoch, Ralph | An inductive learning perspective on automated generation of feature models from given product specifications | Konferenzbeitrag Inproceedings | 2018 |
| 43 | | Rathfux, Thomas ; Thöner, Jasmin ; Kaindl, Hermann ; Popp, Roman | Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility | Konferenzbeitrag Inproceedings | 2018 |
| 44 | | Hulin, Bernhard ; Kaindl, Hermann ; Beckert, Roland ; Rathfux, Thomas ; Popp, Roman | Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling | Konferenzbeitrag Inproceedings | 2018 |
| 45 | | Anjorin, Anthony ; Yigitbas, Enes ; Kaindl, Hermann ; Popp, Roman | On the development of consistent user interfaces (extended abstract) | Konferenzbeitrag Inproceedings | 2018 |
| 46 | | Kaindl, Hermann ; Mannion, Mike | Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models | Konferenzbeitrag Inproceedings | 2018 |
| 47 | | 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 |
| 48 | | Dominka, Sven ; Ertl, Dominik ; Dübner, Michael ; Wiesinger, Romana ; Kaindl, Hermann | Taming and Optimizing Feature Interaction in Software-intensive Automotive Systems | Konferenzbeitrag Inproceedings | 2018 |
| 49 | | 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 |
| 50 | | Zimmermann, Kerstin ; Fernbach, Andreas ; Galler, Florian ; L. Du, Jia ; Kaindl, Hermann ; Drobics, Hermann ; Kerschl, Peter | IKT der Zukunft - eine Leistungs(vor)schau | Präsentation Presentation | 2017 |
| 51 | | Kaindl, Hermann | Human‐Machine Interaction | Konferenzbeitrag Inproceedings | 2017 |
| 52 | | Kaindl, Hermann ; Hoch, Ralph ; Popp, Roman | Semantic Task Specification in Business Process Context | Konferenzbeitrag Inproceedings | 2017 |
| 53 | | Kaindl, Hermann | High-level Verification and Validation of Software Supporting Business Processes | Konferenzbeitrag Inproceedings | 2017 |
| 54 | | Luckeneder, Christoph ; Kaindl, Hermann ; Korinek, Martin Johannes | Automated Unit Testing in Model-based Embedded Software Development | Konferenzbeitrag Inproceedings | 2017 |
| 55 | | Kaindl, Hermann | High-level interaction design for automated GUI generation and customization | Konferenzbeitrag Inproceedings | 2017 |
| 56 | | Luckeneder, Christoph ; Rathmair, Michael ; Kaindl, Hermann | Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation | Konferenzbeitrag Inproceedings | 2017 |
| 57 | | 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 |
| 58 | | Popp, Roman ; Kaindl, Hermann | Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems | Konferenzbeitrag Inproceedings | 2017 |
| 59 | | Kaindl, Hermann | Teaching Human-Machine Interaction | Konferenzbeitrag Inproceedings | 2017 |
| 60 | | Kaindl, Hermann ; Horacek, Helmut ; Scheucher, Anton | Product Propagation: A Back-up Rule Better than Minimaxing? | Artikel Article | 2017 |
