Hermann Kaindl

251 papers A* 10A 24B 34C 13Misc 16Journal 45Unranked 104

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Dynamically Optimizing the Allocation of Electric Vehicles to Charging Sites. ICECET Hermann Kaindl, Christian Sallinger, Michael Kammerhofer, Ralph Hoch, Sven Dominka
2025	—	`conf`	Exploring Design Alternatives for Automated Web GUI Generation. CHIRA (3) Hermann Kaindl, Roman Popp, David Raneburger
2025	J	`jnl`	Structural Abstraction and Selective Refinement for Formal Verification. CoRR Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
2024	—	`conf`	Comparing Products using Similarity Matching. SPLC (A) Mike Mannion, Hermann Kaindl
2024	C	`conf`	Evaluating the Relative Importance of Product Line Features Using Centrality Metrics. ICSOFT Fathiya Mohammed, Mike Mannion, Hermann Kaindl, James H. Paterson
2024	—	`conf`	Introduction to the Minitrack on Software Technology and Software Development. HICSS Tim A. Majchrzak, Tor-Morten Grønli, Hermann Kaindl
2024	B	`ed.`	Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024. ENASE Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek
2023	B	`conf`	Automated Web GUI Generation from High-Level Interaction Design with Discourse Models. ICWE Hermann Kaindl
2023	B	`conf`	Determining the Relative Importance of Features for Influencing Software Product Similarity Matching. COMPSAC Mike Mannion, Hermann Kaindl
2023	—	`ed.`	Evaluation of Novel Approaches to Software Engineering - 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers ENASE (Selected Papers) Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek
2023	—	`conf`	Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS Tor-Morten Grønli, Hermann Kaindl, Tim A. Majchrzak
2023	B	`ed.`	Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023. ENASE Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek
2023	J	`jnl`	Superintelligence Safety: A Requirements Engineering Perspective. Adv. Artif. Intell. Mach. Learn. Hermann Kaindl, Jonas Ferdigg
2023	—	`conf`	Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. GECCO Companion Christian Stippel, Benjamin Schwendinger, Michael Kammerhofer, Ralph Hoch, Hermann Kaindl, Thilo Sauter
2023	—	`conf`	Towards Using Structural Abstraction for Model Checking. DSA Christoph Luckeneder, Ralph Hoch, Hermann Kaindl
2022	Misc	`conf`	Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS Petar Paradzikovic, Ralph Hoch, Hermann Kaindl
2022	A	`conf`	Enhancing Product Comparison through Automated Similarity Matching. EASE Mike Mannion, Hermann Kaindl
2022	—	`ed.`	Evaluation of Novel Approaches to Software Engineering - 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers ENASE (Selected Papers) Raian Ali, Hermann Kaindl, Leszek A. Maciaszek
2022	—	`conf`	Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli
2022	B	`ed.`	Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022. ENASE Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek
2022	—	`conf`	Similarity matching for product comparison. SPLC (A) Mike Mannion, Hermann Kaindl
2022	—	`conf`	The Use of Cross-Platform Frameworks for Google Play Store Apps. HICSS Andreas Biørn-Hansen, Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl, Gheorghita Ghinea
2022	J	`jnl`	Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. Ralph Hoch, Christoph Luckeneder, Roman Popp, Hermann Kaindl
2021	—	`conf`	A Simulation-based Performance Evaluation of Heuristics for Dew Computing. HICSS Matías Hirsch, Cristian Mateos, Alejandro Zunino, Tim A. Majchrzak, Tor-Morten Grønli, Hermann Kaindl
2021	—	`ed.`	Evaluation of Novel Approaches to Software Engineering - 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers ENASE (Selected Papers) Raian Ali, Hermann Kaindl, Leszek A. Maciaszek
2021	B	`conf`	Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl
2021	B	`conf`	High-Level Interaction Design with Discourse Models for Automated Web GUI Generation. ICWE Hermann Kaindl
2021	—	`conf`	Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS Hermann Kaindl, Tor-Morten Grønli, Tim A. Majchrzak
2021	—	`conf`	ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation. IUI Companion Hermann Kaindl
2021	B	`ed.`	Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021. ENASE Raian Ali, Hermann Kaindl, Leszek A. Maciaszek
2021	A	`conf`	Requirements Reuse for Exploring Stakeholder Needs. RE Hermann Kaindl, Mike Mannion
2021	—	`conf`	Reuse for mass personalisation through feature models and similarities. SPLC (A) Mike Mannion, Hermann Kaindl
2021	—	`conf`	Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines. ICEIS (2) Mike Mannion, Hermann Kaindl
2020	—	`conf`	A Bibliometric Analysis of the HICSS Software Technology Track. HICSS Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl
2020	—	`conf`	An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. ICEIS (Revised Selected Papers) Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch
2020	—	`conf`	Estimating Problem Instance Difficulty. ICEIS (1) Hermann Kaindl, Ralph Hoch, Roman Popp
2020	—	`conf`	Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli
2020	B	`ed.`	Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020. ENASE Raian Ali, Hermann Kaindl, Leszek A. Maciaszek
2020	—	`conf`	Software reuse and mass personalization. SPLC (A) Mike Mannion, Hermann Kaindl
2020	—	`conf`	Towards Probabilistic Analysis of Human-System Integration in Automated Driving. IHSI Ephraim Suhir, Gunther Paul, Hermann Kaindl
2020	J	`jnl`	Towards Probability-based Safety Verification of Systems with Components from Machine Learning. CoRR Hermann Kaindl, Stefan Kramer
2020	—	`conf`	Towards Requirements Engineering for Superintelligence Safety. REFSQ Workshops Hermann Kaindl, Jonas Ferdigg
2020	—	`conf`	Towards an Extended Requirements Problem Formulation for Superintelligence Safety. AIRE@RE Hermann Kaindl, Jonas Ferdigg
2019	Misc	`conf`	A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. SAC Christoph Luckeneder, Hermann Kaindl
2019	B	`conf`	An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2019	—	`conf`	Avoiding Undertrust and Overtrust. REFSQ Workshops Hermann Kaindl, Davor Svetinovic
2019	—	`conf`	Consistent Runtime Adaptation of User Interfaces. Bx@PLW Anthony Anjorin, Enes Yigitbas, Hermann Kaindl
2019	C	`conf`	Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch
2019	—	`conf`	Human-Machine Interaction. IHIET Hermann Kaindl
2019	A	`conf`	Software Reuse and Reusability Based on Requirements: Feature Modelling vs. Case-Based Reasoning. RE Hermann Kaindl, Mike Mannion
2019	—	`conf`	Software reuse for mass customization. SPLC (A) Mike Mannion, Hermann Kaindl
2019	A	`conf`	Specifying Requirements through Interaction Design. RE Hermann Kaindl
2019	J	`jnl`	Superintelligence Safety: A Requirements Engineering Perspective. CoRR Hermann Kaindl, Jonas Ferdigg
2018	B	`conf`	An inductive learning perspective on automated generation of feature models from given product specifications. SPLC Hermann Kaindl, Stefan Kramer, Ralph Hoch
2018	Misc	`conf`	Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility. EICS Thomas Rathfux, Jasmin Thöner, Hermann Kaindl, Roman Popp
2018	—	`conf`	Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder
2018	—	`conf`	On the development of consistent user interfaces (extended abstract). Programming Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp
2018	—	`conf`	Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
2018	A	`conf`	Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models. RE Hermann Kaindl, Mike Mannion
2018	B	`conf`	Software reuse and mass customisation: feature modelling vs. case-based reasoning. SPLC Hermann Kaindl, Mike Mannion
2018	—	`conf`	Systematic top-down design of cyber-physical models with integrated validation and formal verification. ICSE (Companion Volume) Christoph Luckeneder, Hermann Kaindl
2018	—	`conf`	Taming and optimizing feature interaction in software-intensive automotive systems. ICPS Sven Dominka, Dominik Ertl, Michael Dübner, Romana Wiesinger, Hermann Kaindl
2018	B	`conf`	Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. SAFECOMP Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp
2018	—	`conf`	Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. ICST Workshops Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch
2018	B	`conf`	Verification of Feature Coordination using the Fluent Calculus. ENASE Ralph Hoch, Hermann Kaindl
2017	—	`conf`	A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. HICSS Roman Popp, Ralph Hoch, Hermann Kaindl
2017	C	`conf`	Automated Unit Testing in Model-based Embedded Software Development. ICSOFT Christoph Luckeneder, Hermann Kaindl, Martin Korinek
2017	B	`conf`	High-level Verification and Validation of Software Supporting Business Processes. ENASE Hermann Kaindl
2017	—	`conf`	High-level Verification and Validation of Software Supporting Business Processes. ICEIS (1) Hermann Kaindl
2017	Misc	`conf`	High-level interaction design for automated GUI generation and customization. EICS Hermann Kaindl
2017	—	`conf`	Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS Christoph Luckeneder, Michael Rathmair, Hermann Kaindl
2017	—	`conf`	Product Line Strategies and Feature Reuse. SPLC (A) Mike Mannion, Hermann Kaindl, Juha Savolainen
2017	J	`jnl`	Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intell. AI Games Hermann Kaindl, Helmut Horacek, Anton Scheucher
2017	B	`conf`	Semantic task specification in business process context. RCIS Hermann Kaindl, Ralph Hoch, Roman Popp
2017	—	`conf`	Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. HICSS Roman Popp, Hermann Kaindl
2016	—	`conf`	A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature with Standards for Automotive and Railway. HCSE/HESSD Hermann Kaindl, Thomas Rathfux, Bernhard Hulin, Roland Beckert, Edin Arnautovic, Roman Popp
2016	Misc	`conf`	Adding custom widgets to model-driven GUI generation. EICS Thomas Rathfux, Roman Popp, Hermann Kaindl
2016	—	`conf`	Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. HICSS Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler
2016	C	`conf`	Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC Michael Rathmair, Christoph Luckeneder, Hermann Kaindl
2016	Misc	`conf`	Optimization of feature interactions for automotive combustion engines. SAC Dominik Wagner, Hermann Kaindl, Sven Dominka, Michael Dübner
2016	B	`conf`	Reuse vs. Reusability of Software Supporting Business Processes. ICSR Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler
2016	Misc	`conf`	Towards a Common Safety Ontology for Automobiles and Railway Vehicles. EDCC Bernhard Hulin, Hermann Kaindl, Thomas Rathfux, Roman Popp, Edin Arnautovic, Roland Beckert
2016	—	`conf`	Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp
2015	B	`conf`	A Feature-Similarity Model for Product Line Engineering. ICSR Hermann Kaindl, Mike Mannion
2015	B	`conf`	Automated refinement of business processes through model transformations specifying business rules. RCIS Roman Popp, Hermann Kaindl
2015	Misc	`conf`	Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp
2015	Misc	`conf`	Model transformation rules for customization of multi-device graphical user interfaces. EICS David Raneburger, Hermann Kaindl, Roman Popp
2015	—	`conf`	Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
2015	—	`conf`	Specifying Business Requirements through Interaction Design. CAiSE Forum Roman Popp, Hermann Kaindl
2015	—	`conf`	Strategies for Automated GUI Tailoring for Multiple Devices. HICSS David Raneburger, Hermann Kaindl, Roman Popp
2015	A	`conf`	Towards reuse in safety risk analysis based on product line requirements. RE Hermann Kaindl, Roman Popp, David Raneburger
2014	Misc	`conf`	A process for facilitating interaction design through automated GUI generation. SAC David Raneburger, Hermann Kaindl, Roman Popp, Vedran Sajatovic, Alexander Armbruster
2014	Misc	`conf`	A user study on tailoring GUIs for smartphones. SAC David Alonso-Ríos, David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb
2014	B	`conf`	Alternative interaction design patterns for automated GUI generation from Discourse-based Communication Models. SMC Hermann Kaindl, Roman Popp, David Raneburger
2014	—	`conf`	An Iterative and Incremental Process for Interaction Design through Automated GUI Generation. HCI (1) David Raneburger, Roman Popp, Hermann Kaindl, Alexander Armbruster, Vedran Sajatovic
2014	—	`conf`	Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules. CAiSE (Forum/Doctoral Consortium) Roman Popp, Hermann Kaindl
2014	B	`conf`	Duality of task- and discourse-based interaction design for GUI generation. SMC Roman Popp, Hermann Kaindl, Simon Badalians, David Raneburger, Fabio Paternò
2014	—	`conf`	Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation. HICSS Filip Kis, Cristian Bogdan, Hermann Kaindl, Jürgen Falb
2014	—	`conf`	Using similarity metrics for mining variability from software repositories. SPLC Workshops Mike Mannion, Hermann Kaindl
2013	B	`conf`	A User Study with GUIs Tailored for Smartphones and Tablet PCs. SMC David Raneburger, Roman Popp, David Alonso-Ríos, Hermann Kaindl, Jürgen Falb
2013	—	`conf`	A User Study with GUIs Tailored for Smartphones. INTERACT (2) David Raneburger, David Alonso-Ríos, Roman Popp, Hermann Kaindl, Jürgen Falb
2013	—	`conf`	Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces. APSEC (1) Roman Popp, Hermann Kaindl, David Raneburger
2013	—	`conf`	Design Alternatives for GUI Development with Discourse-based Communication Models. GI-Jahrestagung David Raneburger, Roman Popp, Hermann Kaindl
2013	—	`conf`	Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input. HICSS Dominik Ertl, Jürgen Falb, Hermann Kaindl, Roman Popp, David Raneburger
2013	—	`conf`	Model-Based Transition from Requirements to High-Level Software Design. APSEC (2) Hermann Kaindl
2013	B	`conf`	Model-Based Transition from Requirements to High-Level Software Design. PROFES Hermann Kaindl
2013	C	`conf`	Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. ICSOFT David Raneburger, Roman Popp, Hermann Kaindl
2013	J	`jnl`	Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. IEEE Trans. Syst. Man Cybern. Syst. Hermann Kaindl, Mathieu Vallée, Edin Arnautovic
2013	A	`conf`	Semi-automatic generation of recommendation processes and their GUIs. IUI Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein
2013	—	`conf`	Software Reuse Based on Business Processes and Requirements. APSEC (2) Hermann Kaindl
2013	Misc	`conf`	Tool support for automated multi-device GUI generation from discourse-based communication models. EICS Roman Popp, David Raneburger, Hermann Kaindl
2013	B	`conf`	Using a Mediator to Handle Undesired Feature Interaction of Automated Driving. SMC Dominik Ertl, Sven Dominka, Hermann Kaindl
2012	—	`conf`	A Case Study of Remote Interdisciplinary Designing through Video Prototypes. HICSS Cristian Bogdan, Dominik Ertl, Jürgen Falb, Anders Green, Hermann Kaindl
2012	Misc	`conf`	A transformation engine for model-driven UI generation. EICS Roman Popp, Jürgen Falb, David Raneburger, Hermann Kaindl
2012	C	`conf`	Automated Generation of User Interfaces - Based on Use Case or Interaction Design Specifications?. ICSOFT Hermann Kaindl, Roman Popp, David Raneburger
2012	—	`conf`	Product Line Requirements Reuse Based on Variability Management. APSEC Workshops Mike Mannion, Hermann Kaindl
2012	B	`conf`	Requirements Meet Interaction Design. PROFES Hermann Kaindl
2012	B	`conf`	Semi-automatic generation of multimodal user interfaces for dialogue-based interactive systems. ICMI Dominik Ertl, Hermann Kaindl
2011	B	`conf`	A knowledge management perspective of requirements engineering. RCIS Lukas Pilat, Hermann Kaindl
2011	B	`conf`	Automated WIMP-UI behavior generation: Parallelism and granularity of communication units. SMC David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb
2011	Misc	`conf`	Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models. EICS David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb, Dominik Ertl
2011	J	`jnl`	Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen. i-com Jürgen Falb, Hermann Kaindl, Roman Popp, David Raneburger
2011	—	`ch.`	Optimized GUI Generation for Small Screens. Model-Driven Development of Advanced User Interfaces David Raneburger, Roman Popp, Sevan Kavaldjian, Hermann Kaindl, Jürgen Falb
2011	—	`conf`	Robot-Supported Cooperative Work: A Shared-Shopping Scenario. HICSS Hermann Kaindl, Roman Popp, David Raneburger, Dominik Ertl, Jürgen Falb, Alexander Szep, Cristian Bogdan
2011	—	`conf`	Scenario-Based Requirements Engineering Facilitating Interaction Design. INTERACT (4) Hermann Kaindl
2011	—	`conf`	UIs Automatically Optimized for Your Smartphone. INTERACT (4) Hermann Kaindl
2010	C	`conf`	An Approach to Method-Tool Coupling for Software Development. ICSEA Hermann Kaindl, Jürgen Falb, Stefan Melbinger, Thomas Bruckmayer
2010	A	`conf`	Case-based Reuse with Partial Requirements Specifications. RE Hermann Kaindl, Michal Smialek, Wiktor Nowakowski
2010	Misc	`conf`	Model a discourse and transform it to your user interface. EICS Hermann Kaindl
2010	J	`jnl`	On confusion between requirements and their representations. Requir. Eng. Hermann Kaindl, Davor Svetinovic
2010	—	`conf`	Semi-Automatically Generated High-Level Fusion for Multimodal User Interfaces. HICSS Dominik Ertl, Sevan Kavaldjian, Hermann Kaindl, Jürgen Falb
2010	C	`conf`	Semi-automatically Configured Fission for Multimodal User Interfaces. ACHI Dominik Ertl, Jürgen Falb, Hermann Kaindl
2010	C	`ed.`	The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France ICSEA Jon G. Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki
2010	—	`conf`	Towards Self-Managed Systems Aware of Economic Value. SASO Workshops Edin Arnautovic, Hermann Kaindl
2009	C	`conf`	A Unification of the Essence of Goal-Oriented Requirements Engineering. ICSEA Hermann Kaindl, Patrick Wagner
2009	B	`conf`	An Analysis of Decision Quality of Minimaxing vs. Product Propagation. SMC Helmut Horacek, Hermann Kaindl
2009	B	`conf`	An Automation Agent Architecture with A Reflective World Model in Manufacturing Systems. SMC Mathieu Vallée, Hermann Kaindl, Munir Merdan, Wilfried Lepuschitz, Edin Arnautovic, Pavel Vrba
2009	—	`conf`	Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. HICSS Roman Popp, Jürgen Falb, Edin Arnautovic, Hermann Kaindl, Sevan Kavaldjian, Dominik Ertl, Helmut Horacek, Cristian Bogdan
2009	—	`conf`	Combining Requirements and Interaction Design through Usage Scenarios. INTERACT (2) Hermann Kaindl
2009	J	`jnl`	Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts. Int. J. Web Eng. Technol. Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl
2009	A	`conf`	Fully automatic user interface generation from discourse models. IUI Jürgen Falb, Sevan Kavaldjian, Roman Popp, David Raneburger, Edin Arnautovic, Hermann Kaindl
2009	B	`conf`	Generating content presentation according to purpose. SMC Sevan Kavaldjian, Jürgen Falb, Hermann Kaindl
2009	—	`conf`	Iterative Requirements Engineering and Architecting in Systems Engineering. ICONS Hermann Kaindl, Edin Arnautovic, Dominik Ertl, Jürgen Falb
2009	C	`conf`	Long-Term Perspective of Agile Methods. ICSEA Mira Kajko-Mattsson, Ademar Aguiar, Kenneth Boness, Hermann Kaindl, Rob Pooley, Andreas Tael
2009	—	`conf`	Model a Discourse and Transform It to Your User Interface. INTERACT (2) Hermann Kaindl
2009	B	`conf`	Semi-automatic user interface generation considering pointing granularity. SMC Sevan Kavaldjian, David Raneburger, Jürgen Falb, Hermann Kaindl, Dominik Ertl
2009	—	`conf`	Support for Programming Embedded Software with Dynamically Typed Languages. ICONS Harald Krapfenbauer, Dominik Ertl, Hermann Kaindl, Jürgen Falb
2009	—	`conf`	What is an Aspect in Requirements Engineering? ICSOFT (1) Hermann Kaindl
2008	A	`conf`	An Integration of Requirements and User Interface Specifications. RE Kizito Ssamula Mukasa, Hermann Kaindl
2008	C	`conf`	Can We Transform Requirements into Architecture? ICSEA Hermann Kaindl, Jürgen Falb
2008	—	`conf`	Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. HICSS Cristian Bogdan, Jürgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic, Alexander Szep
2008	—	`conf`	High-Level Modeling of Software-Management Interactions and Tasks for Autonomic Computing. ICAS Edin Arnautovic, Hermann Kaindl, Jürgen Falb, Roman Popp
2008	A	`conf`	How to Combine Requirements Engineering and Interaction Design? RE Hermann Kaindl, Larry L. Constantine, Oscar Pastor, Alistair G. Sutcliffe, Didar Zowghi
2008	A	`conf`	Modeling of interaction design by end users through discourse modeling. IUI Cristian Bogdan, Hermann Kaindl, Jürgen Falb, Roman Popp
2008	—	`conf`	Multimodal communication involving movements of a robot. CHI Extended Abstracts Hermann Kaindl, Jürgen Falb, Cristian Bogdan
2008	A	`conf`	Reusing Terminology for Requirements Specifications from WordNet. RE Katharina Wolter, Michal Smialek, Daniel Bildhauer, Hermann Kaindl
2008	J	`jnl`	Using parameters and discriminants for product line requirements. Syst. Eng. Mike Mannion, Hermann Kaindl
2008	C	`conf`	What is an Aspect in Aspect-oriented Requirements Engineering? EMMSAD Hermann Kaindl
2007	—	`conf`	Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts. HICSS Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl
2007	Misc	`conf`	Gradual transition towards autonomic software systems based on high-level communication specification. SAC Edin Arnautovic, Hermann Kaindl, Jürgen Falb, Roman Popp, Alexander Szep
2007	—	`conf`	How to Combine Requirements and Interaction Design Through Usage Scenarios. INTERACT (2) Hermann Kaindl
2007	—	`conf`	Transforming Discourse Models to Structural User Interface Models. MoDELS (Workshops) Sevan Kavaldjian, Cristian Bogdan, Jürgen Falb, Hermann Kaindl
2007	—	`conf`	Transforming a Discourse Model to an Abstract User Interface Model. MDDAUI@MoDELS Sevan Kavaldjian, Cristian Bogdan, Jürgen Falb, Hermann Kaindl
2007	—	`conf`	UI Prototyping for Multiple Devices Through Specifying Interaction Design. INTERACT (1) Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl
2006	—	`conf`	A discourse model for interaction design based on theories of human communication. CHI Extended Abstracts Jürgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic
2006	J	`jnl`	An architecture for gradual transition towards self-managed software systems. ACM SIGSOFT Softw. Eng. Notes Edin Arnautovic, Hermann Kaindl, Jürgen Falb
2005	J	`jnl`	A scenario-based approach for requirements engineering: Experience in a telecommunication software development project. Syst. Eng. Hermann Kaindl
2005	—	`conf`	Extending Function Point Analysis of Object-Oriented Requirements Specifications. IEEE METRICS Vahan Harput, Hermann Kaindl, Stefan Kramer
2005	J	`jnl`	Is object-oriented requirements engineering of interest? Requir. Eng. Hermann Kaindl
2005	A*	`conf`	Using communicative acts in high-level specifications of user interfaces for their automated synthesis. ASE Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl
2004	A	`conf`	A Case Study of Revisiting Best-First vs. Depth-First Search. ECAI Andreas Auer, Hermann Kaindl
2004	A	`conf`	Active Tool Support for Requirements Engineering Through RETH. RE Hermann Kaindl
2004	J	`jnl`	Coupling and cohesion metrics for knowledge-based systems using frames and rules. ACM Trans. Softw. Eng. Methodol. Stefan Kramer, Hermann Kaindl
2003	—	`conf`	Metamodel-Compliance Checking of Requirements in a Semiformal Representation. CAiSE Short Paper Proceedings Hermann Kaindl, Stefan Kramer, Mario Hailing, Vahan Harput
2003	—	`conf`	Structuring Business Models in a Web Representation. HICSS Hermann Kaindl
2002	—	`conf`	From Usage Scenarios to User Interface Elements in a Few Steps. CADUI Hermann Kaindl, Rudolf Jezek
2002	J	`jnl`	Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. Requir. Eng. 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
2002	J	`jnl`	Tracing All Around in Reengineering. IEEE Softw. Gerald Ebner, Hermann Kaindl
2001	A	`conf`	Adoption of Requirements Engineering: Conditions for Success. RE Hermann Kaindl
2001	—	`conf`	An Interactive Guide Through a Defined Modelling Process. BCS HCI/IHM Hermann Kaindl, Stefan Kramer, Mario Hailing
2001	J	`jnl`	Asymmetry in search. IEEE Trans. Syst. Man Cybern. Part B Hermann Kaindl, Gerhard Kainz, Klaus Radda
2001	—	`conf`	From Usage Scenarios to Widget Classes. EHCI Hermann Kaindl, Rudolf Jezek
2001	—	`conf`	Methods and modeling: fiction or useful reality? CHI Extended Abstracts Hermann Kaindl
2001	—	`conf`	Requirements-based product line engineering. ESEC / SIGSOFT FSE Mike Mannion, Hermann Kaindl
2001	J	`jnl`	Using hypermedia in requirements engineering practice. New Rev. Hypermedia Multim. Hermann Kaindl
2000	J	`jnl`	A design process based on a model combining scenarios with goals and functions. IEEE Trans. Syst. Man Cybern. Part A Hermann Kaindl
2000	J	`jnl`	Book Review: Scalable Search in computer chess - algorithmic enhancements and experiments at high search depth. AI Commun. Hermann Kaindl
2000	—	`conf`	How difficult is the transition from OOA to OOD? (panel session). OOPSLA Addendum Hermann Kaindl, Karl Frank, Ivar Jacobson, Stephen J. Mellor, Joaquin Miller, Laura Hill
2000	A	`conf`	Learning to Use Operational Advice. ECAI Johannes Fürnkranz, Bernhard Pfahringer, Hermann Kaindl, Stefan Kramer
2000	B	`conf`	Representing Requirements on Generic Software in an Application Family Model. ICSR Mike Mannion, Oliver Lewis, Hermann Kaindl, Gianluca Montroni, Joe Wheadon
2000	A	`conf`	Tracing All Around. CAiSE Gerald Ebner, Hermann Kaindl
2000	A	`conf`	Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? CAiSE Hermann Kaindl, John Mylopoulos
2000	—	`conf`	Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? ICRE Hermann Kaindl
2000	—	`conf`	ooSEM (poster session): a process model for object-oriented development in an industrial environment. OOPSLA Addendum Hermann Kaindl, Stefan Huber, Ömer Karacan, Ilir Kondo, Herwig Schreiner, Helge-Wernhard Süß
1999	J	`jnl`	Difficulties in the Transition from OO Analysis to Design. IEEE Softw. Hermann Kaindl
1999	A*	`conf`	Reusing Single System Requirements from Application Family Requirements. ICSE Mike Mannion, Hermann Kaindl, Joe Wheadon
1999	—	`conf`	Semiautomatic Generation of Glossary Links: A Practical Solution. Hypertext Hermann Kaindl, Stefan Kramer, Papa Samba Niang Diallo
1999	A*	`conf`	Switching from Bidirectional to Unidirectional Search. IJCAI Hermann Kaindl, Gerhard Kainz, Roland Steiner, Andreas Auer, Klaus Radda
1999	J	`jnl`	Symbolic Modeling in Practice - Introduction. Commun. ACM Hermann Kaindl, John M. Carroll
1998	—	`conf`	A Case Study of Decomposing Functional Requirements Using Scenarios. ICRE Hermann Kaindl, Stefan Kramer, Robert Kacsich
1998	A	`conf`	Back-up of Heuristic Values: Minimaxing vs. Product Propagation. ECAI Hermann Kaindl, Anton Scheucher
1998	J	`jnl`	Benefits of Using Multivalued Functions for Minimaxing. Artif. Intell. Anton Scheucher, Hermann Kaindl
1998	J	`jnl`	Benefits of using Multivalued Functions for Minimaxing. ICCA J. Anton Scheucher, Hermann Kaindl
1998	—	`conf`	Combining Goals and Functional Requirements in a Scenario-based Design Process. BCS HCI Hermann Kaindl
1998	—	`conf`	Combining Structure Search and Content Search for the World-Wide Web. Hypertext Hermann Kaindl, Stefan Kramer, Luis Miguel Afonso
1997	J	`jnl`	A Practical Approach to Combining Requirements Definition and Object-Oriented Analysis. Ann. Softw. Eng. Hermann Kaindl
1997	J	`jnl`	Bidirectional Heuristic Search Reconsidered CoRR Hermann Kaindl, Gerhard Kainz
1997	J	`jnl`	Bidirectional Heuristic Search Reconsidered. J. Artif. Intell. Res. Hermann Kaindl, Gerhard Kainz
1997	—	`conf`	Can We Benefit from Metrics in KBS Development? IJCAI (1) Stefan Kramer, Hermann Kaindl, Stefan Schlee
1996	A	`conf`	Backjumping in State-Space Search. ECAI Roland Steiner, Hermann Kaindl, Gerhard Kainz
1996	—	`conf`	Dynamic Improvements of Heuristic Evaluations during Search. AAAI/IAAI, Vol. 1 Gerhard Kainz, Hermann Kaindl
1996	A*	`conf`	How to Identify Binary Relations for Domain Models. ICSE Hermann Kaindl
1996	J	`jnl`	Using Hypertext for semiformal representation in requirements engineering practice. New Rev. Hypermedia Multim. Hermann Kaindl
1995	A	`conf`	An Integration of Scenarios with Their Purposes in Task Modeling. Symposium on Designing Interactive Systems Hermann Kaindl
1995	B	`conf`	An approach to hypertext-based requirements specification and its application. INTERACT Hermann Kaindl
1995	—	`conf`	Feature Construction during Tree Learning. GOSLER Final Report Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth
1995	A*	`conf`	How to Use Limited Memory in Heuristic Search. IJCAI Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana
1995	J	`jnl`	How to Use Limited Memory in Heuristic Search. ICCA J. Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana
1994	J	`jnl`	A Question. ICCA J. Hermann Kaindl
1994	—	`conf`	Artificial intelligence for object-oriented software engineering. OOPSLA Addendum Dennis de Champeaux, Hermann Kaindl, Joachim H. Laubsch, Albert Schappert
1994	—	`conf`	Case-Based Reasoning for Multi-Step Problems and Its Integration with Heuristic Search. EWCBR Christian Reiser, Hermann Kaindl
1994	J	`jnl`	Comparing object-oriented analysis with knowledge acquisition. OOPS Messenger Hermann Kaindl
1994	J	`jnl`	Editorial: object-oriented approaches in artificial intelligence and human-computer interaction. Int. J. Hum. Comput. Stud. Hermann Kaindl
1994	A	`conf`	Improvements on Linear-Space Search Algorithms. ECAI Hermann Kaindl, Angelika Leeb, Harald Smetana
1994	A*	`conf`	Memory-Bounded Bidirectional Search. AAAI Hermann Kaindl, Aliasghar Khorsand
1994	J	`jnl`	Types and inheritance in hypertext. Int. J. Hum. Comput. Stud. Mikael Holmesland Snaprud, Hermann Kaindl
1993	A*	`conf`	Bidirectional Best-First Search with Bounded Error: Summary of Results. IJCAI Andreas L. Köll, Hermann Kaindl
1993	J	`jnl`	The missing link in requirements engineering. ACM SIGSOFT Softw. Eng. Notes Hermann Kaindl
1992	A	`conf`	A New Approach to Dynamic Weighting. ECAI Andreas L. Köll, Hermann Kaindl
1992	J	`jnl`	HIS: an information system about hypertext on hypertext. SIGWEB Newsl. Hermann Kaindl, Holger G. Ziegeler
1992	J	`jnl`	Problems, Communication, and Common Sense. SIGART Bull. Lorenz Lercher, Hermann Kaindl
1992	J	`jnl`	Reasoning Types and AI Programming Paradigms. Int. J. Softw. Eng. Knowl. Eng. Hermann Kaindl, Holger G. Ziegeler
1992	J	`jnl`	Reasons for the effects of bounded look-ahead search. IEEE Trans. Syst. Man Cybern. Hermann Kaindl, Anton Scheucher
1991	—	`conf`	Feature Construction during Tree Learning. GWAI Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth
1991	—	`conf`	HyperAuthor - An Authoring Tool Based on Hypertext. Hypertext/Hypermedia Hermann Kaindl, Holger G. Ziegeler
1991	—	`conf`	Hypertext and Structured Object Representation: A Unifying View. Hypertext Hermann Kaindl, Mikael Holmesland Snaprud
1991	—	`conf`	Hypertext and Structured Object Representation: A Unifying View. Wissensbasierte Systeme Hermann Kaindl, Mikael Holmesland Snaprud
1991	J	`jnl`	Minimax Search Algorithms With and Without Aspiration Windows. IEEE Trans. Pattern Anal. Mach. Intell. Hermann Kaindl, Reza Shams, Helmut Horacek
1991	—	`ed.`	Proc. 7th Austrian Conference on Artificial Intelligence, ÖGAI-91, Wien, 24.-27. September 1991 ÖGAI Hermann Kaindl
1991	A*	`conf`	Using Aspiration Windows for Minimax Algorithms. IJCAI Reza Shams, Hermann Kaindl, Helmut Horacek
1989	—	`conf`	An Outline of a New Algorithm for Game Tree Search. ÖGAI Helmut Horacek, Hermann Kaindl
1989	A*	`conf`	The Reason for the Benefits of Minimax Search. IJCAI Anton Scheucher, Hermann Kaindl
1988	J	`jnl`	Minimaxing: Theory and Practice. AI Mag. Hermann Kaindl
1988	J	`jnl`	Portability of software. ACM SIGPLAN Notices Hermann Kaindl
1988	J	`jnl`	Synthese zweier Ansätze der Textverarbeitung. Angew. Inform. Holger G. Ziegeler, Hermann Kaindl
1988	J	`jnl`	Useful Statistics from Tournament Programs. ICCA J. Hermann Kaindl
1987	—	`conf`	Probabilities in Game-Playing: Possible Meanings and Applications. ÖGAI Helmut Horacek, Hermann Kaindl, Marcus Wagner
1986	—	`conf`	Decision Making in Unclear Situations. GWAI Helmut Horacek, Hermann Kaindl, Marcus Wagner
1986	J	`jnl`	Selective Search Versus Brute Force. ICCA J. Hermann Kaindl, Helmut Horacek, Marcus Wagner
1985	—	`conf`	What Happened with AI's Drosophila? ÖGAI Hermann Kaindl
1983	A*	`conf`	Searching to Variable Depth in Computer Chess. IJCAI Hermann Kaindl