Hoch, R., Luckeneder, C., Popp, R., & Kaindl, H. (2021). Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications. IEEE Transactions on Software Engineering, 48(10), 4041–4059. https://doi.org/10.1109/tse.2021.3110191 ( reposiTUm)

Hirsch, M., Mateos, C., Zunino, A., Majchrzak, T. A., Grønli, T.-M., & Kaindl, H. (2021). A Task Execution Scheme for Dew Computing with State-of-the-Art Smartphones. Electronics, 10(16), Article 2006. https://doi.org/10.3390/electronics10162006 ( reposiTUm)

Kaindl, H., Horacek, H., & Scheucher, A. (2017). Product Propagation: A Back-up Rule Better than Minimaxing? IEEE Transactions on Computational Intelligence and AI in Games, 9(2), 109–122. https://doi.org/10.1109/tciaig.2015.2508966 ( reposiTUm)

Kaindl, H., Vallee, M., & Arnautovic, E. (2013). Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 43(1), 164–175. http://hdl.handle.net/20.500.12708/154692 ( reposiTUm)

Falb, J., Kaindl, H., Popp, R., & Raneburger, D. (2011). Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen. I-Com, 10(3), 48–54. https://doi.org/10.1524/icom.2011.0032 ( reposiTUm)

Kaindl, H., & Sventinovic, D. (2010). On confusion between requirements and their representations. Requirements Engineering, 15, 307–311. http://hdl.handle.net/20.500.12708/167668 ( reposiTUm)

Arnautovic, E., Kaindl, H., Falb, J., & Popp, R. (2009). High-level Models of Software-management Interactions and Tasks for Gradual Transition Towards Autonomic Computing. International Journal On Advances in Intelligent Systems, 2, 74–91. http://hdl.handle.net/20.500.12708/165635 ( reposiTUm)

Falb, J., Popp, R., Röck, T., Jelinek, H., Arnautovic, E., & Kaindl, H. (2009). Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts. International Journal of Web Engineering and Technology, 25(2), 135–161. https://doi.org/10.1504/IJWET.2009.028618 ( reposiTUm)

Mannion, M., & Kaindl, H. (2008). Using Parameters and Discriminants for Product Line Requirements. Systems Engineering, 11(1), 61–80. https://doi.org/10.1002/sys.20086 ( reposiTUm)

Kaindl, H. (2007). What Are the Differences Between Requirements Engineering for Software as Opposed to for Systems in General? INCOSE INSIGHT, 10(4), 15–16. http://hdl.handle.net/20.500.12708/168579 ( reposiTUm)

Kaindl, H. (2005). A Scenario-Based Approach for Requirements Engineering: Experience in a Telecommunication Software Development Project. Systems Engineering, 8, 197–210. http://hdl.handle.net/20.500.12708/171543 ( reposiTUm)

Kaindl, H. (2005). Is object-oriented requirements engineering of interest? Requirements Engineering, 10, 81–84. http://hdl.handle.net/20.500.12708/171464 ( reposiTUm)

Mannion, M., & Kaindl, H. (2024). Comparing Products using Similarity Matching. In SPLC ’24: Proceedings of the 28th ACM International Systems and Software Product Line Conference (pp. 221–221). Association for Computing Machinery. https://doi.org/10.1145/3646548.3674548 ( reposiTUm)

Mohammed, F., Mannion, M., Kaindl, H., & Paterson James. (2024). Evaluating the Relative Importance of Product Line Features Using Centrality Metrics. In H.-G. Fill, F. D. Mayo, M. van Sinderen, & L. Maciaszek (Eds.), Proceedings of the 19th International Conference on Software Technologies (pp. 469–476). https://doi.org/10.5220/0012853300003753 ( reposiTUm)

Majchrzak, T. A., Grønli, T. M., & Kaindl, H. (2024). Introduction to the HICSS-57 Software Technology and Software Development Minitrack. In Proceedings of the 57th Annual Hawaii International Conference on System Sciences (pp. 7697–7699). http://hdl.handle.net/20.500.12708/212987 ( reposiTUm)

Kaindl, H. (2024). Many Flavors of Reuse and Reusability. In Reuse and Software Quality. 21st International Conference on Software and Systems Reuse, ICSR 2024, Cyprus. Springer. https://doi.org/10.1007/978-3-031-66459-5 ( reposiTUm)

Luckeneder, C., Hoch, R., & Kaindl, H. (2023). Towards Using Structural Abstraction for Model Checking. In 2023 10th International Conference on Dependable Systems and Their Applications (DSA) (pp. 105–113). IEEE. https://doi.org/10.1109/DSA59317.2023.00023 ( reposiTUm)

Kaindl, H. (2023). Automated Web GUI Generation from High-Level Interaction Design with Discourse Models. In I. Garrigós, J. M. Murillo Rodríguez, & M. Wimmer (Eds.), Web Engineering : 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings (pp. 413–417). Springer. https://doi.org/10.1007/978-3-031-34444-2_37 ( reposiTUm)

Mannion, M., & Kaindl, H. (2023). Determining the Relative Importance of Features for Influencing Software Product Similarity Matching. In 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) (pp. 1638–1645). IEEE. https://doi.org/10.1109/COMPSAC57700.2023.00253 ( reposiTUm)

Majchrzak, T. A., Gronli, T.-M., & Kaindl, H. (2023). Introduction to the HICSS-56 Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems Minitrack. In Proceedings of the 56th Hawaii International Conference on System Sciences (pp. 6893–6894). http://hdl.handle.net/20.500.12708/193419 ( reposiTUm)

Stippel, C., Schwendinger, B., Kammerhofer, M., Hoch, R., Kaindl, H., & Sauter, T. (2023). Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. In GECCO ’23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation (pp. 767–770). Association for Computing Machinery. https://doi.org/10.1145/3583133.3590754 ( reposiTUm)

Mannion, M., & Kaindl, H. (2022). Enhancing Product Comparison through Automated Similarity Matching. In The International Conference on Evaluation and Assessment in Software Engineering 2022 (pp. 463–464). https://doi.org/10.1145/3530019.3533679 ( reposiTUm)

Mannion, M., & Kaindl, H. (2022). Similarity matching for product comparison. In SPLC ’22: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A (pp. 258–259). https://doi.org/10.1145/3546932.3547023 ( reposiTUm)

Majchrzak, T. A., Grønli, T.-M., & Kaindl, H. (2022). Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. In Proceedings of the 55th Hawaii International Conference on System Sciences. 55th Hawaii International Conference on System Sciences (HICSS-55), HI, United States of America (the). https://doi.org/10.24251/HICSS.2022.931 ( reposiTUm)

Kaindl, H. (2022). Tutorial: Discourse Models for Interaction Design. In Proceedings of the 8th International Conference on Human Interaction & Emerging Technologies (IHIET 2022): Artificial Intelligence & Future Applications (pp. 221–226). AHFE International. https://doi.org/10.54941/ahfe1002735 ( reposiTUm)

Paradzikovic, P., Hoch, R., & Kaindl, H. (2022). Assigning Systems to Test Environments Through Ontological Reasoning. In Towards a Knowledge-Aware AI (pp. 75–89). IOS Press. https://doi.org/10.3233/SSW220011 ( reposiTUm)

Biørn-Hansen, A., Grønli, T.-M., Majchrzak, T. A., Kaindl, H., & Ghinea, G. (2022). The Use of Cross-Platform Frameworks for Google Play Store Apps. In Proceedings of the 55th Annual Hawaii International Conference on System Sciences. 55th Hawaii International Conference on System Sciences 2022 (HICSS-55), Honolulu, United States of America (the). https://doi.org/10.24251/HICSS.2022.934 ( reposiTUm)

Elsokkary, N., Muneeb Ur Rehman, M., Suhail, S., Kaindl, H., & Svetinovic, D. (2022). Trust Evaluation of Blockchain-Based Cryptocurrencies: The Cases of Bitcoin and Diem. In Proceedings 2022 International Balkan Conference on Communications and Networking (BalkanCom) (pp. 73–77). https://doi.org/10.1109/BalkanCom55633.2022.9900741 ( reposiTUm)

