Hermann Kaindl

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Hermann Kaindl authored at least 224 papers between 1983 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Introduction to the Minitrack on Software Technology and Software Development.
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2023
Superintelligence Safety: A Requirements Engineering Perspective.
Adv. Artif. Intell. Mach. Learn., 2023

Automated Web GUI Generation from High-Level Interaction Design with Discourse Models.
Proceedings of the Web Engineering - 23rd International Conference, 2023

Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms.
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Towards Using Structural Abstraction for Model Checking.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Determining the Relative Importance of Features for Influencing Software Product Similarity Matching.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications.
IEEE Trans. Software Eng., 2022

Similarity matching for product comparison.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Assigning Systems to Test Environments Through Ontological Reasoning.
Proceedings of the Towards a Knowledge-Aware AI - SEMANTiCS 2022, 2022

Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

The Use of Cross-Platform Frameworks for Google Play Store Apps.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

Enhancing Product Comparison through Automated Similarity Matching.
Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022

2021
Reuse for mass personalisation through feature models and similarities.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.
Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Requirements Reuse for Exploring Stakeholder Needs.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation.
Proceedings of the IUI '21: 26th International Conference on Intelligent User Interfaces, 2021

High-Level Interaction Design with Discourse Models for Automated Web GUI Generation.
Proceedings of the Web Engineering - 21st International Conference, 2021

Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines.
Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

A Simulation-based Performance Evaluation of Heuristics for Dew Computing.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2020
Towards Probability-based Safety Verification of Systems with Components from Machine Learning.
CoRR, 2020

Software reuse and mass personalization.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Towards Requirements Engineering for Superintelligence Safety.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Towards Probabilistic Analysis of Human-System Integration in Automated Driving.
Proceedings of the Intelligent Human Systems Integration 2020, 2020

An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search.
Proceedings of the Enterprise Information Systems - 22nd International Conference, 2020

Estimating Problem Instance Difficulty.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

A Bibliometric Analysis of the HICSS Software Technology Track.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Towards an Extended Requirements Problem Formulation for Superintelligence Safety.
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019
Software reuse for mass customization.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Avoiding Undertrust and Overtrust.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Software Reuse and Reusability Based on Requirements: Feature Modelling vs. Case-Based Reasoning.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Specifying Requirements through Interaction Design.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Human-Machine Interaction.
Proceedings of the Human Interaction and Emerging Technologies, 2019

Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking.
Proceedings of the 14th International Conference on Software Technologies, 2019

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Consistent Runtime Adaptation of User Interfaces.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018
Software reuse and mass customisation: feature modelling vs. case-based reasoning.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

An inductive learning perspective on automated generation of feature models from given product specifications.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

On the development of consistent user interfaces (extended abstract).
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Systematic top-down design of cyber-physical models with integrated validation and formal verification.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Taming and optimizing feature interaction in software-intensive automotive systems.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Verification of Feature Coordination using the Fluent Calculus.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018

2017
Product Propagation: A Backup Rule Better Than Minimaxing?
IEEE Trans. Comput. Intell. AI Games, 2017

Product Line Strategies and Feature Reuse.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Semantic task specification in business process context.
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Automated Unit Testing in Model-based Embedded Software Development.
Proceedings of the 12th International Conference on Software Technologies, 2017

Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

High-level Verification and Validation of Software Supporting Business Processes.
Proceedings of the ENASE 2017, 2017

High-level interaction design for automated GUI generation and customization.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

2016
Verification of Business Processes Against Business Rules Using Object Life Cycles.
Proceedings of the New Advances in Information Systems and Technologies, 2016

Optimization of feature interactions for automotive combustion engines.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature with Standards for Automotive and Railway.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

Reuse vs. Reusability of Software Supporting Business Processes.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

Adding custom widgets to model-driven GUI generation.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

Towards a Common Safety Ontology for Automobiles and Railway Vehicles.
Proceedings of the 12th European Dependable Computing Conference, 2016

Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Towards reuse in safety risk analysis based on product line requirements.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Automated refinement of business processes through model transformations specifying business rules.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study.
Proceedings of the Practice of Enterprise Modeling, 2015

