Searching to Variable Depth in Computer Chess. - Hermann Kaindl (IJCAI, 1983)

What Happened with AI's Drosophila? - Hermann Kaindl (ÖGAI, 1985)

Decision Making in Unclear Situations. - Helmut Horacek; Hermann Kaindl; Marcus Wagner (GWAI, 1986)

Selective Search Versus Brute Force. - Hermann Kaindl; Helmut Horacek; Marcus Wagner (J. Int. Comput. Games Assoc., 1986)

Probabilities in Game-Playing: Possible Meanings and Applications. - Helmut Horacek; Hermann Kaindl; Marcus Wagner (ÖGAI, 1987)

Minimaxing: Theory and Practice. - Hermann Kaindl (AI Mag., 1988)

Useful Statistics from Tournament Programs. - Hermann Kaindl (J. Int. Comput. Games Assoc., 1988)

Portability of software. - Hermann Kaindl (ACM SIGPLAN Notices, 1988)

Synthese zweier Ansätze der Textverarbeitung. - Holger G. Ziegeler; Hermann Kaindl (Angew. Inform., 1988)

The Reason for the Benefits of Minimax Search. - Anton Scheucher; Hermann Kaindl (IJCAI, 1989)

An Outline of a New Algorithm for Game Tree Search. - Helmut Horacek; Hermann Kaindl (ÖGAI, 1989)

HyperAuthor - An Authoring Tool Based on Hypertext. - Hermann Kaindl; Holger G. Ziegeler (Hypertext/Hypermedia, 1991)

Using Aspiration Windows for Minimax Algorithms. - Reza Shams; Hermann Kaindl; Helmut Horacek (IJCAI, 1991)

Feature Construction during Tree Learning. - Gerhard Mehlsam; Hermann Kaindl; Wilhelm Barth (GWAI, 1991)

Hypertext and Structured Object Representation: A Unifying View. - Hermann Kaindl; Mikael Holmesland Snaprud (Wissensbasierte Systeme, 1991)

Minimax Search Algorithms With and Without Aspiration Windows. - Hermann Kaindl; Reza Shams; Helmut Horacek (IEEE Trans. Pattern Anal. Mach. Intell., 1991)

A New Approach to Dynamic Weighting. - Andreas L. Köll; Hermann Kaindl (ECAI, 1992)

Reasoning Types and AI Programming Paradigms. - Hermann Kaindl; Holger G. Ziegeler (Int. J. Softw. Eng. Knowl. Eng., 1992)

Problems, Communication, and Common Sense. - Lorenz Lercher; Hermann Kaindl (SIGART Bull., 1992)

HIS: an information system about hypertext on hypertext. - Hermann Kaindl; Holger G. Ziegeler (SIGWEB Newsl., 1992)

Reasons for the effects of bounded look-ahead search. - Hermann Kaindl; Anton Scheucher (IEEE Trans. Syst. Man Cybern., 1992)

Bidirectional Best-First Search with Bounded Error: Summary of Results. - Andreas L. Köll; Hermann Kaindl (IJCAI, 1993)

The missing link in requirements engineering. - Hermann Kaindl (ACM SIGSOFT Softw. Eng. Notes, 1993)

Memory-Bounded Bidirectional Search. - Hermann Kaindl; Aliasghar Khorsand (AAAI, 1994)

Improvements on Linear-Space Search Algorithms. - Hermann Kaindl; Angelika Leeb; Harald Smetana (ECAI, 1994)

Case-Based Reasoning for Multi-Step Problems and Its Integration with Heuristic Search. - Christian Reiser; Hermann Kaindl (EWCBR, 1994)

A Question. - Hermann Kaindl (J. Int. Comput. Games Assoc., 1994)

Editorial: object-oriented approaches in artificial intelligence and human-computer interaction. - Hermann Kaindl (Int. J. Hum. Comput. Stud., 1994)

Types and inheritance in hypertext. - Mikael Holmesland Snaprud; Hermann Kaindl (Int. J. Hum. Comput. Stud., 1994)

Artificial intelligence for object-oriented software engineering. - Dennis de Champeaux; Hermann Kaindl; Joachim H. Laubsch; Albert Schappert (OOPSLA Addendum, 1994)

Comparing object-oriented analysis with knowledge acquisition. - Hermann Kaindl (OOPS Messenger, 1994)