Rathmair, M., Luckeneder, C., Haspl, T., Reiterer, B., Hoch, R., Hofbaur, M., & Kaindl, H. (2021). Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. In 2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN). 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN), Vancouver, Canada. IEEE. https://doi.org/10.1109/ro-man50785.2021.9515404 ( reposiTUm)

Kaindl, H., Hoch, R., Roman, P., Rathfux, T., & Lukasch, F. (2021). An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. In Enterprise Information Systems (pp. 158–183). Springer International Publishing. https://doi.org/10.1007/978-3-030-75418-1_9 ( reposiTUm)

Raneburger, D., Popp, R., & Kaindl, H. (2021). A User Study to Evaluate the Customization of Automatically Generated GUIs. In Proceedings of the 21st Congress of the International Ergonomics Association (IEA 2021) (pp. 683–690). Springer. https://doi.org/10.1007/978-3-030-74614-8_85 ( reposiTUm)

Kaindl, H. (2021). ModelGenGUIs – High-level Interaction Design with Discourse Models for Automated GUI Generation. In 26th International Conference on Intelligent User Interfaces. 26th International Conference on Intelligent User Interfaces 2021, College Station, United States of America (the). ACM. https://doi.org/10.1145/3397482.3450619 ( reposiTUm)

Hirsch, M., Mateos, C., Zunino, A., Majchrzak, T. A., Gronli, T.-M., & Kaindl, H. (2021). A Simulation-based Performance Evaluation of Heuristics for Dew Computing. In Proceedings of the Annual Hawaii International Conference on System Sciences. 54th Hawaii International Conference on System Sciences, Maui, Hawaii, United States of America (the). ScholarSpace. https://doi.org/10.24251/hicss.2021.868 ( reposiTUm)

Kaindl, H., & Mannion, M. (2021). Requirements Reuse for Exploring Stakeholder Needs. In 2021 IEEE 29th International Requirements Engineering Conference (RE). 2021 IEEE 29th International Requirements Engineering Conference (RE), Unknown. IEEE. https://doi.org/10.1109/re51729.2021.00078 ( reposiTUm)

Majchrzak, T. A., Kaindl, H., & Gronli, T.-M. (2021). Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. In Proceedings of the Annual Hawaii International Conference on System Sciences. Proceedings of the 54th Hawaii International Conference on System Sciences. https://doi.org/10.24251/hicss.2022.931 ( reposiTUm)

Mannion, M., & Kaindl, H. (2021). Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines. In Proceedings of the 23rd International Conference on Enterprise Information Systems. 23rd International Conference on Enterprise Information Systems, Unknown. Scitepress. https://doi.org/10.5220/0010441002570266 ( reposiTUm)

Kaindl, H. (2021). High-Level Interaction Design with Discourse Models for Automated Web GUI Generation. In Web Engineering (pp. 542–546). Springer. https://doi.org/10.1007/978-3-030-74296-6_47 ( reposiTUm)

Gronli, T.-M., Majchrzak, T. A., & Kaindl, H. (2020). A Bibliometric Analysis of the HICSS Software Technology Track. In Proceedings of the Annual Hawaii International Conference on System Sciences. 53rd Hawaii International Conference on System Sciences, Maui, Hawaii, United States of America (the). ScholarSpace. https://doi.org/10.24251/hicss.2020.816 ( reposiTUm)

Suhir, E., Paul, G., & Kaindl, H. (2020). Towards Probabilistic Analysis of Human-System Integration in Automated Driving. In Advances in Intelligent Systems and Computing (pp. 9–14). Springer Nature. https://doi.org/10.1007/978-3-030-39512-4_2 ( reposiTUm)

Kaindl, H., Hoch, R., & Popp, R. (2020). Estimating Problem Instance Difficulty. In Proceedings of the 22nd International Conference on Enterprise Information Systems. ICEIS 2020, Internet, Unknown. Scitepress. https://doi.org/10.5220/0009390003590369 ( reposiTUm)

Kaindl, H., & Ferdigg, J. (2020). Towards an Extended Requirements Problem Formulation for Superintelligence Safety. In 2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). 2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), Zürich, Switzerland. IEEE. https://doi.org/10.1109/aire51212.2020.00012 ( reposiTUm)

TA Majchrzak, T. M., TM Grønli, T. G., & Kaindl, H. (2020). Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. In Proceedings of the Annual Hawaii International Conference on System Sciences. Proceedings of the 53rd Hawaii International Conference on System Sciences. https://doi.org/10.24251/hicss.2022.931 ( reposiTUm)

Kaindl, H., & Paul, G. (2020). A Probabilistic Model of Taking-Over Control from Semi-autonomous Vehicles. In Human Systems Engineering and Design III (pp. 332–337). https://doi.org/10.1007/978-3-030-58282-1_52 ( reposiTUm)

Rathfux, T., Kaindl, H., Hoch, R., & Lukasch, F. (2019). Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. In INSTICC (Ed.), Proceedings of the 14th International Conference on Software Technologies. SCITEPRESS. https://doi.org/10.5220/0008119405950604 ( reposiTUm)

Kaindl, H., & Mannion, M. (2019). Requirements Reuse and Reusability: Product Lines, Cases and Feature‐Similarity Models. In Proceedings of the IEEE 27th International Requirements Engineering Conference (2019 RE) (pp. 494–495). http://hdl.handle.net/20.500.12708/76849 ( reposiTUm)

Kaindl, H. (2019). Specifying Requirements through Interaction Design. In 2019 IEEE 27th International Requirements Engineering Conference (RE). IEEE 27th International Requirements Engineering Conference (RE), Jeju Island, Korea (the Republic of). https://doi.org/10.1109/re.2019.00078 ( reposiTUm)

Anjorin, A., Yigitbas, E., & Kaindl, H. (2019). Consistent Runtime Adaptation of User Interfaces. In Proceedings of the Eighth International Workshop on Bidirectional Transformations (Bx 2019) (pp. 61–65). CEUR-WS.org. http://hdl.handle.net/20.500.12708/76949 ( reposiTUm)

Rathfux, T., Kaindl, H., Hoch, R., & Lukasch, F. (2019). An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. In INSTICC (Ed.), Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, Lda. https://doi.org/10.5220/0007689002890296 ( reposiTUm)

Kaindl, H. (2019). Human-Machine Interaction. In T. Ahram, R. Taiar, S. Colson, & A. CHOPLIN (Eds.), Human Interaction and Emerging Technologies - Proceedings of the 1st International Conference on Human Interaction and Emerging Technologies (IHIET 2019), August 22-24, 2019, Nice, France (pp. 428–433). Springer. https://doi.org/10.1007/978-3-030-25629-6_66 ( reposiTUm)

Kaindl, H., & Svetinovic, D. (2019). Avoiding Undertrust and Overtrust. In Proceedings of the D4RE Workshop REFSQ-JP 2019 (p. 4). CEUR­WS.org. http://hdl.handle.net/20.500.12708/76847 ( reposiTUm)

Luckeneder, C., & Kaindl, H. (2019). A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. ACM Symposium on Applied Computing, Santa Fe, New Mexico, United States of America (the). https://doi.org/10.1145/3297280.3297460 ( reposiTUm)

Hulin, B., Kaindl, H., Beckert, R., Rathfux, T., & Popp, R. (2018). Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. In B. Gallina, A. Skavhaug, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings (pp. 297–310). Springer. https://doi.org/10.1007/978-3-319-99130-6_20 ( reposiTUm)

Kaindl, H., Kramer, S., & Hoch, R. (2018). An inductive learning perspective on automated generation of feature models from given product specifications. In Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1. 22nd International Systems and  Software Product Line Conference, Göteborg, Sweden. ACM. https://doi.org/10.1145/3233027.3233031 ( reposiTUm)

Luckeneder, C., & Kaindl, H. (2018). Systematic top-down design of cyber-physical models with integrated validation and formal verification. In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. 40th International Conference on Software Engineering, Göteborg, Sweden. https://doi.org/10.1145/3183440.3194967 ( reposiTUm)

Hoch, R., & Kaindl, H. (2018). Verification of Feature Coordination using the Fluent Calculus. In INSTICC (Ed.), Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. SciTePress. https://doi.org/10.5220/0006771401690179 ( reposiTUm)

