Hermann Kaindl

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 71

Top Venues

HICSS

SPLC (A)

EICS

Publications

Mike Mannion, Hermann Kaindl
Comparing Products using Similarity Matching. SPLC (A) (2024)
Tim A. Majchrzak, Tor-Morten Grønli, Hermann Kaindl
Introduction to the Minitrack on Software Technology and Software Development. HICSS (2024)
Tor-Morten Grønli, Hermann Kaindl, Tim A. Majchrzak
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS (2023)
Hermann Kaindl
Automated Web GUI Generation from High-Level Interaction Design with Discourse Models. ICWE (2023)
Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
Towards Using Structural Abstraction for Model Checking. DSA (2023)
Hermann Kaindl, Jonas Ferdigg
Superintelligence Safety: A Requirements Engineering Perspective. Adv. Artif. Intell. Mach. Learn. 3 (1) (2023)
Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter
Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. GECCO Companion (2023)
Mike Mannion, Hermann Kaindl
Determining the Relative Importance of Features for Influencing Software Product Similarity Matching. COMPSAC (2023)
Andreas Biørn-Hansen, Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl, Gheorghita Ghinea
The Use of Cross-Platform Frameworks for Google Play Store Apps. HICSS (2022)
Mike Mannion, Hermann Kaindl
Similarity matching for product comparison. SPLC (A) (2022)
Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. 48 (10) (2022)
Mike Mannion, Hermann Kaindl
Enhancing Product Comparison through Automated Similarity Matching. EASE (2022)
Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS (2022)
Petar Paradzikovic, Ralph Hoch, Hermann Kaindl
Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS (2022)
Hermann Kaindl
High-Level Interaction Design with Discourse Models for Automated Web GUI Generation. ICWE (2021)
Matías Hirsch, Cristian Mateos, Alejandro Zunino, Tim A. Majchrzak, Tor-Morten Grønli, Hermann Kaindl
A Simulation-based Performance Evaluation of Heuristics for Dew Computing. HICSS (2021)
Hermann Kaindl
ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation. IUI Companion (2021)
Mike Mannion, Hermann Kaindl
Reuse for mass personalisation through feature models and similarities. SPLC (A) (2021)
Hermann Kaindl, Tor-Morten Grønli, Tim A. Majchrzak
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS (2021)
Mike Mannion, Hermann Kaindl
Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines. ICEIS (2) (2021)
Hermann Kaindl, Mike Mannion
Requirements Reuse for Exploring Stakeholder Needs. RE (2021)
Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN (2021)
Hermann Kaindl, Ralph Hoch, Roman Popp
Estimating Problem Instance Difficulty. ICEIS (1) (2020)
Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS (2020)
Mike Mannion, Hermann Kaindl
Software reuse and mass personalization. SPLC (A) (2020)
Ephraim Suhir, Gunther Paul, Hermann Kaindl
Towards Probabilistic Analysis of Human-System Integration in Automated Driving. IHSI (2020)
Hermann Kaindl, Stefan Kramer
Towards Probability-based Safety Verification of Systems with Components from Machine Learning. CoRR (2020)
Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl
A Bibliometric Analysis of the HICSS Software Technology Track. HICSS (2020)
Hermann Kaindl, Jonas Ferdigg
Towards Requirements Engineering for Superintelligence Safety. REFSQ Workshops (2020)
Hermann Kaindl, Jonas Ferdigg
Towards an Extended Requirements Problem Formulation for Superintelligence Safety. AIRE@RE (2020)
Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch
An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. ICEIS (Revised Selected Papers) (2020)
Mike Mannion, Hermann Kaindl
Software reuse for mass customization. SPLC (A) (2019)
Christoph Luckeneder, Hermann Kaindl
A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. SAC (2019)
Anthony Anjorin, Enes Yigitbas, Hermann Kaindl
Consistent Runtime Adaptation of User Interfaces. Bx@PLW (2019)
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE (2019)
Hermann Kaindl, Jonas Ferdigg
Superintelligence Safety: A Requirements Engineering Perspective. CoRR (2019)
Hermann Kaindl, Davor Svetinovic
Avoiding Undertrust and Overtrust. REFSQ Workshops (2019)
Hermann Kaindl
Human-Machine Interaction. IHIET (2019)
Hermann Kaindl
Specifying Requirements through Interaction Design. RE (2019)
Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT (2019)
Hermann Kaindl, Mike Mannion
Software Reuse and Reusability Based on Requirements: Feature Modelling vs. Case-Based Reasoning. RE (2019)
Christoph Luckeneder, Hermann Kaindl
Systematic top-down design of cyber-physical models with integrated validation and formal verification. ICSE (Companion Volume) (2018)
Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. SAFECOMP (2018)
Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. ICST Workshops (2018)
Sven Dominka, Dominik Ertl, Michael Dübner, Romana Wiesinger, Hermann Kaindl
Taming and optimizing feature interaction in software-intensive automotive systems. ICPS (2018)
Hermann Kaindl, Mike Mannion
Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models. RE (2018)
Ralph Hoch, Hermann Kaindl
Verification of Feature Coordination using the Fluent Calculus. ENASE (2018)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS (2018)
Hermann Kaindl, Stefan Kramer, Ralph Hoch
An inductive learning perspective on automated generation of feature models from given product specifications. SPLC (2018)
Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) (2018)
Thomas Rathfux, Jasmin Thöner, Hermann Kaindl, Roman Popp
Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility. EICS (2018)
Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp
On the development of consistent user interfaces (extended abstract). Programming (2018)
Hermann Kaindl, Mike Mannion
Software reuse and mass customisation: feature modelling vs. case-based reasoning. SPLC (2018)
Hermann Kaindl
High-level Verification and Validation of Software Supporting Business Processes. ENASE (2017)
Hermann Kaindl
High-level Verification and Validation of Software Supporting Business Processes. ICEIS (1) (2017)
Hermann Kaindl
High-level interaction design for automated GUI generation and customization. EICS (2017)
Roman Popp, Hermann Kaindl
Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. HICSS (2017)
Hermann Kaindl, Helmut Horacek, Anton Scheucher
Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intell. AI Games 9 (2) (2017)
Christoph Luckeneder, Michael Rathmair, Hermann Kaindl
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS (2017)
Mike Mannion, Hermann Kaindl, Juha Savolainen
Product Line Strategies and Feature Reuse. SPLC (A) (2017)
Christoph Luckeneder, Hermann Kaindl, Martin Korinek
Automated Unit Testing in Model-based Embedded Software Development. ICSOFT (2017)
Roman Popp, Ralph Hoch, Hermann Kaindl
A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. HICSS (2017)
Hermann Kaindl, Ralph Hoch, Roman Popp
Semantic task specification in business process context. RCIS (2017)
Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler
Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. HICSS (2016)
Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler
Reuse vs. Reusability of Software Supporting Business Processes. ICSR (2016)
Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) (2016)
Dominik Wagner, Hermann Kaindl, Sven Dominka, Michael Dübner
Optimization of feature interactions for automotive combustion engines. SAC (2016)
Thomas Rathfux, Roman Popp, Hermann Kaindl
Adding custom widgets to model-driven GUI generation. EICS (2016)
Hermann Kaindl, Thomas Rathfux, Bernhard Hulin, Roland Beckert, Edin Arnautovic, Roman Popp
A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature with Standards for Automotive and Railway. HCSE/HESSD (2016)
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC (2016)
Bernhard Hulin, Hermann Kaindl, Thomas Rathfux, Roman Popp, Edin Arnautovic, Roland Beckert
Towards a Common Safety Ontology for Automobiles and Railway Vehicles. EDCC (2016)
David Raneburger, Hermann Kaindl, Roman Popp
Strategies for Automated GUI Tailoring for Multiple Devices. HICSS (2015)
Roman Popp, Hermann Kaindl
Specifying Business Requirements through Interaction Design. CAiSE Forum (2015)
Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM (2015)
Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS (2015)
Roman Popp, Hermann Kaindl
Automated refinement of business processes through model transformations specifying business rules. RCIS (2015)
Hermann Kaindl, Mike Mannion
A Feature-Similarity Model for Product Line Engineering. ICSR (2015)
David Raneburger, Hermann Kaindl, Roman Popp
Model transformation rules for customization of multi-device graphical user interfaces. EICS (2015)
Hermann Kaindl, Roman Popp, David Raneburger
Towards reuse in safety risk analysis based on product line requirements. RE (2015)
Roman Popp, Hermann Kaindl
Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules. CAiSE (Forum/Doctoral Consortium) (2014)
David Raneburger, Roman Popp, Hermann Kaindl, Alexander Armbruster, Vedran Sajatovic
An Iterative and Incremental Process for Interaction Design through Automated GUI Generation. HCI (1) (2014)
Roman Popp, Hermann Kaindl, Simon Badalians, David Raneburger, Fabio Paternò
Duality of task- and discourse-based interaction design for GUI generation. SMC (2014)
Hermann Kaindl, Roman Popp, David Raneburger
Alternative interaction design patterns for automated GUI generation from Discourse-based Communication Models. SMC (2014)
David Alonso-Ríos, David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb
A user study on tailoring GUIs for smartphones. SAC (2014)
Filip Kis, Cristian Bogdan, Hermann Kaindl, Jürgen Falb
Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation. HICSS (2014)
Mike Mannion, Hermann Kaindl
Using similarity metrics for mining variability from software repositories. SPLC Workshops (2014)
David Raneburger, Hermann Kaindl, Roman Popp, Vedran Sajatovic, Alexander Armbruster
A process for facilitating interaction design through automated GUI generation. SAC (2014)
Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein
Semi-automatic generation of recommendation processes and their GUIs. IUI (2013)
Hermann Kaindl
Model-Based Transition from Requirements to High-Level Software Design. APSEC (2) (2013)
Roman Popp, Hermann Kaindl, David Raneburger
Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces. APSEC (1) (2013)
Dominik Ertl, Jürgen Falb, Hermann Kaindl, Roman Popp, David Raneburger
Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input. HICSS (2013)
Hermann Kaindl
Model-Based Transition from Requirements to High-Level Software Design. PROFES (2013)
David Raneburger, Roman Popp, Hermann Kaindl
Design Alternatives for GUI Development with Discourse-based Communication Models. GI-Jahrestagung (2013)
David Raneburger, Roman Popp, David Alonso-Ríos, Hermann Kaindl, Jürgen Falb
A User Study with GUIs Tailored for Smartphones and Tablet PCs. SMC (2013)
Roman Popp, David Raneburger, Hermann Kaindl
Tool support for automated multi-device GUI generation from discourse-based communication models. EICS (2013)
Dominik Ertl, Sven Dominka, Hermann Kaindl
Using a Mediator to Handle Undesired Feature Interaction of Automated Driving. SMC (2013)
David Raneburger, David Alonso-Ríos, Roman Popp, Hermann Kaindl, Jürgen Falb
A User Study with GUIs Tailored for Smartphones. INTERACT (2) (2013)
Hermann Kaindl, Mathieu Vallée, Edin Arnautovic
Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. IEEE Trans. Syst. Man Cybern. Syst. 43 (1) (2013)
David Raneburger, Roman Popp, Hermann Kaindl
Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. ICSOFT (2013)
Hermann Kaindl
Software Reuse Based on Business Processes and Requirements. APSEC (2) (2013)

Hermann Kaindl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hermann Kaindl