An Integration of Scenarios with Their Purposes in Task Modeling. - Hermann Kaindl (Symposium on Designing Interactive Systems, 1995)

An approach to hypertext-based requirements specification and its application. - Hermann Kaindl (INTERACT, 1995)

How to Use Limited Memory in Heuristic Search. - Hermann Kaindl; Gerhard Kainz; Angelika Leeb; Harald Smetana (J. Int. Comput. Games Assoc., 1995)

Dynamic Improvements of Heuristic Evaluations during Search. - Gerhard Kainz; Hermann Kaindl (AAAI/IAAI, Vol. 1, 1996)

Backjumping in State-Space Search. - Roland Steiner; Hermann Kaindl; Gerhard Kainz (ECAI, 1996)

How to Identify Binary Relations for Domain Models. - Hermann Kaindl (ICSE, 1996)

Using Hypertext for semiformal representation in requirements engineering practice. - Hermann Kaindl (New Rev. Hypermedia Multim., 1996)

Can We Benefit from Metrics in KBS Development? - Stefan Kramer 001; Hermann Kaindl; Stefan Schlee (IJCAI (1), 1997)

A Practical Approach to Combining Requirements Definition and Object-Oriented Analysis. - Hermann Kaindl (Ann. Softw. Eng., 1997)

Bidirectional Heuristic Search Reconsidered. - Hermann Kaindl; Gerhard Kainz (J. Artif. Intell. Res., 1997)

Combining Goals and Functional Requirements in a Scenario-based Design Process. - Hermann Kaindl (BCS HCI, 1998)

Back-up of Heuristic Values: Minimaxing vs. Product Propagation. - Hermann Kaindl; Anton Scheucher (ECAI, 1998)

Combining Structure Search and Content Search for the World-Wide Web. - Hermann Kaindl; Stefan Kramer 001; Luis Miguel Afonso (Hypertext, 1998)

A Case Study of Decomposing Functional Requirements Using Scenarios. - Hermann Kaindl; Stefan Kramer 001; Robert Kacsich (ICRE, 1998)

Benefits of Using Multivalued Functions for Minimaxing. - Anton Scheucher; Hermann Kaindl (Artif. Intell., 1998)

Semiautomatic Generation of Glossary Links: A Practical Solution. - Hermann Kaindl; Stefan Kramer 001; Papa Samba Niang Diallo (Hypertext, 1999)

Reusing Single System Requirements from Application Family Requirements. - Mike Mannion; Hermann Kaindl; Joe Wheadon (ICSE, 1999)

Switching from Bidirectional to Unidirectional Search. - Hermann Kaindl; Gerhard Kainz; Roland Steiner; Andreas Auer; Klaus Radda (IJCAI, 1999)

Symbolic Modeling in Practice - Introduction. - Hermann Kaindl; John M. Carroll 001 (Commun. ACM, 1999)

Difficulties in the Transition from OO Analysis to Design. - Hermann Kaindl (IEEE Softw., 1999)

Tracing All Around. - Gerald Ebner; Hermann Kaindl (CAiSE, 2000)

Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? - Hermann Kaindl; John Mylopoulos (CAiSE, 2000)

Learning to Use Operational Advice. - Johannes Fürnkranz; Bernhard Pfahringer; Hermann Kaindl; Stefan Kramer 001 (ECAI, 2000)

Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? - Hermann Kaindl (ICRE, 2000)

Representing Requirements on Generic Software in an Application Family Model. - Mike Mannion; Oliver Lewis; Hermann Kaindl; Gianluca Montroni; Joe Wheadon (ICSR, 2000)

How difficult is the transition from OOA to OOD? (panel session). - Hermann Kaindl; Karl Frank; Ivar Jacobson; Stephen J. Mellor; Joaquin Miller; Laura Hill (OOPSLA Addendum, 2000)

ooSEM (poster session): a process model for object-oriented development in an industrial environment. - Hermann Kaindl; Stefan Huber 004; Ömer Karacan; Ilir Kondo; Herwig Schreiner; Helge-Wernhard Süß (OOPSLA Addendum, 2000)

Book Review: Scalable Search in computer chess - algorithmic enhancements and experiments at high search depth. - Hermann Kaindl (AI Commun., 2000)