Kaindl, H., Lukasch, F., Heigl, M., Kavaldjian, S., Luckeneder, C., & Rausch, S. (2018). Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICST´18), Västerås, Sweden. https://doi.org/10.1109/icstw.2018.00078 ( reposiTUm)

Anjorin, A., Yigitbas, E., Kaindl, H., & Popp, R. (2018). On the development of consistent user interfaces (extended abstract). In Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. 2nd International Conference on Art, Science, and Engineering of Programming, Nizza, France. ACM. https://doi.org/10.1145/3191697.3191716 ( reposiTUm)

Kaindl, H., & Mannion, M. (2018). Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models. In 2018 IEEE 26th International Requirements Engineering Conference (RE). 2018 IEEE 26th International Requirements Engineering Conference (RE), Banff, Alberta, Canada. https://doi.org/10.1109/re.2018.00010 ( reposiTUm)

Rathmair, M., Luckeneder, C., Kaindl, H., & Radojicic, C. (2018). Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award]. In 51st Hawaii International Conference on System Sciences (HICSS 2018) (pp. 5655–5664). Curran Associates, Inc. http://hdl.handle.net/20.500.12708/76278 ( reposiTUm)

Dominka, S., Ertl, D., Dübner, M., Wiesinger, R., & Kaindl, H. (2018). Taming and Optimizing Feature Interaction in Software-intensive Automotive Systems. In Proceedings of the 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2018) (p. 6). http://hdl.handle.net/20.500.12708/76405 ( reposiTUm)

Rathfux, T., Thöner, J., Kaindl, H., & Popp, R. (2018). Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. EICS 2018, Paris, France. ACM. https://doi.org/10.1145/3220134.3220141 ( reposiTUm)

Kaindl, H., Hoch, R., & Popp, R. (2017). Semantic Task Specification in Business Process Context. In Proceedings of the 11th IEEE International Conference on Research Challenges in Information Science RCIS 2017 (pp. 286–291). http://hdl.handle.net/20.500.12708/75942 ( reposiTUm)

Kaindl, H. (2017). High-level Verification and Validation of Software Supporting Business Processes. In Proceedings of the 19th International Conference on Enterprise Information Systems in a topic of your preference ICEIS 2017, Volume 1 (pp. 7–13). http://hdl.handle.net/20.500.12708/75941 ( reposiTUm)

Luckeneder, C., Kaindl, H., & Korinek, M. J. (2017). Automated Unit Testing in Model-based Embedded Software Development. In Proceedings of the 12th International Conference on Software Technologies (pp. 427–434). http://hdl.handle.net/20.500.12708/75945 ( reposiTUm)

Kaindl, H. (2017). Human‐Machine Interaction. In Proceedings of the 11th IEEE International Conference on Research Challenges in Information Science RCIS 2017 (pp. 466–467). http://hdl.handle.net/20.500.12708/75943 ( reposiTUm)

Kaindl, H. (2017). High-level interaction design for automated GUI generation and customization. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. The 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Lissabon, Portugal. https://doi.org/10.1145/3102113.3102160 ( reposiTUm)

Popp, R., Hoch, R., & Kaindl, H. (2017). A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. In Proceedings of the 50th Hawaii International Conference on System Sciences 2017 (pp. 4817–4826). http://hdl.handle.net/20.500.12708/75939 ( reposiTUm)

Kaindl, H. (2017). Teaching Human-Machine Interaction. In Proceedings of the 8th International Conference on Society and Information Technologies: ICSIT 2017 (pp. 86–91). http://hdl.handle.net/20.500.12708/75940 ( reposiTUm)

Popp, R., & Kaindl, H. (2017). Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. In Proceedings of the 50th Hawaii International Conference on System Sciences 2017 (pp. 1257–1266). http://hdl.handle.net/20.500.12708/75938 ( reposiTUm)

Luckeneder, C., Rathmair, M., & Kaindl, H. (2017). Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. In Proceedings of the 50th Hawaii International Conference on System Sciences 2017 (pp. 6151–6160). http://hdl.handle.net/20.500.12708/75937 ( reposiTUm)

Kaindl, H., Rathfux, T., Hulin, B., Beckert, R., Arnautovic, E., & Popp, R. (2016). A Core Ontology of Safety Risk Concepts. In Human-Centered and Error-Resilient Systems Development. IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016 (pp. 165–180). Springer LNCS 9856. https://doi.org/10.1007/978-3-319-44902-9_11 ( reposiTUm)

Kaindl, H., Popp, R., Hoch, R., & Zeidler, C. (2016). Reuse vs. Reusability of Software Supporting Business Processes. In Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016 (pp. 138–145). Springer. https://doi.org/10.1007/978-3-319-35122-3_10 ( reposiTUm)

Rathfux, T., Popp, R., & Kaindl, H. (2016). Adding custom widgets to model-driven GUI generation. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. The 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Brüssel, Belgium. ACM. https://doi.org/10.1145/2933242.2933251 ( reposiTUm)

Wagner, D., Kaindl, H., & Dominka, S. (2016). Optimization of feature interactions for automotive combustion engines. In Proceedings of the 31st Annual ACM Symposium on Applied Computing. 31st ACM Symposium on Applied Computing, Pisa, Italy. ACM. https://doi.org/10.1145/2851613.2851775 ( reposiTUm)

Kaindl, H., Meli, R., Kurtz, A., Bauer, B., & Dini, P. (2016). Developing Software for Mobile Devices: How to Do That Best. In Proceedings of the The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016) (p. 7). http://hdl.handle.net/20.500.12708/75368 ( reposiTUm)

Hulin, B., Kaindl, H., Rathfux, T., Popp, R., Arnautovic, E., & Beckert, R. (2016). Towards a Common Safety Ontology for Automobiles and Railway Vehicles. In Proceedings of the 12th European Dependable Computing Conference (EDCC 2016) (pp. 189–196). http://hdl.handle.net/20.500.12708/75382 ( reposiTUm)

Hoch, R., Kaindl, H., Popp, R., & Zeidler, C. (2016). Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. In 2016 49th Hawaii International Conference on System Sciences (HICSS). 49th Hawaii International Conference on System Sciences (HICSS 2016), Kauai, United States of America (the). IEEE. https://doi.org/10.1109/hicss.2016.566 ( reposiTUm)

Hoch, R., Rathmair, M., Kaindl, H., & Popp, R. (2016). Verification of Business Processes Against Business Rules Using Object Life Cycles. In New Advances in Information Systems and Technologies (pp. 589–598). Springer. https://doi.org/10.1007/978-3-319-31232-3_55 ( reposiTUm)

Rathmair, M., Luckeneder, C., & Kaindl, H. (2016). Minimalist Qualitative Models for Model Checking Cyber-physical Feature Coordination. In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) (p. 8). http://hdl.handle.net/20.500.12708/75373 ( reposiTUm)

Hoch, R., Kaindl, H., Popp, R., & Ertl, D. (2015). Comprehensive Integration of Executable Business Process Models with Semantic Concept and Task Specifications. In Proceedings of the Fifth International Conference on Business Intelligence and Technology (BUSTECH 2015) (p. 5). http://hdl.handle.net/20.500.12708/74825 ( reposiTUm)

Popp, R., & Kaindl, H. (2015). Automated Refinement of Business Processes through Model Transformations Specifying Business Rules. In Proceedings of the IEEE 9th International Conference on Research Challenges in Information Science (RCIS 2015) (pp. 359–365). http://hdl.handle.net/20.500.12708/74824 ( reposiTUm)

Rathmair, M., Hoch, R., Kaindl, H., & Popp, R. (2015). Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. In Proceedings of the Practice of Enterprise Modeling 8th IFIP WG 8.1. Working Conference (PoEM 2015) (pp. 126–140). http://hdl.handle.net/20.500.12708/74823 ( reposiTUm)

Raneburger, D., Kaindl, H., & Popp, R. (2015). Model transformation rules for customization of multi-device graphical user interfaces. In Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS’15), Duisburg, Germany. ACM. https://doi.org/10.1145/2774225.2774839 ( reposiTUm)

Kaindl, H., Popp, R., & Raneburger, D. (2015). Towards Reuse in Safety Risk Analysis Based on Product Line Requirements. In Proceedings of RE 2015 Conference Events (pp. 241–246). Confernce Publishing Consulting. http://hdl.handle.net/20.500.12708/74829 ( reposiTUm)