A Feature-Similarity Model for Product Line Engineering.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

Strategies for Automated GUI Tailoring for Multiple Devices.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Semantic Service Specification for V&V of Service Composition and Business Processes.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Model transformation rules for customization of multi-device graphical user interfaces.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015

Specifying Business Requirements through Interaction Design.
Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2014
Using similarity metrics for mining variability from software repositories.
Proceedings of the 18th International Software Product Lines Conference, 2014

Duality of task- and discourse-based interaction design for GUI generation.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Alternative interaction design patterns for automated GUI generation from Discourse-based Communication Models.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

A process for facilitating interaction design through automated GUI generation.
Proceedings of the Symposium on Applied Computing, 2014

A user study on tailoring GUIs for smartphones.
Proceedings of the Symposium on Applied Computing, 2014

Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

An Iterative and Incremental Process for Interaction Design through Automated GUI Generation.
Proceedings of the Human-Computer Interaction. Theories, Methods, and Tools, 2014

Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules.
Proceedings of the Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral Consortium co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

2013
Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2013

A User Study with GUIs Tailored for Smartphones and Tablet PCs.
Proceedings of the IEEE International Conference on Systems, 2013

Using a Mediator to Handle Undesired Feature Interaction of Automated Driving.
Proceedings of the IEEE International Conference on Systems, 2013

Semi-automatic generation of recommendation processes and their GUIs.
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

A User Study with GUIs Tailored for Smartphones.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation.
Proceedings of the ICSOFT 2013, 2013

Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

Design Alternatives for GUI Development with Discourse-based Communication Models.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

Tool support for automated multi-device GUI generation from discourse-based communication models.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Software Reuse Based on Business Processes and Requirements.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Model-Based Transition from Requirements to High-Level Software Design.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Requirements Meet Interaction Design.
Proceedings of the Product-Focused Software Process Improvement, 2012

Automated Generation of User Interfaces - Based on Use Case or Interaction Design Specifications?.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Semi-automatic generation of multimodal user interfaces for dialogue-based interactive systems.
Proceedings of the International Conference on Multimodal Interaction, 2012

A Case Study of Remote Interdisciplinary Designing through Video Prototypes.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

A transformation engine for model-driven UI generation.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012

Product Line Requirements Reuse Based on Variability Management.
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011
Optimized GUI Generation for Small Screens.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen.
i-com, 2011

Automated WIMP-UI behavior generation: Parallelism and granularity of communication units.
Proceedings of the IEEE International Conference on Systems, 2011

A knowledge management perspective of requirements engineering.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

UIs Automatically Optimized for Your Smartphone.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Scenario-Based Requirements Engineering Facilitating Interaction Design.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Robot-Supported Cooperative Work: A Shared-Shopping Scenario.
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010
On confusion between requirements and their representations.
Requir. Eng., 2010

Towards Self-Managed Systems Aware of Economic Value.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Case-based Reuse with Partial Requirements Specifications.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

An Approach to Method-Tool Coupling for Software Development.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Semi-Automatically Generated High-Level Fusion for Multimodal User Interfaces.
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Model a discourse and transform it to your user interface.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Semi-automatically Configured Fission for Multimodal User Interfaces.
Proceedings of the ACHI 2010, 2010

2009
Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts.
Int. J. Web Eng. Technol., 2009

An Automation Agent Architecture with A Reflective World Model in Manufacturing Systems.
Proceedings of the IEEE International Conference on Systems, 2009

Semi-automatic user interface generation considering pointing granularity.
Proceedings of the IEEE International Conference on Systems, 2009

Generating content presentation according to purpose.
Proceedings of the IEEE International Conference on Systems, 2009

An Analysis of Decision Quality of Minimaxing vs. Product Propagation.
Proceedings of the IEEE International Conference on Systems, 2009

Fully automatic user interface generation from discourse models.
Proceedings of the 14th International Conference on Intelligent User Interfaces, 2009