A design process based on a model combining scenarios with goals and functions. - Hermann Kaindl (IEEE Trans. Syst. Man Cybern. Part A, 2000)

An Interactive Guide Through a Defined Modelling Process. - Hermann Kaindl; Stefan Kramer 001; Mario Hailing (BCS HCI/IHM, 2001)

Methods and modeling: fiction or useful reality? - Hermann Kaindl (CHI Extended Abstracts, 2001)

From Usage Scenarios to Widget Classes. - Hermann Kaindl; Rudolf Jezek (EHCI, 2001)

Adoption of Requirements Engineering: Conditions for Success. - Hermann Kaindl (RE, 2001)

Requirements-based product line engineering. - Mike Mannion; Hermann Kaindl (ESEC / SIGSOFT FSE, 2001)

Using hypermedia in requirements engineering practice. - Hermann Kaindl (New Rev. Hypermedia Multim., 2001)

Asymmetry in search. - Hermann Kaindl; Gerhard Kainz; Klaus Radda (IEEE Trans. Syst. Man Cybern. Part B, 2001)

From Usage Scenarios to User Interface Elements in a Few Steps. - Hermann Kaindl; Rudolf Jezek (CADUI, 2002)

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. - Hermann Kaindl; Sjaak Brinkkemper; Janis A. Bubenko Jr.; Barbara Farbey; Sol J. Greenspan; Constance L. Heitmeyer; Julio César Sampaio do Prado Leite; Nancy R. Mead; John Mylopoulos; Jawed I. A. Siddiqi (Requir. Eng., 2002)

Tracing All Around in Reengineering. - Gerald Ebner; Hermann Kaindl (IEEE Softw., 2002)

Metamodel-Compliance Checking of Requirements in a Semiformal Representation. - Hermann Kaindl; Stefan Kramer 001; Mario Hailing; Vahan Harput (CAiSE Short Paper Proceedings, 2003)

Structuring Business Models in a Web Representation. - Hermann Kaindl (HICSS, 2003)

A Case Study of Revisiting Best-First vs. Depth-First Search. - Andreas Auer; Hermann Kaindl (ECAI, 2004)

Active Tool Support for Requirements Engineering Through RETH. - Hermann Kaindl (RE, 2004)

Coupling and cohesion metrics for knowledge-based systems using frames and rules. - Stefan Kramer 001; Hermann Kaindl (ACM Trans. Softw. Eng. Methodol., 2004)

Using communicative acts in high-level specifications of user interfaces for their automated synthesis. - Jürgen Falb; Roman Popp; Thomas Röck; Helmut Jelinek; Edin Arnautovic; Hermann Kaindl (ASE, 2005)

Extending Function Point Analysis of Object-Oriented Requirements Specifications. - Vahan Harput; Hermann Kaindl; Stefan Kramer 001 (IEEE METRICS, 2005)

Is object-oriented requirements engineering of interest? - Hermann Kaindl (Requir. Eng., 2005)

A scenario-based approach for requirements engineering: Experience in a telecommunication software development project. - Hermann Kaindl (Syst. Eng., 2005)

A discourse model for interaction design based on theories of human communication. - Jürgen Falb; Hermann Kaindl; Helmut Horacek; Cristian Bogdan; Roman Popp; Edin Arnautovic (CHI Extended Abstracts, 2006)

An architecture for gradual transition towards self-managed software systems. - Edin Arnautovic; Hermann Kaindl; Jürgen Falb (ACM SIGSOFT Softw. Eng. Notes, 2006)

Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts. - Jürgen Falb; Roman Popp; Thomas Röck; Helmut Jelinek; Edin Arnautovic; Hermann Kaindl (HICSS, 2007)

UI Prototyping for Multiple Devices Through Specifying Interaction Design. - Jürgen Falb; Roman Popp; Thomas Röck; Helmut Jelinek; Edin Arnautovic; Hermann Kaindl (INTERACT (1), 2007)

How to Combine Requirements and Interaction Design Through Usage Scenarios. - Hermann Kaindl (INTERACT (2), 2007)

Transforming a Discourse Model to an Abstract User Interface Model. - Sevan Kavaldjian; Cristian Bogdan; Jürgen Falb; Hermann Kaindl (MDDAUI@MoDELS, 2007)