Hoch, R., Kaindl, H., Popp, R., Ertl, D., & Horacek, H. (2015). Semantic Service Specification for V&V of Service Composition and Business Processes. In 2015 48th Hawaii International Conference on System Sciences. 48th Hawaii International Conference on System Sciences, Kauai, United States of America (the). https://doi.org/10.1109/hicss.2015.168 ( reposiTUm)

Raneburger, D., Kaindl, H., & Popp, R. (2015). Strategies for Automated GUI Tailoring for Multiple Devices. In 2015 48th Hawaii International Conference on System Sciences. 48th Hawaii International Conference on System Sciences, Kauai, United States of America (the). IEEE Computer Society. https://doi.org/10.1109/hicss.2015.67 ( reposiTUm)

Raneburger, D., Popp, R., Kaindl, H., Armbruster, A., & Sajatovic, V. (2014). An Iterative and Incremental Process for Interaction Designthrough Automated GUI Generation. In Proceedings of the 16th International ConferenceHCI International 2014, Part I (p. 12). http://hdl.handle.net/20.500.12708/74275 ( reposiTUm)

Popp, R., & Kaindl, H. (2014). Automated Adaptation of Business Process Models Through Model TransformationsSpecifying Business Rules. In Proceedings of the CAiSE’14 Forum at the 26th International Conference on Advanced Information Systems Engineering (CAiSE). 26th International Conference on Advanced Information Systems Engineering (CAiSE), Thessaloniki, Greece. http://hdl.handle.net/20.500.12708/74274 ( reposiTUm)

Gutschier, C., Hoch, R., Kaindl, H., & Popp, R. (2014). A Pitfall with BPMN Execution. In Proceedings of the second International Conference on Building and Exploring Web Based Environments WEB 2014 (p. 7). http://hdl.handle.net/20.500.12708/74278 ( reposiTUm)

Mannion, M., & Kaindl, H. (2014). Using Similarity Metrics for Mining Variability from Software Repositories. In Proceedings of the 18th International Software Product Line Conference, Volume 2 (pp. 32–35). http://hdl.handle.net/20.500.12708/74280 ( reposiTUm)

Kisel, V., Bogdan, C., Kaindl, H., & Falb, J. (2014). Towards Fully Declarative High-level Interaction Models: An Approach Facilitating Automated GUI Generation. In Proceedings of the 47th Hawaii International Conference on System Science (pp. 412–421). http://hdl.handle.net/20.500.12708/74281 ( reposiTUm)

Alonso-Ríos, D., Raneburger, D., Popp, R., Kaindl, H., & Falb, J. (2014). A User Study on Tailoring GUIs for Smartphones. In Proceedings of the 29th Annual ACM Symposium on Applied Computing (pp. 186–192). http://hdl.handle.net/20.500.12708/73988 ( reposiTUm)

Raneburger, D., Kaindl, H., Popp, R., Sajatovic, V., & Armbruster, A. (2014). A Process for Facilitating Interaction Design through Automated GUI Generation. In Proceedings of the 29th Annual ACM Symposium on Applied Computing (pp. 1324–1330). http://hdl.handle.net/20.500.12708/73989 ( reposiTUm)

Kaindl, H., Popp, R., & Raneburger, D. (2014). Alternative Interaction Design Patterns for Automated GUI Generation from Discourse-based Communication Models. In Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014 (pp. 2169–2172). http://hdl.handle.net/20.500.12708/74276 ( reposiTUm)

Popp, R., Kaindl, H., Badalians Gholi Kandi, S., Raneburger, D., & Paterno, F. (2014). Duality of Task- and Discourse-based Interaction Design for GUI Generation. In Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014 (pp. 3323–3328). http://hdl.handle.net/20.500.12708/74277 ( reposiTUm)

Kaindl, H., & Mannion, M. (2014). A Feature-Similarity Model for Product Line Engineering. In Proceedings of the 14th International Conference on Software Reuse (ICSR 2015), Software Reuse for Dynamic Systems in the Cloud and Beyond, LNCS 8919 (pp. 34–41). http://hdl.handle.net/20.500.12708/74495 ( reposiTUm)

Raneburger, D., Alonso-Ríos, D., Popp, R., Kaindl, H., & Falb, J. (2013). A User Study with GUIs Tailored for Smartphones. In Proceedings of the 14th IFIP TC 13 International Conference on Human-Computer Interaction - INTERACT 2013, Part II, Springer LNCS 8118 (pp. 505–512). Springer LNCS 8118. http://hdl.handle.net/20.500.12708/176243 ( reposiTUm)

Raneburger, D., Popp, R., & Kaindl, H. (2013). Model-driven Transformation for Optimizing PSMs A Case Study of Rule Design for Multi-device GUI Generation. In Proceedings of the 8th International Joint Conference on Software Technologies (pp. 496–503). http://hdl.handle.net/20.500.12708/73563 ( reposiTUm)

Kaindl, H., Wach, E. P., Okoli, A., Popp, R., Hoch, R., Gaulke, W., & Hussein, T. (2013). Semi-automatic generation of recommendation processes and their GUIs. In Proceedings of the 2013 international conference on Intelligent user interfaces - IUI ’13. IUI ’13 18th International Conference on Intelligent User Interfaces, Santa Monica, United States of America (the). https://doi.org/10.1145/2449396.2449410 ( reposiTUm)

Ertl, D., Falb, J., Kaindl, H., Popp, R., & Raneburger, D. (2013). Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input. In Proceedings of the 46th Annual Hawaii International Conference on System Sciences (pp. 407–416). http://hdl.handle.net/20.500.12708/73741 ( reposiTUm)

Popp, R., Kaindl, H., & Raneburger, D. (2013). Connecting Interaction Models and Application Logic for Model-driven Generation of Web-based Graphical User Interfaces. In Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) (pp. 215–222). http://hdl.handle.net/20.500.12708/73743 ( reposiTUm)

Popp, R., Raneburger, D., & Kaindl, H. (2013). Tool Support for Automated Multi-device GUI Generationfrom Discourse-based Communication Models. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS’13 (p. 6). http://hdl.handle.net/20.500.12708/73561 ( reposiTUm)

Raneburger, D., Popp, R., & Kaindl, H. (2013). Design Alternatives for GUI Development with Discourse-based Communication Models. In Informatik 2013 (p. 13). http://hdl.handle.net/20.500.12708/73597 ( reposiTUm)

Raneburger, D., Popp, R., Alonso-Rios, D., Kaind, H., & Falb, J. (2013). A User Study with GUIs Tailored for Smartphones and Tablet PCs. In 2013 IEEE International Conference on Systems, Man, and Cybernetics. 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC’13), Manchester, United Kingdom of Great Britain and Northern Ireland (the). https://doi.org/10.1109/smc.2013.635 ( reposiTUm)

Ertl, D., Dominka, S., & Kaindl, H. (2013). Using a Mediator to Handle Undesired Feature Interaction of Automated Driving. In Proceedings of the 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC’13) (pp. 4555–4560). http://hdl.handle.net/20.500.12708/73617 ( reposiTUm)

Kaindl, H. (2012). Requirements meet interaction design. In Product-Focused Software Process Improvement, Proceedings of PROFES 2012 (pp. 374–376). Springer LNCS. http://hdl.handle.net/20.500.12708/176227 ( reposiTUm)

Ertl, D., & Kaindl, H. (2012). Semi-automatic Generation of Multimodal User Interfaces for Dialogue-based Interactive Systems. In Proceedings of the 14th ACM International Conference on Multimodal Interaction (ICMI´12) (pp. 441–444). http://hdl.handle.net/20.500.12708/73244 ( reposiTUm)

Kaindl, H., Arnautovic, E., & Falb, J. (2012). How About Agile Systems Development? In Proceedings of the Seventh International Conference on Systems (ICONS´12) (pp. 55–58). http://hdl.handle.net/20.500.12708/73246 ( reposiTUm)

Kaindl, H., Jäntti, M., Mannaert, H., Nakamatsu, K., & Rieke, R. (2012). Requirements Engineering for Software vs. Systems in General. In Proceedings of the Seventh International Conference on Systems (ICONS´12) (pp. 190–192). http://hdl.handle.net/20.500.12708/73247 ( reposiTUm)