Combining Requirements and Interaction Design through Usage Scenarios.
Proceedings of the Human-Computer Interaction, 2009

What is an Aspect in Requirements Engineering?
Proceedings of the ICSOFT 2009, 2009

Long-Term Perspective of Agile Methods.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

A Unification of the Essence of Goal-Oriented Requirements Engineering.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Support for Programming Embedded Software with Dynamically Typed Languages.
Proceedings of the Fourth International Conference on Systems, 2009

Iterative Requirements Engineering and Architecting in Systems Engineering.
Proceedings of the Fourth International Conference on Systems, 2009

Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008
Using parameters and discriminants for product line requirements.
Syst. Eng., 2008

Reusing Terminology for Requirements Specifications from WordNet.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

An Integration of Requirements and User Interface Specifications.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

How to Combine Requirements Engineering and Interaction Design?
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Modeling of interaction design by end users through discourse modeling.
Proceedings of the 13th International Conference on Intelligent User Interfaces, 2008

Can We Transform Requirements into Architecture?
Proceedings of the Third International Conference on Software Engineering Advances, 2008

High-Level Modeling of Software-Management Interactions and Tasks for Autonomic Computing.
Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008

Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication.
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

What is an Aspect in Aspect-oriented Requirements Engineering?
Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2008

Multimodal communication involving movements of a robot.
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008

2007
Gradual transition towards autonomic software systems based on high-level communication specification.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Transforming Discourse Models to Structural User Interface Models.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Transforming a Discourse Model to an Abstract User Interface Model.
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, 2007

How to Combine Requirements and Interaction Design Through Usage Scenarios.
Proceedings of the Human-Computer Interaction, 2007

UI Prototyping for Multiple Devices Through Specifying Interaction Design.
Proceedings of the Human-Computer Interaction, 2007

Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006
An architecture for gradual transition towards self-managed software systems.
ACM SIGSOFT Softw. Eng. Notes, 2006

A discourse model for interaction design based on theories of human communication.
Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

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

Is object-oriented requirements engineering of interest?
Requir. Eng., 2005

Extending Function Point Analysis of Object-Oriented Requirements Specifications.
Proceedings of the 11th IEEE International Symposium on Software Metrics (METRICS 2005), 2005

Using communicative acts in high-level specifications of user interfaces for their automated synthesis.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
Coupling and cohesion metrics for knowledge-based systems using frames and rules.
ACM Trans. Softw. Eng. Methodol., 2004

Active Tool Support for Requirements Engineering Through RETH.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

A Case Study of Revisiting Best-First vs. Depth-First Search.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Structuring Business Models in a Web Representation.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Metamodel-Compliance Checking of Requirements in a Semiformal Representation.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002
Tracing All Around in Reengineering.
IEEE Softw., 2002

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda.
Requir. Eng., 2002

From Usage Scenarios to User Interface Elements in a Few Steps.
Proceedings of the Computer-Aided Design of User Interfaces III, 2002

2001
Asymmetry in search.
IEEE Trans. Syst. Man Cybern. Part B, 2001

Using hypermedia in requirements engineering practice.
New Rev. Hypermedia Multim., 2001

Requirements-based product line engineering.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Adoption of Requirements Engineering: Conditions for Success.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

From Usage Scenarios to Widget Classes.
Proceedings of the Engineering for Human-Computer Interaction, 2001

Methods and modeling: fiction or useful reality?
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001

An Interactive Guide Through a Defined Modelling Process.
Proceedings of the People and Computers XV, 2001

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

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

ooSEM (poster session): a process model for object-oriented development in an industrial environment.
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

How difficult is the transition from OOA to OOD? (panel session).
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Representing Requirements on Generic Software in an Application Family Model.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice?
Proceedings of the 4th International Conference on Requirements Engineering, 2000

Learning to Use Operational Advice.
Proceedings of the ECAI 2000, 2000

Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice?
Proceedings of the Advanced Information Systems Engineering, 2000

Tracing All Around.
Proceedings of the Advanced Information Systems Engineering, 2000

1999
Difficulties in the Transition from OO Analysis to Design.
IEEE Softw., 1999