Transforming Discourse Models to Structural User Interface Models. - Sevan Kavaldjian; Cristian Bogdan; Jürgen Falb; Hermann Kaindl (MoDELS (Workshops), 2007)

Gradual transition towards autonomic software systems based on high-level communication specification. - Edin Arnautovic; Hermann Kaindl; Jürgen Falb; Roman Popp; Alexander Szep (SAC, 2007)

Multimodal communication involving movements of a robot. - Hermann Kaindl; Jürgen Falb; Cristian Bogdan (CHI Extended Abstracts, 2008)

What is an Aspect in Aspect-oriented Requirements Engineering? - Hermann Kaindl (EMMSAD, 2008)

Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. - Cristian Bogdan; Jürgen Falb; Hermann Kaindl; Sevan Kavaldjian; Roman Popp; Helmut Horacek; Edin Arnautovic; Alexander Szep (HICSS, 2008)

High-Level Modeling of Software-Management Interactions and Tasks for Autonomic Computing. - Edin Arnautovic; Hermann Kaindl; Jürgen Falb; Roman Popp (ICAS, 2008)

Can We Transform Requirements into Architecture? - Hermann Kaindl; Jürgen Falb (ICSEA, 2008)

Modeling of interaction design by end users through discourse modeling. - Cristian Bogdan; Hermann Kaindl; Jürgen Falb; Roman Popp (IUI, 2008)

How to Combine Requirements Engineering and Interaction Design? - Hermann Kaindl; Larry L. Constantine; Oscar Pastor 001; Alistair G. Sutcliffe; Didar Zowghi (RE, 2008)

An Integration of Requirements and User Interface Specifications. - Kizito Ssamula Mukasa; Hermann Kaindl (RE, 2008)

Reusing Terminology for Requirements Specifications from WordNet. - Katharina Wolter; Michal Smialek; Daniel Bildhauer; Hermann Kaindl (RE, 2008)

Using parameters and discriminants for product line requirements. - Mike Mannion; Hermann Kaindl (Syst. Eng., 2008)

Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. - Roman Popp; Jürgen Falb; Edin Arnautovic; Hermann Kaindl; Sevan Kavaldjian; Dominik Ertl; Helmut Horacek; Cristian Bogdan (HICSS, 2009)

Iterative Requirements Engineering and Architecting in Systems Engineering. - Hermann Kaindl; Edin Arnautovic; Dominik Ertl; Jürgen Falb (ICONS, 2009)

Support for Programming Embedded Software with Dynamically Typed Languages. - Harald Krapfenbauer; Dominik Ertl; Hermann Kaindl; Jürgen Falb (ICONS, 2009)

A Unification of the Essence of Goal-Oriented Requirements Engineering. - Hermann Kaindl; Patrick Wagner 003 (ICSEA, 2009)

Long-Term Perspective of Agile Methods. - Mira Kajko-Mattsson; Ademar Aguiar; Kenneth Boness; Hermann Kaindl; Rob Pooley; Andreas Tael (ICSEA, 2009)

What is an Aspect in Requirements Engineering? - Hermann Kaindl (ICSOFT (1), 2009)

Combining Requirements and Interaction Design through Usage Scenarios. - Hermann Kaindl (INTERACT (2), 2009)

Fully automatic user interface generation from discourse models. - Jürgen Falb; Sevan Kavaldjian; Roman Popp; David Raneburger; Edin Arnautovic; Hermann Kaindl (IUI, 2009)

An Analysis of Decision Quality of Minimaxing vs. Product Propagation. - Helmut Horacek; Hermann Kaindl (SMC, 2009)

Generating content presentation according to purpose. - Sevan Kavaldjian; Jürgen Falb; Hermann Kaindl (SMC, 2009)

Semi-automatic user interface generation considering pointing granularity. - Sevan Kavaldjian; David Raneburger; Jürgen Falb; Hermann Kaindl; Dominik Ertl (SMC, 2009)

An Automation Agent Architecture with A Reflective World Model in Manufacturing Systems. - Mathieu Vallée 001; Hermann Kaindl; Munir Merdan; Wilfried Lepuschitz; Edin Arnautovic; Pavel Vrba (SMC, 2009)

Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts. - Jürgen Falb; Roman Popp; Thomas Röck; Helmut Jelinek; Edin Arnautovic; Hermann Kaindl (Int. J. Web Eng. Technol., 2009)