Kaindl, H., Ertl, D., Falb, J., Bogdan, C., Severinson Eklundh, K., & Hüttenrauch, H. (2012). A Motion Cue of a Robot Shopping Cart as a Low-level Gesture together with Speech Output. In Proceedings of the ICMI´12 WS on Speech and Gesture Production in Virtually and Physically Embodied Conversational Agents (pp. 1–6). http://hdl.handle.net/20.500.12708/73248 ( reposiTUm)

Mannion, M., & Kaindl, H. (2012). Product Line Requirements Reuse Based on Variability Management. In 2012 19th Asia-Pacific Software Engineering Conference. 19th Asia-Pacific Software Engineering Conference, Hong Kong. https://doi.org/10.1109/apsec.2012.158 ( reposiTUm)

Bogdan, C., Ertl, D., Falb, J., Green, A., & Kaindl, H. (2012). A Case Study of Remote Interdisciplinary Designing through Video Prototypes. In Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS-45) (pp. 504–513). http://hdl.handle.net/20.500.12708/73137 ( reposiTUm)

Kaindl, H., Popp, R., & Raneburger, D. (2012). Automated Generation of User Interfaces: Based on Use Case or Interaction Design Specifications? In Proceedings of the 7th International Conference on Software Paradigm Trends (ICSOFT´12) (pp. 1–6). http://hdl.handle.net/20.500.12708/73245 ( reposiTUm)

Popp, R., Falb, J., Raneburger, D., & Kaindl, H. (2012). A Transformation Engine for Model-driven UI Generation. In Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Sytems (EICS´12) (p. 6). http://hdl.handle.net/20.500.12708/72869 ( reposiTUm)

Raneburger, D., Popp, R., Kaindl, H., & Falb, J. (2011). Automated WIMP-UI Behavior Generation: Parallelism and Granularity of Communication Units. In Proceedings of the 2011 IEEE International Conference on Systems, Man and Cybernetics (pp. 2816–2821). http://hdl.handle.net/20.500.12708/72367 ( reposiTUm)

Kavaldjian, S., Kaindl, H., Falb, J., & Mukasa, K. S. (2011). Transforming between models of requirements and user interface prototypes. In Proceedings of the 23rd International Conference Software & Systems Engineering and their Applications (ICSSEA ´11) (p. 6). GL & IS: Génie Logiciel : Le Magazine de l´Ingénierie du Logiciel et des Systèmes. http://hdl.handle.net/20.500.12708/72584 ( reposiTUm)

Pilat, L., & Kaindl, H. (2011). A Knowledge Management Perspective of Requirements Engineering. In Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science (RCIS ’11) (pp. 48–59). http://hdl.handle.net/20.500.12708/72587 ( reposiTUm)

Kaindl, H., Popp, R., Raneburger, D., Ertl, D., Falb, J., Szep, A., & Bogdan, C. (2011). Robot-Supported CooperativeWork: A Shared-Shopping Scenario. In Proceedings of the 44th Hawaii International Conference on System Sciences (HICSS 2011) (pp. 1530–1605). http://hdl.handle.net/20.500.12708/72586 ( reposiTUm)

Kaindl, H., & Pilat, L. (2011). Revisiting the Requirements Communication Problem from a Knowledge Management Perspective. In Proceedings of The Sixth International Conference on Software Engineering Advances (ICSEA’11 ) (p. 2). http://hdl.handle.net/20.500.12708/72585 ( reposiTUm)

Ertl, D., Kaindl, H., Arnautovic, E., Falb, J., & Popp, R. (2011). Discourse-based Interaction Models for Recommendation Processes. In Proceedings of the Fourth International Conference on Advances in Computer-Human Interactions (p. 4). http://hdl.handle.net/20.500.12708/72169 ( reposiTUm)

Raneburger, D., Popp, R., Kaindl, H., Falb, J., & Ertl, D. (2011). Automated Generation of Device-Specific WIMP-UIs: Weaving of Structural and Behavioral Models. In Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 41–46). http://hdl.handle.net/20.500.12708/72176 ( reposiTUm)

Kaindl, H., Putz, B., Ertl, D., Hüttenrauch, H., & Bogdan, C. (2011). A Walking Aid Integrated in a Semi-Autonomous Robot Shopping Cart. In Proceedings of the Fourth International Conference on Advances in Computer-Human Interactions (p. 4). http://hdl.handle.net/20.500.12708/72170 ( reposiTUm)

Ertl, D., Kaindl, H., Arnautovic, E., Falb, J., & Popp, R. (2011). Generating High-Level Interaction Models out of Ontologies. In Proceedings of 2nd Workshop of Semantic Models for Adaptive Interactive Systems (p. 2). http://hdl.handle.net/20.500.12708/72173 ( reposiTUm)

Raneburger, D., Schörkhuber, A., Kaindl, H., & Falb, J. (2011). UI Development Support through Model Integrity Checks in a Discourse-based Generation Framework. In Proceedings of The First International Workshop on Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto) (pp. 1–4). http://hdl.handle.net/20.500.12708/72539 ( reposiTUm)

Hüttenrauch, H., Bogdan, C., Green, A., Severinson Eklundh, K., Ertl, D., Falb, J., Kaindl, H., & Göller, M. (2010). Evaluation of Robot Body Movements Supporting Communication. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB´10) (pp. 42–49). http://hdl.handle.net/20.500.12708/71481 ( reposiTUm)

Ertl, D., Kavaldjian, S., Kaindl, H., & Falb, J. (2010). Semi-Automatically Generated High-Level Fusion for Multimodal User Interfaces. In Proceedings of 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010) (pp. 1–10). http://hdl.handle.net/20.500.12708/71484 ( reposiTUm)

Ertl, D., Falb, J., & Kaindl, H. (2010). Semi-automatically Configured Fission for Multimodal User Interfaces. In Proceedings of the Third International Conference on Advances in Computer-Human Interactions (pp. 1–6). http://hdl.handle.net/20.500.12708/71483 ( reposiTUm)

Arnautovic, E., & Kaindl, H. (2010). Towards Self-Managed Systems aware of Economic Value. In Proceedings of the Workshop on Socio-Economics Inspiring Self-Managed Systems and Concepts SEISMYC 2010 (p. 2). http://hdl.handle.net/20.500.12708/71875 ( reposiTUm)

Kaindl, H. (2010). Model a Discourse and Transform it to Your User Interface. In EICS´10 Prodeedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 371–372). http://hdl.handle.net/20.500.12708/71883 ( reposiTUm)

Kaindl, H., Falb, J., Melbinger, S., & Bruckmayer, S. (2010). An Approach to Method-Tool Coupling for Software Development. In Proceedings of the Fifth International Conference on Software Engineering Advances (ICSEA 2010) (p. 6). http://hdl.handle.net/20.500.12708/71884 ( reposiTUm)

Kaindl, H. (2010). Systems Engineering in Research Involving Diverse Organisations? In Proceedings of the 7th biannual European Systems Engineering Conference (EuSEC 2010) (p. 3). http://hdl.handle.net/20.500.12708/71882 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., & Ertl, D. (2010). Increments in An Iterative Systems Engineering Life Cycle. In Proceedings of the 7th biannual European Systems Engineering Conference (EuSEC 2010) (p. 12). http://hdl.handle.net/20.500.12708/71881 ( reposiTUm)

Kaindl, H., Smialek, M., & Nowakowski, W. (2010). Case-based Reuse with Partial Requirements Specifications. In Proceedings of the 18th IEEE International Requirements Engineering Conference (RE 2010) (pp. 399–400). http://hdl.handle.net/20.500.12708/71885 ( reposiTUm)

Kavaldjian, S., Raneburger, D., Popp, R., Leitner, M., Falb, J., & Kaindl, H. (2010). Automated Optimization of User Interfaces for Screens with Limited Resolution. In Proceedings of the 5th International Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010): Bridging between User Experience and UI Engineering (p. 4). http://hdl.handle.net/20.500.12708/71876 ( reposiTUm)

Popp, R., Falb, J., Arnautovic, E., Kaindl, H., Kavaldjian, S., Ertl, D., Horacek, H., & Bogdan, C. (2009). Automatic Generation of the Behavior of a User Interface from a High-level Discourse Model. In Proceedings of the 42nd Hawaii International Conference on System Sciences (HICSS 2009) (p. 10). http://hdl.handle.net/20.500.12708/70909 ( reposiTUm)