Symbolic Modeling in Practice - Introduction.
Commun. ACM, 1999

Switching from Bidirectional to Unidirectional Search.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Reusing Single System Requirements from Application Family Requirements.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Semiautomatic Generation of Glossary Links: A Practical Solution.
Proceedings of the HYPERTEXT '99, 1999

1998
Benefits of using Multivalued Functions for Minimaxing.
J. Int. Comput. Games Assoc., 1998

A Case Study of Decomposing Functional Requirements Using Scenarios.
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Combining Structure Search and Content Search for the World-Wide Web.
Proceedings of the HYPERTEXT '98. Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space, 1998

Back-up of Heuristic Values: Minimaxing vs. Product Propagation.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Combining Goals and Functional Requirements in a Scenario-based Design Process.
Proceedings of the People and Computers XIII, Proceedings of HCI '98, 1998

1997
Bidirectional Heuristic Search Reconsidered.
J. Artif. Intell. Res., 1997

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

Can We Benefit from Metrics in KBS Development?
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996
Using Hypertext for semiformal representation in requirements engineering practice.
New Rev. Hypermedia Multim., 1996

How to Identify Binary Relations for Domain Models.
Proceedings of the 18th International Conference on Software Engineering, 1996

Backjumping in State-Space Search.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Dynamic Improvements of Heuristic Evaluations during Search.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
How to Use Limited Memory in Heuristic Search.
J. Int. Comput. Games Assoc., 1995

An approach to hypertext-based requirements specification and its application.
Proceedings of the Human-Computer Interaction, 1995

An Integration of Scenarios with Their Purposes in Task Modeling.
Proceedings of the 1st Conference on Designing Interactive Systems: Processes, 1995

1994
Comparing object-oriented analysis with knowledge acquisition.
OOPS Messenger, 1994

Artificial intelligence for object-oriented software engineering.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

Types and inheritance in hypertext.
Int. J. Hum. Comput. Stud., 1994

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

A Question.
J. Int. Comput. Games Assoc., 1994

Case-Based Reasoning for Multi-Step Problems and Its Integration with Heuristic Search.
Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

Improvements on Linear-Space Search Algorithms.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Memory-Bounded Bidirectional Search.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
The missing link in requirements engineering.
ACM SIGSOFT Softw. Eng. Notes, 1993

Bidirectional Best-First Search with Bounded Error: Summary of Results.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Reasons for the effects of bounded look-ahead search.
IEEE Trans. Syst. Man Cybern., 1992

HIS: an information system about hypertext on hypertext.
SIGWEB Newsl., 1992

Problems, Communication, and Common Sense.
SIGART Bull., 1992

Reasoning Types and AI Programming Paradigms.
Int. J. Softw. Eng. Knowl. Eng., 1992

A New Approach to Dynamic Weighting.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Minimax Search Algorithms With and Without Aspiration Windows.
IEEE Trans. Pattern Anal. Mach. Intell., 1991

Hypertext and Structured Object Representation: A Unifying View.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

Feature Construction during Tree Learning.
Proceedings of the GWAI-91, 1991

Using Aspiration Windows for Minimax Algorithms.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

HyperAuthor - An Authoring Tool Based on Hypertext.
Proceedings of the Hypertext/Hypermedia, 1991

1989
An Outline of a New Algorithm for Game Tree Search.
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

The Reason for the Benefits of Minimax Search.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Synthese zweier Ansätze der Textverarbeitung.
Angew. Inform., 1988

Portability of software.
ACM SIGPLAN Notices, 1988

Useful Statistics from Tournament Programs.
J. Int. Comput. Games Assoc., 1988

Minimaxing: Theory and Practice.
AI Mag., 1988

1987
Probabilities in Game-Playing: Possible Meanings and Applications.
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

1986
Selective Search Versus Brute Force.
J. Int. Comput. Games Assoc., 1986

Decision Making in Unclear Situations.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985
What Happened with AI's Drosophila?
Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985

1983
Searching to Variable Depth in Computer Chess.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983


  Loading...