Semi-automatically Configured Fission for Multimodal User Interfaces. - Dominik Ertl; Jürgen Falb; Hermann Kaindl (ACHI, 2010)

Model a discourse and transform it to your user interface. - Hermann Kaindl (EICS, 2010)

Semi-Automatically Generated High-Level Fusion for Multimodal User Interfaces. - Dominik Ertl; Sevan Kavaldjian; Hermann Kaindl; Jürgen Falb (HICSS, 2010)

An Approach to Method-Tool Coupling for Software Development. - Hermann Kaindl; Jürgen Falb; Stefan Melbinger; Thomas Bruckmayer (ICSEA, 2010)

Case-based Reuse with Partial Requirements Specifications. - Hermann Kaindl; Michal Smialek; Wiktor Nowakowski (RE, 2010)

Towards Self-Managed Systems Aware of Economic Value. - Edin Arnautovic; Hermann Kaindl (SASO Workshops, 2010)

On confusion between requirements and their representations. - Hermann Kaindl; Davor Svetinovic (Requir. Eng., 2010)

Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models. - David Raneburger; Roman Popp; Hermann Kaindl; Jürgen Falb; Dominik Ertl (EICS, 2011)

Robot-Supported Cooperative Work: A Shared-Shopping Scenario. - Hermann Kaindl; Roman Popp; David Raneburger; Dominik Ertl; Jürgen Falb; Alexander Szep; Cristian Bogdan (HICSS, 2011)

Scenario-Based Requirements Engineering Facilitating Interaction Design. - Hermann Kaindl (INTERACT (4), 2011)

UIs Automatically Optimized for Your Smartphone. - Hermann Kaindl (INTERACT (4), 2011)

A knowledge management perspective of requirements engineering. - Lukas Pilat; Hermann Kaindl (RCIS, 2011)

Automated WIMP-UI behavior generation: Parallelism and granularity of communication units. - David Raneburger; Roman Popp; Hermann Kaindl; Jürgen Falb (SMC, 2011)

Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen. - Jürgen Falb; Hermann Kaindl; Roman Popp; David Raneburger (i-com, 2011)

Optimized GUI Generation for Small Screens. - David Raneburger; Roman Popp; Sevan Kavaldjian; Hermann Kaindl; Jürgen Falb (Model-Driven Development of Advanced User Interfaces, 2011)

Product Line Requirements Reuse Based on Variability Management. - Mike Mannion; Hermann Kaindl (APSEC Workshops, 2012)

A transformation engine for model-driven UI generation. - Roman Popp; Jürgen Falb; David Raneburger; Hermann Kaindl (EICS, 2012)

A Case Study of Remote Interdisciplinary Designing through Video Prototypes. - Cristian Bogdan; Dominik Ertl; Jürgen Falb; Anders Green; Hermann Kaindl (HICSS, 2012)

Semi-automatic generation of multimodal user interfaces for dialogue-based interactive systems. - Dominik Ertl; Hermann Kaindl (ICMI, 2012)

Automated Generation of User Interfaces - Based on Use Case or Interaction Design Specifications?. - Hermann Kaindl; Roman Popp; David Raneburger (ICSOFT, 2012)

Requirements Meet Interaction Design. - Hermann Kaindl (PROFES, 2012)

Model-Based Transition from Requirements to High-Level Software Design. - Hermann Kaindl (APSEC (2), 2013)

Software Reuse Based on Business Processes and Requirements. - Hermann Kaindl (APSEC (2), 2013)

Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces. - Roman Popp; Hermann Kaindl; David Raneburger (APSEC (1), 2013)

Tool support for automated multi-device GUI generation from discourse-based communication models. - Roman Popp; David Raneburger; Hermann Kaindl (EICS, 2013)

Design Alternatives for GUI Development with Discourse-based Communication Models. - David Raneburger; Roman Popp; Hermann Kaindl (GI-Jahrestagung, 2013)

Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input. - Dominik Ertl; Jürgen Falb; Hermann Kaindl; Roman Popp; David Raneburger (HICSS, 2013)

Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. - David Raneburger; Roman Popp; Hermann Kaindl (ICSOFT, 2013)