Krapfenbauer, H., Ertl, D., Kaindl, H., & Falb, J. (2009). Support for Programming Embedded Software with Dynamically Typed Languages. In Proceedings of the Fourth International Conference on Systems (ICONS 2009) (p. 7). http://hdl.handle.net/20.500.12708/70771 ( reposiTUm)

Kavaldjian, S., Falb, J., & Kaindl, H. (2009). Fully Automatic Content Presentation Specific to Intentions. In Proceedings of the MDDAUI ’09 Workshop on Model Driven Development of Advanced User Interfaces (p. 4). http://hdl.handle.net/20.500.12708/71139 ( reposiTUm)

Kajko-Mattsson, M., Aguiar, A., Boness, K., Kaindl, H., Pooley, R., & Tael, A. (2009). Long-Term Perspective of Agile Methods. In Proceedings of the 4th International Conference on Software Engineering Advances (p. 2). http://hdl.handle.net/20.500.12708/71143 ( reposiTUm)

Horacek, H., & Kaindl, H. (2009). An Analysis of Decision Quality of Minimaxing vs. Product Propagation. In Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics (p. 7). http://hdl.handle.net/20.500.12708/71142 ( reposiTUm)

Kaindl, H., Arnautovic, E., Ertl, D., & Falb, J. (2009). Iterative Requirements Engineering and Architecting in Systems Engineering. In Proceedings of the Fourth International Conference on Systems (ICONS 2009) (p. 6). http://hdl.handle.net/20.500.12708/71146 ( reposiTUm)

Kaindl, H., & Wagner, P. (2009). A Unification of the Essence of Goal-oriented Requirements Engineering. In Proceedings of the Fourth International Conference on Software Engineering Advances (ICSEA 2009 (p. 6). http://hdl.handle.net/20.500.12708/71144 ( reposiTUm)

Kaindl, H. (2009). What is an Aspect in Requirements Engineering? In Proceedings of the Fourth International Conference on Software and Data Technologies (p. 5). http://hdl.handle.net/20.500.12708/71145 ( reposiTUm)

Falb, J., Kavaldjian, S., Popp, R., Raneburger, D., Arnautovic, E., & Kaindl, H. (2009). Fully automatic user interface generation from discourse models. In Proceedings of the 14th international conference on Intelligent user interfaces. International Conference on Intelligent User Interfaces (IUI2009), Sanibel Island, Florida, USA, Non-EU. https://doi.org/10.1145/1502650.1502722 ( reposiTUm)

Kavaldjian, S., Kaindl, H., Mukasa, K. S., & Falb, J. (2009). Transformations Between Specifications of Requirements and User Interfaces. In Proceedings of the MDDAUI ’09 Workshop on Model Driven Development of Advanced User Interfaces (p. 4). http://hdl.handle.net/20.500.12708/71123 ( reposiTUm)

Kavaldjian, S., Raneburger, D., Falb, J., Kaindl, H., & Ertl, D. (2009). Semi-automatic user interface generation considering pointing granularity. In Proceedings of the International Conference on Systems, Man and Cybernetics 2009 (p. 8). http://hdl.handle.net/20.500.12708/71126 ( reposiTUm)

Kavaldjian, S., Falb, J., & Kaindl, H. (2009). Generating content presentation according to purpose. In Proceedings of the International Conference on Systems, Man and Cybernetics 2009 (p. 6). http://hdl.handle.net/20.500.12708/71125 ( reposiTUm)

Vallee, M., Kaindl, H., Merdan, M., Lepuschitz, W., & Arnautovic, E. (2009). An Automation Agent Architecture with A Reflective World Model in Manufacturing Systems. In : Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics (p. 311). http://hdl.handle.net/20.500.12708/71127 ( reposiTUm)

Kaindl, H. (2009). Combining Requirements and Interaction Design through Usage Scenarios. In Human-Computer Interaction - INTERACT 2009, Proceedings of the 12th IFIP TC 13 International Conference, Part II, LNCS 5727 (pp. 932–933). Springer. http://hdl.handle.net/20.500.12708/176180 ( reposiTUm)

Kaindl, H. (2009). Model a Discourse and Transform It to Your User Interface. In Human-Computer Interaction - INTERACT 2009, Proceedings of the 12th IFIP TC 13 International Conference, Part II, LNCS 5727 (pp. 948–949). Springer. http://hdl.handle.net/20.500.12708/176181 ( reposiTUm)

Bogdan, C., Kaindl, H., & Falb, J. (2008). Discourse-based Interaction Design for Multi-modal User Interfaces. In CHI 2008 Workshop Proceedings on User Interface Description Languages for Next Generation User Interfaces (p. 4). http://hdl.handle.net/20.500.12708/70438 ( reposiTUm)

Kaindl, H., Falb, J., & Bogdan, C. (2008). Multimodal communication involving movements of a robot. In CHI ’08 Extended Abstracts on Human Factors in Computing Systems. Conference on Human Factors in Computing Systems 2008 (CHI08), Florence, Italy, EU. https://doi.org/10.1145/1358628.1358833 ( reposiTUm)

Arnautovic, E., Kaindl, H., Falb, J., & Popp, R. (2008). High-Level Modeling of Software-Management Interactions and Tasks for Autonomic Computing. In Fourth International Conference on Autonomic and Autonomous Systems (ICAS’08). Fourth International Conference on Autonomic and Autonomous Systems (ICAS 2008), Guadelope, France, EU. https://doi.org/10.1109/icas.2008.46 ( reposiTUm)

Mukasa, K. S., & Kaindl, H. (2008). An Integration of Requirements and User Interface Specifications. In 2008 16th IEEE International Requirements Engineering Conference. 16th IEEE International Requirements Engineering Conference (RE 2008), Barcelona, Spain, EU. https://doi.org/10.1109/re.2008.55 ( reposiTUm)

Kaindl, H., & Svetinovic, D. (2008). Requirements vs. Software Design: An Explanation based on the Distinction between Concepts and their Representations. In Proceedings of the Third International Multi-Conference on Computing in the Global Information Technology (ICCGI 2008) (pp. 102–106). http://hdl.handle.net/20.500.12708/70569 ( reposiTUm)

Kaindl, H., & Falb, J. (2008). Can We Transform Requirements into Architecture? In 2008 The Third International Conference on Software Engineering Advances. The Third International Conference on Software Engineering Advances (ICSEA 2008), Sliema, Malta, EU. https://doi.org/10.1109/icsea.2008.19 ( reposiTUm)

Kavaldjian, S., Bogdan, C., Falb, J., & Kaindl, H. (2008). Transforming Discourse Models to Structural User Interface Models. In Models in Software Engineering, MoDELS 2007 Workshops, LNCS 5002 (pp. 77–88). Springer-Verlag, Berlin-Heidelberg. http://hdl.handle.net/20.500.12708/70282 ( reposiTUm)

Kaindl, H. (2008). What is an Aspect in Aspect-oriented Requirements Engineering? In Proceedings of the 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD’08) (p. 7). http://hdl.handle.net/20.500.12708/70278 ( reposiTUm)

Kaindl, H., & Svetinovic, D. (2008). Distinction between Requirements and Their Representations. In Proceedings of the Sixth Annual Conference on Systems Engineering Research (CSER-08) (p. 7). http://hdl.handle.net/20.500.12708/70279 ( reposiTUm)

Bogdan, C., Falb, J., Kaindl, H., Kavaldjian, S., Popp, R., Horacek, H., Arnautovic, E., & Szep, A. (2008). Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. In Proceedings of the 41st Hawaii International Conference on System Sciences (p. 10). http://hdl.handle.net/20.500.12708/70281 ( reposiTUm)

Bogdan, C., Kaindl, H., Falb, J., & Popp, R. (2008). Modeling of interaction design by end users through discourse modeling. In Proceedings of the 2008 ACM International Conference on Intelligent User Interfaces (IUI 2008) (pp. 305–308). http://hdl.handle.net/20.500.12708/70280 ( reposiTUm)

