Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHermann Kaindl
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c186]Tor-Morten Grønli, Hermann Kaindl, Tim A. Majchrzak:
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS 2023: 6893-6894- 2022
- [j40]Ralph Hoch
, Christoph Luckeneder, Roman Popp, Hermann Kaindl:
Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. IEEE Trans. Software Eng. 48(10): 4041-4059 (2022) - [c185]Mike Mannion, Hermann Kaindl:
Enhancing Product Comparison through Automated Similarity Matching. EASE 2022: 463-464 - [c184]Andreas Biørn-Hansen, Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl, Gheorghita Ghinea:
The Use of Cross-Platform Frameworks for Google Play Store Apps. HICSS 2022: 1-10 - [c183]Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli:
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS 2022: 1-2 - [c182]Petar Paradzikovic, Ralph Hoch, Hermann Kaindl:
Assigning Systems to Test Environments Through Ontological Reasoning. SEMANTiCS 2022: 75-89 - [c181]Mike Mannion, Hermann Kaindl:
Similarity matching for product comparison. SPLC (A) 2022: 258-259 - [e7]Raian Ali, Hermann Kaindl, Leszek A. Maciaszek:
Evaluation of Novel Approaches to Software Engineering - 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers. Communications in Computer and Information Science 1556, Springer 2022, ISBN 978-3-030-96647-8 [contents] - [e6]Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek:
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022. SCITEPRESS 2022, ISBN 978-989-758-568-5 [contents] - 2021
- [c180]Matías Hirsch, Cristian Mateos, Alejandro Zunino, Tim A. Majchrzak, Tor-Morten Grønli, Hermann Kaindl:
A Simulation-based Performance Evaluation of Heuristics for Dew Computing. HICSS 2021: 1-10 - [c179]Hermann Kaindl, Tor-Morten Grønli, Tim A. Majchrzak:
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS 2021: 1-2 - [c178]Mike Mannion, Hermann Kaindl:
Using Binary Strings for Comparing Products from Software-intensive Systems Product Lines. ICEIS (2) 2021: 257-266 - [c177]Hermann Kaindl:
High-Level Interaction Design with Discourse Models for Automated Web GUI Generation. ICWE 2021: 542-546 - [c176]Hermann Kaindl:
ModelGenGUIs - High-level Interaction Design with Discourse Models for Automated GUI Generation. IUI Companion 2021: 3-4 - [c175]Hermann Kaindl, Mike Mannion:
Requirements Reuse for Exploring Stakeholder Needs. RE 2021: 508-509 - [c174]Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl:
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. RO-MAN 2021: 1283-1288 - [c173]Mike Mannion, Hermann Kaindl:
Reuse for mass personalisation through feature models and similarities. SPLC (A) 2021: 211 - [e5]Raian Ali, Hermann Kaindl, Leszek A. Maciaszek:
Evaluation of Novel Approaches to Software Engineering - 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers. Communications in Computer and Information Science 1375, Springer 2021, ISBN 978-3-030-70005-8 [contents] - [e4]Raian Ali, Hermann Kaindl, Leszek A. Maciaszek:
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021. SCITEPRESS 2021, ISBN 978-989-758-508-1 [contents] - 2020
- [c172]Hermann Kaindl, Jonas Ferdigg:
Towards an Extended Requirements Problem Formulation for Superintelligence Safety. AIRE@RE 2020: 33-38 - [c171]Tor-Morten Grønli, Tim A. Majchrzak, Hermann Kaindl:
A Bibliometric Analysis of the HICSS Software Technology Track. HICSS 2020: 1-10 - [c170]Tim A. Majchrzak, Hermann Kaindl, Tor-Morten Grønli:
Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems. HICSS 2020: 1-2 - [c169]Hermann Kaindl, Ralph Hoch, Roman Popp, Thomas Rathfux, Franz Lukasch:
An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. ICEIS (Revised Selected Papers) 2020: 158-183 - [c168]Hermann Kaindl, Ralph Hoch, Roman Popp:
Estimating Problem Instance Difficulty. ICEIS (1) 2020: 359-369 - [c167]Ephraim Suhir, Gunther Paul, Hermann Kaindl:
Towards Probabilistic Analysis of Human-System Integration in Automated Driving. IHSI 2020: 9-14 - [c166]Hermann Kaindl, Jonas Ferdigg:
Towards Requirements Engineering for Superintelligence Safety. REFSQ Workshops 2020 - [c165]Mike Mannion, Hermann Kaindl:
Software reuse and mass personalization. SPLC (A) 2020: 38:1 - [e3]Raian Ali, Hermann Kaindl, Leszek A. Maciaszek:
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020. SCITEPRESS 2020, ISBN 978-989-758-421-3 [contents] - [i3]Hermann Kaindl, Stefan Kramer:
Towards Probability-based Safety Verification of Systems with Components from Machine Learning. CoRR abs/2003.01155 (2020)
2010 – 2019
- 2019
- [c164]Anthony Anjorin, Enes Yigitbas, Hermann Kaindl:
Consistent Runtime Adaptation of User Interfaces. Bx@PLW 2019: 61-65 - [c163]Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:
An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. ENASE 2019: 289-296 - [c162]Thomas Rathfux, Hermann Kaindl, Ralph Hoch, Franz Lukasch:
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. ICSOFT 2019: 595-604 - [c161]Hermann Kaindl:
Human-Machine Interaction. IHIET 2019: 428-433 - [c160]Hermann Kaindl, Mike Mannion:
Software Reuse and Reusability Based on Requirements: Feature Modelling vs. Case-Based Reasoning. RE 2019: 494-495 - [c159]Hermann Kaindl:
Specifying Requirements through Interaction Design. RE 2019: 508-509 - [c158]Hermann Kaindl, Davor Svetinovic:
Avoiding Undertrust and Overtrust. REFSQ Workshops 2019 - [c157]Christoph Luckeneder, Hermann Kaindl:
A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification. SAC 2019: 1828-1836 - [c156]Mike Mannion, Hermann Kaindl:
Software reuse for mass customization. SPLC (A) 2019: 49:1 - [i2]Hermann Kaindl, Jonas Ferdigg:
Superintelligence Safety: A Requirements Engineering Perspective. CoRR abs/1909.12152 (2019) - 2018
- [c155]Thomas Rathfux, Jasmin Thöner, Hermann Kaindl, Roman Popp:
Combining Design-time Generation of Web-pages with Responsive Design for Improving Low-vision Accessibility. EICS 2018: 10:1-10:7 - [c154]Ralph Hoch, Hermann Kaindl:
Verification of Feature Coordination using the Fluent Calculus. ENASE 2018: 169-179 - [c153]Hermann Kaindl, Ralph Hoch, Michael Rathmair, Christoph Luckeneder:
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. ENASE (Selected Papers) 2018: 261-287 - [c152]Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic:
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS 2018: 1-10 - [c151]Sven Dominka, Dominik Ertl, Michael Dübner, Romana Wiesinger, Hermann Kaindl:
Taming and optimizing feature interaction in software-intensive automotive systems. ICPS 2018: 324-329 - [c150]Christoph Luckeneder, Hermann Kaindl:
Systematic top-down design of cyber-physical models with integrated validation and formal verification. ICSE (Companion Volume) 2018: 274-275 - [c149]Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch:
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment. ICST Workshops 2018: 390-391 - [c148]Anthony Anjorin, Enes Yigitbas, Hermann Kaindl, Roman Popp:
On the development of consistent user interfaces (extended abstract). Programming 2018: 18-20 - [c147]Hermann Kaindl, Mike Mannion:
Software Reuse and Reusability Based on Requirements: Product Lines, Cases and Feature-Similarity Models. RE 2018: 510-511 - [c146]Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp:
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling. SAFECOMP 2018: 297-310 - [c145]Hermann Kaindl, Stefan Kramer, Ralph Hoch:
An inductive learning perspective on automated generation of feature models from given product specifications. SPLC 2018: 25-30 - [c144]Hermann Kaindl, Mike Mannion:
Software reuse and mass customisation: feature modelling vs. case-based reasoning. SPLC 2018: 304 - 2017
- [j39]Hermann Kaindl, Helmut Horacek, Anton Scheucher:
Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intell. AI Games 9(2): 109-122 (2017) - [c143]Hermann Kaindl:
High-level interaction design for automated GUI generation and customization. EICS 2017: 157-158 - [c142]Hermann Kaindl:
High-level Verification and Validation of Software Supporting Business Processes. ENASE 2017: 7 - [c141]Christoph Luckeneder, Michael Rathmair, Hermann Kaindl:
Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation. HICSS 2017: 1-10 - [c140]Roman Popp, Ralph Hoch, Hermann Kaindl:
A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. HICSS 2017: 1-10 - [c139]Roman Popp, Hermann Kaindl:
Stateful SOA-conformant Services as Building Blocks for Interactive Software Systems. HICSS 2017: 1-10 - [c138]Hermann Kaindl:
High-level Verification and Validation of Software Supporting Business Processes. ICEIS (1) 2017: 7-13 - [c137]Christoph Luckeneder, Hermann Kaindl, Martin Korinek:
Automated Unit Testing in Model-based Embedded Software Development. ICSOFT 2017: 427-434 - [c136]Hermann Kaindl, Ralph Hoch, Roman Popp:
Semantic task specification in business process context. RCIS 2017: 286-291 - [c135]Mike Mannion, Hermann Kaindl, Juha Savolainen:
Product Line Strategies and Feature Reuse. SPLC (A) 2017: 252 - 2016
- [c134]Michael Rathmair, Christoph Luckeneder, Hermann Kaindl:
Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. APSEC 2016: 233-240 - [c133]Bernhard Hulin, Hermann Kaindl, Thomas Rathfux, Roman Popp, Edin Arnautovic, Roland Beckert:
Towards a Common Safety Ontology for Automobiles and Railway Vehicles. EDCC 2016: 189-192 - [c132]Thomas Rathfux, Roman Popp, Hermann Kaindl:
Adding custom widgets to model-driven GUI generation. EICS 2016: 16-26 - [c131]Ralph Hoch, Hermann Kaindl, Roman Popp, Christian Zeidler:
Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. HICSS 2016: 4556-4565 - [c130]Hermann Kaindl, Roman Popp, Ralph Hoch, Christian Zeidler:
Reuse vs. Reusability of Software Supporting Business Processes. ICSR 2016: 138-145 - [c129]Hermann Kaindl, Thomas Rathfux, Bernhard Hulin, Roland Beckert, Edin Arnautovic, Roman Popp:
A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature with Standards for Automotive and Railway. HCSE/HESSD 2016: 165-180 - [c128]Dominik Wagner, Hermann Kaindl, Sven Dominka, Michael Dübner:
Optimization of feature interactions for automotive combustion engines. SAC 2016: 1401-1406 - [c127]Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp:
Verification of Business Processes Against Business Rules Using Object Life Cycles. WorldCIST (1) 2016: 589-598 - 2015
- [c126]Roman Popp, Hermann Kaindl:
Specifying Business Requirements through Interaction Design. CAiSE Forum 2015: 177-178 - [c125]David Raneburger, Hermann Kaindl, Roman Popp:
Model transformation rules for customization of multi-device graphical user interfaces. EICS 2015: 100-109 - [c124]David Raneburger, Hermann Kaindl, Roman Popp:
Strategies for Automated GUI Tailoring for Multiple Devices. HICSS 2015: 507-516 - [c123]Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek:
Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS 2015: 1370-1379 - [c122]Hermann Kaindl, Mike Mannion:
A Feature-Similarity Model for Product Line Engineering. ICSR 2015: 34-41 - [c121]Michael Rathmair, Ralph Hoch, Hermann Kaindl, Roman Popp:
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. PoEM 2015: 126-140 - [c120]Roman Popp, Hermann Kaindl:
Automated refinement of business processes through model transformations specifying business rules. RCIS 2015: 327-333 - [c119]Hermann Kaindl, Roman Popp, David Raneburger:
Towards reuse in safety risk analysis based on product line requirements. RE 2015: 241-246 - 2014
- [c118]Roman Popp, Hermann Kaindl:
Automated Adaptation of Business Process Models Through Model Transformations Specifying Business Rules. CAiSE (Forum/Doctoral Consortium) 2014: 65-72 - [c117]David Raneburger, Roman Popp, Hermann Kaindl, Alexander Armbruster, Vedran Sajatovic:
An Iterative and Incremental Process for Interaction Design through Automated GUI Generation. HCI (1) 2014: 373-384 - [c116]Filip Kis, Cristian Bogdan, Hermann Kaindl, Jürgen Falb:
Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation. HICSS 2014: 412-421 - [c115]David Alonso-Ríos, David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb:
A user study on tailoring GUIs for smartphones. SAC 2014: 186-192 - [c114]David Raneburger, Hermann Kaindl, Roman Popp, Vedran Sajatovic, Alexander Armbruster:
A process for facilitating interaction design through automated GUI generation. SAC 2014: 1324-1330 - [c113]Hermann Kaindl, Roman Popp, David Raneburger:
Alternative interaction design patterns for automated GUI generation from Discourse-based Communication Models. SMC 2014: 2154-2157 - [c112]Roman Popp, Hermann Kaindl, Simon Badalians, David Raneburger, Fabio Paternò:
Duality of task- and discourse-based interaction design for GUI generation. SMC 2014: 3316-3321 - [c111]Mike Mannion, Hermann Kaindl:
Using similarity metrics for mining variability from software repositories. SPLC Workshops 2014: 32-35 - 2013
- [j38]Hermann Kaindl, Mathieu Vallée, Edin Arnautovic:
Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(1): 164-175 (2013) - [c110]Hermann Kaindl:
Model-Based Transition from Requirements to High-Level Software Design. APSEC (2) 2013: 81-82 - [c109]Hermann Kaindl:
Software Reuse Based on Business Processes and Requirements. APSEC (2) 2013: 85-86 - [c108]Roman Popp, Hermann Kaindl, David Raneburger:
Connecting Interaction Models and Application Logic for Model-Driven Generation of Web-Based Graphical User Interfaces. APSEC (1) 2013: 215-222 - [c107]Roman Popp, David Raneburger, Hermann Kaindl:
Tool support for automated multi-device GUI generation from discourse-based communication models. EICS 2013: 145-150 - [c106]David Raneburger, Roman Popp, Hermann Kaindl:
Design Alternatives for GUI Development with Discourse-based Communication Models. GI-Jahrestagung 2013: 2689-2701 - [c105]Dominik Ertl, Jürgen Falb, Hermann Kaindl, Roman Popp, David Raneburger:
Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible Experiments with Speech Input. HICSS 2013: 407-416 - [c104]David Raneburger, Roman Popp, Hermann Kaindl:
Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation. ICSOFT 2013: 496-503 - [c103]David Raneburger, David Alonso-Ríos, Roman Popp, Hermann Kaindl, Jürgen Falb:
A User Study with GUIs Tailored for Smartphones. INTERACT (2) 2013: 505-512 - [c102]Hermann Kaindl, Elmar P. Wach, Ada Okoli, Roman Popp, Ralph Hoch, Werner Gaulke, Tim Hussein:
Semi-automatic generation of recommendation processes and their GUIs. IUI 2013: 85-94 - [c101]Hermann Kaindl:
Model-Based Transition from Requirements to High-Level Software Design. PROFES 2013: 367-369 - [c100]David Raneburger, Roman Popp, David Alonso-Ríos, Hermann Kaindl, Jürgen Falb:
A User Study with GUIs Tailored for Smartphones and Tablet PCs. SMC 2013: 3727-3732 - [c99]Dominik Ertl, Sven Dominka, Hermann Kaindl:
Using a Mediator to Handle Undesired Feature Interaction of Automated Driving. SMC 2013: 4555-4560 - 2012
- [c98]Mike Mannion, Hermann Kaindl:
Product Line Requirements Reuse Based on Variability Management. APSEC Workshops 2012: 148-149 - [c97]Roman Popp, Jürgen Falb, David Raneburger, Hermann Kaindl:
A transformation engine for model-driven UI generation. EICS 2012: 281-286 - [c96]Cristian Bogdan, Dominik Ertl, Jürgen Falb, Anders Green, Hermann Kaindl:
A Case Study of Remote Interdisciplinary Designing through Video Prototypes. HICSS 2012: 504-513 - [c95]Dominik Ertl, Hermann Kaindl:
Semi-automatic generation of multimodal user interfaces for dialogue-based interactive systems. ICMI 2012: 441-444 - [c94]Hermann Kaindl, Roman Popp, David Raneburger:
Automated Generation of User Interfaces - Based on Use Case or Interaction Design Specifications?. ICSOFT 2012: 303-308 - [c93]Hermann Kaindl:
Requirements Meet Interaction Design. PROFES 2012: 374-376 - 2011
- [j37]Jürgen Falb, Hermann Kaindl, Roman Popp, David Raneburger:
Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen. i-com 10(3): 48-54 (2011) - [c92]David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb, Dominik Ertl:
Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models. EICS 2011: 41-46 - [c91]Hermann Kaindl, Roman Popp, David Raneburger, Dominik Ertl, Jürgen Falb, Alexander Szep, Cristian Bogdan:
Robot-Supported Cooperative Work: A Shared-Shopping Scenario. HICSS 2011: 1-10 - [c90]Hermann Kaindl:
Scenario-Based Requirements Engineering Facilitating Interaction Design. INTERACT (4) 2011: 708-709 - [c89]Hermann Kaindl:
UIs Automatically Optimized for Your Smartphone. INTERACT (4) 2011: 712-713 - [c88]Lukas Pilat, Hermann Kaindl:
A knowledge management perspective of requirements engineering. RCIS 2011: 1-12 - [c87]David Raneburger, Roman Popp, Hermann Kaindl, Jürgen Falb:
Automated WIMP-UI behavior generation: Parallelism and granularity of communication units. SMC 2011: 2816-2821 - [p1]David Raneburger, Roman Popp, Sevan Kavaldjian, Hermann Kaindl, Jürgen Falb:
Optimized GUI Generation for Small Screens. Model-Driven Development of Advanced User Interfaces 2011: 107-122 - 2010
- [j36]Hermann Kaindl, Davor Svetinovic:
On confusion between requirements and their representations. Requir. Eng. 15(3): 307-311 (2010) - [c86]Dominik Ertl, Jürgen Falb, Hermann Kaindl:
Semi-automatically Configured Fission for Multimodal User Interfaces. ACHI 2010: 85-90 - [c85]Hermann Kaindl:
Model a discourse and transform it to your user interface. EICS 2010: 371-372 - [c84]Dominik Ertl, Sevan Kavaldjian, Hermann Kaindl, Jürgen Falb:
Semi-Automatically Generated High-Level Fusion for Multimodal User Interfaces. HICSS 2010: 1-10 - [c83]Hermann Kaindl, Jürgen Falb, Stefan Melbinger, Thomas Bruckmayer:
An Approach to Method-Tool Coupling for Software Development. ICSEA 2010: 101-106 - [c82]Hermann Kaindl, Michal Smialek, Wiktor Nowakowski:
Case-based Reuse with Partial Requirements Specifications. RE 2010: 399-400 - [c81]Edin Arnautovic, Hermann Kaindl:
Towards Self-Managed Systems Aware of Economic Value. SASO Workshops 2010: 55-58 - [e2]Jon G. Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki:
The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. IEEE Computer Society 2010, ISBN 978-0-7695-4144-0 [contents]
2000 – 2009
- 2009
- [j35]Jürgen Falb, Roman Popp, Thomas Röck, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl:
Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts. Int. J. Web Eng. Technol. 5(2): 135-161 (2009) - [c80]Roman Popp, Jürgen Falb, Edin Arnautovic, Hermann Kaindl, Sevan Kavaldjian, Dominik Ertl, Helmut Horacek, Cristian Bogdan:
Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. HICSS 2009: 1-10 - [c79]Harald Krapfenbauer, Dominik Ertl, Hermann Kaindl, Jürgen Falb:
Support for Programming Embedded Software with Dynamically Typed Languages. ICONS 2009: 163-169 - [c78]