Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hermann Kaindl
@inproceedings{DBLP:conf/hicss/MajchrzakGK24,
author = {Tim A. Majchrzak and
Tor{-}Morten Gr{\o}nli and
Hermann Kaindl},
editor = {Tung X. Bui},
title = {Introduction to the Minitrack on Software Technology and Software
Development},
booktitle = {57th Hawaii International Conference on System Sciences, {HICSS} 2024,
Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January
3-6, 2024},
pages = {7697--7699},
publisher = {ScholarSpace},
year = {2024},
url = {https://hdl.handle.net/10125/107312},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MajchrzakGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaiml/KaindlF23,
author = {Hermann Kaindl and
Jonas Ferdigg},
title = {Superintelligence Safety: {A} Requirements Engineering Perspective},
journal = {Adv. Artif. Intell. Mach. Learn.},
volume = {3},
number = {1},
pages = {947--957},
year = {2023},
url = {https://doi.org/10.54364/aaiml.2023.1156},
doi = {10.54364/AAIML.2023.1156},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaiml/KaindlF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MannionK23,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {Determining the Relative Importance of Features for Influencing Software
Product Similarity Matching},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1638--1645},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00253},
doi = {10.1109/COMPSAC57700.2023.00253},
timestamp = {Mon, 07 Aug 2023 15:56:21 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MannionK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/LuckenederHK23,
author = {Christoph Luckeneder and
Ralph Hoch and
Hermann Kaindl},
title = {Towards Using Structural Abstraction for Model Checking},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {105--113},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00023},
doi = {10.1109/DSA59317.2023.00023},
timestamp = {Fri, 24 Nov 2023 19:56:37 +0100},
biburl = {https://dblp.org/rec/conf/dsa/LuckenederHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/StippelSKHKS23,
author = {Christian Stippel and
Benjamin Schwendinger and
Michael Kammerhofer and
Ralph Hoch and
Hermann Kaindl and
Thilo Sauter},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Towards Optimized Schedules for Charging Electric Vehicles on Austrian
Highways using Genetic Algorithms},
booktitle = {Companion Proceedings of the Conference on Genetic and Evolutionary
Computation, {GECCO} 2023, Companion Volume, Lisbon, Portugal, July
15-19, 2023},
pages = {767--770},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583133.3590754},
doi = {10.1145/3583133.3590754},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/StippelSKHKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GronliKM23,
author = {Tor{-}Morten Gr{\o}nli and
Hermann Kaindl and
Tim A. Majchrzak},
editor = {Tung X. Bui},
title = {Introduction to the Minitrack on Software Development for Mobile Devices,
the Internet-of-Things, and Cyber-Physical Systems},
booktitle = {56th Hawaii International Conference on System Sciences, {HICSS} 2023,
Maui, Hawaii, USA, January 3-6, 2023},
pages = {6893--6894},
publisher = {ScholarSpace},
year = {2023},
url = {https://hdl.handle.net/10125/103469},
timestamp = {Thu, 16 Feb 2023 16:52:47 +0100},
biburl = {https://dblp.org/rec/conf/hicss/GronliKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Kaindl23,
author = {Hermann Kaindl},
editor = {Irene Garrig{\'{o}}s and
Juan Manuel Murillo Rodr{\'{\i}}guez and
Manuel Wimmer},
title = {Automated Web {GUI} Generation from High-Level Interaction Design
with Discourse Models},
booktitle = {Web Engineering - 23rd International Conference, {ICWE} 2023, Alicante,
Spain, June 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13893},
pages = {413--417},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34444-2\_37},
doi = {10.1007/978-3-031-34444-2\_37},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/Kaindl23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2022s,
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Evaluation of Novel Approaches to Software Engineering - 17th International
Conference, {ENASE} 2022, Virtual Event, April 25-26, 2022, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1829},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36597-3},
doi = {10.1007/978-3-031-36597-3},
isbn = {978-3-031-36596-6},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/2022s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2023,
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Proceedings of the 18th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2023, Prague, Czech
Republic, April 24-25, 2023},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0000164200003464},
doi = {10.5220/0000164200003464},
isbn = {978-989-758-647-7},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HochLPK22,
author = {Ralph Hoch and
Christoph Luckeneder and
Roman Popp and
Hermann Kaindl},
title = {Verification of Consistency Between Process Models, Object Life Cycles,
and Context-Dependent Semantic Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {10},
pages = {4041--4059},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3110191},
doi = {10.1109/TSE.2021.3110191},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HochLPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/MannionK22,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Miroslaw Staron and
Christian Berger and
Jocelyn Simmonds and
Rafael Prikladnicki},
title = {Enhancing Product Comparison through Automated Similarity Matching},
booktitle = {{EASE} 2022: The International Conference on Evaluation and Assessment
in Software Engineering 2022, Gothenburg, Sweden, June 13 - 15, 2022},
pages = {463--464},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3530019.3533679},
doi = {10.1145/3530019.3533679},
timestamp = {Wed, 15 Jun 2022 09:45:58 +0200},
biburl = {https://dblp.org/rec/conf/ease/MannionK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Biorn-HansenGMK22,
author = {Andreas Bi{\o}rn{-}Hansen and
Tor{-}Morten Gr{\o}nli and
Tim A. Majchrzak and
Hermann Kaindl and
Gheorghita Ghinea},
title = {The Use of Cross-Platform Frameworks for Google Play Store Apps},
booktitle = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
pages = {1--10},
publisher = {ScholarSpace},
year = {2022},
url = {http://hdl.handle.net/10125/80276},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/Biorn-HansenGMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MajchrzakKG22,
author = {Tim A. Majchrzak and
Hermann Kaindl and
Tor{-}Morten Gr{\o}nli},
title = {Introduction to the Minitrack on Software Development for Mobile Devices,
the Internet-of-Things, and Cyber-Physical Systems},
booktitle = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
pages = {1--2},
publisher = {ScholarSpace},
year = {2022},
url = {http://hdl.handle.net/10125/80273},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/MajchrzakKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i-semantics/ParadzikovicHK22,
author = {Petar Paradzikovic and
Ralph Hoch and
Hermann Kaindl},
editor = {Anastasia Dimou and
Sebastian Neumaier and
Tassilo Pellegrini and
Sahar Vahdati},
title = {Assigning Systems to Test Environments Through Ontological Reasoning},
booktitle = {Towards a Knowledge-Aware {AI} - SEMANTiCS 2022 - Proceedings of the
18th International Conference on Semantic Systems, 13-15 September
2022, Vienna, Austria},
series = {Studies on the Semantic Web},
volume = {55},
pages = {75--89},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/SSW220011},
doi = {10.3233/SSW220011},
timestamp = {Mon, 17 Oct 2022 08:20:51 +0200},
biburl = {https://dblp.org/rec/conf/i-semantics/ParadzikovicHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionK22,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Andreas A. Falkner and
Maider Azanza and
Miguel {\'{A}}. Rodr{\'{\i}}guez Luaces and
Megha Bhushan and
Laura Semini and
Xavier Devroey and
Cl{\'{a}}udia Maria Lima Werner and
Christoph Seidl and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {Similarity matching for product comparison},
booktitle = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {A}},
pages = {258--259},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546932.3547023},
doi = {10.1145/3546932.3547023},
timestamp = {Mon, 26 Jun 2023 20:46:40 +0200},
biburl = {https://dblp.org/rec/conf/splc/MannionK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2021s,
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Evaluation of Novel Approaches to Software Engineering - 16th International
Conference, {ENASE} 2021, Virtual Event, April 26-27, 2021, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1556},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-96648-5},
doi = {10.1007/978-3-030-96648-5},
isbn = {978-3-030-96647-8},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/2021s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2022,
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Proceedings of the 17th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2022, Online Streaming,
April 25-26, 2022},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0000149800003176},
doi = {10.5220/0000149800003176},
isbn = {978-989-758-568-5},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HirschMZMGK21,
author = {Mat{\'{\i}}as Hirsch and
Cristian Mateos and
Alejandro Zunino and
Tim A. Majchrzak and
Tor{-}Morten Gr{\o}nli and
Hermann Kaindl},
title = {A Simulation-based Performance Evaluation of Heuristics for Dew Computing},
booktitle = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
Kauai, Hawaii, USA, January 5, 2021},
pages = {1--10},
publisher = {ScholarSpace},
year = {2021},
url = {https://hdl.handle.net/10125/71489},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/HirschMZMGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KaindlGM21,
author = {Hermann Kaindl and
Tor{-}Morten Gr{\o}nli and
Tim A. Majchrzak},
title = {Introduction to the Minitrack on Software Development for Mobile Devices,
the Internet-of-Things, and Cyber-Physical Systems},
booktitle = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
Kauai, Hawaii, USA, January 5, 2021},
pages = {1--2},
publisher = {ScholarSpace},
year = {2021},
url = {https://hdl.handle.net/10125/71487},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/KaindlGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MannionK21,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {Using Binary Strings for Comparing Products from Software-intensive
Systems Product Lines},
booktitle = {Proceedings of the 23rd International Conference on Enterprise Information
Systems, {ICEIS} 2021, Online Streaming, April 26-28, 2021, Volume
2},
pages = {257--266},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010441002570266},
doi = {10.5220/0010441002570266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MannionK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Kaindl21,
author = {Hermann Kaindl},
editor = {Marco Brambilla and
Richard Chbeir and
Flavius Frasincar and
Ioana Manolescu},
title = {High-Level Interaction Design with Discourse Models for Automated
Web {GUI} Generation},
booktitle = {Web Engineering - 21st International Conference, {ICWE} 2021, Biarritz,
France, May 18-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12706},
pages = {542--546},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-74296-6\_47},
doi = {10.1007/978-3-030-74296-6\_47},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/Kaindl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/Kaindl21,
author = {Hermann Kaindl},
editor = {Tracy Hammond and
Katrien Verbert and
Dennis Parra},
title = {ModelGenGUIs - High-level Interaction Design with Discourse Models
for Automated {GUI} Generation},
booktitle = {{IUI} '21: 26th International Conference on Intelligent User Interfaces,
College Station, TX, USA, April 13-17, 2021, Companion},
pages = {3--4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3397482.3450619},
doi = {10.1145/3397482.3450619},
timestamp = {Wed, 21 Apr 2021 09:36:12 +0200},
biburl = {https://dblp.org/rec/conf/iui/Kaindl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlM21,
author = {Hermann Kaindl and
Mike Mannion},
title = {Requirements Reuse for Exploring Stakeholder Needs},
booktitle = {29th {IEEE} International Requirements Engineering Conference, {RE}
2021, Notre Dame, IN, USA, September 20-24, 2021},
pages = {508--509},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RE51729.2021.00078},
doi = {10.1109/RE51729.2021.00078},
timestamp = {Mon, 22 Nov 2021 16:46:39 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/RathmairLHRHHK21,
author = {Michael Rathmair and
Christoph Luckeneder and
Thomas Haspl and
Bernhard Reiterer and
Ralph Hoch and
Michael W. Hofbaur and
Hermann Kaindl},
title = {Formal Verification of Safety Properties of Collaborative Robotic
Applications including Variability},
booktitle = {30th {IEEE} International Conference on Robot {\&} Human Interactive
Communication, {RO-MAN} 2021, Vancouver, BC, Canada, August 8-12,
2021},
pages = {1283--1288},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RO-MAN50785.2021.9515404},
doi = {10.1109/RO-MAN50785.2021.9515404},
timestamp = {Tue, 31 Aug 2021 08:58:05 +0200},
biburl = {https://dblp.org/rec/conf/ro-man/RathmairLHRHHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionK21,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {Reuse for mass personalisation through feature models and similarities},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
pages = {211},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001.3472730},
doi = {10.1145/3461001.3472730},
timestamp = {Sun, 24 Apr 2022 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/splc/MannionK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2020s,
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Evaluation of Novel Approaches to Software Engineering - 15th International
Conference, {ENASE} 2020, Prague, Czech Republic, May 5-6, 2020, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1375},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-70006-5},
doi = {10.1007/978-3-030-70006-5},
isbn = {978-3-030-70005-8},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/2020s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2021,
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Proceedings of the 16th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2021, Online Streaming,
April 26-27, 2021},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0000138800002927},
doi = {10.5220/0000138800002927},
isbn = {978-989-758-508-1},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aire-ws/KaindlF20,
author = {Hermann Kaindl and
Jonas Ferdigg},
title = {Towards an Extended Requirements Problem Formulation for Superintelligence
Safety},
booktitle = {7th {IEEE} International Workshop on Artificial Intelligence for Requirements
Engineering, AIRE@RE 2020, Zurich, Switzerland, September 1, 2020},
pages = {33--38},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/AIRE51212.2020.00012},
doi = {10.1109/AIRE51212.2020.00012},
timestamp = {Tue, 27 Oct 2020 13:19:15 +0100},
biburl = {https://dblp.org/rec/conf/aire-ws/KaindlF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GronliMK20,
author = {Tor{-}Morten Gr{\o}nli and
Tim A. Majchrzak and
Hermann Kaindl},
title = {A Bibliometric Analysis of the {HICSS} Software Technology Track},
booktitle = {53rd Hawaii International Conference on System Sciences, {HICSS} 2020,
Maui, Hawaii, USA, January 7-10, 2020},
pages = {1--10},
publisher = {ScholarSpace},
year = {2020},
url = {https://hdl.handle.net/10125/64558},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/GronliMK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MajchrzakKG20,
author = {Tim A. Majchrzak and
Hermann Kaindl and
Tor{-}Morten Gr{\o}nli},
title = {Introduction to the Minitrack on Software Development for Mobile Devices,
the Internet-of-Things, and Cyber-Physical Systems},
booktitle = {53rd Hawaii International Conference on System Sciences, {HICSS} 2020,
Maui, Hawaii, USA, January 7-10, 2020},
pages = {1--2},
publisher = {ScholarSpace},
year = {2020},
url = {https://hdl.handle.net/10125/64553},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/MajchrzakKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/KaindlHPRL20,
author = {Hermann Kaindl and
Ralph Hoch and
Roman Popp and
Thomas Rathfux and
Franz Lukasch},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {An Investigation of Problem Instance Difficulty for Case-Based Reasoning
and Heuristic Search},
booktitle = {Enterprise Information Systems - 22nd International Conference, {ICEIS}
2020, Virtual Event, May 5-7, 2020, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {417},
pages = {158--183},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-75418-1\_9},
doi = {10.1007/978-3-030-75418-1\_9},
timestamp = {Fri, 07 May 2021 14:39:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/KaindlHPRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/KaindlHP20,
author = {Hermann Kaindl and
Ralph Hoch and
Roman Popp},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {Estimating Problem Instance Difficulty},
booktitle = {Proceedings of the 22nd International Conference on Enterprise Information
Systems, {ICEIS} 2020, Prague, Czech Republic, May 5-7, 2020, Volume
1},
pages = {359--369},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009390003590369},
doi = {10.5220/0009390003590369},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/KaindlHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihsi/SuhirPK20,
author = {Ephraim Suhir and
Gunther Paul and
Hermann Kaindl},
editor = {Tareq Z. Ahram and
Waldemar Karwowski and
Alberto Vergnano and
Francesco Leali and
Redha Ta{\"{\i}}ar},
title = {Towards Probabilistic Analysis of Human-System Integration in Automated
Driving},
booktitle = {Intelligent Human Systems Integration 2020 - Proceedings of the 3rd
International Conference on Intelligent Human Systems Integration
{(IHSI} 2020): Integrating People and Intelligent Systems, February
19-21, 2020, Modena, Italy},
series = {Advances in Intelligent Systems and Computing},
volume = {1131},
pages = {9--14},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39512-4\_2},
doi = {10.1007/978-3-030-39512-4\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ihsi/SuhirPK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/KaindlF20,
author = {Hermann Kaindl and
Jonas Ferdigg},
editor = {Mehrdad Sabetzadeh and
Andreas Vogelsang and
Sallam Abualhaija and
Markus Borg and
Fabiano Dalpiaz and
Maya Daneva and
Nelly Condori{-}Fern{\'{a}}ndez and
Xavier Franch and
Davide Fucci and
Vincenzo Gervasi and
Eduard C. Groen and
Renata S. S. Guizzardi and
Andrea Herrmann and
Jennifer Horkoff and
Luisa Mich and
Anna Perini and
Angelo Susi},
title = {Towards Requirements Engineering for Superintelligence Safety},
booktitle = {Joint Proceedings of {REFSQ-2020} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 26th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2020), Pisa, Italy, March 24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2584},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2584/RE4AI-paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/KaindlF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionK20,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Roberto Erick Lopez{-}Herrejon},
title = {Software reuse and mass personalization},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{A}},
pages = {38:1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382025.3414974},
doi = {10.1145/3382025.3414974},
timestamp = {Thu, 29 Oct 2020 11:14:57 +0100},
biburl = {https://dblp.org/rec/conf/splc/MannionK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/enase/2020,
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {Proceedings of the 15th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2020, Prague, Czech
Republic, May 5-6, 2020},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0000127300002545},
doi = {10.5220/0000127300002545},
isbn = {978-989-758-421-3},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01155,
author = {Hermann Kaindl and
Stefan Kramer},
title = {Towards Probability-based Safety Verification of Systems with Components
from Machine Learning},
journal = {CoRR},
volume = {abs/2003.01155},
year = {2020},
url = {https://arxiv.org/abs/2003.01155},
eprinttype = {arXiv},
eprint = {2003.01155},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/AnjorinYK19,
author = {Anthony Anjorin and
Enes Yigitbas and
Hermann Kaindl},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Consistent Runtime Adaptation of User Interfaces},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {61--65},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/bx/AnjorinYK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/RathfuxKHL19,
author = {Thomas Rathfux and
Hermann Kaindl and
Ralph Hoch and
Franz Lukasch},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {An Experimental Evaluation of Design Space Exploration of Hardware/Software
Interfaces},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {289--296},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007689002890296},
doi = {10.5220/0007689002890296},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/RathfuxKHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RathfuxKHL19,
author = {Thomas Rathfux and
Hermann Kaindl and
Ralph Hoch and
Franz Lukasch},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Efficiently Finding Optimal Solutions to Easy Problems in Design Space
Exploration: A* Tie-breaking},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {595--604},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0008119405950604},
doi = {10.5220/0008119405950604},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RathfuxKHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihiet/Kaindl19,
author = {Hermann Kaindl},
editor = {Tareq Z. Ahram and
Redha Ta{\"{\i}}ar and
Serge Colson and
Arnaud Choplin},
title = {Human-Machine Interaction},
booktitle = {Human Interaction and Emerging Technologies - Proceedings of the 1st
International Conference on Human Interaction and Emerging Technologies,
{IHIET} 2019, Nice, France, August 22-24, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {1018},
pages = {428--433},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25629-6\_66},
doi = {10.1007/978-3-030-25629-6\_66},
timestamp = {Wed, 06 Oct 2021 09:32:29 +0200},
biburl = {https://dblp.org/rec/conf/ihiet/Kaindl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlM19,
author = {Hermann Kaindl and
Mike Mannion},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Software Reuse and Reusability Based on Requirements: Feature Modelling
vs. Case-Based Reasoning},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {494--495},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00071},
doi = {10.1109/RE.2019.00071},
timestamp = {Wed, 11 Dec 2019 16:44:52 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Kaindl19,
author = {Hermann Kaindl},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Specifying Requirements through Interaction Design},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {508--509},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00078},
doi = {10.1109/RE.2019.00078},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Kaindl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/KaindlS19,
author = {Hermann Kaindl and
Davor Svetinovic},
editor = {Paola Spoletini and
Patrick M{\"{a}}der and
Daniel M. Berry and
Fabiano Dalpiaz and
Maya Daneva and
Alessio Ferrari and
Xavier Franch and
Sarah Gregory and
Eduard C. Groen and
Andrea Herrmann and
Anne Hess and
Frank Houdek and
Oliver Karras and
Anne Koziolek and
Kim Lauenroth and
Cristina Palomares and
Mehrdad Sabetzadeh and
Norbert Seyff and
Marcus Trapp and
Andreas Vogelsang and
Thorsten Weyer},
title = {Avoiding Undertrust and Overtrust},
booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 25th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2019), Essen, Germany, March 18th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2376},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2376/D4RE\_paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/refsq/KaindlS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LuckenederK19,
author = {Christoph Luckeneder and
Hermann Kaindl},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {A case study of systematic top-down design of cyber-physical models
with integrated validation and formal verification},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1828--1836},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297460},
doi = {10.1145/3297280.3297460},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/LuckenederK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionK19,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Software reuse for mass customization},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {49:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3336294.3342378},
doi = {10.1145/3336294.3342378},
timestamp = {Fri, 09 Aug 2019 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/splc/MannionK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12152,
author = {Hermann Kaindl and
Jonas Ferdigg},
title = {Superintelligence Safety: {A} Requirements Engineering Perspective},
journal = {CoRR},
volume = {abs/1909.12152},
year = {2019},
url = {http://arxiv.org/abs/1909.12152},
eprinttype = {arXiv},
eprint = {1909.12152},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/RathfuxTKP18,
author = {Thomas Rathfux and
Jasmin Th{\"{o}}ner and
Hermann Kaindl and
Roman Popp},
title = {Combining Design-time Generation of Web-pages with Responsive Design
for Improving Low-vision Accessibility},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2018, Paris, France, June 19-22, 2018},
pages = {10:1--10:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220134.3220141},
doi = {10.1145/3220134.3220141},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/eics/RathfuxTKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/HochK18,
author = {Ralph Hoch and
Hermann Kaindl},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Verification of Feature Coordination using the Fluent Calculus},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {169--179},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006771401690179},
doi = {10.5220/0006771401690179},
timestamp = {Mon, 30 Apr 2018 14:58:10 +0200},
biburl = {https://dblp.org/rec/conf/enase/HochK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/KaindlHRL18,
author = {Hermann Kaindl and
Ralph Hoch and
Michael Rathmair and
Christoph Luckeneder},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Formal Verification of Cyber-physical Feature Coordination with Minimalist
Qualitative Models},
booktitle = {Evaluation of Novel Approaches to Software Engineering - 13th International
Conference, {ENASE} 2018, Funchal, Madeira, Portugal, March 23-24,
2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1023},
pages = {261--287},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22559-9\_12},
doi = {10.1007/978-3-030-22559-9\_12},
timestamp = {Tue, 02 Jul 2019 14:41:42 +0200},
biburl = {https://dblp.org/rec/conf/enase/KaindlHRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/RathmairLKR18,
author = {Michael Rathmair and
Christoph Luckeneder and
Hermann Kaindl and
Carna Radojicic},
editor = {Tung Bui},
title = {Semi-symbolic Simulation and Analysis of Deviation Propagation of
Feature Coordination in Cyber-physical Systems},
booktitle = {51st Hawaii International Conference on System Sciences, {HICSS} 2018,
Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018},
pages = {1--10},
publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)},
year = {2018},
url = {https://hdl.handle.net/10125/50597},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/RathmairLKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/DominkaEDWK18,
author = {Sven Dominka and
Dominik Ertl and
Michael D{\"{u}}bner and
Romana Wiesinger and
Hermann Kaindl},
title = {Taming and optimizing feature interaction in software-intensive automotive
systems},
booktitle = {{IEEE} Industrial Cyber-Physical Systems, {ICPS} 2018, Saint Petersburg,
Russia, May 15-18, 2018},
pages = {324--329},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICPHYS.2018.8387679},
doi = {10.1109/ICPHYS.2018.8387679},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/icphys/DominkaEDWK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LuckenederK18,
author = {Christoph Luckeneder and
Hermann Kaindl},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Systematic top-down design of cyber-physical models with integrated
validation and formal verification},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {274--275},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3194967},
doi = {10.1145/3183440.3194967},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LuckenederK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KaindlLHKLR18,
author = {Hermann Kaindl and
Franz Lukasch and
Matthias Heigl and
Sevan Kavaldjian and
Christoph Luckeneder and
Sebastian Rausch},
title = {Verification of Cyber-Physical Automotive Systems-of-Systems: Test
Environment Assignment},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {390--391},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00078},
doi = {10.1109/ICSTW.2018.00078},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KaindlLHKLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/AnjorinYKP18,
author = {Anthony Anjorin and
Enes Yigitbas and
Hermann Kaindl and
Roman Popp},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {On the development of consistent user interfaces (extended abstract)},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {18--20},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3191716},
doi = {10.1145/3191697.3191716},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programming/AnjorinYKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlM18,
author = {Hermann Kaindl and
Mike Mannion},
editor = {Guenther Ruhe and
Walid Maalej and
Daniel Amyot},
title = {Software Reuse and Reusability Based on Requirements: Product Lines,
Cases and Feature-Similarity Models},
booktitle = {26th {IEEE} International Requirements Engineering Conference, {RE}
2018, Banff, AB, Canada, August 20-24, 2018},
pages = {510--511},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/RE.2018.00010},
doi = {10.1109/RE.2018.00010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HulinKBRP18,
author = {Bernhard Hulin and
Hermann Kaindl and
Roland Beckert and
Thomas Rathfux and
Roman Popp},
editor = {Barbara Gallina and
Amund Skavhaug and
Friedemann Bitsch},
title = {Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles
and Signaling},
booktitle = {Computer Safety, Reliability, and Security - 37th International Conference,
{SAFECOMP} 2018, V{\"{a}}ster{\aa}s, Sweden, September 19-21,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11093},
pages = {297--310},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99130-6\_20},
doi = {10.1007/978-3-319-99130-6\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HulinKBRP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Kaindl0H18,
author = {Hermann Kaindl and
Stefan Kramer and
Ralph Hoch},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {An inductive learning perspective on automated generation of feature
models from given product specifications},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {25--30},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233031},
doi = {10.1145/3233027.3233031},
timestamp = {Sat, 09 Apr 2022 12:37:33 +0200},
biburl = {https://dblp.org/rec/conf/splc/Kaindl0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KaindlM18,
author = {Hermann Kaindl and
Mike Mannion},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {Software reuse and mass customisation: feature modelling vs. case-based
reasoning},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {304},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233054},
doi = {10.1145/3233027.3233054},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/KaindlM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/KaindlHS17,
author = {Hermann Kaindl and
Helmut Horacek and
Anton Scheucher},
title = {Product Propagation: {A} Backup Rule Better Than Minimaxing?},
journal = {{IEEE} Trans. Comput. Intell. {AI} Games},
volume = {9},
number = {2},
pages = {109--122},
year = {2017},
url = {https://doi.org/10.1109/TCIAIG.2015.2508966},
doi = {10.1109/TCIAIG.2015.2508966},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/KaindlHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Kaindl17,
author = {Hermann Kaindl},
editor = {Jos{\'{e}} Creissac Campos and
Nuno Nunes and
Pedro Campos and
Ga{\"{e}}lle Calvary and
Jeffrey Nichols and
C{\'{e}}lia Martinie and
Jos{\'{e}} Lu{\'{\i}}s Silva},
title = {High-level interaction design for automated {GUI} generation and customization},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017},
pages = {157--158},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102113.3102160},
doi = {10.1145/3102113.3102160},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/eics/Kaindl17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Kaindl17,
author = {Hermann Kaindl},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {High-level Verification and Validation of Software Supporting Business
Processes},
booktitle = {{ENASE} 2017 - Proceedings of the 12th International Conference on
Evaluation of Novel Approaches to Software Engineering, Porto, Portugal,
April 28-29, 2017},
pages = {7},
publisher = {SciTePress},
year = {2017},
timestamp = {Wed, 14 Jun 2017 11:16:50 +0200},
biburl = {https://dblp.org/rec/conf/enase/Kaindl17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LuckenederRK17,
author = {Christoph Luckeneder and
Michael Rathmair and
Hermann Kaindl},
editor = {Tung Bui},
title = {Investigating and Coordinating Safety-critical Feature Interactions
in Automotive Systems Using Simulation},
booktitle = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,
Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
pages = {1--10},
publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)},
year = {2017},
url = {https://hdl.handle.net/10125/41907},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/LuckenederRK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/PoppHK17,
author = {Roman Popp and
Ralph Hoch and
Hermann Kaindl},
editor = {Tung Bui},
title = {A Connection of Task-centric with Artefact-centric Models through
Semantic Task Specification and its Use for Formal Verification},
booktitle = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,
Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
pages = {1--10},
publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)},
year = {2017},
url = {https://hdl.handle.net/10125/41748},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/PoppHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/PoppK17,
author = {Roman Popp and
Hermann Kaindl},
editor = {Tung Bui},
title = {Stateful SOA-conformant Services as Building Blocks for Interactive
Software Systems},
booktitle = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,
Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
pages = {1--10},
publisher = {ScholarSpace / {AIS} Electronic Library (AISeL)},
year = {2017},
url = {https://hdl.handle.net/10125/41303},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/PoppK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/Kaindl17,
author = {Hermann Kaindl},
editor = {Slimane Hammoudi and
Michal Smialek and
Olivier Camp and
Joaquim Filipe},
title = {High-level Verification and Validation of Software Supporting Business
Processes},
booktitle = {{ICEIS} 2017 - Proceedings of the 19th International Conference on
Enterprise Information Systems, Volume 1, Porto, Portugal, April 26-29,
2017},
pages = {7--13},
publisher = {SciTePress},
year = {2017},
timestamp = {Tue, 13 Jun 2017 19:48:03 +0200},
biburl = {https://dblp.org/rec/conf/iceis/Kaindl17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LuckenederKK17,
author = {Christoph Luckeneder and
Hermann Kaindl and
Martin Korinek},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {Automated Unit Testing in Model-based Embedded Software Development},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {427--434},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006469604270434},
doi = {10.5220/0006469604270434},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/LuckenederKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/KaindlHP17,
author = {Hermann Kaindl and
Ralph Hoch and
Roman Popp},
editor = {Sa{\"{\i}}d Assar and
Oscar Pastor and
Haralambos Mouratidis},
title = {Semantic task specification in business process context},
booktitle = {11th International Conference on Research Challenges in Information
Science, {RCIS} 2017, Brighton, United Kingdom, May 10-12, 2017},
pages = {286--291},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/RCIS.2017.7956548},
doi = {10.1109/RCIS.2017.7956548},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/KaindlHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionKS17,
author = {Mike Mannion and
Hermann Kaindl and
Juha Savolainen},
editor = {Myra B. Cohen and
Mathieu Acher and
Lidia Fuentes and
Daniel Schall and
Jan Bosch and
Rafael Capilla and
Ebrahim Bagheri and
Yingfei Xiong and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {Product Line Strategies and Feature Reuse},
booktitle = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
25-29, 2017},
pages = {252},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106195.3106231},
doi = {10.1145/3106195.3106231},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/MannionKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/RathmairLK16,
author = {Michael Rathmair and
Christoph Luckeneder and
Hermann Kaindl},
editor = {Alex Potanin and
Gail C. Murphy and
Steve Reeves and
Jens Dietrich},
title = {Minimalist Qualitative Models for Model Checking Cyber-Physical Feature
Coordination},
booktitle = {23rd Asia-Pacific Software Engineering Conference, {APSEC} 2016, Hamilton,
New Zealand, December 6-9, 2016},
pages = {233--240},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/APSEC.2016.041},
doi = {10.1109/APSEC.2016.041},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/RathmairLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/HulinKRPAB16,
author = {Bernhard Hulin and
Hermann Kaindl and
Thomas Rathfux and
Roman Popp and
Edin Arnautovic and
Roland Beckert},
title = {Towards a Common Safety Ontology for Automobiles and Railway Vehicles},
booktitle = {12th European Dependable Computing Conference, {EDCC} 2016, Gothenburg,
Sweden, September 5-9, 2016},
pages = {189--192},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EDCC.2016.15},
doi = {10.1109/EDCC.2016.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/HulinKRPAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/RathfuxPK16,
author = {Thomas Rathfux and
Roman Popp and
Hermann Kaindl},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Adding custom widgets to model-driven {GUI} generation},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {16--26},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2933251},
doi = {10.1145/2933242.2933251},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/RathfuxPK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HochKPZ16,
author = {Ralph Hoch and
Hermann Kaindl and
Roman Popp and
Christian Zeidler},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Aligning Architectures of Business and Software: Software Driven by
Business Process Models and Its User Interface},
booktitle = {49th Hawaii International Conference on System Sciences, {HICSS} 2016,
Koloa, HI, USA, January 5-8, 2016},
pages = {4556--4565},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HICSS.2016.566},
doi = {10.1109/HICSS.2016.566},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/HochKPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KaindlPHZ16,
author = {Hermann Kaindl and
Roman Popp and
Ralph Hoch and
Christian Zeidler},
editor = {Georgia M. Kapitsaki and
Eduardo Santana de Almeida},
title = {Reuse vs. Reusability of Software Supporting Business Processes},
booktitle = {Software Reuse: Bridging with Social-Awareness - 15th International
Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9679},
pages = {138--145},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-35122-3\_10},
doi = {10.1007/978-3-319-35122-3\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/KaindlPHZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13-5/KaindlRHBAP16,
author = {Hermann Kaindl and
Thomas Rathfux and
Bernhard Hulin and
Roland Beckert and
Edin Arnautovic and
Roman Popp},
editor = {Cristian Bogdan and
Jan Gulliksen and
Stefan Sauer and
Peter Forbrig and
Marco Winckler and
Chris W. Johnson and
Philippe A. Palanque and
Regina Bernhaupt and
Filip Kis},
title = {A Core Ontology of Safety Risk Concepts - Reconciling Scientific Literature
with Standards for Automotive and Railway},
booktitle = {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 Stockholm, Sweden, August 29-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9856},
pages = {165--180},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44902-9\_11},
doi = {10.1007/978-3-319-44902-9\_11},
timestamp = {Mon, 26 Jun 2023 20:49:05 +0200},
biburl = {https://dblp.org/rec/conf/ifip13-5/KaindlRHBAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WagnerKDD16,
author = {Dominik Wagner and
Hermann Kaindl and
Sven Dominka and
Michael D{\"{u}}bner},
editor = {Sascha Ossowski},
title = {Optimization of feature interactions for automotive combustion engines},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1401--1406},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851775},
doi = {10.1145/2851613.2851775},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/WagnerKDD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/HochRKP16,
author = {Ralph Hoch and
Michael Rathmair and
Hermann Kaindl and
Roman Popp},
editor = {{\'{A}}lvaro Rocha and
Ana Maria Ramalho Correia and
Hojjat Adeli and
Lu{\'{\i}}s Paulo Reis and
Marcelo Mendon{\c{c}}a Teixeira},
title = {Verification of Business Processes Against Business Rules Using Object
Life Cycles},
booktitle = {New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16,
Recife, Pernambuco, Brazil, March 22-24, 2016]},
series = {Advances in Intelligent Systems and Computing},
volume = {444},
pages = {589--598},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31232-3\_55},
doi = {10.1007/978-3-319-31232-3\_55},
timestamp = {Wed, 21 Oct 2020 09:19:56 +0200},
biburl = {https://dblp.org/rec/conf/worldcist/HochRKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PoppK15,
author = {Roman Popp and
Hermann Kaindl},
editor = {Janis Grabis and
Kurt Sandkuhl},
title = {Specifying Business Requirements through Interaction Design},
booktitle = {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),
Stockholm, Sweden, June 10th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1367},
pages = {177--178},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1367/paper-23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:34 +0100},
biburl = {https://dblp.org/rec/conf/caise/PoppK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/RaneburgerKP15,
author = {David Raneburger and
Hermann Kaindl and
Roman Popp},
editor = {Michael Nebeling and
J{\"{u}}rgen Ziegler and
Laurence Nigay},
title = {Model transformation rules for customization of multi-device graphical
user interfaces},
booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
pages = {100--109},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774225.2774839},
doi = {10.1145/2774225.2774839},
timestamp = {Sun, 02 Jun 2019 21:10:49 +0200},
biburl = {https://dblp.org/rec/conf/eics/RaneburgerKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/RaneburgerKP15,
author = {David Raneburger and
Hermann Kaindl and
Roman Popp},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Strategies for Automated {GUI} Tailoring for Multiple Devices},
booktitle = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,
Kauai, Hawaii, USA, January 5-8, 2015},
pages = {507--516},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HICSS.2015.67},
doi = {10.1109/HICSS.2015.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/RaneburgerKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HochKPEH15,
author = {Ralph Hoch and
Hermann Kaindl and
Roman Popp and
Dominik Ertl and
Helmut Horacek},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Semantic Service Specification for V{\&}V of Service Composition
and Business Processes},
booktitle = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,
Kauai, Hawaii, USA, January 5-8, 2015},
pages = {1370--1379},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HICSS.2015.168},
doi = {10.1109/HICSS.2015.168},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/HochKPEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KaindlM15,
author = {Hermann Kaindl and
Mike Mannion},
editor = {Ina Schaefer and
Ioannis Stamelos},
title = {A Feature-Similarity Model for Product Line Engineering},
booktitle = {Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th
International Conference on Software Reuse, {ICSR} 2015, Miami, FL,
USA, January 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8919},
pages = {34--41},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14130-5\_3},
doi = {10.1007/978-3-319-14130-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/KaindlM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/RathmairHKP15,
author = {Michael Rathmair and
Ralph Hoch and
Hermann Kaindl and
Roman Popp},
editor = {Jolita Ralyt{\'{e}} and
Sergio Espa{\~{n}}a and
Oscar Pastor},
title = {Consistently Formalizing a Business Process and its Properties for
Verification: {A} Case Study},
booktitle = {The Practice of Enterprise Modeling - 8th {IFIP} {WG} 8.1. Working
Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {235},
pages = {126--140},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25897-3\_9},
doi = {10.1007/978-3-319-25897-3\_9},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip8-1/RathmairHKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/PoppK15,
author = {Roman Popp and
Hermann Kaindl},
title = {Automated refinement of business processes through model transformations
specifying business rules},
booktitle = {9th {IEEE} International Conference on Research Challenges in Information
Science, {RCIS} 2015, Athens, Greece, May 13-15, 2015},
pages = {327--333},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RCIS.2015.7128893},
doi = {10.1109/RCIS.2015.7128893},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/PoppK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlPR15,
author = {Hermann Kaindl and
Roman Popp and
David Raneburger},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Towards reuse in safety risk analysis based on product line requirements},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {241--246},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320430},
doi = {10.1109/RE.2015.7320430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PoppK14,
author = {Roman Popp and
Hermann Kaindl},
editor = {Selmin Nurcan and
Elias Pimenidis and
Oscar Pastor and
Yannis Vassiliou},
title = {Automated Adaptation of Business Process Models Through Model Transformations
Specifying Business Rules},
booktitle = {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), Thessaloniki, Greece,
June 18-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1164},
pages = {65--72},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1164/PaperVision09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/PoppK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/RaneburgerPKAS14,
author = {David Raneburger and
Roman Popp and
Hermann Kaindl and
Alexander Armbruster and
Vedran Sajatovic},
editor = {Masaaki Kurosu},
title = {An Iterative and Incremental Process for Interaction Design through
Automated {GUI} Generation},
booktitle = {Human-Computer Interaction. Theories, Methods, and Tools - 16th International
Conference, {HCI} International 2014, Heraklion, Crete, Greece, June
22-27, 2014, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8510},
pages = {373--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07233-3\_35},
doi = {10.1007/978-3-319-07233-3\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/RaneburgerPKAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KisBKF14,
author = {Filip Kis and
Cristian Bogdan and
Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {Towards Fully Declarative High-Level Interaction Models: An Approach
Facilitating Automated {GUI} Generation},
booktitle = {47th Hawaii International Conference on System Sciences, {HICSS} 2014,
Waikoloa, HI, USA, January 6-9, 2014},
pages = {412--421},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HICSS.2014.59},
doi = {10.1109/HICSS.2014.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KisBKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Alonso-RiosRPKF14,
author = {David Alonso{-}R{\'{\i}}os and
David Raneburger and
Roman Popp and
Hermann Kaindl and
J{\"{u}}rgen Falb},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {A user study on tailoring GUIs for smartphones},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {186--192},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555085},
doi = {10.1145/2554850.2555085},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Alonso-RiosRPKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RaneburgerKPSA14,
author = {David Raneburger and
Hermann Kaindl and
Roman Popp and
Vedran Sajatovic and
Alexander Armbruster},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {A process for facilitating interaction design through automated {GUI}
generation},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1324--1330},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555053},
doi = {10.1145/2554850.2555053},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/RaneburgerKPSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KaindlPR14,
author = {Hermann Kaindl and
Roman Popp and
David Raneburger},
title = {Alternative interaction design patterns for automated {GUI} generation
from Discourse-based Communication Models},
booktitle = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
pages = {2154--2157},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SMC.2014.6974241},
doi = {10.1109/SMC.2014.6974241},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/KaindlPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/PoppKBRP14,
author = {Roman Popp and
Hermann Kaindl and
Simon Badalians and
David Raneburger and
Fabio Patern{\`{o}}},
title = {Duality of task- and discourse-based interaction design for {GUI}
generation},
booktitle = {2014 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2014, San Diego, CA, USA, October 5-8, 2014},
pages = {3316--3321},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SMC.2014.6974439},
doi = {10.1109/SMC.2014.6974439},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/PoppKBRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MannionK14,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Maurice H. ter Beek and
Goetz Botterweck and
Martin Becker},
title = {Using similarity metrics for mining variability from software repositories},
booktitle = {18th International Software Product Lines Conference - Companion Volume
for Workshop, Tools and Demo papers, {SPLC} '14, Florence, Italy,
September 15-19, 2014},
pages = {32--35},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2647908.2655964},
doi = {10.1145/2647908.2655964},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/MannionK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KaindlVA13,
author = {Hermann Kaindl and
Mathieu Vall{\'{e}}e and
Edin Arnautovic},
title = {Self-Representation for Self-Configuration and Monitoring in Agent-Based
Flexible Automation Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {1},
pages = {164--175},
year = {2013},
url = {https://doi.org/10.1109/TSMCA.2012.2192922},
doi = {10.1109/TSMCA.2012.2192922},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/KaindlVA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Kaindl13,
author = {Hermann Kaindl},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Model-Based Transition from Requirements to High-Level Software Design},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 2},
pages = {81--82},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.117},
doi = {10.1109/APSEC.2013.117},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Kaindl13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Kaindl13a,
author = {Hermann Kaindl},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Software Reuse Based on Business Processes and Requirements},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 2},
pages = {85--86},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.119},
doi = {10.1109/APSEC.2013.119},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Kaindl13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PoppKR13,
author = {Roman Popp and
Hermann Kaindl and
David Raneburger},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Connecting Interaction Models and Application Logic for Model-Driven
Generation of Web-Based Graphical User Interfaces},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {215--222},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.38},
doi = {10.1109/APSEC.2013.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PoppKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/PoppRK13,
author = {Roman Popp and
David Raneburger and
Hermann Kaindl},
editor = {Peter Forbrig and
Prasun Dewan and
Michael Harrison and
Kris Luyten},
title = {Tool support for automated multi-device {GUI} generation from discourse-based
communication models},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'13, London, United Kingdom - June 24 - 27, 2013},
pages = {145--150},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494603.2480334},
doi = {10.1145/2494603.2480334},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/PoppRK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/RaneburgerPK13,
author = {David Raneburger and
Roman Popp and
Hermann Kaindl},
editor = {Matthias Horbach},
title = {Design Alternatives for {GUI} Development with Discourse-based Communication
Models},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {2689--2701},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20689},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/RaneburgerPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ErtlFKPR13,
author = {Dominik Ertl and
J{\"{u}}rgen Falb and
Hermann Kaindl and
Roman Popp and
David Raneburger},
title = {Expectation-Based Command Recognition Off the Shelf: Publicly Reproducible
Experiments with Speech Input},
booktitle = {46th Hawaii International Conference on System Sciences, {HICSS} 2013,
Wailea, HI, USA, January 7-10, 2013},
pages = {407--416},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/HICSS.2013.212},
doi = {10.1109/HICSS.2013.212},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ErtlFKPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RaneburgerPK13,
author = {David Raneburger and
Roman Popp and
Hermann Kaindl},
editor = {Jos{\'{e}} Cordeiro and
David A. Marca and
Marten van Sinderen},
title = {Model-driven Transformation for Optimizing PSMs - {A} Case Study of
Rule Design for Multi-device {GUI} Generation},
booktitle = {{ICSOFT} 2013 - Proceedings of the 8th International Joint Conference
on Software Technologies, Reykjav{\'{\i}}k, Iceland, 29-31 July,
2013},
pages = {496--503},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004490104960503},
doi = {10.5220/0004490104960503},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/RaneburgerPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/RaneburgerAPKF13,
author = {David Raneburger and
David Alonso{-}R{\'{\i}}os and
Roman Popp and
Hermann Kaindl and
J{\"{u}}rgen Falb},
editor = {Paula Kotz{\'{e}} and
Gary Marsden and
Gitte Lindgaard and
Janet Wesson and
Marco Winckler},
title = {A User Study with GUIs Tailored for Smartphones},
booktitle = {Human-Computer Interaction - {INTERACT} 2013 - 14th {IFIP} {TC} 13
International Conference, Cape Town, South Africa, September 2-6,
2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8118},
pages = {505--512},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40480-1\_34},
doi = {10.1007/978-3-642-40480-1\_34},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/RaneburgerAPKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/KaindlWOPHGH13,
author = {Hermann Kaindl and
Elmar P. Wach and
Ada Okoli and
Roman Popp and
Ralph Hoch and
Werner Gaulke and
Tim Hussein},
editor = {Jihie Kim and
Jeffrey Nichols and
Pedro A. Szekely},
title = {Semi-automatic generation of recommendation processes and their GUIs},
booktitle = {18th International Conference on Intelligent User Interfaces, {IUI}
2013, Santa Monica, CA, USA, March 19-22, 2013},
pages = {85--94},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2449396.2449410},
doi = {10.1145/2449396.2449410},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/iui/KaindlWOPHGH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/Kaindl13,
author = {Hermann Kaindl},
editor = {Jens Heidrich and
Markku Oivo and
Andreas Jedlitschka and
Maria Teresa Baldassarre},
title = {Model-Based Transition from Requirements to High-Level Software Design},
booktitle = {Product-Focused Software Process Improvement - 14th International
Conference, {PROFES} 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7983},
pages = {367--369},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39259-7\_36},
doi = {10.1007/978-3-642-39259-7\_36},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/profes/Kaindl13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/RaneburgerPAKF13,
author = {David Raneburger and
Roman Popp and
David Alonso{-}R{\'{\i}}os and
Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {A User Study with GUIs Tailored for Smartphones and Tablet PCs},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {3727--3732},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.635},
doi = {10.1109/SMC.2013.635},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/RaneburgerPAKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/ErtlDK13,
author = {Dominik Ertl and
Sven Dominka and
Hermann Kaindl},
title = {Using a Mediator to Handle Undesired Feature Interaction of Automated
Driving},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {4555--4560},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.775},
doi = {10.1109/SMC.2013.775},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/ErtlDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MannionK12,
author = {Mike Mannion and
Hermann Kaindl},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Product Line Requirements Reuse Based on Variability Management},
booktitle = {19th Asia-Pacific Software Engineering Conference - Workshops, {APSEC}
2012, Hong Kong, China, December 4-7, 2012},
pages = {148--149},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.158},
doi = {10.1109/APSEC.2012.158},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/MannionK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/PoppFRK12,
author = {Roman Popp and
J{\"{u}}rgen Falb and
David Raneburger and
Hermann Kaindl},
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {A transformation engine for model-driven {UI} generation},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
pages = {281--286},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2305484.2305532},
doi = {10.1145/2305484.2305532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/PoppFRK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BogdanEFGK12,
author = {Cristian Bogdan and
Dominik Ertl and
J{\"{u}}rgen Falb and
Anders Green and
Hermann Kaindl},
title = {A Case Study of Remote Interdisciplinary Designing through Video Prototypes},
booktitle = {45th Hawaii International International Conference on Systems Science
{(HICSS-45} 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui,
HI, {USA}},
pages = {504--513},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HICSS.2012.46},
doi = {10.1109/HICSS.2012.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BogdanEFGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/ErtlK12,
author = {Dominik Ertl and
Hermann Kaindl},
editor = {Louis{-}Philippe Morency and
Dan Bohus and
Hamid K. Aghajan and
Justine Cassell and
Anton Nijholt and
Julien Epps},
title = {Semi-automatic generation of multimodal user interfaces for dialogue-based
interactive systems},
booktitle = {International Conference on Multimodal Interaction, {ICMI} '12, Santa
Monica, CA, USA, October 22-26, 2012},
pages = {441--444},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388676.2388773},
doi = {10.1145/2388676.2388773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmi/ErtlK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/KaindlPR12,
author = {Hermann Kaindl and
Roman Popp and
David Raneburger},
editor = {Slimane Hammoudi and
Marten van Sinderen and
Jos{\'{e}} Cordeiro},
title = {Automated Generation of User Interfaces - Based on Use Case or Interaction
Design Specifications?},
booktitle = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
pages = {303--308},
publisher = {SciTePress},
year = {2012},
url = {https://doi.org/10.5220/0004136203030308},
doi = {10.5220/0004136203030308},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/KaindlPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/Kaindl12,
author = {Hermann Kaindl},
editor = {Oscar Dieste and
Andreas Jedlitschka and
Natalia Juristo Juzgado},
title = {Requirements Meet Interaction Design},
booktitle = {Product-Focused Software Process Improvement - 13th International
Conference, {PROFES} 2012, Madrid, Spain, June 13-15, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7343},
pages = {374--376},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31063-8\_33},
doi = {10.1007/978-3-642-31063-8\_33},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/profes/Kaindl12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icom/FalbKPR11,
author = {J{\"{u}}rgen Falb and
Hermann Kaindl and
Roman Popp and
David Raneburger},
title = {Automatiserte Generierung von WIMP-UIs basierend auf Kommunikationsmodellen},
journal = {i-com},
volume = {10},
number = {3},
pages = {48--54},
year = {2011},
url = {https://doi.org/10.1524/icom.2011.0032},
doi = {10.1524/ICOM.2011.0032},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icom/FalbKPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/RaneburgerPKFE11,
author = {David Raneburger and
Roman Popp and
Hermann Kaindl and
J{\"{u}}rgen Falb and
Dominik Ertl},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {Automated generation of device-specific {WIMP} UIs: weaving of structural
and behavioral models},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {41--46},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996492},
doi = {10.1145/1996461.1996492},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/RaneburgerPKFE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KaindlPREFSB11,
author = {Hermann Kaindl and
Roman Popp and
David Raneburger and
Dominik Ertl and
J{\"{u}}rgen Falb and
Alexander Szep and
Cristian Bogdan},
title = {Robot-Supported Cooperative Work: {A} Shared-Shopping Scenario},
booktitle = {44th Hawaii International International Conference on Systems Science
{(HICSS-44} 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI,
{USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HICSS.2011.366},
doi = {10.1109/HICSS.2011.366},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/KaindlPREFSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl11,
author = {Hermann Kaindl},
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Scenario-Based Requirements Engineering Facilitating Interaction Design},
booktitle = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6949},
pages = {708--709},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23768-3\_126},
doi = {10.1007/978-3-642-23768-3\_126},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/Kaindl11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl11a,
author = {Hermann Kaindl},
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {UIs Automatically Optimized for Your Smartphone},
booktitle = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6949},
pages = {712--713},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23768-3\_128},
doi = {10.1007/978-3-642-23768-3\_128},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/Kaindl11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/PilatK11,
author = {Lukas Pilat and
Hermann Kaindl},
title = {A knowledge management perspective of requirements engineering},
booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
France, 19-21 May, 2011},
pages = {1--12},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/RCIS.2011.6006849},
doi = {10.1109/RCIS.2011.6006849},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/PilatK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/RaneburgerPKF11,
author = {David Raneburger and
Roman Popp and
Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {Automated {WIMP-UI} behavior generation: Parallelism and granularity
of communication units},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {2816--2821},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6084099},
doi = {10.1109/ICSMC.2011.6084099},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/RaneburgerPKF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/RaneburgerPKKF11,
author = {David Raneburger and
Roman Popp and
Sevan Kavaldjian and
Hermann Kaindl and
J{\"{u}}rgen Falb},
editor = {Heinrich Hussmann and
Gerrit Meixner and
Detlef Zuehlke},
title = {Optimized {GUI} Generation for Small Screens},
booktitle = {Model-Driven Development of Advanced User Interfaces},
series = {Studies in Computational Intelligence},
volume = {340},
pages = {107--122},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14562-9\_6},
doi = {10.1007/978-3-642-14562-9\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/RaneburgerPKKF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/KaindlS10,
author = {Hermann Kaindl and
Davor Svetinovic},
title = {On confusion between requirements and their representations},
journal = {Requir. Eng.},
volume = {15},
number = {3},
pages = {307--311},
year = {2010},
url = {https://doi.org/10.1007/s00766-009-0095-7},
doi = {10.1007/S00766-009-0095-7},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/KaindlS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/achi/ErtlFK10,
author = {Dominik Ertl and
J{\"{u}}rgen Falb and
Hermann Kaindl},
editor = {Ray Jarvis and
Cosmin Dini},
title = {Semi-automatically Configured Fission for Multimodal User Interfaces},
booktitle = {{ACHI} 2010, The Third International Conference on Advances in Computer-Human
Interactions, Saint Maarten, Netherlands, Antilles, February 10-16,
2010},
pages = {85--90},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACHI.2010.9},
doi = {10.1109/ACHI.2010.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/achi/ErtlFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Kaindl10,
author = {Hermann Kaindl},
editor = {Noi Sukaviriya and
Jean Vanderdonckt and
Michael Harrison},
title = {Model a discourse and transform it to your user interface},
booktitle = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
pages = {371--372},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822018.1822088},
doi = {10.1145/1822018.1822088},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/Kaindl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ErtlKKF10,
author = {Dominik Ertl and
Sevan Kavaldjian and
Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {Semi-Automatically Generated High-Level Fusion for Multimodal User
Interfaces},
booktitle = {43rd Hawaii International International Conference on Systems Science
{(HICSS-43} 2010), Proceedings, 5-8 January 2010, Koloa, Kauai, HI,
{USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HICSS.2010.335},
doi = {10.1109/HICSS.2010.335},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ErtlKKF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/KaindlFMB10,
author = {Hermann Kaindl and
J{\"{u}}rgen Falb and
Stefan Melbinger and
Thomas Bruckmayer},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {An Approach to Method-Tool Coupling for Software Development},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {101--106},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.23},
doi = {10.1109/ICSEA.2010.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/KaindlFMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlSN10,
author = {Hermann Kaindl and
Michal Smialek and
Wiktor Nowakowski},
title = {Case-based Reuse with Partial Requirements Specifications},
booktitle = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
Sydney, New South Wales, Australia, September 27 - October 1, 2010},
pages = {399--400},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RE.2010.57},
doi = {10.1109/RE.2010.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlSN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ArnautovicK10,
author = {Edin Arnautovic and
Hermann Kaindl},
title = {Towards Self-Managed Systems Aware of Economic Value},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
Proceedings},
pages = {55--58},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASOW.2010.14},
doi = {10.1109/SASOW.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ArnautovicK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2010,
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5613991/proceeding},
isbn = {978-0-7695-4144-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsea/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwet/FalbPRJAK09,
author = {J{\"{u}}rgen Falb and
Roman Popp and
Thomas R{\"{o}}ck and
Helmut Jelinek and
Edin Arnautovic and
Hermann Kaindl},
title = {Fully automatic generation of web user interfaces for multiple devices
from a high-level model based on communicative acts},
journal = {Int. J. Web Eng. Technol.},
volume = {5},
number = {2},
pages = {135--161},
year = {2009},
url = {https://doi.org/10.1504/IJWET.2009.028618},
doi = {10.1504/IJWET.2009.028618},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwet/FalbPRJAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/PoppFAKKEHB09,
author = {Roman Popp and
J{\"{u}}rgen Falb and
Edin Arnautovic and
Hermann Kaindl and
Sevan Kavaldjian and
Dominik Ertl and
Helmut Horacek and
Cristian Bogdan},
title = {Automatic Generation of the Behavior of a User Interface from a High-Level
Discourse Model},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.84},
doi = {10.1109/HICSS.2009.84},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/PoppFAKKEHB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icons/KrapfenbauerEKF09,
author = {Harald Krapfenbauer and
Dominik Ertl and
Hermann Kaindl and
J{\"{u}}rgen Falb},
editor = {Raimund K. Ege and
Walter Quattrociocchi and
Daniela Dragomirescu and
Oana Dini},
title = {Support for Programming Embedded Software with Dynamically Typed Languages},
booktitle = {The Fourth International Conference on Systems, {ICONS} 2009, Gosier,
Guadeloupe, France, 1-6 March 2009},
pages = {163--169},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICONS.2009.15},
doi = {10.1109/ICONS.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icons/KrapfenbauerEKF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icons/KaindlAEF09,
author = {Hermann Kaindl and
Edin Arnautovic and
Dominik Ertl and
J{\"{u}}rgen Falb},
editor = {Raimund K. Ege and
Walter Quattrociocchi and
Daniela Dragomirescu and
Oana Dini},
title = {Iterative Requirements Engineering and Architecting in Systems Engineering},
booktitle = {The Fourth International Conference on Systems, {ICONS} 2009, Gosier,
Guadeloupe, France, 1-6 March 2009},
pages = {216--221},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICONS.2009.33},
doi = {10.1109/ICONS.2009.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icons/KaindlAEF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/Kajko-MattssonABKPT09,
author = {Mira Kajko{-}Mattsson and
Ademar Aguiar and
Kenneth Boness and
Hermann Kaindl and
Rob Pooley and
Andreas Tael},
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {Long-Term Perspective of Agile Methods},
booktitle = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSEA.2009.8},
doi = {10.1109/ICSEA.2009.8},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/icsea/Kajko-MattssonABKPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/KaindlW09,
author = {Hermann Kaindl and
Patrick Wagner},
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {A Unification of the Essence of Goal-Oriented Requirements Engineering},
booktitle = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
pages = {45--50},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSEA.2009.16},
doi = {10.1109/ICSEA.2009.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/KaindlW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Kaindl09,
author = {Hermann Kaindl},
editor = {Boris Shishkov and
Jos{\'{e}} Cordeiro and
Alpesh Ranchordas},
title = {What is an Aspect in Requirements Engineering?},
booktitle = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
2009},
pages = {353--356},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 18 Sep 2009 15:00:58 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Kaindl09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl09,
author = {Hermann Kaindl},
editor = {Tom Gross and
Jan Gulliksen and
Paula Kotz{\'{e}} and
Lars Oestreicher and
Philippe A. Palanque and
Raquel Oliveira Prates and
Marco Winckler},
title = {Combining Requirements and Interaction Design through Usage Scenarios},
booktitle = {Human-Computer Interaction - {INTERACT} 2009, 12th {IFIP} {TC} 13
International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5727},
pages = {932--933},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03658-3\_117},
doi = {10.1007/978-3-642-03658-3\_117},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/Kaindl09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl09a,
author = {Hermann Kaindl},
editor = {Tom Gross and
Jan Gulliksen and
Paula Kotz{\'{e}} and
Lars Oestreicher and
Philippe A. Palanque and
Raquel Oliveira Prates and
Marco Winckler},
title = {Model a Discourse and Transform It to Your User Interface},
booktitle = {Human-Computer Interaction - {INTERACT} 2009, 12th {IFIP} {TC} 13
International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5727},
pages = {948--949},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03658-3\_125},
doi = {10.1007/978-3-642-03658-3\_125},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/Kaindl09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/FalbKPRAK09,
author = {J{\"{u}}rgen Falb and
Sevan Kavaldjian and
Roman Popp and
David Raneburger and
Edin Arnautovic and
Hermann Kaindl},
editor = {Cristina Conati and
Mathias Bauer and
Nuria Oliver and
Daniel S. Weld},
title = {Fully automatic user interface generation from discourse models},
booktitle = {Proceedings of the 14th International Conference on Intelligent User
Interfaces, {IUI} 2009, Sanibel Island, Florida, USA, February 8-11,
2009},
pages = {475--476},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1502650.1502722},
doi = {10.1145/1502650.1502722},
timestamp = {Tue, 06 Nov 2018 11:07:41 +0100},
biburl = {https://dblp.org/rec/conf/iui/FalbKPRAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/ValleeKMLAV09,
author = {Mathieu Vall{\'{e}}e and
Hermann Kaindl and
Munir Merdan and
Wilfried Lepuschitz and
Edin Arnautovic and
Pavel Vrba},
title = {An Automation Agent Architecture with {A} Reflective World Model in
Manufacturing Systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
pages = {305--310},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSMC.2009.5346161},
doi = {10.1109/ICSMC.2009.5346161},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/ValleeKMLAV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KavaldjianFK09,
author = {Sevan Kavaldjian and
J{\"{u}}rgen Falb and
Hermann Kaindl},
title = {Generating content presentation according to purpose},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
pages = {2046--2051},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSMC.2009.5346348},
doi = {10.1109/ICSMC.2009.5346348},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/KavaldjianFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KavaldjianRFKE09,
author = {Sevan Kavaldjian and
David Raneburger and
J{\"{u}}rgen Falb and
Hermann Kaindl and
Dominik Ertl},
title = {Semi-automatic user interface generation considering pointing granularity},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
pages = {2052--2058},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSMC.2009.5346356},
doi = {10.1109/ICSMC.2009.5346356},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/KavaldjianRFKE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HoracekK09,
author = {Helmut Horacek and
Hermann Kaindl},
title = {An Analysis of Decision Quality of Minimaxing vs. Product Propagation},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
pages = {2568--2574},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSMC.2009.5346327},
doi = {10.1109/ICSMC.2009.5346327},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/HoracekK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/MannionK08,
author = {Mike Mannion and
Hermann Kaindl},
title = {Using parameters and discriminants for product line requirements},
journal = {Syst. Eng.},
volume = {11},
number = {1},
pages = {61--80},
year = {2008},
url = {https://doi.org/10.1002/sys.20086},
doi = {10.1002/SYS.20086},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/se/MannionK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KaindlFB08,
author = {Hermann Kaindl and
J{\"{u}}rgen Falb and
Cristian Bogdan},
editor = {Mary Czerwinski and
Arnold M. Lund and
Desney S. Tan},
title = {Multimodal communication involving movements of a robot},
booktitle = {Extended Abstracts Proceedings of the 2008 Conference on Human Factors
in Computing Systems, {CHI} 2008, Florence, Italy, April 5-10, 2008},
pages = {3213--3218},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1358628.1358833},
doi = {10.1145/1358628.1358833},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KaindlFB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emmsad/Kaindl08,
author = {Hermann Kaindl},
editor = {Terry A. Halpin and
Erik Proper and
John Krogstie and
Xavier Franch and
Ela Hunt and
Remi Coletta},
title = {What is an Aspect in Aspect-oriented Requirements Engineering?},
booktitle = {Proceedings of the 13th International Workshop on Exploring Modeling
Methods for Systems Analysis and Design, {EMMSAD} 2008, held in conjunction
with the CAiSE 2008 Conference, Montpellier, France, June 16-17, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {337},
pages = {164--170},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-337/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/emmsad/Kaindl08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BogdanFKKPHAS08,
author = {Cristian Bogdan and
J{\"{u}}rgen Falb and
Hermann Kaindl and
Sevan Kavaldjian and
Roman Popp and
Helmut Horacek and
Edin Arnautovic and
Alexander Szep},
title = {Generating an Abstract User Interface from a Discourse Model Inspired
by Human Communication},
booktitle = {41st Hawaii International International Conference on Systems Science
{(HICSS-41} 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island,
HI, {USA}},
pages = {36},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HICSS.2008.181},
doi = {10.1109/HICSS.2008.181},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BogdanFKKPHAS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icas/ArnautovicKFP08,
author = {Edin Arnautovic and
Hermann Kaindl and
J{\"{u}}rgen Falb and
Roman Popp},
title = {High-Level Modeling of Software-Management Interactions and Tasks
for Autonomic Computing},
booktitle = {Fourth International Conference on Autonomic and Autonomous Systems,
{ICAS} 2008, 16-21 March 2008, Gosier, Guadeloupe},
pages = {212--218},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICAS.2008.46},
doi = {10.1109/ICAS.2008.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icas/ArnautovicKFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/KaindlF08,
author = {Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {Can We Transform Requirements into Architecture?},
booktitle = {Proceedings of the Third International Conference on Software Engineering
Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
pages = {91--96},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSEA.2008.19},
doi = {10.1109/ICSEA.2008.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/KaindlF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/BogdanKFP08,
author = {Cristian Bogdan and
Hermann Kaindl and
J{\"{u}}rgen Falb and
Roman Popp},
editor = {Jeffrey M. Bradshaw and
Henry Lieberman and
Steffen Staab},
title = {Modeling of interaction design by end users through discourse modeling},
booktitle = {Proceedings of the 13th International Conference on Intelligent User
Interfaces, {IUI} 2008, Gran Canaria, Canary Islands, Spain, January
13-16, 2008},
pages = {305--308},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378773.1378816},
doi = {10.1145/1378773.1378816},
timestamp = {Tue, 06 Nov 2018 11:07:41 +0100},
biburl = {https://dblp.org/rec/conf/iui/BogdanKFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KaindlCPSZ08,
author = {Hermann Kaindl and
Larry L. Constantine and
Oscar Pastor and
Alistair G. Sutcliffe and
Didar Zowghi},
title = {How to Combine Requirements Engineering and Interaction Design?},
booktitle = {16th {IEEE} International Requirements Engineering Conference, {RE}
2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
pages = {299--301},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RE.2008.59},
doi = {10.1109/RE.2008.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/KaindlCPSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/WolterSBK08,
author = {Katharina Wolter and
Michal Smialek and
Daniel Bildhauer and
Hermann Kaindl},
title = {Reusing Terminology for Requirements Specifications from WordNet},
booktitle = {16th {IEEE} International Requirements Engineering Conference, {RE}
2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
pages = {325--326},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RE.2008.56},
doi = {10.1109/RE.2008.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/WolterSBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/MukasaK08,
author = {Kizito Ssamula Mukasa and
Hermann Kaindl},
title = {An Integration of Requirements and User Interface Specifications},
booktitle = {16th {IEEE} International Requirements Engineering Conference, {RE}
2008, 8-12 September 2008, Barcelona, Catalunya, Spain},
pages = {327--328},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RE.2008.55},
doi = {10.1109/RE.2008.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/MukasaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FalbPRJAK07,
author = {J{\"{u}}rgen Falb and
Roman Popp and
Thomas R{\"{o}}ck and
Helmut Jelinek and
Edin Arnautovic and
Hermann Kaindl},
title = {Fully-automatic generation of user interfaces for multiple devices
from a high-level model based on communicative acts},
booktitle = {40th Hawaii International International Conference on Systems Science
{(HICSS-40} 2007), {CD-ROM} / Abstracts Proceedings, 3-6 January 2007,
Waikoloa, Big Island, HI, {USA}},
pages = {26},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HICSS.2007.236},
doi = {10.1109/HICSS.2007.236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/FalbPRJAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/FalbPRJAK07,
author = {J{\"{u}}rgen Falb and
Roman Popp and
Thomas R{\"{o}}ck and
Helmut Jelinek and
Edin Arnautovic and
Hermann Kaindl},
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {{UI} Prototyping for Multiple Devices Through Specifying Interaction
Design},
booktitle = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4662},
pages = {136--149},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74796-3\_15},
doi = {10.1007/978-3-540-74796-3\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/FalbPRJAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl07,
author = {Hermann Kaindl},
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {How to Combine Requirements and Interaction Design Through Usage Scenarios},
booktitle = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4663},
pages = {706--707},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74800-7\_93},
doi = {10.1007/978-3-540-74800-7\_93},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/Kaindl07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KavaldjianBFK07,
author = {Sevan Kavaldjian and
Cristian Bogdan and
J{\"{u}}rgen Falb and
Hermann Kaindl},
editor = {Andreas Pleu{\ss} and
Jan Van den Bergh and
Heinrich Hu{\ss}mann and
Stefan Sauer and
Daniel G{\"{o}}rlich},
title = {Transforming a Discourse Model to an Abstract User Interface Model},
booktitle = {Proceedings of the MoDELS 2007 Workshop on Model Driven Development
of Advanced User Interfaces, Nashville, Tennessee, USA, October 1,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {297},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-297/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KavaldjianBFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KavaldjianBFK07a,
author = {Sevan Kavaldjian and
Cristian Bogdan and
J{\"{u}}rgen Falb and
Hermann Kaindl},
editor = {Holger Giese},
title = {Transforming Discourse Models to Structural User Interface Models},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {77--88},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_9},
doi = {10.1007/978-3-540-69073-3\_9},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/KavaldjianBFK07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ArnautovicKFPS07,
author = {Edin Arnautovic and
Hermann Kaindl and
J{\"{u}}rgen Falb and
Roman Popp and
Alexander Szep},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Gradual transition towards autonomic software systems based on high-level
communication specification},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {84--89},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244024},
doi = {10.1145/1244002.1244024},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/ArnautovicKFPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArnautovicKF06,
author = {Edin Arnautovic and
Hermann Kaindl and
J{\"{u}}rgen Falb},
title = {An architecture for gradual transition towards self-managed software
systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {6},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1145/1218776.1218792},
doi = {10.1145/1218776.1218792},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArnautovicKF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/FalbKHBPA06,
author = {J{\"{u}}rgen Falb and
Hermann Kaindl and
Helmut Horacek and
Cristian Bogdan and
Roman Popp and
Edin Arnautovic},
editor = {Gary M. Olson and
Robin Jeffries},
title = {A discourse model for interaction design based on theories of human
communication},
booktitle = {Extended Abstracts Proceedings of the 2006 Conference on Human Factors
in Computing Systems, {CHI} 2006, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada, April 22-27, 2006},
pages = {754--759},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1125451.1125602},
doi = {10.1145/1125451.1125602},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/FalbKHBPA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/Kaindl05,
author = {Hermann Kaindl},
title = {Is object-oriented requirements engineering of interest?},
journal = {Requir. Eng.},
volume = {10},
number = {1},
pages = {81--84},
year = {2005},
url = {https://doi.org/10.1007/s00766-004-0197-1},
doi = {10.1007/S00766-004-0197-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/Kaindl05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/Kaindl05,
author = {Hermann Kaindl},
title = {A scenario-based approach for requirements engineering: Experience
in a telecommunication software development project},
journal = {Syst. Eng.},
volume = {8},
number = {3},
pages = {197--210},
year = {2005},
url = {https://doi.org/10.1002/sys.20030},
doi = {10.1002/SYS.20030},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/se/Kaindl05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FalbPRJAK05,
author = {J{\"{u}}rgen Falb and
Roman Popp and
Thomas R{\"{o}}ck and
Helmut Jelinek and
Edin Arnautovic and
Hermann Kaindl},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Using communicative acts in high-level specifications of user interfaces
for their automated synthesis},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {429--430},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101988},
doi = {10.1145/1101908.1101988},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FalbPRJAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metrics/HarputKK05,
author = {Vahan Harput and
Hermann Kaindl and
Stefan Kramer},
title = {Extending Function Point Analysis of Object-Oriented Requirements
Specifications},
booktitle = {11th {IEEE} International Symposium on Software Metrics {(METRICS}
2005), 19-22 September 2005, Como Italy},
pages = {39},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/METRICS.2005.25},
doi = {10.1109/METRICS.2005.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/metrics/HarputKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KramerK04,
author = {Stefan Kramer and
Hermann Kaindl},
title = {Coupling and cohesion metrics for knowledge-based systems using frames
and rules},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {13},
number = {3},
pages = {332--358},
year = {2004},
url = {https://doi.org/10.1145/1027092.1027094},
doi = {10.1145/1027092.1027094},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KramerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AuerK04,
author = {Andreas Auer and
Hermann Kaindl},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {A Case Study of Revisiting Best-First vs. Depth-First Search},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {141--145},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AuerK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Kaindl04,
author = {Hermann Kaindl},
title = {Active Tool Support for Requirements Engineering Through {RETH}},
booktitle = {12th {IEEE} International Conference on Requirements Engineering {(RE}
2004), 6-10 September 2004, Kyoto, Japan},
pages = {362--363},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/RE.2004.4},
doi = {10.1109/RE.2004.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Kaindl04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/KaindlKHH03,
author = {Hermann Kaindl and
Stefan Kramer and
Mario Hailing and
Vahan Harput},
editor = {Johann Eder and
Tatjana Welzer},
title = {Metamodel-Compliance Checking of Requirements in a Semiformal Representation},
booktitle = {The 15th Conference on Advanced Information Systems Engineering (CAiSE
'03), Klagenfurt/Velden, Austria, 16-20 June, 2003, CAiSE Forum, Short
Paper Proceedings, Information Systems for a Connected Society},
series = {{CEUR} Workshop Proceedings},
volume = {74},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-74/files/FORUM\_51.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:33 +0100},
biburl = {https://dblp.org/rec/conf/caise/KaindlKHH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Kaindl03,
author = {Hermann Kaindl},
title = {Structuring Business Models in a Web Representation},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {97},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174233},
doi = {10.1109/HICSS.2003.1174233},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Kaindl03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/KaindlBBFGHLMMS02,
author = {Hermann Kaindl and
Sjaak Brinkkemper and
Janis A. Bubenko Jr. and
Barbara Farbey and
Sol J. Greenspan and
Constance L. Heitmeyer and
Julio C{\'{e}}sar Sampaio do Prado Leite and
Nancy R. Mead and
John Mylopoulos and
Jawed I. A. Siddiqi},
title = {Requirements Engineering and Technology Transfer: Obstacles, Incentives
and Improvement Agenda},
journal = {Requir. Eng.},
volume = {7},
number = {3},
pages = {113--123},
year = {2002},
url = {https://doi.org/10.1007/s007660200008},
doi = {10.1007/S007660200008},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/KaindlBBFGHLMMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/EbnerK02,
author = {Gerald Ebner and
Hermann Kaindl},
title = {Tracing All Around in Reengineering},
journal = {{IEEE} Softw.},
volume = {19},
number = {3},
pages = {70--77},
year = {2002},
url = {https://doi.org/10.1109/MS.2002.1003459},
doi = {10.1109/MS.2002.1003459},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/EbnerK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/KaindlJ02,
author = {Hermann Kaindl and
Rudolf Jezek},
editor = {Christophe Kolski and
Jean Vanderdonckt},
title = {From Usage Scenarios to User Interface Elements in a Few Steps},
booktitle = {Computer-Aided Design of User Interfaces III, Proceedings of the Fourth
International Conference on Computer-Aided Design of User Interfaces,
May, 15-17, 2002, Valenciennes, France},
pages = {91--102},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/cadui/KaindlJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nrhm/Kaindl02,
author = {Hermann Kaindl},
title = {Using hypermedia in requirements engineering practice},
journal = {New Rev. Hypermedia Multim.},
volume = {7},
pages = {185--205},
year = {2001},
url = {https://doi.org/10.1080/13614560108914732},
doi = {10.1080/13614560108914732},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nrhm/Kaindl02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KaindlKR01,
author = {Hermann Kaindl and
Gerhard Kainz and
Klaus Radda},
title = {Asymmetry in search},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {31},
number = {5},
pages = {791--796},
year = {2001},
url = {https://doi.org/10.1109/3477.956040},
doi = {10.1109/3477.956040},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/KaindlKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/Kaindl0H01,
author = {Hermann Kaindl and
Stefan Kramer and
Mario Hailing},
editor = {Ann Blandford and
Jean Vanderdonckt and
Phil Gray},
title = {An Interactive Guide Through a Defined Modelling Process},
booktitle = {People and Computers {XV} - Interaction without Frontiers, Joint Proceedings
of {HCI} 2001 and {IHM} 2001, Lille, France, September 10-14, 2001},
pages = {107--123},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0353-0\_7},
doi = {10.1007/978-1-4471-0353-0\_7},
timestamp = {Mon, 16 Sep 2019 15:28:08 +0200},
biburl = {https://dblp.org/rec/conf/bcshci/Kaindl0H01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Kaindl01,
author = {Hermann Kaindl},
editor = {Marilyn Mantai Tremaine},
title = {Methods and modeling: fiction or useful reality?},
booktitle = {{CHI} 2001 Extended Abstracts on Human Factors in Computing Systems,
{CHI} Extended Abstracts 2001, Seattle, Washington, USA, March 31
- April 5, 2001},
pages = {213--214},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/634067.634195},
doi = {10.1145/634067.634195},
timestamp = {Tue, 15 Jun 2021 16:10:41 +0200},
biburl = {https://dblp.org/rec/conf/chi/Kaindl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/KaindlJ01,
author = {Hermann Kaindl and
Rudolf Jezek},
editor = {Murray Reed Little and
Laurence Nigay},
title = {From Usage Scenarios to Widget Classes},
booktitle = {Engineering for Human-Computer Interaction, 8th {IFIP} International
Conference, {EHCI} 2001, Toronto, Canada, May 11-13, 2001, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2254},
pages = {35--36},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45348-2\_6},
doi = {10.1007/3-540-45348-2\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/KaindlJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Kaindl01,
author = {Hermann Kaindl},
title = {Adoption of Requirements Engineering: Conditions for Success},
booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
2001), 27-31 August 2001, Toronto, Canada},
pages = {270},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISRE.2001.948574},
doi = {10.1109/ISRE.2001.948574},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Kaindl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MannionK01,
author = {Mike Mannion and
Hermann Kaindl},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Requirements-based product line engineering},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {322--323},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503266},
doi = {10.1145/503209.503266},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MannionK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Kaindl00,
author = {Hermann Kaindl},
title = {Book Review: Scalable Search in computer chess - algorithmic enhancements
and experiments at high search depth},
journal = {{AI} Commun.},
volume = {13},
number = {4},
pages = {279--280},
year = {2000},
url = {http://content.iospress.com/articles/ai-communications/aic225},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Kaindl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/Kaindl00,
author = {Hermann Kaindl},
title = {A design process based on a model combining scenarios with goals and
functions},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {30},
number = {5},
pages = {537--551},
year = {2000},
url = {https://doi.org/10.1109/3468.867861},
doi = {10.1109/3468.867861},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/Kaindl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/KaindlM00,
author = {Hermann Kaindl and
John Mylopoulos},
editor = {Benkt Wangler and
Lars Bergman},
title = {Why Is It So Difficult to Introduce {RE} Research Results into Mainstream
{RE} Practice?},
booktitle = {Advanced Information Systems Engineering, 12th International Conference
CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1789},
pages = {7--12},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45140-4\_2},
doi = {10.1007/3-540-45140-4\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/KaindlM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/EbnerK00,
author = {Gerald Ebner and
Hermann Kaindl},
editor = {Benkt Wangler and
Lars Bergman},
title = {Tracing All Around},
booktitle = {Advanced Information Systems Engineering, 12th International Conference
CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1789},
pages = {355--368},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45140-4\_24},
doi = {10.1007/3-540-45140-4\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/EbnerK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FurnkranzPKK00,
author = {Johannes F{\"{u}}rnkranz and
Bernhard Pfahringer and
Hermann Kaindl and
Stefan Kramer},
editor = {Werner Horn},
title = {Learning to Use Operational Advice},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {291--295},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Fri, 02 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FurnkranzPKK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/Kaindl00,
author = {Hermann Kaindl},
title = {Why is it so Difficult to Introduce Requirements Engineering Research
Results into Mainstream Requirements Engineering Practice?},
booktitle = {Proceedings of the 4th International Conference on Requirements Engineering,
{ICRE} '00, Schaumburg, Illinois, USA, June 19-23, 2000},
pages = {67--68},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICRE.2000.855588},
doi = {10.1109/ICRE.2000.855588},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/Kaindl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/MannionLKMW00,
author = {Mike Mannion and
Oliver Lewis and
Hermann Kaindl and
Gianluca Montroni and
Joe Wheadon},
editor = {William B. Frakes},
title = {Representing Requirements on Generic Software in an Application Family
Model},
booktitle = {Software Reuse: Advances in Software Reusability, 6th International
Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1844},
pages = {153--169},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-44995-9\_10},
doi = {10.1007/978-3-540-44995-9\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/MannionLKMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaindlFJMMH00,
author = {Hermann Kaindl and
Karl Frank and
Ivar Jacobson and
Stephen J. Mellor and
Joaquin Miller and
Laura Hill},
editor = {James Haungs},
title = {How difficult is the transition from {OOA} to OOD? (panel session)},
booktitle = {Addendum to the 2000 Proceedings of the Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2000, Minneapolis,
MN, USA, October 15-19, 2000},
pages = {11--12},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/367845.367896},
doi = {10.1145/367845.367896},
timestamp = {Fri, 11 Feb 2022 12:49:31 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KaindlFJMMH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaindlHKKSS00,
author = {Hermann Kaindl and
Stefan Huber and
{\"{O}}mer Karacan and
Ilir Kondo and
Herwig Schreiner and
Helge{-}Wernhard S{\"{u}}{\ss}},
editor = {James Haungs},
title = {ooSEM (poster session): a process model for object-oriented development
in an industrial environment},
booktitle = {Addendum to the 2000 Proceedings of the Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2000, Minneapolis,
MN, USA, October 15-19, 2000},
pages = {99--100},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/367845.367986},
doi = {10.1145/367845.367986},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KaindlHKKSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KaindlC99,
author = {Hermann Kaindl and
John M. Carroll},
title = {Symbolic Modeling in Practice - Introduction},
journal = {Commun. {ACM}},
volume = {42},
number = {1},
pages = {28--30},
year = {1999},
url = {https://doi.org/10.1145/291469.293164},
doi = {10.1145/291469.293164},
timestamp = {Mon, 27 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/KaindlC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Kaindl99,
author = {Hermann Kaindl},
title = {Difficulties in the Transition from {OO} Analysis to Design},
journal = {{IEEE} Softw.},
volume = {16},
number = {5},
pages = {94--102},
year = {1999},
url = {https://doi.org/10.1109/52.795107},
doi = {10.1109/52.795107},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Kaindl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ht/KaindlKD99,
author = {Hermann Kaindl and
Stefan Kramer and
Papa Samba Niang Diallo},
editor = {J{\"{o}}rg Westbomke and
Uffe Kock Wiil and
John J. Leggett and
Klaus Tochtermann and
J{\"{o}}rg M. Haake},
title = {Semiautomatic Generation of Glossary Links: {A} Practical Solution},
booktitle = {{HYPERTEXT} '99, Proceedings of the 10th {ACM} Conference on Hypertext
and Hypermedia: Returning to Our Diverse Roots, February 21-25, 1999,
Darmstadt, Germany},
pages = {3--12},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/294469.294473},
doi = {10.1145/294469.294473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ht/KaindlKD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MannionKW99,
author = {Mike Mannion and
Hermann Kaindl and
Joe Wheadon},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Reusing Single System Requirements from Application Family Requirements},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {453--462},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302677},
doi = {10.1145/302405.302677},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MannionKW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaindlKSAR99,
author = {Hermann Kaindl and
Gerhard Kainz and
Roland Steiner and
Andreas Auer and
Klaus Radda},
editor = {Thomas Dean},
title = {Switching from Bidirectional to Unidirectional Search},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {1178--1183},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-2/Papers/072.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KaindlKSAR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ScheucherK98,
author = {Anton Scheucher and
Hermann Kaindl},
title = {Benefits of Using Multivalued Functions for Minimaxing},
journal = {Artif. Intell.},
volume = {99},
number = {2},
pages = {187--208},
year = {1998},
url = {https://doi.org/10.1016/S0004-3702(97)00073-8},
doi = {10.1016/S0004-3702(97)00073-8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ScheucherK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/ScheucherK98,
author = {Anton Scheucher and
Hermann Kaindl},
title = {Benefits of using Multivalued Functions for Minimaxing},
journal = {J. Int. Comput. Games Assoc.},
volume = {21},
number = {3},
pages = {193},
year = {1998},
url = {https://doi.org/10.3233/ICG-1998-21306},
doi = {10.3233/ICG-1998-21306},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/ScheucherK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/Kaindl98,
author = {Hermann Kaindl},
editor = {Hilary Johnson and
Laurence Nigay and
Chris Roast},
title = {Combining Goals and Functional Requirements in a Scenario-based Design
Process},
booktitle = {People and Computers XIII, Proceedings of {HCI} '98},
pages = {101--121},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-1-4471-3605-7\_7},
doi = {10.1007/978-1-4471-3605-7\_7},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/bcshci/Kaindl98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KaindlS98,
author = {Hermann Kaindl and
Anton Scheucher},
editor = {Henri Prade},
title = {Back-up of Heuristic Values: Minimaxing vs. Product Propagation},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {665--669},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KaindlS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ht/KaindlKA98,
author = {Hermann Kaindl and
Stefan Kramer and
Luis Miguel Afonso},
editor = {Robert M. Akscyn},
title = {Combining Structure Search and Content Search for the World-Wide Web},
booktitle = {{HYPERTEXT} '98. Proceedings of the Ninth {ACM} Conference on Hypertext
and Hypermedia: Links, Objects, Time and Space - Structure in Hypermedia
Systems, June 20-24, 1998, Pittsburgh, PA, {USA}},
pages = {217--224},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/276627.276651},
doi = {10.1145/276627.276651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ht/KaindlKA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/KaindlKK98,
author = {Hermann Kaindl and
Stefan Kramer and
Robert Kacsich},
title = {A Case Study of Decomposing Functional Requirements Using Scenarios},
booktitle = {3rd International Conference on Requirements Engineering {(ICRE} '98),
Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
Springs, CO, USA, Proceedings},
pages = {156--163},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICRE.1998.667821},
doi = {10.1109/ICRE.1998.667821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/KaindlKK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/Kaindl97,
author = {Hermann Kaindl},
title = {A Practical Approach to Combining Requirements Definition and Object-Oriented
Analysis},
journal = {Ann. Softw. Eng.},
volume = {3},
pages = {319--343},
year = {1997},
url = {https://doi.org/10.1023/A:1018954425162},
doi = {10.1023/A:1018954425162},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/Kaindl97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KaindlK97,
author = {Hermann Kaindl and
Gerhard Kainz},
title = {Bidirectional Heuristic Search Reconsidered},
journal = {J. Artif. Intell. Res.},
volume = {7},
pages = {283--317},
year = {1997},
url = {https://doi.org/10.1613/jair.460},
doi = {10.1613/JAIR.460},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KaindlK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KramerKS97,
author = {Stefan Kramer and
Hermann Kaindl and
Stefan Schlee},
title = {Can We Benefit from Metrics in {KBS} Development?},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {662--667},
publisher = {Morgan Kaufmann},
year = {1997},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KramerKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-9712102,
author = {Hermann Kaindl and
Gerhard Kainz},
title = {Bidirectional Heuristic Search Reconsidered},
journal = {CoRR},
volume = {cs.AI/9712102},
year = {1997},
url = {https://arxiv.org/abs/cs/9712102},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-9712102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nrhm/Kaindl96,
author = {Hermann Kaindl},
title = {Using Hypertext for semiformal representation in requirements engineering
practice},
journal = {New Rev. Hypermedia Multim.},
volume = {2},
pages = {149--173},
year = {1996},
url = {https://doi.org/10.1080/13614569608914679},
doi = {10.1080/13614569608914679},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nrhm/Kaindl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KainzK96,
author = {Gerhard Kainz and
Hermann Kaindl},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Dynamic Improvements of Heuristic Evaluations during Search},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {311--317},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-047.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KainzK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SteinerKK96,
author = {Roland Steiner and
Hermann Kaindl and
Gerhard Kainz},
editor = {Wolfgang Wahlster},
title = {Backjumping in State-Space Search},
booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
August 11-16, 1996, Proceedings},
pages = {395--402},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
biburl = {https://dblp.org/rec/conf/ecai/SteinerKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Kaindl96,
author = {Hermann Kaindl},
editor = {H. Dieter Rombach and
T. S. E. Maibaum and
Marvin V. Zelkowitz},
title = {How to Identify Binary Relations for Domain Models},
booktitle = {18th International Conference on Software Engineering, Berlin, Germany,
March 25-29, 1996, Proceedings},
pages = {28--36},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://portal.acm.org/citation.cfm?id=227726.227734},
timestamp = {Mon, 17 Sep 2012 17:53:34 +0200},
biburl = {https://dblp.org/rec/conf/icse/Kaindl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/KaindlKLS95,
author = {Hermann Kaindl and
Gerhard Kainz and
Angelika Leeb and
Harald Smetana},
title = {How to Use Limited Memory in Heuristic Search},
journal = {J. Int. Comput. Games Assoc.},
volume = {18},
number = {4},
pages = {226},
year = {1995},
url = {https://doi.org/10.3233/ICG-1995-18406},
doi = {10.3233/ICG-1995-18406},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/KaindlKLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMdis/Kaindl95,
author = {Hermann Kaindl},
editor = {Gary M. Olson and
Sue Schuon},
title = {An Integration of Scenarios with Their Purposes in Task Modeling},
booktitle = {Proceedings of the 1st Conference on Designing Interactive Systems:
Processes, Practices, Methods and Techniques, {DIS} '95, Ann Arbor,
MI, USA, August 23-25, 1995},
pages = {227--235},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225434.225460},
doi = {10.1145/225434.225460},
timestamp = {Tue, 06 Nov 2018 16:58:03 +0100},
biburl = {https://dblp.org/rec/conf/ACMdis/Kaindl95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gosler/MehlsamKB95,
author = {Gerhard Mehlsam and
Hermann Kaindl and
Wilhelm Barth},
editor = {Klaus P. Jantke and
Steffen Lange},
title = {Feature Construction during Tree Learning},
booktitle = {Algorithmic Learning for Knowledge-Based Systems, {GOSLER} Final Report},
series = {Lecture Notes in Computer Science},
volume = {961},
pages = {391--403},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60217-8\_18},
doi = {10.1007/3-540-60217-8\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/gosler/MehlsamKB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaindlKLS95,
author = {Hermann Kaindl and
Gerhard Kainz and
Angelika Leeb and
Harald Smetana},
title = {How to Use Limited Memory in Heuristic Search},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {236--242},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KaindlKLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kaindl95,
author = {Hermann Kaindl},
editor = {Knut Nordby and
Per H. Helmersen and
David J. Gilmore and
Svein A. Arnesen},
title = {An approach to hypertext-based requirements specification and its
application},
booktitle = {Human-Computer Interaction, {INTERACT} '95, {IFIP} {TC13} Interantional
Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer,
Norway},
series = {{IFIP} Conference Proceedings},
pages = {354--357},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Mon, 28 Nov 2005 11:17:14 +0100},
biburl = {https://dblp.org/rec/conf/interact/Kaindl95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/Kaindl94,
author = {Hermann Kaindl},
title = {A Question},
journal = {J. Int. Comput. Games Assoc.},
volume = {17},
number = {3},
pages = {178},
year = {1994},
url = {https://doi.org/10.3233/ICG-1994-17318},
doi = {10.3233/ICG-1994-17318},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/Kaindl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Kaindl94,
author = {Hermann Kaindl},
title = {Editorial: object-oriented approaches in artificial intelligence and
human-computer interaction},
journal = {Int. J. Hum. Comput. Stud.},
volume = {41},
number = {1-2},
pages = {1--3},
year = {1994},
url = {https://doi.org/10.1006/ijhc.1994.1050},
doi = {10.1006/IJHC.1994.1050},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/Kaindl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/SnaprudK94,
author = {Mikael Holmesland Snaprud and
Hermann Kaindl},
title = {Types and inheritance in hypertext},
journal = {Int. J. Hum. Comput. Stud.},
volume = {41},
number = {1-2},
pages = {223--241},
year = {1994},
url = {https://doi.org/10.1006/ijhc.1994.1057},
doi = {10.1006/IJHC.1994.1057},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/SnaprudK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oopsm/Kaindl94,
author = {Hermann Kaindl},
title = {Comparing object-oriented analysis with knowledge acquisition},
journal = {{OOPS} Messenger},
volume = {5},
number = {3},
pages = {1--5},
year = {1994},
url = {https://doi.org/10.1145/181904.181905},
doi = {10.1145/181904.181905},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/oopsm/Kaindl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KaindlK94,
author = {Hermann Kaindl and
Aliasghar Khorsand},
editor = {Barbara Hayes{-}Roth and
Richard E. Korf},
title = {Memory-Bounded Bidirectional Search},
booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
Seattle, WA, USA, July 31 - August 4, 1994, Volume 2},
pages = {1359--1364},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1994},
url = {http://www.aaai.org/Library/AAAI/1994/aaai94-209.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KaindlK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KaindlLS94,
author = {Hermann Kaindl and
Angelika Leeb and
Harald Smetana},
editor = {Anthony G. Cohn},
title = {Improvements on Linear-Space Search Algorithms},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {155--159},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KaindlLS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/ReiserK94,
author = {Christian Reiser and
Hermann Kaindl},
editor = {Jean Paul Haton and
Mark T. Keane and
Michel Manago},
title = {Case-Based Reasoning for Multi-Step Problems and Its Integration with
Heuristic Search},
booktitle = {Advances in Case-Based Reasoning, Second European Workshop, EWCBR-94,
Chantilly, France, November 7-10, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {984},
pages = {113--125},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60364-6\_31},
doi = {10.1007/3-540-60364-6\_31},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/ReiserK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/ChampeauxKLS94,
author = {Dennis de Champeaux and
Hermann Kaindl and
Joachim H. Laubsch and
Albert Schappert},
editor = {Mark C. Wilkes},
title = {Artificial intelligence for object-oriented software engineering},
booktitle = {Addendum to the Proceedings on Object-Oriented Programming Systems,
Languages, and Applications, {OOPSLA} 1994 Addendum, Portland, Oregon,
USA, October 23-28, 1994},
pages = {127--130},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/260028.260173},
doi = {10.1145/260028.260173},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/ChampeauxKLS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Kaindl93,
author = {Hermann Kaindl},
title = {The missing link in requirements engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {18},
number = {2},
pages = {30--39},
year = {1993},
url = {https://doi.org/10.1145/159420.155836},
doi = {10.1145/159420.155836},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Kaindl93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KollK93,
author = {Andreas L. K{\"{o}}ll and
Hermann Kaindl},
editor = {Ruzena Bajcsy},
title = {Bidirectional Best-First Search with Bounded Error: Summary of Results},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {217--223},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KollK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/KaindlZ92,
author = {Hermann Kaindl and
Holger G. Ziegeler},
title = {Reasoning Types and {AI} Programming Paradigms},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {2},
number = {1},
pages = {107--119},
year = {1992},
url = {https://doi.org/10.1142/S0218194092000063},
doi = {10.1142/S0218194092000063},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/KaindlZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/LercherK92,
author = {Lorenz Lercher and
Hermann Kaindl},
title = {Problems, Communication, and Common Sense},
journal = {{SIGART} Bull.},
volume = {3},
number = {2},
pages = {15--19},
year = {1992},
url = {https://doi.org/10.1145/130700.130701},
doi = {10.1145/130700.130701},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/LercherK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigweb/KaindlZ92,
author = {Hermann Kaindl and
Holger G. Ziegeler},
title = {{HIS:} an information system about hypertext on hypertext},
journal = {{SIGWEB} Newsl.},
volume = {1},
number = {1},
pages = {1--7},
year = {1992},
url = {https://doi.org/10.1145/141705.141706},
doi = {10.1145/141705.141706},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigweb/KaindlZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/KaindlS92,
author = {Hermann Kaindl and
Anton Scheucher},
title = {Reasons for the effects of bounded look-ahead search},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {22},
number = {5},
pages = {992--1007},
year = {1992},
url = {https://doi.org/10.1109/21.179839},
doi = {10.1109/21.179839},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/KaindlS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KollK92,
author = {Andreas L. K{\"{o}}ll and
Hermann Kaindl},
editor = {Bernd Neumann},
title = {A New Approach to Dynamic Weighting},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {16--17},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KollK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/KaindlSH91,
author = {Hermann Kaindl and
Reza Shams and
Helmut Horacek},
title = {Minimax Search Algorithms With and Without Aspiration Windows},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {13},
number = {12},
pages = {1225--1235},
year = {1991},
url = {https://doi.org/10.1109/34.106996},
doi = {10.1109/34.106996},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pami/KaindlSH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/him/KaindlZ91,
author = {Hermann Kaindl and
Holger G. Ziegeler},
editor = {Hermann A. Maurer},
title = {HyperAuthor - An Authoring Tool Based on Hypertext},
booktitle = {Hypertext/Hypermedia, Tagung der GI, {SI} und OCG, Graz, 27./28 Mai
1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {276},
pages = {156--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76698-5\_14},
doi = {10.1007/978-3-642-76698-5\_14},
timestamp = {Wed, 24 May 2017 08:27:13 +0200},
biburl = {https://dblp.org/rec/conf/him/KaindlZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ht/KaindlS91,
author = {Hermann Kaindl and
Mikael Holmesland Snaprud},
editor = {John J. Leggett},
title = {Hypertext and Structured Object Representation: {A} Unifying View},
booktitle = {Hypertext'91 Proceedings, San Antonio, Texas, {USA}},
pages = {345--358},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/122974.123007},
doi = {10.1145/122974.123007},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ht/KaindlS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShamsKH91,
author = {Reza Shams and
Hermann Kaindl and
Helmut Horacek},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Using Aspiration Windows for Minimax Algorithms},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {192--197},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShamsKH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KaindlB91,
author = {Gerhard Mehlsam and
Hermann Kaindl and
Wilhelm Barth},
editor = {Thomas Christaller},
title = {Feature Construction during Tree Learning},
booktitle = {GWAI-91, 15. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz,
Bonn, 16.-20. September 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {285},
pages = {50--61},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-662-02711-0\_6},
doi = {10.1007/978-3-662-02711-0\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/KaindlB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/KaindlS91,
author = {Hermann Kaindl and
Mikael Holmesland Snaprud},
editor = {Wilfried Brauer and
Daniel Hern{\'{a}}ndez},
title = {Hypertext and Structured Object Representation: {A} Unifying View},
booktitle = {Verteilte K{\"{u}}nstliche Intelligenz und kooperatives Arbeiten,
4. Internationaler GI-Kongress Wissensbasierte Systeme, M{\"{u}}nchen,
23.-24. Oktober 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {291},
pages = {231--242},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76980-1\_21},
doi = {10.1007/978-3-642-76980-1\_21},
timestamp = {Tue, 15 Dec 2020 16:47:35 +0100},
biburl = {https://dblp.org/rec/conf/wi/KaindlS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ogai/1991,
editor = {Hermann Kaindl},
title = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"{O}}GAI-91,
Wien, 24.-27. September 1991},
series = {Informatik-Fachberichte},
volume = {287},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-46752-3},
doi = {10.1007/978-3-642-46752-3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ogai/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ScheucherK89,
author = {Anton Scheucher and
Hermann Kaindl},
editor = {N. S. Sridharan},
title = {The Reason for the Benefits of Minimax Search},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {322--327},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/051.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ScheucherK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HoracekK89,
author = {Helmut Horacek and
Hermann Kaindl},
editor = {Johannes Retti and
Karl Leidlmair},
title = {An Outline of a New Algorithm for Game Tree Search},
booktitle = {5. {\"{O}}sterreichische Artificial Intelligence-Tagung, Igls,
Tirol, 28. bis 30. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {208},
pages = {171--176},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74688-8\_20},
doi = {10.1007/978-3-642-74688-8\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ogai/HoracekK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Kaindl88,
author = {Hermann Kaindl},
title = {Minimaxing: Theory and Practice},
journal = {{AI} Mag.},
volume = {9},
number = {3},
pages = {69--76},
year = {1988},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/944},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Kaindl88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/Kaindl88,
author = {Hermann Kaindl},
title = {Useful Statistics from Tournament Programs},
journal = {J. Int. Comput. Games Assoc.},
volume = {11},
number = {4},
pages = {156--159},
year = {1988},
url = {https://doi.org/10.3233/ICG-1988-11405},
doi = {10.3233/ICG-1988-11405},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/Kaindl88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Kaindl88,
author = {Hermann Kaindl},
title = {Portability of software},
journal = {{ACM} {SIGPLAN} Notices},
volume = {23},
number = {6},
pages = {59--68},
year = {1988},
url = {https://doi.org/10.1145/44546.44551},
doi = {10.1145/44546.44551},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Kaindl88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wi/ZieglerK88,
author = {Holger G. Ziegeler and
Hermann Kaindl},
title = {Synthese zweier Ans{\"{a}}tze der Textverarbeitung},
journal = {Angew. Inform.},
volume = {30},
number = {10},
pages = {449--454},
year = {1988},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wi/ZieglerK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/HoracekKW87,
author = {Helmut Horacek and
Hermann Kaindl and
Marcus Wagner},
editor = {Ernst Buchberger and
Johannes Retti},
title = {Probabilities in Game-Playing: Possible Meanings and Applications},
booktitle = {3. {\"{O}}sterreichische Artificial Intelligence-Tagung, Wien,
22.-25. September 1987},
series = {Informatik-Fachberichte},
volume = {151},
pages = {12--23},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-46620-5\_2},
doi = {10.1007/978-3-642-46620-5\_2},
timestamp = {Sun, 02 Jun 2019 21:15:31 +0200},
biburl = {https://dblp.org/rec/conf/ogai/HoracekKW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/KaindlHW86,
author = {Hermann Kaindl and
Helmut Horacek and
Marcus Wagner},
title = {Selective Search Versus Brute Force},
journal = {J. Int. Comput. Games Assoc.},
volume = {9},
number = {3},
pages = {140--145},
year = {1986},
url = {https://doi.org/10.3233/ICG-1986-9303},
doi = {10.3233/ICG-1986-9303},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/KaindlHW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HoracekKW86,
author = {Helmut Horacek and
Hermann Kaindl and
Marcus Wagner},
editor = {Claus{-}Rainer Rollinger and
Werner Horn},
title = {Decision Making in Unclear Situations},
booktitle = {{GWAI-86} und 2. {\"{O}}sterreichische Artificial-Intelligence-Tagung,
Ottstein/Nieder{\"{o}}sterreich, September 22-26, 1986, Proceedings},
series = {Informatik-Fachberichte},
volume = {124},
pages = {17--27},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-71385-9\_2},
doi = {10.1007/978-3-642-71385-9\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HoracekKW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ogai/Kaindl85,
author = {Hermann Kaindl},
editor = {Harald Trost and
Johannes Retti},
title = {What Happened with AI's Drosophila?},
booktitle = {{\"{O}}sterreichische Artificial Intelligence-Tagung, Wien, 24.-27.
September 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {106},
pages = {194--203},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-46552-9\_22},
doi = {10.1007/978-3-642-46552-9\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ogai/Kaindl85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Kaindl83,
author = {Hermann Kaindl},
editor = {Alan Bundy},
title = {Searching to Variable Depth in Computer Chess},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {760--762},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-2/Papers/039.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Kaindl83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