Kaindl, H., Constantine, L., Pastor, O., Sutcliffe, A., & Zowghi, D. (2008). How to Combine Requirements Engineering and Interaction Design? In 2008 16th IEEE International Requirements Engineering Conference (pp. 299–301). IEEE. https://doi.org/10.1109/re.2008.59 ( reposiTUm)

Wolter, K., Smialek, M., Bildhauer, D., & Kaindl, H. (2008). Reusing Terminology for Requirements Specifications from WordNet. In 2008 16th IEEE International Requirements Engineering Conference. 16th IEEE International Requirements Engineering Conference (RE 2008), Barcelona, Spain. IEEE. https://doi.org/10.1109/re.2008.56 ( reposiTUm)

Kavaldjian, S., Bogdan, C., Falb, J., & Kaindl, H. (2007). Transforming a Discourse Model to an Abstract User Interface Model. In Proceedings of the Model Driven Development of Advanced User Interfaces 2007 (MDDAUI’07) Workshop of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS’2007) (p. 4). http://hdl.handle.net/20.500.12708/69950 ( reposiTUm)

Kaindl, H., Griego, R., Hause, M., Hood, C., & Mannion, M. (2007). Requirements Engineering for Software vs. Systems in General? In Proceedings of the 17th Annual International Symposium of the International Council on Systems Engineering (INCOSE 2007) (p. 10). http://hdl.handle.net/20.500.12708/69978 ( reposiTUm)

Kaindl, H. (2007). Connecting Requirements and Object-Oriented Modeling. In Managing Worldwide Operations and Communications with Information Technology, Proceedings of the 2007 Information Resources Management Association International Conference (IRMA-07)" (p. 2). http://hdl.handle.net/20.500.12708/69979 ( reposiTUm)

Kaindl, H. (2007). How to Combine Requirements and Interaction Design Through Usage Scenarios. In Human-Computer Interaction - INTERACT 2007, Proceedings of the 11th IFIP TC 13 International Conference, Part II, LNCS 4663 (pp. 706–707). Springer. http://hdl.handle.net/20.500.12708/176117 ( reposiTUm)

Falb, J., Popp, R., Röck, T., Jelinek, H., Arnautovic, E., & Kaindl, H. (2007). UI Prototyping for Multiple Devices Through Specifying Interaction Design. In Human-Computer Interaction - INTERACT 2007, Proceedings of the 11th IFIP TC 13 International Conference, Part I, LNCS 4662 (pp. 136–149). Springer. http://hdl.handle.net/20.500.12708/176118 ( reposiTUm)

Falb, J., Popp, R., Röck, T., Jelinek, H., Arnautovic, E., & Kaindl, H. (2007). Fully-automatic generation of user interface for multiple devices from a high-level model based on communicative acts. In Proceedings of the Fortieth Annual Hawaii International Conference on System Sciences (HICSS-40) (p. 10). http://hdl.handle.net/20.500.12708/69593 ( reposiTUm)

Arnautovic, E., Kaindl, H., Falb, J., Popp, R., & Szep, A. (2007). Gradual transition towards autonomic software systems based on high-level communication specification. In Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 07) (pp. 84–89). http://hdl.handle.net/20.500.12708/69707 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., & Popp, R. (2006). High-level Communication in Systems-of-Systems. In E. Arnautovic (Ed.), Proceedings of the Fourth Annual Conference on Systems Engineering Research (CSER-06) (p. 10). http://hdl.handle.net/20.500.12708/69123 ( reposiTUm)

