Hermann Kaindl
Orcid: 0000-0002-1133-0529Affiliations:
- TU Wien, Vienna, Austria
According to our database1,
Hermann Kaindl
authored at least 224 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
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
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
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
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
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022
Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022
2021
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
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
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
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
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
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020
2019
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
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
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
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
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019
2018
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
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
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
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
IEEE Trans. Comput. Intell. AI Games, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017
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
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017
2016
Proceedings of the New Advances in Information Systems and Technologies, 2016
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
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
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
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
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
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015
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
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
Proceedings of the 18th International Software Product Lines Conference, 2014
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
Proceedings of the Symposium on Applied Computing, 2014
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
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013
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
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
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
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
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
2011
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011
i-com, 2011
Automated WIMP-UI behavior generation: Parallelism and granularity of communication units.
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011
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
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010
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
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the 14th International Conference on Intelligent User Interfaces, 2009
Proceedings of the Human-Computer Interaction, 2009
What is an Aspect in Requirements Engineering?
Proceedings of the ICSOFT 2009, 2009
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009
Proceedings of the Fourth International Conference on Systems, 2009
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
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008
Proceedings of the 13th International Conference on Intelligent User Interfaces, 2008
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
Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2008
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
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, 2007
Proceedings of the Human-Computer Interaction, 2007
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
ACM SIGSOFT Softw. Eng. Notes, 2006
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
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
ACM Trans. Softw. Eng. Methodol., 2004
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
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003
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
New Rev. Hypermedia Multim., 2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Proceedings of the Engineering for Human-Computer Interaction, 2001
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001
Proceedings of the People and Computers XV, 2001
2000
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
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000
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
Proceedings of the Advanced Information Systems Engineering, 2000
Proceedings of the Advanced Information Systems Engineering, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the HYPERTEXT '99, 1999
1998
J. Int. Comput. Games Assoc., 1998
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998
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
Proceedings of the People and Computers XIII, Proceedings of HCI '98, 1998
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
New Rev. Hypermedia Multim., 1996
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
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
An approach to hypertext-based requirements specification and its application.
Proceedings of the Human-Computer Interaction, 1995
Proceedings of the 1st Conference on Designing Interactive Systems: Processes, 1995
1994
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994
Editorial: object-oriented approaches in artificial intelligence and human-computer interaction.
Int. J. Hum. Comput. Stud., 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
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
IEEE Trans. Syst. Man Cybern., 1992
A New Approach to Dynamic Weighting.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
IEEE Trans. Pattern Anal. Mach. Intell., 1991
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the Hypertext/Hypermedia, 1991
1989
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
Synthese zweier Ansätze der Textverarbeitung.
Angew. Inform., 1988
1987
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987
1986
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986
1985
Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985
1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983