A User Study with GUIs Tailored for Smartphones. - David Raneburger; David Alonso-Ríos; Roman Popp; Hermann Kaindl; Jürgen Falb (INTERACT (2), 2013)

Semi-automatic generation of recommendation processes and their GUIs. - Hermann Kaindl; Elmar P. Wach; Ada Okoli; Roman Popp; Ralph Hoch; Werner Gaulke; Tim Hussein (IUI, 2013)

Using a Mediator to Handle Undesired Feature Interaction of Automated Driving. - Dominik Ertl; Sven Dominka; Hermann Kaindl (SMC, 2013)

A User Study with GUIs Tailored for Smartphones and Tablet PCs. - David Raneburger; Roman Popp; David Alonso-Ríos; Hermann Kaindl; Jürgen Falb (SMC, 2013)

Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. - Hermann Kaindl; Mathieu Vallée 001; Edin Arnautovic (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules. - Roman Popp; Hermann Kaindl (CAiSE (Forum/Doctoral Consortium), 2014)

An Iterative and Incremental Process for Interaction Design through Automated GUI Generation. - David Raneburger; Roman Popp; Hermann Kaindl; Alexander Armbruster; Vedran Sajatovic (HCI (1), 2014)

Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation. - Filip Kis; Cristian Bogdan; Hermann Kaindl; Jürgen Falb (HICSS, 2014)

A user study on tailoring GUIs for smartphones. - David Alonso-Ríos; David Raneburger; Roman Popp; Hermann Kaindl; Jürgen Falb (SAC, 2014)

A process for facilitating interaction design through automated GUI generation. - David Raneburger; Hermann Kaindl; Roman Popp; Vedran Sajatovic; Alexander Armbruster (SAC, 2014)

Alternative interaction design patterns for automated GUI generation from Discourse-based Communication Models. - Hermann Kaindl; Roman Popp; David Raneburger (SMC, 2014)

Duality of task- and discourse-based interaction design for GUI generation. - Roman Popp; Hermann Kaindl; Simon Badalians; David Raneburger; Fabio Paternò (SMC, 2014)

Using similarity metrics for mining variability from software repositories. - Mike Mannion; Hermann Kaindl (SPLC Workshops, 2014)

Specifying Business Requirements through Interaction Design. - Roman Popp; Hermann Kaindl (CAiSE Forum, 2015)

Model transformation rules for customization of multi-device graphical user interfaces. - David Raneburger; Hermann Kaindl; Roman Popp (EICS, 2015)

Semantic Service Specification for V&V of Service Composition and Business Processes. - Ralph Hoch; Hermann Kaindl; Roman Popp; Dominik Ertl; Helmut Horacek (HICSS, 2015)

Strategies for Automated GUI Tailoring for Multiple Devices. - David Raneburger; Hermann Kaindl; Roman Popp (HICSS, 2015)

A Feature-Similarity Model for Product Line Engineering. - Hermann Kaindl; Mike Mannion (ICSR, 2015)

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. - Michael Rathmair; Ralph Hoch; Hermann Kaindl; Roman Popp (PoEM, 2015)

Automated refinement of business processes through model transformations specifying business rules. - Roman Popp; Hermann Kaindl (RCIS, 2015)

Towards reuse in safety risk analysis based on product line requirements. - Hermann Kaindl; Roman Popp; David Raneburger (RE, 2015)

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl (APSEC, 2016)

Towards a Common Safety Ontology for Automobiles and Railway Vehicles. - Bernhard Hulin; Hermann Kaindl; Thomas Rathfux; Roman Popp; Edin Arnautovic; Roland Beckert (EDCC, 2016)

Adding custom widgets to model-driven GUI generation. - Thomas Rathfux; Roman Popp; Hermann Kaindl (EICS, 2016)

Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. - Ralph Hoch; Hermann Kaindl; Roman Popp; Christian Zeidler (HICSS, 2016)

Reuse vs. Reusability of Software Supporting Business Processes. - Hermann Kaindl; Roman Popp; Ralph Hoch; Christian Zeidler (ICSR, 2016)

A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature with Standards for Automotive and Railway. - Hermann Kaindl; Thomas Rathfux; Bernhard Hulin; Roland Beckert; Edin Arnautovic; Roman Popp (HCSE/HESSD, 2016)

Optimization of feature interactions for automotive combustion engines. - Dominik Wagner 003; Hermann Kaindl; Sven Dominka; Michael Dübner (SAC, 2016)

Verification of Business Processes Against Business Rules Using Object Life Cycles. - Ralph Hoch; Michael Rathmair; Hermann Kaindl; Roman Popp (WorldCIST (1), 2016)

High-level interaction design for automated GUI generation and customization. - Hermann Kaindl (EICS, 2017)

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. - Christoph Luckeneder; Michael Rathmair; Hermann Kaindl (HICSS, 2017)

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. - Roman Popp; Ralph Hoch; Hermann Kaindl (HICSS, 2017)

Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. - Roman Popp; Hermann Kaindl (HICSS, 2017)

High-level Verification and Validation of Software Supporting Business Processes. - Hermann Kaindl (ICEIS (1), 2017)

Automated Unit Testing in Model-based Embedded Software Development. - Christoph Luckeneder; Hermann Kaindl; Martin Korinek (ICSOFT, 2017)

Semantic task specification in business process context. - Hermann Kaindl; Ralph Hoch; Roman Popp (RCIS, 2017)

Product Line Strategies and Feature Reuse. - Mike Mannion; Hermann Kaindl; Juha Savolainen (SPLC (A), 2017)

Product Propagation: A Backup Rule Better Than Minimaxing? - Hermann Kaindl; Helmut Horacek; Anton Scheucher (IEEE Trans. Comput. Intell. AI Games, 2017)

Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility. - Thomas Rathfux; Jasmin Thöner; Hermann Kaindl; Roman Popp (EICS, 2018)

Verification of Feature Coordination using the Fluent Calculus. - Ralph Hoch; Hermann Kaindl (ENASE, 2018)

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. - Hermann Kaindl; Ralph Hoch; Michael Rathmair; Christoph Luckeneder (ENASE (Selected Papers), 2018)

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl; Carna Radojicic (HICSS, 2018)

Taming and optimizing feature interaction in software-intensive automotive systems. - Sven Dominka; Dominik Ertl; Michael Dübner; Romana Wiesinger; Hermann Kaindl (ICPS, 2018)

Systematic top-down design of cyber-physical models with integrated validation and formal verification. - Christoph Luckeneder; Hermann Kaindl (ICSE (Companion Volume), 2018)

Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. - Hermann Kaindl; Franz Lukasch; Matthias Heigl; Sevan Kavaldjian; Christoph Luckeneder; Sebastian Rausch (ICST Workshops, 2018)

On the development of consistent user interfaces (extended abstract). - Anthony Anjorin; Enes Yigitbas; Hermann Kaindl; Roman Popp (Programming, 2018)

Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models. - Hermann Kaindl; Mike Mannion (RE, 2018)

Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. - Bernhard Hulin; Hermann Kaindl; Roland Beckert; Thomas Rathfux; Roman Popp (SAFECOMP, 2018)

An inductive learning perspective on automated generation of feature models from given product specifications. - Hermann Kaindl; Stefan Kramer 001; Ralph Hoch (SPLC, 2018)

Software reuse and mass customisation: feature modelling vs. case-based reasoning. - Hermann Kaindl; Mike Mannion (SPLC, 2018)

Consistent Runtime Adaptation of User Interfaces. - Anthony Anjorin; Enes Yigitbas; Hermann Kaindl (Bx@PLW, 2019)

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. - Thomas Rathfux; Hermann Kaindl; Ralph Hoch; Franz Lukasch (ENASE, 2019)

Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. - Thomas Rathfux; Hermann Kaindl; Ralph Hoch; Franz Lukasch (ICSOFT, 2019)

Human-Machine Interaction. - Hermann Kaindl (IHIET, 2019)

Specifying Requirements through Interaction Design. - Hermann Kaindl (RE, 2019)

Software Reuse and Reusability Based on Requirements: Feature Modelling vs. Case-Based Reasoning. - Hermann Kaindl; Mike Mannion (RE, 2019)

Avoiding Undertrust and Overtrust. - Hermann Kaindl; Davor Svetinovic (REFSQ Workshops, 2019)

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. - Christoph Luckeneder; Hermann Kaindl (SAC, 2019)

Software reuse for mass customization. - Mike Mannion; Hermann Kaindl (SPLC (A), 2019)

Towards an Extended Requirements Problem Formulation for Superintelligence Safety. - Hermann Kaindl; Jonas Ferdigg (AIRE@RE, 2020)

A Bibliometric Analysis of the HICSS Software Technology Track. - Tor-Morten Grønli; Tim A. Majchrzak; Hermann Kaindl (HICSS, 2020)

Estimating Problem Instance Difficulty. - Hermann Kaindl; Ralph Hoch; Roman Popp (ICEIS (1), 2020)

An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. - Hermann Kaindl; Ralph Hoch; Roman Popp; Thomas Rathfux; Franz Lukasch (ICEIS (Revised Selected Papers), 2020)

Towards Probabilistic Analysis of Human-System Integration in Automated Driving. - Ephraim Suhir; Gunther Paul; Hermann Kaindl (IHSI, 2020)

Towards Requirements Engineering for Superintelligence Safety. - Hermann Kaindl; Jonas Ferdigg (REFSQ Workshops, 2020)

Software reuse and mass personalization. - Mike Mannion; Hermann Kaindl (SPLC (A), 2020)

Towards Probability-based Safety Verification of Systems with Components from Machine Learning. - Hermann Kaindl; Stefan Kramer 001 (CoRR, 2020)

A Simulation-based Performance Evaluation of Heuristics for Dew Computing. - Matías Hirsch; Cristian Mateos; Alejandro Zunino; Tim A. Majchrzak; Tor-Morten Grønli; Hermann Kaindl (HICSS, 2021)

Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. - Hermann Kaindl; Tor-Morten Grønli; Tim A. Majchrzak (HICSS, 2021)

Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines. - Mike Mannion; Hermann Kaindl (ICEIS (2), 2021)

High-Level Interaction Design with Discourse Models for Automated Web GUI Generation. - Hermann Kaindl (ICWE, 2021)

ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation. - Hermann Kaindl (IUI Companion, 2021)

Requirements Reuse for Exploring Stakeholder Needs. - Hermann Kaindl; Mike Mannion (RE, 2021)

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 (RO-MAN, 2021)

Reuse for mass personalisation through feature models and similarities. - Mike Mannion; Hermann Kaindl (SPLC (A), 2021)

Enhancing Product Comparison through Automated Similarity Matching. - Mike Mannion; Hermann Kaindl (EASE, 2022)

The Use of Cross-Platform Frameworks for Google Play Store Apps. - Andreas Biørn-Hansen; Tor-Morten Grønli; Tim A. Majchrzak; Hermann Kaindl; Gheorghita Ghinea (HICSS, 2022)

Assigning Systems to Test Environments Through Ontological Reasoning. - Petar Paradzikovic; Ralph Hoch; Hermann Kaindl (SEMANTiCS, 2022)

Similarity matching for product comparison. - Mike Mannion; Hermann Kaindl (SPLC (A), 2022)

Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. - Ralph Hoch; Christoph Luckeneder; Roman Popp; Hermann Kaindl (IEEE Trans. Software Eng., 2022)

Determining the Relative Importance of Features for Influencing Software Product Similarity Matching. - Mike Mannion; Hermann Kaindl (COMPSAC, 2023)

Towards Using Structural Abstraction for Model Checking. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (DSA, 2023)

Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. - Christian Stippel; Benjamin Schwendinger; Michael Kammerhofer; Ralph Hoch; Hermann Kaindl; Thilo Sauter (GECCO Companion, 2023)

Automated Web GUI Generation from High-Level Interaction Design with Discourse Models. - Hermann Kaindl (ICWE, 2023)

Superintelligence Safety: A Requirements Engineering Perspective. - Hermann Kaindl; Jonas Ferdigg (Adv. Artif. Intell. Mach. Learn., 2023)

Introduction to the Minitrack on Software Technology and Software Development. - Tim A. Majchrzak; Tor-Morten Grønli; Hermann Kaindl (HICSS, 2024)

Evaluating the Relative Importance of Product Line Features Using Centrality Metrics. - Fathiya Mohammed; Mike Mannion; Hermann Kaindl; James H. Paterson (ICSOFT, 2024)

Comparing Products using Similarity Matching. - Mike Mannion; Hermann Kaindl (SPLC (A), 2024)

Structural Abstraction and Selective Refinement for Formal Verification. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (CoRR, 2025)