Falb, J., Kaindl, H., Horacek, H., Bogdan, C., Popp, R., & Arnautovic, E. (2006). A discourse model for interaction design based on theories of human communication. In CHI `06 Extended Abstracts on Human Factors in Computing Systems (pp. 754–759). http://hdl.handle.net/20.500.12708/69026 ( reposiTUm)

Kaindl, H., & Kramer, S. (2006). Are Automated Traceability Checks Needed? In Proceedings of the ISOneWorld 2006 (p. 8). http://hdl.handle.net/20.500.12708/69045 ( reposiTUm)

Kaindl, H., & Falb, J. (2006). From Requirements to Design: Model-driven Transformation or Mapping? In Proceedings of the First International Workshop on Model Reuse Strategies (MoRSe 2006) (pp. 29–32). http://hdl.handle.net/20.500.12708/69470 ( reposiTUm)

Arnautovic, E., Kaindl, H., & Falb, J. (2006). An Architecture for Gradual Transition Towards Self-Managed Software Systems. In Proceedings of the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (p. 2). http://hdl.handle.net/20.500.12708/69420 ( reposiTUm)

Falb, J., Popp, R., Röck, T., Jelinek, H., Arnautovic, E., & Kaindl, H. (2006). Using communicative acts in interface design specifications for automated synthesis of user interfaces. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (pp. 261–264). http://hdl.handle.net/20.500.12708/69247 ( reposiTUm)

Kaindl, H. (2005). System and Software Co-Architecting. In Proceedings of the Third Annual Conference on Systems Engineering Research (CSER-05) (p. 8). http://hdl.handle.net/20.500.12708/68481 ( reposiTUm)

Harput, V., Kaindl, H., & Kramer, S. (2005). Extending Function Point Analysis to Object-Oriented Requirements Specifications. In Proceedings of the 11th IEEE International Software Metrics Symposium (METRICS 2005) (p. 10). http://hdl.handle.net/20.500.12708/68740 ( reposiTUm)

Kaindl, H., & Mannion, M. (2005). Verification of Selection from Product Line Requirements. In Proceedings of the 15th Annual International Symposium of the International Council on Systems Engineering (INCOSE 2005) (p. 10). http://hdl.handle.net/20.500.12708/68741 ( reposiTUm)

Kaindl, H. (2005). Are There Any Differences in Requirements Engineering in Government and Industry? In Proceedings of the 15th Annual International Symposium of the International Council on Systems Engineering (INCOSE 2005) (p. 2). http://hdl.handle.net/20.500.12708/68742 ( reposiTUm)

Falb, J., Popp, R., Röck, T., Jelinek, H., Arnautovic, E., & Kaindl, H. (2005). Using Communicative Acts in High-Level Specifications of User Interfaces for Their Automatic Synthesis. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (pp. 429–430). http://hdl.handle.net/20.500.12708/68907 ( reposiTUm)

Kaindl, H., Hoch, R., Rathmair, M., & Luckeneder, C. (2018). Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. In E. Damiani, G. Spanoudakis, & L. Maciaszek (Eds.), Communications in Computer and Information Science (pp. 261–287). Springer International Publishing. https://doi.org/10.1007/978-3-030-22559-9_12 ( reposiTUm)

Kaindl, H. (2013). Model-Based Transition from Requirements to High-Level Software Design. In Product-Focused Software Process Improvement (pp. 367–369). Springer LNCS 7983. http://hdl.handle.net/20.500.12708/28076 ( reposiTUm)

Kaindl, H. (2011). Scenario-Based Requirements Engineering Facilitating Interaction Design. In INTERACT 2011, Part IV, LNCS 6949 (pp. 1–2). Springer LNCS. http://hdl.handle.net/20.500.12708/27382 ( reposiTUm)

Kaindl, H. (2011). UIs Automatically Optimized for Your Smartphone. In INTERACT 2011, Part IV, LNCS 6949 (pp. 712–713). Springer LNCS. http://hdl.handle.net/20.500.12708/27383 ( reposiTUm)

Raneburger, D., Popp, R., Kavaldjian, S., Kaindl, H., & Falb, J. (2011). Optimized GUI Generation for Small Screens. In Model-Driven Development of Advanced User Interfaces (pp. 107–122). Springer. http://hdl.handle.net/20.500.12708/26830 ( reposiTUm)

Bogdan, C., Ertl, D., Hüttenrauch, H., Göller, M., Green, A., Severinson-Eklundh, K., Falb, J., & Kaindl, H. (2011). Evaluation of robot body movements supporting communication: Towards HRI on the move. In New Frontiers in Human-Robot Interaction (pp. 185–210). John Benjamins Publishing Company. http://hdl.handle.net/20.500.12708/27487 ( reposiTUm)

Kaindl, H., Mannion, M., & Maciaszek, L. (Eds.). (2024). Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering. ScitePress. https://doi.org/10.5220/0000177000003687 ( reposiTUm)

Kaindl, H., Mannion, M., & Maciaszek, L. A. (Eds.). (2024). Evaluation of Novel Approaches to Software Engineering : 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24–25, 2023, Revised Selected Papers (Vol. 2028). Springer. https://doi.org/10.1007/978-3-031-64182-4 ( reposiTUm)

Kaindl, H., Mannion, M., & Maciaszek, L. (Eds.). (2023). Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering. https://doi.org/10.5220/0000164200003464 ( reposiTUm)

Kaindl, H., Mannion, M., & Maciaszek, L. (Eds.). (2023). Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25–26, 2022, Revised Selected Papers (Vol. 1829). https://doi.org/10.1007/978-3-031-36597-3 ( reposiTUm)

Ali, R., Kaindl, H., & Maciaszek, L. (Eds.). (2022). Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers (Vol. 1556). Springer. https://doi.org/10.1007/978-3-030-96648-5 ( reposiTUm)

Kaindl, H., Mannion, M., & Maciaszek, L. (Eds.). (2022). Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering. https://doi.org/10.5220/0000149800003176 ( reposiTUm)

Ali, R., Kaindl, H., & Maciaszek, L. A. (Eds.). (2021). Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Revised Selected Papers. Springer Nature Switzerland AG. http://hdl.handle.net/20.500.12708/24917 ( reposiTUm)

Ali, R., Kaindl, H., & Maciaszek, L. A. (Eds.). (2021). ENASE 2021 - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, Lda. http://hdl.handle.net/20.500.12708/24905 ( reposiTUm)

Ali, R., Kaindl, H., & Maciaszek, L. A. (Eds.). (2020). ENASE 2020 - Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, Lda. http://hdl.handle.net/20.500.12708/24819 ( reposiTUm)

Hall, J., Kaindl, H., Lavazza, L., Buchgeher, G., & Takaki, O. (Eds.). (2010). Proceedings of the Fifth International Conference on Software Engineering Advances. IEEE Computer Society. http://hdl.handle.net/20.500.12708/23204 ( reposiTUm)

Zimmermann, K., Fernbach, A., Galler, F., L. Du, J., Kaindl, H., Drobics, H., & Kerschl, P. (2017). IKT der Zukunft - eine Leistungs(vor)schau. forum IoT 2017, Wien, Austria. http://hdl.handle.net/20.500.12708/90983 ( reposiTUm)

Kaindl, H. (2015). On the Gap between Business Processes and Business Software. The Fifth International Conference on Business Intelligence and Technology (BUSTECH 2015), Nizza, France. http://hdl.handle.net/20.500.12708/90679 ( reposiTUm)

Kaindl, H. (2013). Model-Based Transition from Requirements to High-Level Software Design. 20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkoki, Thailand. http://hdl.handle.net/20.500.12708/90260 ( reposiTUm)

Kaindl, H. (2013). Software Reuse Based on Business Processes and Requirements. 20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkok, Thailand. http://hdl.handle.net/20.500.12708/90259 ( reposiTUm)

Kaindl, H. (2013). Communication: A Specific High-level View and Modeling Approach. The Fifth International Conferences on Advances in Multimedia (MMEDIA 2013), Venedig, Italy. http://hdl.handle.net/20.500.12708/90678 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., Szep, A., & Kavaldjian, S. (2008). D2.1 V2 - Annex 2 - System Architecture Third Baseline. http://hdl.handle.net/20.500.12708/35170 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., Szep, A., & Popp, R. (2008). D2.1 First Version of System, Architectural and Subsystem Specification. http://hdl.handle.net/20.500.12708/35172 ( reposiTUm)

Kaindl, H., Falb, J., Horacek, H., Arnautovic, E., & Popp, R. (2008). D5.1 - Report on the Communication Model. http://hdl.handle.net/20.500.12708/35174 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., Szep, A., & Kavaldjian, S. (2008). D2.1 V1 - Annex 2 - System Architecture Second Baseline. http://hdl.handle.net/20.500.12708/35171 ( reposiTUm)

Kaindl, H., Falb, J., Ertl, D., Szep, A., & Popp, R. (2008). D5.2 - Requirements Definition of Communication Platform. http://hdl.handle.net/20.500.12708/35173 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., Szep, A., & Popp, R. (2008). D2.1 V2 Annex 1 - User and System Requirements Specification Third Baseline. http://hdl.handle.net/20.500.12708/35169 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., Szep, A., & Popp, R. (2008). D2.1 V2 Sytem, Architectural and Subsystem Specification. http://hdl.handle.net/20.500.12708/35168 ( reposiTUm)

Kaindl, H., Falb, J., Arnautovic, E., & Popp, R. (2008). User and System Requirements Specification Second Baseline. http://hdl.handle.net/20.500.12708/35281 ( reposiTUm)

Arnautovic, E., Falb, J., Kaindl, H., Popp, R., & Szep, A. (2007). Information System Application Design Document. http://hdl.handle.net/20.500.12708/31340 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Kaindl, H., Kavaldjian, S., Popp, R., & Szep, A. (2007). User Interface Rendering Specification IO Rendering. http://hdl.handle.net/20.500.12708/31339 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Kaindl, H., Kavaldjian, S., Popp, R., & Szep, A. (2007). Information System Application Design Document. http://hdl.handle.net/20.500.12708/31338 ( reposiTUm)

Kaindl, H., Smialek, M., Svetinovic, D., Ambroziewicz, A., Bojarski, J., el Jamal, M. H., Nowakowski, W., Straszak, T., Brogan, J. P., Schwarz, H., Bildhauer, D., & Falb, J. (2007). Behavioural Requirements Language Definition - Defining the ReDSeeDS Languages (D2.1). http://hdl.handle.net/20.500.12708/31400 ( reposiTUm)

Kaindl, H., Smialek, M., Ambroziewicz, A., Svetinovic, D., Bojarski, J., Nowakowski, W., Straszak, T., el Jamal, M. H., Hotz, L., Wolter, K., Krebs, T., Schwarz, H., Bildhauer, D., Falb, J., & Brogan, J. P. (2007). Structural Requirements Language Definition - Defining the ReDSeeDS Languages (D2.2). http://hdl.handle.net/20.500.12708/31401 ( reposiTUm)

Kaindl, H., Smialek, M., Svetinovic, D., Ambroziewicz, A., Bojarski, J., Nowakowski, W., Straszak, T., Schwarz, H., Bildhauer, D., Brogan, J. P., Mukasa, K. S., Wolter, K., & Krebs, T. (2007). Requirements Specification Language Definition - Defining the ReDSeeDS Languages (D2.4.1). http://hdl.handle.net/20.500.12708/31403 ( reposiTUm)

Arnautovic, E., Falb, J., Kaindl, H., Kavaldjian, S., Popp, R., & Szep, A. (2006). Communication Process Specification (Episode Engine Specification) (No. D6). http://hdl.handle.net/20.500.12708/31303 ( reposiTUm)

Arnautovic, E., Falb, J., Kaindl, H., Kavaldjian, S., Popp, R., & Szep, A. (2006). Transport Mechanism Specification (No. D5). http://hdl.handle.net/20.500.12708/31304 ( reposiTUm)

Bogdan, C., Arnautovic, E., Falb, J., Kaindl, H., Popp, R., Szep, A., & Kavaldjian, S. (2006). User Interface Rendering Specification Structural Part (No. D7a). http://hdl.handle.net/20.500.12708/31302 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Horacek, H., Kaindl, H., Kavaldjian, S., Popp, R., & Röck, T. (2006). Language Specification of Episodes (No. D3). http://hdl.handle.net/20.500.12708/31306 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Horacek, H., Kaindl, H., Kavaldjian, S., Popp, R., & Röck, T. (2006). Complete Specification of the Communication Description Language (CDL) (No. D4). http://hdl.handle.net/20.500.12708/31305 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Kaindl, H., & Popp, R. (2005). Dealing with Context within an Ontology-based Unified Communication Platform (No. D1). http://hdl.handle.net/20.500.12708/31251 ( reposiTUm)

Arnautovic, E., Bogdan, C., Falb, J., Kaindl, H., & Popp, R. (2005). Language Specification for Communicative Acts (No. D2). http://hdl.handle.net/20.500.12708/31252 ( reposiTUm)