IST - Publications

2022

Book Chapter

Hamid Didari Khamseh Motlagh, Matthias Josef Eder, Gernot Grömer, Richard Halatschek, Seda Özdemir-Fritz, Raphael Prinz, Johannes Scholz and Gerald Steinbauer-Wagner The AMADEE-20 Robotic Exploration Cascade: An Experience ReportAdvances in Service and Industrial Robotics - RAAD 2022477-484 Show publication in PURE

Journal Article

Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Spreadsheet debugging Journal of Systems and Software 184, 2022 , DOI Show publication in PURE

Andrei Popescu, Seda Polat Erdeniz, Alexander Felfernig, Mathias Uta, Müslüm Atas, Viet Man Le, Klaus Pilsl, Martin Enzelsberger and Trang Tran An overview of machine learning techniques in constraint solving Journal of Intelligent Information Systems 58, 91-118, 2022 , DOI Show publication in PURE

Qamar Alfalouji, Thomas Schranz, Alexander Kümpel, Markus Schraven, Thomas Storek, Stephan Gross, Antonello Monti, Dirk Müller and Gerald Schweiger IoT Middleware Platforms for Smart Energy Systems: An Empirical Expert Survey Buildings 12, 2022 , DOI Show publication in PURE

Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman Molla Greedy routing and the algorithmic small-world phenomenon. Journal of Computer and System Sciences 125, 59-105, 2022 , DOI Show publication in PURE

Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner and Stefan Woltran Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving Artificial Intelligence 307, 2022 , DOI Show publication in PURE

Conference/Workshop Article

Sarina Gursch, Katja Urak, Michael Herold, Stefan Kutschera, Silvia de los Rios Perez, Rebeca Garcia-Betances, Maria Cabrera-Umpierrez, Yolanda Ursa, Wolfgang Slany and Vesna Krnjic Inequalities for Women in Science, Technology and InnovationProceedings of the 5th International Conference on Gender Research88-96 Show publication in PURE

Franz Welscher, Rizwan Bulbul, Johannes Scholz and Peter Lederer Optimising Antenna Positioning for Maximum Coverage: The Case Study of Cattle Tracking in Austrian Alps Using Long Range (LoRa) Based Monitoring SystemWeb and Wireless Geographical Information Systems61-70 Show publication in PURE

Adrian Haret and Johannes Peter Wallner An Axiomatic Approach to Revising PreferencesProceedings AAAI 2022 Show publication in PURE

Other Article

Keren Censor-Hillel, Yannic Maus, Shahar Romem Peled and Tigran Tonoyan Distributed Vertex Cover Reconfiguration Show publication in PURE

2021

Book Chapter

Alexander Felfernig, Thi Ngoc Trang Tran and Viet-Man Le Recommender Systems Beyond E-Commerce: Presence and FutureConsumer Happiness: Multiple Perspectives203-230 Show publication in PURE

Man Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit Vogtenhuber Coloring Circle ArrangementsTrends in Mathematics84-91 Show publication in PURE

Frédéric Loulergue and Franz Wotawa PrefaceTests and Proofsv-vi Show publication in PURE

Alexander Felfernig AI Techniques for Software Requirements PrioritizationArtificial Intelligence Methods For Software Engineering29-47 Show publication in PURE

Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar Jannach AI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399 Show publication in PURE

Wolfgang Mayer and Franz Wotawa Artificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435 Show publication in PURE

Nour Chetouane and Franz Wotawa On the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268 Show publication in PURE

Florian Steffen Klück, Franz Wotawa, Hermann Felbinger, Martin Jochen Zimmermann, Yihao Li and Jianbo Tao "Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems"Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems Show publication in PURE

David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Foundations of Real Time Predictive Maintenance with Root Cause AnalysisArtificial Intelligence for Digitising Industry47-61 Show publication in PURE

David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Real-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based DiagnosisArtificial Intelligence for Digitising Industry63-81 Show publication in PURE

David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Real-Time Predictive Maintenance – Artificial Neural Network Based DiagnosisArtificial Intelligence for Digitising Industry83-101 Show publication in PURE

Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly and Johannes Peter Wallner Enforcement in Formal ArgumentationHandbook of Formal Argumentation445-510 Show publication in PURE

Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit Vogtenhuber No Selection Lemma for Empty TrianglesTrends in Mathematics720-725 Show publication in PURE

Proceedings

Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak Logics in Artificial Intelligence Show publication in PURE

Martin Stettinger, Gerhard Leitner, Alexander Felfernig and Zbigniew W Ras Intelligent Systems in Industrial Applications Show publication in PURE

Journal Article

Seda Polat Erdeniz, Alexander Felfernig and Müslüm Atas Applying matrix factorization to consistency-based direct diagnosis Applied Intelligence , 2021 , DOI Show publication in PURE

Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Declarative Algorithms and Complexity Results for Assumption-Based Argumentation Journal of Artificial Intelligence Research 71, 265-318, 2021 , DOI Show publication in PURE

Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides and José Galindo DIRECTDEBUG Software Impacts 9, 2021 , DOI Show publication in PURE

Iva Ridjan Skov, Noémi Schneider, Gerald Schweiger, Josef Peter Schöggl and Alfred Posch Power-to-x in Denmark Energies 14, 2021 , DOI Show publication in PURE

Josip Božić Ontology-based metamorphic testing for chatbots Software Quality Journal , 2021 , DOI Show publication in PURE

Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig Education in Artificial Intelligence K-12 Künstliche Intelligenz 35, 127-129, 2021 , DOI Show publication in PURE

Alexander Pilz and Patrick Schnider Bisecting three classes of lines Computational Geometry: Theory and Applications 98, 2021 , DOI Show publication in PURE

Elisabeth Lex, Dominik Kowald, Paul Seitlinger, Thi Ngoc Trang Tran, Alexander Felfernig and Markus Schedl Psychology-informed recommender systems Foundations and Trends in Information Retrieval 15, 134-242, 2021 , DOI Show publication in PURE

David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit Vogtenhuber Rainbow polygons for colored point sets in the plane Discrete Mathematics 344, 2021 , DOI Show publication in PURE

Thi Ngoc Trang Tran, Alexander Felfernig and Nava Tintarev Humanized Recommender Systems ACM Transactions on Interactive Intelligent Systems 11, 2021 , DOI Show publication in PURE

Andreas Bjerre-Nielsen, Valentin Kassarnig, David Dreyer Lassen and Sune Lehmann Task-specific information outperforms surveillance-style big data in predictive analytics Proceedings of the National Academy of Sciences of the United States of America 118, 2021 , DOI Show publication in PURE

Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Vacuity in Synthesis Formal Methods in System Design 57, 473-495, 2021 , DOI Show publication in PURE

Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo-Negrete Empty rainbow triangles in k-colored point sets Computational Geometry: Theory and Applications 95, 2021 , DOI Show publication in PURE

Alfredo García Olaverri, Javier Tejel Altarriba and Alexander Pilz On plane subgraphs of complete topological drawings Ars Mathematica Contemporanea 20, 69-87, 2021 , DOI Show publication in PURE

Müslüm Atas, Alexander Felfernig, Seda Polat-Erdeniz, Andrei Popescu, Thi Ngoc Trang Tran and Mathias Uta Towards psychology-aware preference construction in recommender systems: Overview and research issues Journal of Intelligent Information Systems 57, 467-489, 2021 , DOI Show publication in PURE

Thomas Mach, Hermann Edtmayer, Gerald Schweiger, Michael Monsberger, Lisa-Marie Fochler and Richard Heimrath Energie System Analyse Österreichische Ingenieur- und Architekten-Zeitschrift 2021, 2021 Show publication in PURE

Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo Empty rainbow triangles in k-colored point sets Computational Geometry 95, 2021 , DOI Show publication in PURE

Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic Maus Improved distributed Δ-coloring. Distributed Computing 34, 239-258, 2021 , DOI Show publication in PURE

Cristian Vidal, Alexander Felfernig, José Galindo, Müslüm Atas and David Benavides Explanations for over-constrained problems using QuickXPlain with speculative executions Journal of Intelligent Information Systems 57, 491-508, 2021 , DOI Show publication in PURE

David Kaufmann, Iulia Nica and Franz Wotawa Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. Advanced Intelligent Systems 3, 2000218, 2021 , DOI Show publication in PURE

Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova and Christiane Schmidt Folding polyominoes with holes into a cube Computational Geometry 93, 1-14, 2021 , DOI Show publication in PURE

Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit Vogtenhuber Flip distances between graph orientations Algorithmica 83, 116-143, 2021 , DOI Show publication in PURE

Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Harnessing incremental answer set solving for reasoning in assumption-based argumentation Theory and Practice of Logic Programming 21, 717 - 734, 2021 , DOI Show publication in PURE

Johan Simonsson, Khalid Tourkey Atta, Gerald Schweiger and Wolfgang Birk Experiences from city-scale simulation of thermal grids Resources 10, 2021 , DOI Show publication in PURE

Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgoňa, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar and Peter Gorm Larsen Constructing Neural Network-Based Models for Simulating Dynamical Systems arXiv.org e-Print archive , 2021 Show publication in PURE

Matthias Josef Eder, Michael Reip and Gerald Steinbauer Creating a robot localization monitor using particle filter and machine learning approaches Applied Intelligence , 1-15, 2021 , DOI Show publication in PURE

Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision Processes (Extended Version) Formal Aspects of Computing 33, 575-615, 2021 , DOI Show publication in PURE

Massimo Vecchio, Paolo Azzoni, Andreas Menychtas, Ilias Maglogiannis and Alexander Felfernig A fully open-source approach to intelligent edge computing Sensors 21, 1-14, 2021 , DOI Show publication in PURE

Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig A Differentiated Discussion About AI Education K-12 Künstliche Intelligenz 35, 131-137, 2021 , DOI Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer-Wagner, Julia Petra Laßnig, Manuel Menzinger, Wilfried Baumann, Margit Ehardt-Schmiederer, Ronald Bieber, Thomas Winkler, Sandra Plomer, Inge Strobl-Zuchtriegl, Marlene Miglbauer, Aron Ballagi, Claudiu Pozna, Istvan Alfoldi and Imre Szalay EDLRIS: A European Driving License for Robots and Intelligent Systems Künstliche Intelligenz 35, 221-232, 2021 , DOI Show publication in PURE

Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz Wotawa Product metrics for spreadsheets — a systematic review Journal of Systems and Software 175, 2021 , DOI Show publication in PURE

Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas Schmickl CIMAX Adaptive Behavior 29, 297-314, 2021 , DOI Show publication in PURE

Conference/Workshop Article

Bernhard Aichernig, Edi Muskardin and Andrea Pferscher Learning-Based Fuzzing of IoT Message BrokersProceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 202147-58 Show publication in PURE

V. -M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo and T. N. T. Tran DirectDebug: Automated Testing and Debugging of Feature ModelsProceedings - 2021 ACM/IEEE 43rd International Conference on Software Engineering81-85 Show publication in PURE

V. -M. Le Group Recommendation Techniques for Feature Modeling and ConfigurationProceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering266-268 Show publication in PURE

Zeynep G. Saribatur and Johannes Peter Wallner Existential Abstraction on Argumentation Frameworks via ClusteringProceedings KR 2021549-559 Show publication in PURE

Atacan Ketenci, Matthias Josef Eder, Markus Ritter and Christian Ramsauer Scenario-based Simulation for Energy Optimization in Learning Factory EnvironmentsProceedings of the Conference on Learning Factories (CLF) 20211-6 Show publication in PURE

Jesus Savage, Stalin Munoz Gutierrez, Luis Contreras, Mauricio Matamoros, Marco Negrete, Carlos Rivera, Gerald Steinbauer, Oscar Fuentes and Hiroyuki Okada Generating Reactive Robots' Behaviors using Genetic AlgorithmsICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence698-707 Show publication in PURE

Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit Vogtenhuber Crossing-optimal extension of simple drawings48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 Show publication in PURE

Bernadette Spieler and Vesna Krnjic Creative, Engaging, and Playful Making-Activities with Smartphones and Embroidery MachinesProceedings of 5th FabLearn Europe / MakeEd Conference 2021 Show publication in PURE

Franz Wotawa and Vlad Andrei Dumitru Java2CSP—A Model-Based Diagnosis Tool Not Only for Software DebuggingIntelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference519-529 Show publication in PURE

V. Lomonaco, L. Pellegrini, A. Cossu, A. Carta, G. Graffieti, T.L. Hayes, M. De Lange, M. Masana, J. Pomponi, G.M. Van De Ven, M. Mundt, Q. She, K. Cooper, J. Forest, E. Belouadah, S. Calderara, G.I. Parisi, F. Cuzzolin, A.S. Tolias, S. Scardapane, L. Antiga, S. Ahmad, A. Popescu, C. Kanan, J. Van De Weijer, T. Tuytelaars, D. Bacciu and D. Maltoni Avalanche: An end-to-end library for continual learningIEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops Show publication in PURE

Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein and Martin Gebser Utilizing constraint optimization for industrial machine workload balancing27th International Conference on Principles and Practice of Constraint Programming, CP 2021 Show publication in PURE

Marco De Bortoli, Stalin Munoz Gutierrez and Gerald Steinbauer-Wagner Diagnosis of hidden faults in the RCLL32nd International Workshop on Principle of Diagnosis Show publication in PURE

Elena Arseneva, Linda Kleist, Boris Klemz, Maarten Löffler, André Schulz, Birgit Vogtenhuber and Alexander Wolff Adjacency graphs of polyhedral surfaces37th International Symposium on Computational Geometry, SoCG 2021 Show publication in PURE

Trang Tran, Carmen Isabella Baumann, Alexander Felfernig and Viet-Man Le The Immunity of Users’ Item Selection from Serial Position Effects in Multi-Attribute Item Recommendation ScenariosProceedings of the 8th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2021), Online Event, September 25 and September 29, 2021.101-111 Show publication in PURE

Oswin Aichholzer, Jan Kyncl, Manfred Scheucher and Birgit Vogtenhuber On 4-Crossing-Families in Point Sets and an Asymptotic Upper BoundProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)38:1-38:8 Show publication in PURE

Alexander Felfernig, Mathias Uta, Andrei Popescu, Viet-Man Le, Seda Polat Erdeniz, Martin Stettinger, Müslüm Atas and Trang Tran Configuring Multiple Instances with Multi-ConfigurationProceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021)45-47 Show publication in PURE

Oswin Aichholzer, David Eppstein and Eva-Maria Hainzl Geometric Dominating Sets - A Minimum Version of the No-Three-In-Line ProblemProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)17:1-17:7 Show publication in PURE

Thomas Hirsch A Fault Localization and Debugging Support Framework driven by Bug Tracking DataProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020139-142 Show publication in PURE

Franz Wotawa and Stephan Valentan On the Automation of Audio Plugin TestingProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security Show publication in PURE

Mathias Uta, Alexander Felfernig, Viet Man Le, Andrei Popescu, Thi Ngoc Trang Tran and Denis Helic Evaluating recommender systems in feature model configuration.Proceedings of the 25th ACM International Systems and Software Product Line Conference, SPLC 202158-63 Show publication in PURE

Herbert Mühlburger and Franz Wotawa On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion DetectionProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security Show publication in PURE

Oliver Tazl and Franz Wotawa Metamorphic Testing of Logic Theorem ProverProceedings of the 33rd IFIP International Conference on Testing Software and Systems Show publication in PURE

Franz Wotawa Integrating multiple observation sets into consistency-based diagnosisProceedings of the 32nd International Workshop on Principle of Diagnosis Show publication in PURE

Thi Ngoc Trang Tran, Viet Man Le, Müslüm Atas, Alexander Felfernig, Martin Stettinger and Andrei Popescu Do Users Appreciate Explanations of Recommendations? An Analysis in the Movie DomainRecSys 2021 - 15th ACM Conference on Recommender Systems645–650 Show publication in PURE

Franz Wotawa and Horst Lewitschnig Monitoring hierarchical systems for safety assuranceProceedings of the 14th International Symposium on Intelligent Distributed Computing Show publication in PURE

Franz Wotawa On the Use of Available Testing Methods for Verification & Validation of AI-based Software and SystemsProceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021) Show publication in PURE

Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Plane Matchings in Simple Drawings of Complete GraphsAbstracts of the Young Researchers Forum of the 37th International Symposium on Computational Geometry (SoCG:YRF 2021)6-10 Show publication in PURE

Oswin Aichholzer, Michael Hoffmann, Johannes Obenaus, Rosna Paul, Daniel Perz, Nadja Seiferth, Birgit Vogtenhuber and Alexandra Weinberger Plane Spanning Trees in Edge-Colored Simple Drawings of KnGraph Drawing and Network Visualization - 28th International Symposium, GD 2020, Revised Selected Papers482-489 Show publication in PURE

Franz Wotawa, Oliver Tazl and David Kaufmann Automated Diagnosis of Cyber-Physical SystemsAdvances and Trends in Artificial Intelligence. From Theory to Practice - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Proceedings441-452 Show publication in PURE

Jan Maly and Johannes Peter Wallner Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and CharacterizationsProceedings AAAI6435-6443 Show publication in PURE

Markus Ulbricht and Johannes Peter Wallner Strong Explanations in Abstract ArgumentationProceedings AAAI6496-6504 Show publication in PURE

Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit Vogtenhuber Crossing-optimal extension of simple drawingsProc. XIX Encuentros de Geometría Computacional5 Show publication in PURE

Bettina Könighofer, Roderick Bloem, Martin Tappler, Julian Rudolf and Alexander Palmisano Online Shielding for Stochastic SystemsNASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings231-248 Show publication in PURE

Man-Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit Vogtenhuber Coloring Circle Arrangements: New 4-Chromatic Planar GraphsProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)42:1-42:7 Show publication in PURE

Matthias Josef Eder, Richard Halatschek, Gernot Grömer, Willibald Stumptner and Gerald Steinbauer-Wagner An augmented reality user interface for operating a mobile robot in analog planetary researchAustrian Robotics Workshop 2021 Show publication in PURE

Maria Grandl, Martin Ebner, Sandra Schön and Benedikt Brünner MAKER DAYS for Kids: Learnings from a Pop-up MakerspaceRobotics in Education360-365 Show publication in PURE

Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingProceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021)2062-2068 Show publication in PURE

Matthias Josef Eder, Maria Ursula Hulla, Felix Auer and Christian Ramsauer Interactive Teaching Concept for a Data Analytics Workshop in Learning FactoriesProceedings of the Conference on Learning Factories (CLF) 2021 Show publication in PURE

Matthias Josef Eder, Michael Spitzer, Matthias Hebenstreit and Christian Ramsauer Development and Evaluation of a Mixed Reality Assistance System in the Context of Manual AssemblyProceedings of the Conference on Learning Factories (CLF) 2021 Show publication in PURE

Florian Kluck, Franz Wotawa, Gerhard Neubauer, Jianbo Tao and Mihai Nica Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving FunctionsProceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021213-219 Show publication in PURE

Andrea Pferscher and Bernhard Aichernig Fingerprinting Bluetooth Low Energy Devices via Active Automata LearningFormal Methods - 24th International Symposium, FM 2021, Proceedings524-542 Show publication in PURE

Edi Muskardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher and Martin Tappler AALpy: An Active Automata Learning LibraryAutomated Technology for Verification and Analysis - ATVA 202167-73 Show publication in PURE

Sarina Gursch, Vesna Krnjic, Katja Urak, Wolfgang Slany and Michael Herold How to Encourage girls to code Through Embroidery PatternsProceedings of the 4th International Conference on Gender Research, ICGR 2021122-129 Show publication in PURE

Thomas Schranz, Johannes Exenberger, Christian Møldrup Legaard, Ján Drgoňa and Gerald Schweiger Energy Prediction under Changed Demand Conditions: Robust Machine Learning Models and Input Feature CombinationsProceedings of the 17th International Conference of the International Building Performance Simulation Association (Building Simulation 2021) Show publication in PURE

Viet-Man Le, Trang Tran and Alexander Felfernig A Conversion of Feature Models into an Executable Representation in Microsoft ExcelIntelligent Systems in Industrial Applications 153-168 Show publication in PURE

Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Macedo and Peter Gorm Larsen A Universal Mechanism for Implementing Functional Mock-up UnitsProceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH121-129 Show publication in PURE

Thomas Schranz, Christian Møldrup Legaard, Daniella Tola and Gerald Schweiger Portable runtime environments for Python-based FMUsProceedings of 14th Modelica Conference 2021419--424 Show publication in PURE

Basak Falay, Sandra Wilfling, Qamar Alfalouji, Johannes Exenberger, Thomas Schranz, Christian Møldrup Legaard, Ingo Leusbrock and Gerald Schweiger Coupling physical and machine learning modelsProceedings of 14th Modelica Conference 2021335-341 Show publication in PURE

Gerald Schweiger, Johannes Exenberger, Avichal Malhotra, Thomas Schranz, Theresa Boiger, C. Van Treeck and James O'Donnell Data shortage for urban energy simulations? An empirical survey on data availability and enrichment methods using machine learningWorkshop on Intelligent Computing in Engineering301-309 Show publication in PURE

Thomas Hirsch and Birgit Gertraud Hofer What we can learn from how programmers debug their codeProceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 202137-40 Show publication in PURE

Oswin Aichholzer, Alan Arroyo, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec and Birgit Vogtenhuber On Compatible MatchingsWALCOM221-233 Show publication in PURE

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig and Ingo Pill Active Model Learning of Stochastic Reactive SystemsSoftware Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings481-500 Show publication in PURE

Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen and Roderick Bloem Adaptive Shielding under Uncertainty.2021 American Control Conference, ACC 20213467-3474 Show publication in PURE

Noura El Moussa, Davide Molinelli, Mauro Pezzè and Martin Tappler Health of smart ecosystemsESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering1491-1494 Show publication in PURE

Alexander Felfernig, Viet-Man Le, Andrei Popescu, Mathias Uta, Trang Tran and Müslüm Atas An Overview of Recommender Systems and Machine Learning in Feature Modeling and ConfigurationVaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems1-8 Show publication in PURE

Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Elisabeth Lex, Pasquale Lops, Giovanni Semeraro and Martijn C. Willemsen Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS’21)RecSys 2021 - 15th ACM Conference on Recommender Systems783-786 Show publication in PURE

Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard and Roderick Bloem Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUsProceedings of the 30th USENIX Security Symposium Show publication in PURE

Other Article

Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit Vogtenhuber No Selection Lemma for Empty Triangles Show publication in PURE

Jonas Cleve, Nicolas Grelier, Kristin Knorr, Maarten Löffler, Wolfgang Mulzer and Daniel Perz Nearest-Neighbor Decompositions of Drawings Show publication in PURE

Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Plane paths in simple drawings of complete graphs Show publication in PURE

Keren Censor-Hillel, Yannic Maus and Volodymyr Polosukhin Near-Optimal Scheduling in the Congested Clique. Show publication in PURE

Yannic Maus Distributed Graph Coloring Made Easy Show publication in PURE

Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Tigran Tonoyan Efficient randomized distributed coloring in CONGEST Show publication in PURE

Alkida Balliu, Keren Censor-Hillel, Yannic Maus, Dennis Olivetti and Jukka Suomela Locally Checkable Labelings with Small Messages. Show publication in PURE

Yannic Maus and Jara Uitto Efficient CONGEST Algorithms for the Lovász Local Lemma. Show publication in PURE

Matthias Josef Eder and Gerald Steinbauer-Wagner Autonomous robot navigation for search and rescue operations in remote terrain Show publication in PURE

Pierre Paul Alain Tassel, Martin Gebser and Konstantin Schekotihin A Reinforcement Learning Environment For Job-Shop Scheduling Show publication in PURE

Matthias Josef Eder, Richard Halatschek and Gerald Steinbauer-Wagner Autonomous robot navigation in alpine terrain Show publication in PURE

Thomas Hirsch and Birgit Gertraud Hofer Identifying non-natural language artifacts in bug reports Show publication in PURE

Oswin Aichholzer, Maarten Löffler, Jayson Lynch, Zuzana Masárová, Joachim Rupert Orthaber, Irene Parada, Rosna Paul, Daniel Perz, Birgit Vogtenhuber and Alexandra Weinberger Dominect: a simple yet deep 2-player board game Show publication in PURE

Bernhard Aichernig, Stefan Marksteiner, Andrea Pferscher, Rupert Schlick and Gerald Stieglbauer Aspects of Learning-based Security Testing Show publication in PURE

Rosna Paul, Oswin Aichholzer, Birgit Vogtenhuber, Daniel Perz, Ruy Fabila-Monroy, Irene Parada, Philipp Kindermann and Patrick Schnider Perfect Matchings with crossings Show publication in PURE

Christoph Pilz, Andrea Ulbel and Gerald Steinbauer-Wagner The Components of Cooperative Perception-a Proposal for Future Works Show publication in PURE

2020

Book Chapter

Franz Wotawa Using model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310 Show publication in PURE

Franz Wotawa Message from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viii Show publication in PURE

Bingyang Wei, Yihao Li, Lin Deng and Nicholas Visalli Teaching Distributed Software Architecture by Building an Industrial Level E-Commerce ApplicationStudies in Computational Intelligence43-54 Show publication in PURE

Proceedings

Denis Helic, Gerhard Leitner, Martin Stettinger, Alexander Felfernig and Zbigniew W Ras Foundations of Intelligent Systems Show publication in PURE

Peter M. Roth, Gerald Steinbauer, Friedrich Fraundorfer, Mathias Brandstötter and Roland Perko Proceedings of the Joint Austrian Computer Vision and Robotics Workshop Show publication in PURE

Journal Article

Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang Slany Bridging the Gap: A Computer Science Pre-MOOC for First Semester Students Electronic Journal of e-Learning 18, 248-260, 2020 , DOI Show publication in PURE

Hyobin Kim, Stalin Muñoz, Pamela Osuna and Carlos Gershenson Antifragility Predicts the Robustness and Evolvability of Biological Networks through Multi-Class Classification with a Convolutional Neural Network Entropy 22, 2020 , DOI Show publication in PURE

Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber and Alexander Matteo Palmisano It's Time to Play Safe arXiv.org e-Print archive , 2020 Show publication in PURE

Thi Ngoc Trang Tran, Alexander Felfernig, Christoph Trattner and Andreas Holzinger Recommender systems in the healthcare domain: state-of-the-art and research issues Journal of Intelligent Information Systems , 1-31, 2020 , DOI Show publication in PURE

Roxane Koitz-Hristov and Franz Wotawa Faster horn diagnosis - a performance comparison of abductive reasoning algorithms Applied Intelligence 50, 1558-1572, 2020 , DOI Show publication in PURE

Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara Uitto Improved distributed degree splitting and edge coloring. Distributed Comput. 33, 293-310, 2020 , DOI Show publication in PURE

Yannic Maus The power of locality - Exploring the limits of randomness in distributed computing. it Inf. Technol. 62, 271-278, 2020 , DOI Show publication in PURE

Martin Gebser, Marco Maratea and Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results Theory and Practice of Logic Programming 20, 176-204, 2020 , DOI Show publication in PURE

Sebastian Daum, Fabian Kuhn and Yannic Maus Rumor spreading with bounded in-degree. Theoretical Computer Science 810, 43-57, 2020 , DOI Show publication in PURE

Oswin Aichholzer, Frank Duque, Ruy Fabila-Monroy, Oscar E. García-Quintero and Carlos Hidalgo-Toscano An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants Journal of Graph Algorithms and Applications 24, 421-432, 2020 , DOI Show publication in PURE

Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kyncl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Minimal representations of order types by geometric graphs Journal of Graph Algorithms and Applications 24, 551-572, 2020 , DOI Show publication in PURE

Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Lata Narayanan, Jarda Opatrny and Birgit Vogtenhuber Evacuating Robots from a Disk Using Face-to-Face Communication Discrete Mathematics & Theoretical Computer Science 22, 2020 , DOI Show publication in PURE

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca and Torsten Schaub ASP-Core-2 Input Language Format Theory and Practice of Logic Programming 20, 294-309, 2020 , DOI Show publication in PURE

Bernadette Spieler, Libora Oates-Indruchovà and Wolfgang Slany Female students in computer science education Journal of Women and Minorities in Science and Engineering 26, 473-510, 2020 , DOI Show publication in PURE

Josip Bozic and Franz Wotawa Planning-based security testing of web applications with attack grammars Software Quality Journal 28, 307-334, 2020 , DOI Show publication in PURE

Peter Kohout, Marco De Bortoli, Jakob Ludwiger, Thomas Ulz and Gerald Steinbauer Eine Multi-Roboter-Architektur für die RoboCup Logistics League Elektrotechnik und Informationstechnik 137, 291-296, 2020 , DOI Show publication in PURE

Basak Falay, Gerald Schweiger, Keith O'Donovan and Ingo Leusbrock Enabling large-scale dynamic simulations and reducing model complexity of district heating and cooling systems by aggregation Energy 209, 2020 , DOI Show publication in PURE

Bahareh Banyassady, Man Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in polygonal domains Computational Geometry: Theory and Applications 87, 2020 , DOI Show publication in PURE

Thi Ngoc Trang Tran, Müslüm Atas, Viet-Man Le, Ralph Samer and Martin Stettinger Social Choice-based Explanations: An Approach toEnhancing Fairness and Consensus Aspects Journal of Universal Computer Science 26, 402-431, 2020 Show publication in PURE

Thi Ngoc Trang Tran, Muesluem Atas, Man Viet Le, Ralph Samer and Martin Stettinger Social choice-based explanations Journal of Universal Computer Science 26, 402-431, 2020 Show publication in PURE

Martin Zimmermann and Franz Wotawa An adaptive system for autonomous driving Software Quality Journal 28, 1189-1212, 2020 , DOI Show publication in PURE

Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas Schmickl A swarm design paradigm unifying swarm behaviors using minimalistic communication Bioinspiration and Biomimetics 15, 2020 , DOI Show publication in PURE

Yihao Li, Jianbo Tao and Franz Wotawa Ontology-based test generation for automated and autonomous driving functions Information and Software Technology 117, 2020 , DOI Show publication in PURE

Conference/Workshop Article

Franz Wotawa, Josip Bozic and Yihao Li Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and SoftwareProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 202014-17 Show publication in PURE

Bernadette Spieler, Vesna Krnjic, Wolfgang Slany, Karin Horneck and Ute Neudorfer Design, Code, Stitch, Wear, and Show It! Mobile Visual Pattern Design in School Contexts2020 IEEE Frontiers in Education Conference, FIE 2020 - Proceedings Show publication in PURE

Bernhard Aichernig and Benedikt Maderbacher Step-Wise Development of Provably Correct Actor SystemsLeveraging Applications of Formal Methods, Verification and Validation426-448 Show publication in PURE

Manuel Menzinger and Gerald Steinbauer Design and Implementation of an AI Programming Playground for Schools2nd International Workshop on Education in Artificial Intelligence K-12 in conjunction with the 21st International Conference on Artificial intelligence in Education Show publication in PURE

Manuel Menzinger, Martin Kandlhofer, Gerald Steinbauer, Ronald Biber, Wilfried Baumann, Margit Ehardt-Schmiederer and Thomas Winkler EDLRIS: European Driving License for Robots and Intelligent SystemsJoint Austrian Computer Vision and Robotics Workshop Show publication in PURE

Marco De Bortoli and Gerald Steinbauer The RoboCup Logistics League from a Planning PerspectiveICAPS 2020 Show publication in PURE

Marco De Bortoli, Gerald Steinbauer, Felicitas Fabricius, Maximilian Selmair, Michael Reip and Martin Gebser Towards ASP-based Scheduling for Industrial Transport VehiclesJoint Austrian Computer Vision and Robotics Workshop34-41 Show publication in PURE

Andrea Pferscher and Bernhard Aichernig Learning Abstracted Non-deterministic Finite State MachinesTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings52-69 Show publication in PURE

Bernhard Aichernig, Andrea Pferscher and Martin Tappler From Passive to Active: Learning Timed Automata EfficientlyNASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings1-19 Show publication in PURE

Thomas Hirsch and Birgit Gertraud Hofer Root cause prediction based on bug reportsProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020171-176 Show publication in PURE

Bernhard Aichernig, Martin Tappler and Felix Wallner Benchmarking Combinations of Learning and Testing Algorithms for Active Automata LearningTests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings3-22 Show publication in PURE

Bernhard Aichernig and Christian Burghard Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SATTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings35-51 Show publication in PURE

Franz Wotawa and Lorenz Klampfl Explaining Object Motion Using Answer Set ProgrammingFoundations of Intelligent Systems 298-307 Show publication in PURE

Nour Chetouane, Franz Wotawa, Hermann Felbinger and Mihai Nica On Using k-means Clustering for Test Suite ReductionProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020380 - 385 Show publication in PURE

Lorenz Klampfl, Nour Chetouane and Franz Wotawa Mutation Testing for Artificial Neural Networks: An Empirical EvaluationProceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020356-365 Show publication in PURE

Yihao Li and Franz Wotawa On Using Ontologies for Testing CompilersProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020181-184 Show publication in PURE

Franz Wotawa On the use of answer set programming for model-based diagnosisTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings518-529 Show publication in PURE

Edi Muškardin, Ingo Pill and Franz Wotawa CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical SystemsFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings267-276 Show publication in PURE

O. Aichholzer, L. E. Caraballo, J.M. Díaz-Báñez, Ruy Fabila-Monroy, I. Parada, I. Ventura and B. Vogtenhuber Scheduling drones to cover outdoor eventsProceedings of the 36th European Workshop on Computational Geometry (EuroCG 2020))24:1-24:7 Show publication in PURE

Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin and Birgit Vogtenhuber Drawing Graphs as SpannersGraph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers310-324 Show publication in PURE

Jared Coleman, Evangelos Kranakis, Oscar Morales Ponce, Jaroslav Opatrny, Jorge Urrutia and Birgit Vogtenhuber Minimizing The Maximum Distance Traveled To Form Patterns With Systems of Mobile RobotsProceedings of the 32nd Canadian Conference on Computational Geometry (CCCG 2020)73-79 Show publication in PURE

Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo Wiedera Inserting one edge into a simple drawing is hardGraph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers325-338 Show publication in PURE

Bettina Könighofer, Roderick Bloem, Nils Jansen and Florian Lukas Lorber Shield Synthesis for Reinforcement LearningLeveraging Applications of Formal Methods, Verification and Validation290-306 Show publication in PURE

Syed Ahmed Ali, Shahzad Memon and Farhan Sahito Analysis of Cloud Forensics Techniques for Emerging TechnologiesProceedings - 2020 International Conference on Computing, Networking, Telecommunications and Engineering Sciences Applications, CoNTESA 2020106-111 Show publication in PURE

Seda Polat Erdeniz, Ralph Samer and Muesluem Atas Matrix Factorization Based Heuristics Learning for Solving Constraint Satisfaction ProblemsFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings287-297 Show publication in PURE

Cristian Vidal Silva, Alexander Felfernig, Jose Galindo, Müslüm Atas and David Benavides A Parallelized Variant of Junker’s QuickXPlain AlgorithmFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings457-468 Show publication in PURE

Bernadette Spieler, Naomi Pfaff and Wolfgang Slany Reducing Cognitive Load through the Worked Example Effect within a Serious Game EnvironmentProceedings of 6th International Conference of the Immersive Learning Research Network, iLRN 20201-8 Show publication in PURE

Thomas Eckstein and Gerald Steinbauer Action-based programming with yagi - an update on usability and performanceTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings557-569 Show publication in PURE

Mathias Uta and Alexander Felfernig Conmerge – arbitration of constraint-based knowledge basesTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings127-139 Show publication in PURE

Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. Willemsen Interfaces and Human Decision Making for Recommender SystemsRecSys 2020 - 14th ACM Conference on Recommender Systems613-618 Show publication in PURE

Ralph Samer, Martin Stettinger and Alexander Felfernig Group Recommender User Interfaces for Improving Requirements PrioritizationUMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization221-229 Show publication in PURE

Martin Stettinger, Trang Tran, Ingo Pribik, Gerhard Leitner, Alexander Felfernig, Ralph Samer, Müslüm Atas and Manfred Wundara KNOWLEDGECHECKR: Intelligent Techniques for Counteracting ForgettingECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings3034-3039 Show publication in PURE

Ralph Samer, Martin Stettinger, Alexander Felfernig, Xavier Franch and Andreas Falkner Intelligent Recommendation & Decision Technologies for Community-Driven Requirements EngineeringECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings3017-3025 Show publication in PURE

Mathias Uta and Alexander Felfernig Towards machine learning based configuration22nd International Configuration Workshop25-28 Show publication in PURE

Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A Formal Modeling Approach for Portable Low-Level OS FunctionalitySoftware Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings155-174 Show publication in PURE

Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa and Thomas Schmickl Collective event detection using bio-inspired minimalistic communication in a swarm of underwater robotsALIFE 2019634-641 Show publication in PURE

Josip Bozic, Yihao Li and Franz Wotawa Ontology-driven Security Testing of Web ApplicationsProceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020115-122 Show publication in PURE

Other Article

Matthias Hebenstreit, Michael Spitzer, Matthias Josef Eder and Christian Ramsauer An Industry 4.0 Production Workplace Enhanced by Using Mixed Reality Assembly Instructions with Microsoft HoloLens Show publication in PURE

Gerald Steinbauer, Richard Halatschek, Christian Brommer, Alessandro Fornasier, Stefanie Garnitschnig, Gernot Grömer, Sophie Gruber, Keerthi Datta Konanur Ramanna, Vittorio Netti, Paolo Guardabasso and Stephan Weiss AMADEE-20 Exploration Cascade using Robotic Vehicles Show publication in PURE

Richard Halatschek, Keerthi Datta Konanur Ramanna, Wolfgang Url and Gerald Steinbauer Universal Offroad Robot Platform for Disaster Response Show publication in PURE

Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo Empty Rainbow Triangles in k-colored Point Sets Show publication in PURE

Oswin Aichholzer, Julia Obmann, Pavel Paták, Daniel Perz and Josef Tkadlec Disjoint tree-compatible plane perfect matchings Show publication in PURE

Martin Jochen Zimmermann, Ingo Pill and Franz Wotawa Drawing on SFL for Making Intelligent Decisions in RBL Show publication in PURE

Alexander Felfernig, Viet Man Le and Trang Tran Supporting Feature Model-Based Configuration in Microsoft Excel Show publication in PURE

Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber and Alexandra Weinberger Simple Drawings of Km,n Contain Shooting Stars Show publication in PURE

Philipp Bamberger, Fabian Kuhn and Yannic Maus Efficient Deterministic Distributed Coloring with Small Bandwidth. Show publication in PURE

Reuven Bar-Yehuda, Keren Censor-Hillel, Yannic Maus, Shreyas Pai and Sriram V. Pemmaraju Distributed Approximation on Power Graphs Show publication in PURE

Magnús M. Halldórsson, Fabian Kuhn and Yannic Maus Distance-2 Coloring in the CONGEST Model Show publication in PURE

Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Alexandre Nolin Coloring Fast Without Learning Your Neighbors' Colors Show publication in PURE

Yannic Maus and Tigran Tonoyan Local Conflict Coloring Revisited - Linial for Lists Show publication in PURE

Pierre Tassel, Martin Gebser and Mohamed Rbaia An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem Show publication in PURE

Mohammed El-Kholany and Martin Gebser Job Shop Scheduling with Multi-shot ASP Show publication in PURE

Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming Show publication in PURE

Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka Suomela Classification of Distributed Binary Labeling Problems Show publication in PURE

Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka Suomela Brief Announcement - Classification of Distributed Binary Labeling Problems Show publication in PURE

Sonia Cisneros-Cabrera, Alexander Felfernig, Nikolay Mehandjiev, Pedro Sampaio and Sophia Kununka A laddering approach to explore the motivations of taking computer advice for supply networks formation Show publication in PURE

2019

Book Chapter

Joshua Cherian Varughese, Daniel Moser, Ronald Thenius, Franz Wotawa and Thomas Schmickl swarmFSTaxisUnderstanding Complex Systems213-222 Show publication in PURE

Franz Wotawa Reasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems Show publication in PURE

Dave Catlin, Martin Kandlhofer, John-John Cabibihan, Julian Angel-Fernandez, Stephanie Holmquist and Andrew Paul Csizmadia, EduRobot TaxonomySmart Learning with Educational Robotics333-338 Show publication in PURE

Proceedings

Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice Show publication in PURE

Journal Article

Wolfgang Vorraber, Matthias Müller, Siegfried Voessner and Wolfgang Slany Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems IEEE Software 36, 55-60, 2019 , DOI Show publication in PURE

Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo Wiedera Extending simple drawings with one edge is hard arXiv.org e-Print archive , 2019 Show publication in PURE

Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing Journal of Automated Reasoning 63, 1103-1134 , 2019 , DOI Show publication in PURE

Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener and Franz Röck Synthesizing adaptive test strategies from temporal logic specifications Formal Methods in System Design 55, 103-135, 2019 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, André van Renssen, Marcel Roeloffzen, Günter Rote and Birgit Vogtenhuber Packing plane spanning graphs with short edges in complete geometric graphs Computational Geometry 782, 1-15, 2019 , DOI Show publication in PURE

Matthias Müller and Wolfgang Slany Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit WING-Business 2019, 25-27, 2019 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia Galicia and Birgit Vogtenhuber Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$ Computational Geometry 77, 51-61, 2019 , DOI Show publication in PURE

Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub Multi-shot ASP solving with clingo Theory and Practice of Logic Programming 2019, 27-82, 2019 , DOI Show publication in PURE

Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero and Torsten Schaub plasp 3: Towards Effective ASP Planning Theory and Practice of Logic Programming 19, 477-504, 2019 , DOI Show publication in PURE

Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr and Birgit Vogtenhuber A superlinear lower bound on the number of 5-holes Journal of Combinatorial Theory. Series A , 1-31, 2019 , DOI Show publication in PURE

Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz Wotawa Metric-based Fault Prediction for Spreadsheets IEEE Transactions on Software Engineering 47, 2195 - 2207, 2019 , DOI Show publication in PURE

Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric Wong Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction IEEE Access , 63066 - 63080, 2019 , DOI Show publication in PURE

Daniela Kengyel, Payam Zahadat, Thomas Schmickl and Franz Wotawa Towards swarm level optimisation: The role of different movement patterns in swarm systems International Journal of Parallel, Emergent and Distributed Systems , 241 - 259, 2019 Show publication in PURE

Patrick Koch, Birgit Gertraud Hofer and Franz Wotawa On the Refinement of Spreadsheet Smells by means of Structure Information The Journal of Systems and Software , 64 - 85, 2019 Show publication in PURE

Gerald Schweiger, Fabian Kuttin and Alfred Posch District heating systems Energies 12, 2019 , DOI Show publication in PURE

Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version) Formal Methods in System Design 54, 416-448, 2019 , DOI Show publication in PURE

Clemens Huemer, Alexander Pilz and Rodrigo I. Silveira A new lower bound on the maximum number of plane graphs using production matrices Computational Geometry 84, 36-49, 2019 , DOI Show publication in PURE

Eugenio Gaeta, María Eugenia Beltrán-Jaunsaras, Gloria Cea, Bernadette Spieler, Andrew Burton, Rebeca Isabel García-Betances, María Fernanda Cabrera-Umpiérrez, David Brown, Helen Boulton and María T.Arredondo Waldmeyer Evaluation of the create@school game-based learning–teaching approach Sensors 19, 2019 , DOI Show publication in PURE

Bernhard K. Aichernig and Richard Alexander Schumi Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models Software and Systems Modeling 18, 889-911, 2019 , DOI Show publication in PURE

Zulfiqar Ali, Aiman Mamdouh Ayyal Awwad and Wolfgang Slany Using executable specification and regression testing for broadcast mechanism of visual programming language on smartphones International Journal of Interactive Mobile Technologies 13, 50-65, 2019 , DOI Show publication in PURE

Georg Engel Sorption thermal energy storage Energy Conversion and Management 184, 466-474, 2019 , DOI Show publication in PURE

Alexander Felfernig, Seda Polat Erdeniz, Christoph Uran, Stefan Reiterer, Müslüm Atas, Thi Ngoc Trang Tran, Paolo Azzoni, Csaba Kiraly and Koustabh Dolui An Overview of Recommender Systems in the Internet of Things Journal of Intelligent Information Systems 52, 285-309, 2019 , DOI Show publication in PURE

Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and T.N.T. Tran Recommender Systems for IoT Enabled Quantified-Self Applications Evolving Systems , 2019 , DOI Show publication in PURE

Wolfgang Vorraber and Matthias Müller A Networked Analysis and Engineering Framework for New Business Models Sustainability 11, 2019 , DOI Show publication in PURE

Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and Thi Ngoc Trang Tran Recommender systems for IoT enabled quantified‐self applications Evolving Systems , 2019 , DOI Show publication in PURE

Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick and Richard Alexander Schumi Learning and statistical model checking of system response times Software Quality Journal 27, 757-795, 2019 , DOI Show publication in PURE

Conference/Workshop Article

Thomas Ulz, Jakob Chrysant Ludwiger and Gerald Steinbauer A Robust and Flexible System Architecture for Facing the RoboCup Logistics League ChallengeRoboCup 2018: Robot World Cup XXII488-499 Show publication in PURE

Kay Uwe Römer, Klaus Witrisal, Marcel Carsten Baunach, Roderick Bloem and Martin Horn Dependable Internet of ThingsProceedings of the International Conference on Sensor Networks (SENSORNETS) 2019 Show publication in PURE

Roderick Bloem, Swen Jacobs and Yakir Vizel Efficient Information-Flow Verification Under Speculative ExecutionEfficient Information-Flow Verification Under Speculative Execution Show publication in PURE

Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Maria De Parada, Daniel Perz, André van Renssen and Birgit Vogtenhuber Graphs with large total angular resolutionGraph Drawing and Network Visualization193-199 Show publication in PURE

Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmovic, Robin Flatland, Matias Korman, Belen Palop, Irene Parada, André van Renssen and Vera Sacristán Universal Reconfiguration of Facet-Connected Modular Robots by Pivots: The O(1) Musketeers27th Annual European Symposium on Algorithms (ESA 2019)3:1-3:14 Show publication in PURE

Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Minimal Representations of Order Types by Geometric Graphs Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)101-113 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-Colored Crossing NumberProceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)87-100 Show publication in PURE

Alan Arroyo, Martin Derka and Irene Parada Extending Simple DrawingsGraph Drawing and Network Visualization 230-243 Show publication in PURE

Ingo Pill and Franz Wotawa Extending Automated FLTL Test Oracles With Diagnostic SupportProceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019354-361 Show publication in PURE

Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova, Christiane Schmidt and Sándor P. Fekete Folding Polyominoes with Holes into a CubeProc. 31th Annual Canadian Conference on Computational Geometry CCCG 2019164-170 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy and Julia Obmann On the Triangle VectorProc. XVIII Encuentros de Geometría Computacional55-58 Show publication in PURE

Oswin Aichholzer, José Miguel Díaz-Báñez, Thomas Hackl, David Orden Martín, Alexander Pilz, Inmaculada Ventura and Birgit Vogtenhuber Erdos-Szekeres-Type GamesProc. $35^th$ European Workshop on Computational Geometry EuroCG '1923:1-23:7 Show publication in PURE

Nour Chetouane, Lorenz Klampfl and Franz Wotawa Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural NetworksAdvances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings766-777 Show publication in PURE

Oswin Aichholzer, Linda Kleist, Boris Klemz, Felix Schröder and Birgit Vogtenhuber On the Edge-Vertex Ratio of Maximal ThracklesGraph Drawing and Network Visualization. GD 2019482-495 Show publication in PURE

Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit Vogtenhuber Flip distances between graph orientations45th International Workshop on Graph-Theoretic Concepts in Computer Science120-134 Show publication in PURE

David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit Vogtenhuber Perfect rainbow polygons for colored point sets in the planeProc. XVIII Encuentros de Geometría Computacional43-46 Show publication in PURE

David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit Vogtenhuber Perfect rainbow polygons for colored point sets in the planeProc. 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3 2019)57-58 Show publication in PURE

Matthias Müller, Christian Schindler and Wolfgang Slany Introducing Agile Product Owners in a FLOSS ProjectOpen Source Systems38-43 Show publication in PURE

Matthias Müller, Christian Schindler and Wolfgang Slany Pocket Code - A Mobile Visual Programming Framework For App Development2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft) Show publication in PURE

Matthias Müller Managing the Open Cathedral Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering1176-1179 Show publication in PURE

Matthias Josef Eder, Michael Reip and Gerald Steinbauer Using Particle Filter and Machine Learning for Accuracy Estimation of Robot LocalizationAdvances and Trends in Artificial Intelligence. From Theory to Practice700-713 Show publication in PURE

Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Reactive Systems Using Robustness and Recovery Specifications2019 Formal Methods in Computer Aided Design, FMCAD 2019147-151 Show publication in PURE

Thomas Hirsch, Christian Schindler, Matthias Müller, Thomas Schranz and Wolfgang Slany An Approach to Test Classification in Big Android Applications 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)300-308 Show publication in PURE

Hermann Felbinger, Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa and Martin Jochen Zimmermann Comparing two systematic approaches for testing automated driving functions2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings Show publication in PURE

Thomas Schranz, Christian Schindler, Matthias Müller and Wolfgang Slany Contributors' Impact on a FOSS Project's QualityProceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19)35-38 Show publication in PURE

Julian Harty and Matthias Müller Better Android Apps using Android VitalsProceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19)26-32 Show publication in PURE

Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang Slany “Computer Science for all”: Concepts to engage teenagers and non-CS students in technologyProceedings of the 13th European Conference on Games Based Learning667-674 Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Julia Petra Laßnig, Wilfried Baumann, Sandra Plomer, Aron Ballagi and Istvan Alfoldi Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to SchoolsIEEE Conference on Frontiers in Education (FIE) 2019 Show publication in PURE

Yavuz Koroglu and Franz Wotawa Fully automated compiler testing of a reasoning engine via mutated grammar fuzzingProceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 201928-34 Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Manuel Menzinger, Richard Halatschek, Ferenc Kemeny and Karin Landerl MINT-Robo: Empowering Gifted High School Students with RoboticsIEEE Conference on Frontiers in Education (FIE) 2019 Show publication in PURE

Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen and Florian Lorber Time to Learn - Learning Timed Automata from TestsFormal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings216 - 235 Show publication in PURE

Matthias Müller, Christian Schindler and Wolfgang Slany Engaging Students in Open Source: Establishing FOSS Development at a UniversityProceedings of the 52nd Annual Hawaii International Conference on System Sciences7721-7730 Show publication in PURE

Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. Willemsen REcSys'19 joint workshop on interfaces and human decision making for recommender systemsRecSys 2019 - 13th ACM Conference on Recommender Systems560-561 Show publication in PURE

Gerald Schweiger, Filip Jorissen, Hakan Runvik and Lieve Helsen Equation-based modelling for dynamic optimization of district scale energy systems- A scalability studySEST 2019 - 2nd International Conference on Smart Energy Systems and Technologies Show publication in PURE

Matthias Müller, Wolfgang Vorraber, Michael Herold, Christian Schindler, Wolfgang Slany and Kenji Tanaka Streamlining Value in a FOSS ProjectProceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234 Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan Gspandl Constraint-Based Testing of An Industrial Multi-Robot Navigation System 2019 IEEE International Conference On Artificial Intelligence Testing (AITest)129-137 Show publication in PURE

Christian Schindler and Matthias Müller Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of TechnologyECSA '19 - Proceedings of the 13th European Conference on Software Architecture 100-104 Show publication in PURE

Georg Engel Neural Networks to Approximate Solutions of Ordinary Differential EquationsIntelligent Computing - Proceedings of the 2019 Computing Conference776-784 Show publication in PURE

Georg Engel Machine Learning to Approximate Solutions of Ordinary Differential EquationsComputational Science – ICCS 2019 - 19th International Conference, Proceedings169-177 Show publication in PURE

Valentin Kassarnig and Franz Wotawa An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational DatabasesProceedings - 2018 IEEE International Conference on Big Data, Big Data 20184932-4939 Show publication in PURE

Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler and Markus Tranninger Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine LearningTesting Software and Systems3-21 Show publication in PURE

Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision ProcessesFormal Methods - The Next 30 Years 651 - 669 Show publication in PURE

Georg Engel, Ajay S. Chakkaravarthy and Gerald Schweiger A General Method to Compare Different Co-simulation InterfacesSimulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers351-365 Show publication in PURE

Ralph Samer, Alexander Felfernig and Martin Stettinger Towards Issue Recommendation for Open Source CommunitiesIEEE/WIC/ACM International Conference on Web Intelligence164-171 Show publication in PURE

Martin Stettinger, Alexander Felfernig and Ralph Samer Decision Biases in Preference AcquisitionProceedings of the 21st Configuration Workshop20-21 Show publication in PURE

Müslüm Atas, Ralph Samer, Alexander Felfernig, Trang Tran, Seda Polat Erdeniz and Martin Stettinger Socially-Aware Diagnosis for Constraint-Based RecommendationUMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization121-129 Show publication in PURE

Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas and Ralph Samer Matrix Factorization based Heuristics for Constraint-based RecommendersSAC '19, Proceedings Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing1655-1662 Show publication in PURE

Seda Polat Erdeniz, Alexander Felfernig and Müslüm Atas Learned Constraint Ordering for Consistency Based Direct DiagnosisAdvances and Trends in Artificial Intelligence347-359 Show publication in PURE

Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Müslüm Atas, Martin Stettinger and Ralph Samer User Interfaces for Counteracting Decision Manipulation in Group Recommender SystemsUMAP'19 Adjunct: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization93-98 Show publication in PURE

Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Viet Man Le, Ralph Samer and Martin Stettinger Towards Social Choice-based Explanations in Group Recommender SystemsUMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization13-21 Show publication in PURE

Josip Bozic, Oliver A. Tazl and Franz Wotawa Chatbot testing using AI planningProceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 201937-44 Show publication in PURE

Oliver A. Tazl and Franz Wotawa Using model-based reasoning for enhanced chatbot communicationAdvances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings791-798 Show publication in PURE

Müslüm Atas, Thi Ngoc Trang Tran, Alexander Felfernig, Seda Polat Erdeniz, Ralph Samer and Martin Stettinger Towards Similarity-Aware Constraint-Based RecommendationAdvances and Trends in Artificial Intelligence287-299 Show publication in PURE

Josip Bozic and Franz Wotawa Testing Chatbots Using Metamorphic RelationsTesting Software and Systems 41-55 Show publication in PURE

Ralph Samer, Martin Stettinger, Müslüm Atas, Alexander Felfernig, G. Ruhe and G. Deshpande New Approaches to the Identification of Dependencies between Requirements 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)1265-1270 Show publication in PURE

Josip Bozic and Franz Wotawa Software Testing: According to Plan!IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)23-31 Show publication in PURE

Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz Wotawa Weighted Combinatorial Sequence Testing for the TLS ProtocolIEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19) Show publication in PURE

Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin and Daniel Gruss A Systematic Evaluation of Transient Execution Attacks and DefensesProceedings of the 28th USENIX Security Symposium249-266 Show publication in PURE

Bernhard Aichernig A Testing Perspective on Algebraic, Denotational, and Operational SemanticsUnifying Theories of Programming22-38 Show publication in PURE

Bernhard Aichernig, Benedikt Maderbacher and Stefan Tiran Programming Behavioral Test Models for SMT Solving in Scala2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 201952-60 Show publication in PURE

Bernhard Aichernig, Christian Burghard and Robert Korosec Learning-Based Testing of an Industrial Measurement DeviceNASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings1-18 Show publication in PURE

Bernhard Aichernig, Franz Pernkopf, Richard Alexander Schumi and Andreas Wurm Predicting and Testing Latencies with Deep Learning: An IoT Case StudyTests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings93-111 Show publication in PURE

Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph ColoringProceedings 35th International Conference on Logic Programming (Technical Communications) (ICLP 2019)441-451 Show publication in PURE

Thesis

Alexandra Weinberger Simple Drawings and Rotation Systems Beyond the Complete Graph Show publication in PURE

Irene Parada On straight-line and topological drawings of graphs in the plane Show publication in PURE

Other Article

Christoph Pilz, Gerald Steinbauer, Markus Schratter and Daniel Watzenig Development of a Scenario Simulation Platform to Support Autonomous Driving Verification Show publication in PURE

Oswin Aichholzer, Irene Maria De Parada, Manfred Scheucher, Birgit Vogtenhuber and Alexandra Weinberger Shooting Stars in Simple Drawings of K<sub>m,n</sub> Show publication in PURE

Oswin Aichholzer and Daniel Perz Triangles in the colored Euclidean plane Show publication in PURE

Carolina Medina, Irene Parada, Gelasio Salazar and Birgit Vogtenhuber Bounding the number of crossings for a particular class of drawings of $K_{n,n}$ Show publication in PURE

Oswin Aichholzer, Carlos Alegría, Irene Parada, Alexander Pilz, Javier Tejel, Csaba D. Tóth, Jorge Urrutia Galicia and Birgit Vogtenhuber Hamiltonian meander paths and cycles on bichromatic point sets. Show publication in PURE

Thekla Hamm, Irene Parada and Fabian Klute Extending to 1-plane drawings. Show publication in PURE

Irene Parada Efficient segment folding is hard Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-colored crossing number Show publication in PURE

Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmović, Robin Flatland, Matias Korman, Belén Palop, Irene Parada, André van Renssen and Vera Sacristán Reconfiguring edge-connected pivoting modular robots Show publication in PURE

Alan Arroyo, Martin Derka and Irene Parada Extending simple drawings Show publication in PURE

Helmut Brunner, Xuelei Zhi, Matthias Mietschnig, Stephen Jones, Su Zhou, Gerald Steinbauer and Mario Hirz Research on Autonomous Driving based on a Highly Flexible Prototype Vehicle Show publication in PURE

Clemens Huemer, Deborah Oliveros, Pablo PLantero, Ferran Torra and Birgit Vogtenhuber On weighted sums of numbers of convex polygons in point sets Show publication in PURE

Frederik Mallmann-Trenn, Yannic Maus and Dominik Pajak Noidy Conmunixatipn - On the Convergence of the Averaging Population Protocol Show publication in PURE

Philipp Bamberger, Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara Uitto On the Complexity of Distributed Splitting Problems Show publication in PURE

Philipp Bamberger, Fabian Kuhn and Yannic Maus Local Distributed Algorithms in Highly Dynamic Networks Show publication in PURE

Yannic Maus P-SLOCAL-Completeness of Maximum Independent Set Approximation Show publication in PURE

Janosch Deurer, Fabian Kuhn and Yannic Maus Deterministic Distributed Dominating Set Approximation in the CONGEST Model Show publication in PURE

Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald Thenius Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots Show publication in PURE

Sebastian Brandt, Yannic Maus and Jara Uitto A Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma Show publication in PURE

Michael Stradner and Gerald Steinbauer Lifting Robot Exploration to 3D Environments Show publication in PURE

Ingo Pill and Franz Wotawa Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning Show publication in PURE

Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de Kleer Diagnosing Sequential Circuits as Boolean Satisfaction Show publication in PURE

Vesna Krnjic and Bernadette Spieler Code’n’Stitch: Design your own Embroidery Pattern - Codi It - Stitch It Show publication in PURE

Vesna Krnjic Design it – Code it – Stitch it – Program your Embroidery Designs on Mobile Phones Show publication in PURE

Bernadette Spieler, Vesna Krnjic and Wolfgang Slany Girls Create Games: Lessons Learned Show publication in PURE

Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring Show publication in PURE

2018

Book

Alexander Felfernig, Martin Stettinger, Ludovico Boratto and Marko Tkalcic Group Recommender Systems978-3-319-75067-5 Show publication in PURE

Book Chapter

Ingo Pill and Franz Wotawa Fault detection and localization using modelica and abductive reasoningDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems45-72 Show publication in PURE

Bernhard Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler and Masoumeh Taromirad Model Learning and Model-Based TestingMachine Learning for Dynamic Software Analysis: Potentials and Limits74 - 100 Show publication in PURE

Roderick Bloem, Krishnendu Chatterjee and Barbara Jobstmann Graph Games and Reactive SynthesisHandbook of Model Checking921-962 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Denis Helic, Thi Ngoc Trang Tran, Martin Stettinger and Ralph Samer Algorithms for Group RecommendationGroup Recommender Systems27-58 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Group Recommender ApplicationsGroup Recommender Systems75-89 Show publication in PURE

Alexander Felfernig, Nava Tintarev, Thi Ngoc Trang Tran and Martin Stettinger Explanations for GroupsGroup Recommender Systems105-126 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Ralph Samer, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Further Choice ScenariosGroup Recommender Systems129-144 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Gerhard Leitner Biases in Group DecisionsGroup Recommender Systems145-155 Show publication in PURE

Franz Wotawa, Bernhard Peischl and Roxane Koitz Diagnosis as a serviceDigital Marketplaces Unleashed557-567 Show publication in PURE

Alexander Felfernig, Ludovico Boratto, Martin Stettinger and Marko Tkalcic Decision Tasks and Basic AlgorithmsGroup Recommender Systems : An Introduction3-26 Show publication in PURE

Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray and Franz Langmayr Wind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems17-43 Show publication in PURE

Proceedings

Marina Zanella, Ingo Pill and Alessandro Cimatti 28th International Workshop on Principles of Diagnosis (DX'17) Show publication in PURE

Alexander Felfernig and Martin Stettinger Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018 Show publication in PURE

Alexander Felfernig and Martijn C. Willemsen Proceedings of the 5th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems, IntRS 2018, co-located with ACM Conference on Recommender Systems (RecSys 2018), Vancouver, Canada, October 7, 2018 Show publication in PURE

Journal Article

Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments Journal of Graph Algorithms and Applications 22, 273-295, 2018 , DOI Show publication in PURE

Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Dan McQuillan, Bojan Mohar, Petra Mutzel, Pedro Ramos, R. Bruce Richter and Birgit Vogtenhuber Bishellable drawings of $K_n$ SIAM Journal on Discrete Mathematics 32, 2482-2492, 2018 , DOI Show publication in PURE

Gerald Schweiger, Richard Heimrath, Basak Falay, Keith O'Donovan, Peter Nageler, Reinhard Pertschy, Georg Engel, Wolfgang Streicher and Ingo Leusbrock District energy systems: Modelling paradigms and general-purpose tools Energy , 1326-1340, 2018 , DOI Show publication in PURE

Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point sets Computational Geometry 74, 38-49, 2018 , DOI Show publication in PURE

Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear transformation distance for bichromatic matchings Computational Geometry 68, 77-88, 2018 , DOI Show publication in PURE

Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS using planning-based combinatorial methods and execution framework Software Quality Journal , 1-27, 2018 , DOI Show publication in PURE

Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber The dual diameter of triangulations Computational Geometry 68, 243-252, 2018 , DOI Show publication in PURE

Franz Wotawa and Valentin Kassarnig Evolutionary Propositionalization of Multi- Relational Data International Journal of Software Engineering and Knowledge Engineering , 1739–1754, 2018 Show publication in PURE

Ingo Pill and Franz Wotawa Automated generation of (F)LTL oracles for testing and debugging The Journal of Systems and Software 139, 124-141, 2018 Show publication in PURE

Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz Wotawa Fragment-based spreadsheet debugging Automated Software Engineering , 2018 , DOI Show publication in PURE

Oswin Aichholzer, Michael Biro, Erik Demaine, Martin Demaine, David Eppstein, Sándor P. Fekete, Adam Hesterberg, Irina Kostitsyna and Christiane Schmidt Folding Polyominoes into (Poly)Cubes International Journal of Computational Geometry and Applications 28, 197-226, 2018 , DOI Show publication in PURE

Oswin Aichholzer, Nieves Atienza, José M. Díaz-Báñez, Ruy Fabila-Monroy, David Flores-Peñaloza, Pablo Pérez-Lantero, Birgit Vogtenhuber and Jorge Urrutia Galicia Computing Balanced Islands in Two Colored Point Sets in the Plane Information Processing Letters 135, 28 - 32, 2018 , DOI Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Jorge Urrutia Galicia and Birgit Vogtenhuber Modem Illumination of Monotone Polygons Computational Geometry 68, 101-118, 2018 , DOI Show publication in PURE

Oswin Aichholzer, Lukas Andritsch, Karin Baur and Birgit Vogtenhuber Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings Graphs and Combinatorics 34, 1333-1346, 2018 , DOI Show publication in PURE

Amal Shehadeh, Hector Amado-Salvatierra, Miguel Morales, Rocael Hernandez Rizzardini and Christian Gütl The adoption of cloud-based tools in MOOC settings - advantages and challenges RE@D - Revista de Educação a Distância e Elearning 1, 23-40, 2018 Show publication in PURE

Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai Nica Quality assurance methodologies for automated driving Elektrotechnik und Informationstechnik 135, 322-327, 2018 , DOI Show publication in PURE

Alexander Felfernig, Rouven Walter, Jose Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas and Stefan Reiterer Anytime Diagnosis for Reconfiguration Journal of Intelligent Information Systems , 1-22, 2018 , DOI Show publication in PURE

Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Overview of Recommender Systems in the Healthy Food Domain Journal of Intelligent Information Systems 50, 501-526, 2018 , DOI Show publication in PURE

Alexander Felfernig, Thomas Gruber and Martin Stettinger Consistency Management Techniques for Variability Modelling Enterprise Modelling and Information Systems Architectures 13, 207-215, 2018 , DOI Show publication in PURE

Alexander Felfernig, Thomas Gruber, Günter Brandner, Paul Blazek and Martin Stettinger Customizing events with EventHelpr Proceedings of SPIE , 1-4, 2018 Show publication in PURE

Roxane Koitz-Hristov and Franz Wotawa Applying algorithm selection to abductive diagnostic reasoning Applied Intelligence , 1–19, 2018 , DOI Show publication in PURE

Conference/Workshop Article

Hugo A. Akitaya, Maarten Löffler and Irene Parada How to fit a tree in a box Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)361-367 Show publication in PURE

Kirshan Kumar Luhana, Christian Schindler and Wolfgang Slany Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code2018 IEEE International Conference on Innovative Research and Development (ICIRD)1-6 Show publication in PURE

John Iacono and Birgit Vogtenhuber In pursuit of a dynamic tree decompositionProceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)23-25 Show publication in PURE

Josip Bozic, Lina Marsso, Radu Mateescu and Franz Wotawa A formal TLS handshake model in LNTProceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS1-40 Show publication in PURE

Wolfgang Slany, Kirshan Kumar Luhana, Matthias Müller, Christian Schindler and Bernadette Spieler Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on SmartphonesConstructionism 2018, Vilnius104-119 Show publication in PURE

Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz and Birgit Vogtenhuber Lombardi Drawings of Knots and LinksProceedings of the 25th International Symposium on Graph Drawing (GD 2017)113-126 Show publication in PURE

Ingo Pill and Franz Wotawa Spectrum-Based Fault Localization for Logic-Based ReasoningProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018192-199 Show publication in PURE

Thorsten Ruprechter, Foaad Khosmood, Toshihiro Kuboi, Alex Dekhtyar and Christian Gütl Gaining efficiency in human assisted transcription and speech annotation in legislative proceedingsProceedings of the 19th Annual International Conference on Digital Government Research Show publication in PURE

Stefan Felsner and Manfred Scheucher Arrangements of pseudocirclesGraph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers127-139 Show publication in PURE

Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point setsCombinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers169-181 Show publication in PURE

Josip Bozic and Franz Wotawa Planning-based security testing of web applicationsProceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 201820-26 Show publication in PURE

Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent Systems AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence Show publication in PURE

Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas Schmitz Combining spreadsheet smells for improved fault predictionProceedings 2018 ACM/IEEE 40th International Conference on Software Engineering25-28 Show publication in PURE

Josip Bozic and Franz Wotawa Security testing for chatbotsTesting Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings33-38 Show publication in PURE

Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot TaxonomyRobotics in Education 2018 Show publication in PURE

Hermann Felbinger, Franz Wotawa and Mihai Nica Adapting unit tests by generating combinatorial test dataProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018352-355 Show publication in PURE

Dave Catlin, Martin Kandlhofer, Stephanie Holmquist, Andrew Paul Csizmadia,, Julian Angel-Fernandez and John-John Cabibihan, EduRobot Taxonomy and Papert’s ParadigmConstructionism 2018 Show publication in PURE

Kirshan Kumar Luhana Pocket code build variants2018 IEEE International Conference on Innovative Research and Development, ICIRD 20181-6 Show publication in PURE

Matthias Müller, Christian Schindler, Kirshan Kumar Luhana and Wolfgang Slany Enabling Teenagers to Create and Share Apps2018 IEEE Conference on Open Systems (ICOS)25-30 Show publication in PURE

Franz Wotawa and Martin Zimmermann Adaptive System for Autonomous DrivingProceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018519-525 Show publication in PURE

Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler and Johannes Winter Automata Learning for Symbolic Execution2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018130 - 138 Show publication in PURE

Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum and Ufuk Topcu Safe Reinforcement Learning via ShieldingProceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orl2669-2678 Show publication in PURE

Ayrat Khalimov, Benedikt Maderbacher and Roderick Bloem Bounded Synthesis of Register TransducersAutomated Technology for Verification and Analysis 494-510 Show publication in PURE

Ezio Bartocci, Roderick Bloem, Dejan Nickovic and Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite TracesComputer Aided Verification 547-564 Show publication in PURE

Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher and Gerald Steinbauer An Autonomous Vehicle for Parcel Delivery in Urban Areas21st IEEE International Conference on Intelligent Transportation Systems2961-2967 Show publication in PURE

Marijana Lazić, Igor Konnov, Josef Widder and Roderick Bloem Synthesis of distributed algorithms with parameterized threshold guards21st International Conference on Principles of Distributed Systems, OPODIS 2017 Show publication in PURE

Thomas Lenz and Vesna Krnjic Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)1157-1163 Show publication in PURE

Alexander Pilz and Patrick Schnider Extending the Centerpoint Theorem to Multiple PointsProc. 29th International Symposium on Algorithms and Computation (ISAAC 2018)53:1-53:13 Show publication in PURE

Matthias Müller Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project2018 IEEE Conference on Open Systems (ICOS)1-6 Show publication in PURE

L. Shao, M. Glatz, E. Gergely, M. Müller, D. Munter, S. Papst and T. Schreck Extending Document Exploration with Image Retrieval: Concept and First ResultsPoster at IEEE/VGTC Conference on Visualization (EuroVis) Show publication in PURE

Oswin Aichholzer, Michael Kerber, István Talata and Birgit Vogtenhuber A Note on Planar Monohedral TilingsProc. 34th European Workshop on Computational Geometry EuroCG '1831:1-31:6 Show publication in PURE

Oswin Aichholzer, Wolfgang Mulzer, Partick Schnider and Birgit Vogtenhuber NP-Completeness of Max-Cut for Segment Intersection GraphsProc. $34^th$ European Workshop on Computational Geometry EuroCG '1832:1-32:6 Show publication in PURE

Michael Lodi, Dario Malchiodi, Mattia Monga, Anna Morpurgo and Bernadette Spieler Learning to program in a constructionist wayConstructionism888 - 911 Show publication in PURE

Ralph Samer, Müslüm Atas, Alexander Felfernig, Martin Stettinger, Andreas A. Falkner and Gottfried Schenner Group Decision Support for Requirements Management ProcessesProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.19-24 Show publication in PURE

Seda Polat Erdeniz and Alexander Felfernig OCSH: optimized cluster specific heuristics for the university course timetabling problem8th International Conference on Information Systems and Technologies, ACM (ISST'18)13-18 Show publication in PURE

Seda Polat Erdeniz, Ilias Maglogiannis, Andreas Menychtas, Alexander Felfernig and Thi Ngoc Trang Tran Recommender Systems for IoT Enabled m-Health ApplicationsArtificial Intelligence Applications and Innovations227-237 Show publication in PURE

Seda Polat Erdeniz and Alexander Felfernig LearnDiag: A Direct Diagnosis Algorithm Based On Learned HeuristicsJoint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18)190-197 Show publication in PURE

Seda Polat Erdeniz and Alexander Felfernig CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18)401-404 Show publication in PURE

Mikko Raatikainen, Juha Tiihonen, Tomi Männistö, Alexander Felfernig, Martin Stettinger and Ralph Samer Using a Feature Model Configurator for Release PlanningProceedings of the 22Nd International Systems and Software Product Line Conference - Volume 229-33 Show publication in PURE

Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Ralph Samer and Martin Stettinger Investigating Serial Position Effects in Sequential Group Decision MakingUMAP '18: Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization239-243 Show publication in PURE

Alexander Felfernig, Johannes Spöcklberger, Ralph Samer, Martin Stettinger, Müslüm Atas, Juha Tiihonen and Mikko Raatikainen Configuring Release PlansProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.9-14 Show publication in PURE

Muesluem Atas, Thi Ngoc Trang Tran, Ralph Samer, Alexander Felfernig, Martin Stettinger and Davide Fucci Liquid Democracy in Group-based Configuration.Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.93-98 Show publication in PURE

Muesluem Atas, Thi Ngoc Trang Tran, Alexander Felfernig and Ralph Samer Socially-Aware Recommendation for Over-Constrained ProblemsRecent Trends and Future Technology in Applied Intelligence 267-278 Show publication in PURE

Alexander Felfernig, Martin Stettinger, Müslüm Atas, Ralph Samer, Jennifer Nerlich, Simon Scholz, Juha Tiihonen and Mikko Raatikainen Towards Utility-Based Prioritization of Requirements in Open Source Environments26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018406-411 Show publication in PURE

Muesluem Atas, Ralph Samer and Alexander Felfernig Automated Identification of Type-Specific Dependencies between Requirements2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018688-695 Show publication in PURE

Sara Shafiee, Alexander Felfernig, Lars Hvam, Poorang Piroozfar and Cipriano Forza Cost Benefit Analysis in Product Configuration Systems (short paper)Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.37-40 Show publication in PURE

Juha Tiihonen, Iivo Raitahila, Mikko Raatikainen, Alexander Felfernig and Tomi Männistö Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance AssessmentProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.69-76 Show publication in PURE

Mathias Uta and Alexander Felfernig Towards Knowledge Infrastructure for Highly Variant Voltage Transmission SystemsProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.109-118 Show publication in PURE

Ingo Pill and Franz Wotawa Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model28th International Workshop on Principles of Diagnosis (DX'17)248-263 Show publication in PURE

Markus Meyer, Klaus Donsa, Thomas Truskaller, Matthias Frohner, Birgit Pohn, Alexander Felfernig, Frank Sinner and Thomas R. Pieber Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design GuidelinesHealth Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018132-139 Show publication in PURE

Davide Fucci, Cristina Palomares, Xavier Franch, Dolors Costal, Mikko Raatikainen, Martin Stettinger, Zijad Kurtanovic, Tero Kojo, Lars Koenig, Andreas A. Falkner, Gottfried Schenner, Fabrizio Brasca, Tomi Männistö, Alexander Felfernig and Walid Maalej Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case studyProceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 201819:1-19:10 Show publication in PURE

Christoph Uran and Alexander Felfernig Lazy Conflict Detection with Genetic AlgorithmsRecent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings175-186 Show publication in PURE

Carme Quer, Xavier Franch, Cristina Palomares, Andreas A. Falkner, Alexander Felfernig, Davide Fucci, Walid Maalej, Jennifer Nerlich, Mikko Raatikainen, Gottfried Schenner, Martin Stettinger and Juha Tiihonen Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems ConstructionThe Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings205-220 Show publication in PURE

Peter Brusilovsky, Marco de Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. Willemsen Recsys'18 joint workshop on interfaces and human decision making for recommender systemsProceedings of the 12th ACM Conference on Recommender Systems, RecSys 2018, Vancouver, BC, Canada, October 2-7, 2018519-520 Show publication in PURE

J. Ch Varughese, R. Thenius, F. Wotawa and Th Schmickl FSTT algorithmNew Trends in Medical and Service Robots - Design, Analysis and Control319-330 Show publication in PURE

Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard and Johannes Winter Formal Verification of Masked Hardware Implementations in the Presence of GlitchesEUROCRYPT 321-353 Show publication in PURE

Muesluem Atas, Stefan Reiterer, Alexander Felfernig, Thi Ngoc Trang Tran and Martin Stettinger Polarization Effects in Group DecisionsUMAP 2018: Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization305-310 Show publication in PURE

Maria Grandl, Martin Ebner, Wolfgang Slany and Stefan Janisch It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contextsConference Proceeding Open Education Global Conference Show publication in PURE

Bernhard K. Aichernig and Richard Alexander Schumi How Fast is MQTT? Statistical Model Checking and Testing of IoT ProtocolsQuantitative Evaluation of Systems - 15th International Conference, QEST 2018 Show publication in PURE

Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert Korošec A daily dose of DSL MDE micro injections in practiceMODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development642-651 Show publication in PURE

Bernhard K. Aichernig, Severin Kann and Richard Alexander Schumi Statistical Model Checking of Response Times for Different System DeploymentsDependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018 Show publication in PURE

Other Article

Matthias Müller Online Game Jams to Attract Specific User Groups Show publication in PURE

Bernadette Spieler and Wolfgang Slany Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments Show publication in PURE

Bernadette Spieler and Wolfgang Slany Game Development-Based Learning Experience: Gender Differences in Game Design Show publication in PURE

Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent Systems Show publication in PURE

Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kyncl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Minimal Geometric Graph Representations of Order Types Show publication in PURE

Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot Taxonomy Show publication in PURE

Franz Wotawa and Yihao Li From Ontologies to Input Models for Combinatorial Testing Show publication in PURE

Franz Wotawa, Gerhard Friedrich and Artur Andrzejak Software configuration diagnosis? A Survey of existing methods and open challenges Show publication in PURE

Franz Wotawa, Iulia-Dana Nica and Oliver Tazl Chatbot-based tourist recommendations using model-based reasoning Show publication in PURE

Franz Wotawa and Valentin Kassarnig Evolutionary propositionalization of multi-relational data Show publication in PURE

Ingo Pill and Franz Wotawa On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation Show publication in PURE

Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin Serwe Using LNT Formal Descriptions for Model-Based Diagnosis Show publication in PURE

Franz Wotawa Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System Show publication in PURE

Franz Wotawa On the automation of testing a logic-based diagnosis system Show publication in PURE

Yanick Pencole, Clemens Mühlbacher, Gerald Steinbauer and Louise Trave-Massuyes Diagnosing Discrete Event Systems Using Nominal Models Only Show publication in PURE

Peter Lorenz and Gerald Steinbauer The RoboCup Rescue Victim Dataset Show publication in PURE

Gerald Steinbauer, Tim Niemueller and Ulrich Karras The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production Show publication in PURE

Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic Maus Improved Distributed Delta-Coloring Show publication in PURE

Fabian Kuhn, Yannic Maus and Simon Weidner Deterministic Distributed Ruling Sets of Line Graphs Show publication in PURE

Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara Uitto Deterministic distributed edge-coloring with fewer colors Show publication in PURE

Philipp Bamberger, Fabian Kuhn and Yannic Maus Brief Announcement - Local Distributed Algorithms in Highly Dynamic Networks Show publication in PURE

Bernadette Spieler Reinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson Learned Show publication in PURE

2017

Book Chapter

Franz Wotawa Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532 Show publication in PURE

Roxane Koitz, Johannes Lüftenegger and Franz Wotawa Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind TurbinesAdvances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I440-445 Show publication in PURE

Journal Article

Aichholzer Oswin, Anja Fischer, Frank Fischer, J. Fabian Meier, Ulrich Pferschy, Alexander Pilz and Rostislav Staněk Minimization and maximization versions of the quadratic travelling salesman problem Optimization 66, 521-546, 2017 , DOI Show publication in PURE

Birgit Hofer, Andrea Höfler and Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets IEEE Transactions on Reliability 66, 38-53, 2017 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo Welzl Packing plane spanning trees and paths in complete geometric graphs Information Processing Letters 124, 35-41, 2017 , DOI Show publication in PURE

G. J. Lichtenegger, M. Maier, M. Hackl, J. G. Khinast, W. Goessler, T. Griesser, V. S. Phani Kumar, H. Gruber-Woelfler and P. A. Deshpande Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts Journal of Molecular Catalysis A 426, 39-51, 2017 , DOI Show publication in PURE

Martin Ebner, Stefan Janisch, Bettina Höllerbauer, Maria Grandl and Wolfgang Slany Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs fnma-Magazin 01/2017, 16-19, 2017 Show publication in PURE

Annemarie Harzl Can FOSS projects benefit from integrating Kanban: a case study Journal of Internet Services and Applications 8, 7-13, 2017 , DOI Show publication in PURE

Maria Grandl, Bettina Höllerbauer, Martin Ebner and Wolfgang Slany Ein offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“ Schule aktiv! Sonderheft, 32-37, 2017 Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber KI ab dem Kindergarten OCG Journal 01/2017/Jg. 42, 2017 Show publication in PURE

Manuela Fischer and Yannic Maus DISC 2017 Review SIGACT news 48, 94-99, 2017 , DOI Show publication in PURE

Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger and Kay Uwe Römer Dependable Internet of Things for Networked Cars International Journal of Computing 16, 226-237, 2017 Show publication in PURE

Amal Shehadeh, Alexander Felfernig, Martin Stettinger, Michael Jeran and Stefan Reiterer Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment International Journal of Software Engineering and Knowledge Engineering 27, 1387-1408, 2017 , DOI Show publication in PURE

Juha Tiihonen and Alexander Felfernig An Introduction to Personalization and Mass Customization Journal of Intelligent Information Systems , 1-6, 2017 Show publication in PURE

Valentin Kassarnig, Andreas Bjerre-Nielsen, Enys Mones, Sune Lehmann and David Dreyer Lassen Class attendance, peer similarity, and academic performance in a large field study PLoS ONE 12, 2017 , DOI Show publication in PURE

Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded determinization of timed automata with silent transitions Real-time systems 53, 291–326, 2017 , DOI Show publication in PURE

Conference/Workshop Article

Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded SegmentsProceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017)153-166 Show publication in PURE

Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Polygonal DomainsProceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017)88-89 Show publication in PURE

Bahareh Banyassady, Man-Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Polygonal Domains28th International Symposium on Algorithms and Computation (ISAAC 2017)10:1-10:13 Show publication in PURE

Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr and Birgit Vogtenhuber A Superlinear Lower Bound on the Number of 5-Holes33rd International Symposium on Computational Geometry (SoCG 2017)8:1-8:16 Show publication in PURE

Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Simple PolygonsProceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017)17-20 Show publication in PURE

Bernhard K. Aichernig and Richard Alexander Schumi Statistical Model Checking Meets Property-Based Testing10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)390-400 Show publication in PURE

Bernhard K. Aichernig, Silvio Marcovic and Richard Alexander Schumi Property-Based Testing with External Test-Case Generators10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017337-346 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger, Stefan Reiterer, Christina Palomares, Andreas Falkner and Xavier Franch OpenReq: Recommender Systems in Requirements EngineeringCEUR Workshop Proceedings1-4 Show publication in PURE

Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Non-Vacuous SystemsVerification, Model Checking, and Abstract Interpretation55-72 Show publication in PURE

Bernhard K. Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata LearningNASA Formal Methods - 9th International Symposium19-34 Show publication in PURE

M. Tappler, B. K. Aichernig and R. Bloem Model-Based Testing IoT Communication via Active Automata Learning2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)276-287 Show publication in PURE

Hermann Felbinger, Franz Wotawa and Mihai Nica Mutation Score, Coverage, Model InferenceProceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017171-180 Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017) Show publication in PURE

O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. Vogtenhuber A superlinear lower bound on the number of 5-holes33rd International Symposium on Computational Geometry (SoCG 2017)8:1-8:16 Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Adapting Edge Weights for Optimal Paths in a Navigation GraphRAAD 2017 Show publication in PURE

O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. Vogtenhuber A superlinear lower bound on the number of 5-holesProceedings of the 33rd European Workshop on Computational Geometry (EuroCG '17)69-73 Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Estimation of the Traversal Time for a Fleet of Industrial Transport RobotsRAAD 2017 Show publication in PURE

O. Aichholzer, L. Andritsch, K. Baur and B. Vogtenhuber Perfect $k$-colored matchings and $k+2$-gonal tilingsProc. $33^rd$ European Workshop on Computational Geometry EuroCG '1781-84 Show publication in PURE

B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, D. McQuillan, B. Mohar, P. Mutzel, P. Ramos, R.B. Richter and B. Vogtenhuber Bishellable drawings of $K_n$Proc. XVII Encuentros de Geometría Computacional17-20 Show publication in PURE

Oswin Aichholzer, Florian Ebenführer, Irene Parada, Alexander Pilz and Birgit Vogtenhuber On semi-simple drawings of the complete graphProc. XVII Encuentros de Geometría Computacional25-28 Show publication in PURE

Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability CheckingRuntime Verification, 17th International Conference50-67 Show publication in PURE

Richard Alexander Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn and Rupert Schlick Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017) Show publication in PURE

Hermann Felbinger, Ingo Pill and Franz Wotawa A “strength of decision tree equivalence”-taxonomy and its impact on test suite reductionTesting Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings197-212 Show publication in PURE

Alexander Felfernig, Andreas Falkner, Müslüm Atas, Seda Polat Erdeniz, Christoph Uran and Paolo Azzoni ASP-based Knowledge Representations for IoT Configuration Scenarios19th International Configuration Workshop62-67 Show publication in PURE

Müslüm Atas, Alexander Felfernig, Seda Polat Erdeniz, Stefan Reiterer, Amal Shehadeh and Thi Ngoc Trang Tran Cluster-Based Constraint Ordering for Direct Diagnosis19th International Configuration Workshop 68-71 Show publication in PURE

Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Michael Jeran and Martin Stettinger Cluster-Specific Heuristics for Constraint SolvingAdvances in Artificial Intelligence: From Theory to Practice. IEA/AIE 201721-30 Show publication in PURE

Bernadette Spieler, Christian Schindler, Wolfgang Slany and Olena Mashkina App Creation in Schools for different Curricula Subjects - Lessons LearnedEDULEARN17 Proceedings Show publication in PURE

Alexander Felfernig, Seda Polat Erdeniz, Michael Jeran and Arda Akcay Recommendation Technologies for IoT Edge DevicesInternational Workshop on Internet of Things: Networking Applications and Technologies504-509 Show publication in PURE

Bernadette Spieler, Christian Schindler, Wolfgang Slany, Olena Mashkina, María Eugenia Beltrán, Helen Boulton and David Brown Evaluation of Game Templates to support Programming Activities in SchoolsProceedings of the 11th European Conference on Games Based Learning Show publication in PURE

Birgit Hofer, Iulia Nica and Franz Wotawa Qualitative Deviation Models for Spreadsheet Debugging8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops191-198 Show publication in PURE

Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz Wotawa Planning-Based Security Testing of the SSL/TLS ProtocolIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Show publication in PURE

Birgit Hofer Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops199-206 Show publication in PURE

Josip Bozic and Franz Wotawa Planning the Attack! Or How to use AI in Security Testing?First International Workshop on AI in Security (IWAIse) Show publication in PURE

Birgit Hofer, Iulia Nica and Franz Wotawa AI for Localizing Faults in Spreadsheets29th International Conference on Testing Software and Systems (ICTSS)71-87 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Martin Stettinger, Seda Polat Erdeniz and Gerhard Leitner An Analysis of Group Recommendation Heuristics for High-and Low-Involvement ItemsAdvances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017335-344 Show publication in PURE

Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS Using Combinatorial Methods and Execution FrameworkIFIP International Conference on Testing Software and Systems (ICTSS'17) Show publication in PURE

Elisabeth Getzner, Birgit Hofer and Franz Wotawa Improving Spectrum-Based Fault Localization for Spreadsheet DebuggingIEEE International Conference on Software Quality, Reliability and Security (QRS)102-113 Show publication in PURE

Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz Wotawa A decomposition-based approach to spreadsheet testing and debuggingIEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)117-121 Show publication in PURE

Johanna Pirker, Michael Holly, Patrick Hipp, Christopher König, Dominik Jeitler and Christian Gütl Improving Physics Education through different Immersive and Engaging Laboratory SetupsInteractive Mobile Communication, Technologies and Learning443-454 Show publication in PURE

Müslüm Atas, Alexander Felfernig, Martin Stettinger and Thi Ngoc Trang Tran Beyond item recommendationSocial Informatics - 9th International Conference, SocInfo 2017, Proceedings368-377 Show publication in PURE

Franz Wotawa The future of automated debugging & focus on the niches firstProceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 201792-93 Show publication in PURE

Thesis

Martin Kandlhofer Development and Evaluation of Innovative Concepts in Educational Robotics and Education in Artificial Intelligence Show publication in PURE

Other Article

Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems Show publication in PURE

Alexander Pagonis, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Task-Dependent Configuration of Robotics Systems Show publication in PURE

Konstantin Lassnig, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip An Autonomous Transportation Robot for Urban Environments Show publication in PURE

Marco Wallner, Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz and Jakob Chrysant Ludwiger A Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0 Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Model-Based Testing of An Industrial Multi-Robot Navigation System Show publication in PURE

Mohsen Ghaffari, Fabian Kuhn and Yannic Maus On the complexity of local distributed graph problems Show publication in PURE

Aiman M. Ayyal Awwad, Christian Schindler, Kirshan Kumar Luhana, Bernadette Spieler and Zulfiqar Ali Improving pocket paint usability via material design compliance and internationalization & localization support on application level Show publication in PURE

Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman Molla Greedy Routing and the Algorithmic Small-World Phenomenon Show publication in PURE

Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara Uitto Improved Distributed Degree Splitting and Edge Coloring Show publication in PURE

Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn Willemsen RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017) Show publication in PURE

Amal Shehadeh, Alexander Felfernig, Michael Jeran, Martin Stettinger and Stefan Reiterer Knowledge-based Learning Content Generation in the StudyBattles Environment Show publication in PURE

Amal Shehadeh, Alexander Felfernig and Müslüm Atas Automated Question Generation from Configuration Knowledge Bases Show publication in PURE

2016

Book Chapter

Franz Wotawa Message from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and Securityxiii Show publication in PURE

Gerhard Friedrich, Malte Helmert and Franz Wotawa PrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VI Show publication in PURE

Andre Calero-Valdez, Martina Ziefle, Katrien Verbert, Alexander Felfernig and Andreas Holzinger Recommender Systems for Health Informatics: State-of-the-Art and Future PerspectivesMachine Learning for Health Informatics1-24 Show publication in PURE

Proceedings

Bernhard K. Aichernig and Carlo A. Furia Tests and Proofs Show publication in PURE

Journal Article

Max Leingartner, Johannes Maurer, Alexander Ferrein and Gerald Steinbauer Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels Journal of field robotics 33, 1037-1057, 2016 , DOI Show publication in PURE

Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa On the practical performance of minimal hitting set algorithms from a diagnostic perspective International Journal of Prognostics and Health Management 7, 2016 Show publication in PURE

Oswin Aichholzer, G. Araujo-Pardo, N. García-Colín, Thomas Hackl, N. Lara, C. Rubio-Montinel and J. Urrutia Geometric achromatic and pseudoachromatic indices Graphs and Combinatorics 32, 431-451, 2016 , DOI Show publication in PURE

Stefan Janisch, Wolfgang Slany and Martin Ebner Programmieren für Kinder LA-Multimedia 2, 40-41, 2016 Show publication in PURE

Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman and Pavel Valtr Reconstructing Point Set Order Types from Radial Orderings International Journal of Computational Geometry and Applications 26, 167-184, 2016 , DOI Show publication in PURE

Stefan Janisch, Martin Ebner and Wolfgang Slany Pocket Code – Freier Online-Kurs für Kinder Schule aktiv! , 43-46, 2016 Show publication in PURE

Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools Lecture notes in computer science 9904, 218-223, 2016 Show publication in PURE

Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact Points Advances in Intelligent Systems and Computing 457, 105-111, 2016 , DOI Show publication in PURE

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, test, and trace IT International journal on software tools for technology transfer , 2016 Show publication in PURE

Bernhard K. Aichernig, Elisabeth Jöbstl and Martin Tappler Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. The journal of logic and algebraic programming 85, 806-823, 2016 , DOI Show publication in PURE

Nava Tintarev, John O'Donovan and Alexander Felfernig Human Interaction with Artificial Advice Givers ACM Transactions on Interactive Intelligent Systems 6, 1-10, 2016 Show publication in PURE

Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin Horn Dependability for the Internet of Things Elektrotechnik und Informationstechnik 133, 304–309, 2016 , DOI Show publication in PURE

Nava Tintarev, John O'Donovan and Alexander Felfernig Human Interaction with Artificial Advice Givers ACM Transactions on Interactive Intelligent Systems 6, 1-10, 2016 Show publication in PURE

Rouven Walter, Wolfgang Küchlin and Alexander Felfernig Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems Journal of Intelligent Information Systems 1, 1-32, 2016 , DOI Show publication in PURE

Thomas Ulz, Michael Schwarz, Alexander Felfernig, Sarah Haas, Amal Shehadeh, Stefan Reiterer and Martin Stettinger Human Computation for Constraint-based Recommenders Journal of Intelligent Information Systems 1, 1-21, 2016 Show publication in PURE

Stefan Nungesser, Wolfgang Eixelsberger, Alexander Felfernig, Martin Stettinger, Stefan Reiterer and Michael Jeran Einsatz von Gruppenempfehlungssystemen Tourismus Wissen Quarterly 5, 1-4, 2016 Show publication in PURE

Conference/Workshop Article

Sara Shafiee, K. Kristjansdottir, Lars Hvam, Alexander Felfernig and A. Myrodia Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial CompaniesIEEE International Conference on Industrial Engineering and Engineering Management1-10 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Trang Tran and Martin Stettinger Towards Group-based ConfigurationProceedings of the 18th International Configuration Workshop69-72 Show publication in PURE

Alexander Felfernig, Amal Shehadeh, Michael Jeran, Christian Gütl, Trang Tran, Müslüm Atas, Seda Polat Erdeniz, Martin Stettinger, Arda Akcay and Stefan Reiterer StudyBattles: A Learning Environment for Knowledge-based ConfigurationProceedings of the 18th International Configuration Workshop109-116 Show publication in PURE

Alexander Felfernig, Seda Polat Erdeniz, Paolo Azzoni, Michael Jeran, Arda Akcay and Charalampos Doukas Towards Configuration Technologies for IoT GatewaysProceedings of the 18th International Configuration Workshop73-76 Show publication in PURE

Gerhard Leitner, Anton Fercher, Alexander Felfernig, Klaus Isak, Seda Polat Erdeniz, Arda Akcay and Michael Jeran Recommending and Configuring Smart Home InstallationsInternational Workshop on Configuration 2016 (ConfWS'16)17-22 Show publication in PURE

Bernhard K. Aichernig, Florian Lorber and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model CheckingTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday15-32 Show publication in PURE

Bernhard Peischl, Ingo Pill and Franz Wotawa Using modelica programs for deriving propositional horn clause abduction problemsAdvances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings185-191 Show publication in PURE

Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai Nica SIMULTATEProceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016168-173 Show publication in PURE

Hermann Felbinger, Franz Wotawa and Mihai Nica Test-Suite Reduction Does Not Necessarily Require Executing the Program under TestProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 201623-30 Show publication in PURE

Oswin Aichholzer, Victor Alvarez, Thomas Hackl, Alexander Pilz, Bettina Speckmann and Birgit Vogtenhuber An improved lower bound on the minimum number of triangulations32nd International Symposium on Computational Geometry, SoCG 20167.1-7.16 Show publication in PURE

Hermann Felbinger, Ingo Pill and Franz Wotawa Classifying test suite effectiveness via model inference and ROBBDsTests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings76-93 Show publication in PURE

Patrick W. Koch, Birgit Hofer and Franz Wotawa Static Spreadsheet Analysis2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops167-174 Show publication in PURE

Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz Wotawa Fragment-Based Diagnosis of SpreadsheetsSoftware Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop)372-387 Show publication in PURE

Ingo Pill and Franz Wotawa An Automated (F) LTL Test Oracle for Testing with Requirements2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW197-204 Show publication in PURE

Marina Zanella and Ingo Pill Pill Minimal hitting set computation via hypothesis exploration27th International Workshop on Principles of Diagnosis Show publication in PURE

Bernhard Josef Peischl, Ingo Pill Pill and Franz Wotawa Abductive Diagnosis based on Modelica Models27th International Workshop on Principles of Diagnosis Show publication in PURE

Franz Wotawa Testing Self-Adaptive Systems Using Fault Injection and Combinatorial TestingProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016305-310 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, P. Ramos, M. Balko and Pavel Valtr Holes in two convex point setProceedings of European Workshop on Computational Geometry 2016263-266 Show publication in PURE

Oswin Aichholzer, Thomas Hackl and Manfred Scheucher Planar L-Shaped Point Set Embedding of TreesProceedings of the European Workshop on Computational Geometry 201651-54 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, V. Alvarez and B. Speckmann An improved lower bound on the number of triangulationsProceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics7:1-7:16 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, Günter Rote, A. van Renssen, Marcel Roeloffzen and Birgit Vogtenhuber Packing Short Plane Spanning Trees in Complete Geometric GraphsProceedings of the 27th Internationel Symposium on Algorithms and Computation9.1-9.12 Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Diagnosis makes the difference for a successful execution of high-level robot control programsIntelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 20141119-1132 Show publication in PURE

Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer and Stavros Vassos Controlling logistics robots with the action-based language YAGIIntelligent Robotics and Applications 525-537 Show publication in PURE

Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer iRobot: Teaching the Basics of Artificial Intelligence in High Schools AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence4126 - 4127 Show publication in PURE

Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact PointsInternational Conference on Robotics in Education 2016 Show publication in PURE

Alexander Felfernig Application of Constraint-based Technologies in Financial Services Recommendation2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16)22-23 Show publication in PURE

Annemarie Harzl Combining FOSS and KanbanIFIP Advances in Information and Communication Technology71-84 Show publication in PURE

Roxane Koitz and Franz Wotawa On Structural Properties to Improve FMEA-Based Abductive DiagnosisProceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Pavel Valtr and Birgit Vogtenhuber A Note on the Number of General 4-holes in (Perturbed) GridsDiscrete and Computational Geometry and Graphs. JCDCGG 2015.1-12 Show publication in PURE

Roxane Koitz and Franz Wotawa Improving Abductive Diagnosis Through Structural Features: A Meta-ApproachProceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) Show publication in PURE

Roxane Koitz and Franz Wotawa Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.Proceedings of the 27th International Workshop on Principles of Diagnosis (DX)1-7 Show publication in PURE

Roxane Koitz and Franz Wotawa Integration of Failure Assessments into the Diagnostic ProcessProceedings of the Annual Conference of the Prognostics and Health Management Society 2016124-135 Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education: From Kindergarten to UniversityIEEE Conference on Frontiers in Education (FIE) 2016 Show publication in PURE

Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient reconfiguration of hinged-units modular robotsProceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016)5197-5202 Show publication in PURE

Bernhard K. Aichernig and Florian Lukas Lorber On-the-Fly Determinization of Networks of Timed AutomataProceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China14-21 Show publication in PURE

Bernhard K. Aichernig and Richard Schumi Property-based Testing with FsCheck by Deriving Properties from Business Rule ModelsNinth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016219-228 Show publication in PURE

Bernhard K. Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation TestingThe 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings3-19 Show publication in PURE

Bernhard K. Aichernig and Richard Alexander Schumi Towards Integrating Statistical Model Checking into Property-Based Testing14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 201671-76 Show publication in PURE

Bernhard Aichernig, Roderick Bloem, Franz Pernkopf, Franz Röck, Tobias Schrank and Martin Tappler Learning Models of a Network Protocol using Neural Network Language ModelsIEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016 Show publication in PURE

Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FSTaxis algorithmProceedings of the Artificial Life Conference 2016, ALIFE 2016330-337 Show publication in PURE

Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn Willemsen RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)ACM RecSys 2016 Workshops1-2 Show publication in PURE

Thesis

Roxane Koitz Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers Show publication in PURE

Technical Report

Gerald Steinbauer, Gerald Christian Lichtenegger and Johannes Maurer Request a Rescue Robot (R-CUBED) Show publication in PURE

Other Article

Alexander Felfernig Application of Constraint-based Technologies in Financial Services Recommendation Show publication in PURE

Clemens Mühlbacher, Michael Reip, Stephan Gspandl and Gerald Steinbauer Improving Dependability of Industrial Transport Robots Using Model-Based Techniques Show publication in PURE

Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin Juhart Testing computer vision applications an experience report on introducing code coverage analysis in the field Show publication in PURE

Franz Wotawa On the use of qualitative deviation models for diagnosis Show publication in PURE

Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis Show publication in PURE

Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools Show publication in PURE

Alexander Felfernig Recommendation Technologies for Configurable Products Show publication in PURE

Alexander Felfernig Recommendation Technologies for Configurable Items Show publication in PURE

Nicolas Braud-Santoni, Roderick Bloem and Swen Jacobs Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems Show publication in PURE

Hermann Felbinger, Franz Wotawa and Mihai Nica Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment Show publication in PURE

Anja Christin Petri and Bernadette Spieler Engaging and playful activities with smartphones in school contexts Show publication in PURE

Roderick Bloem, Robert Könighofer, Ingo Hans Pill and Franz Röck Synthesizing Adaptive Test Strategies from Temporal Logic Specifications Show publication in PURE

Dan Hefetz, Fabian Kuhn, Yannic Maus and Angelika Steger Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz, Marco Wallner and Dino Keskic RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer and Stefan Loigge Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Belief Management using the Action History and Consistency-Based-Diagnosis Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education Show publication in PURE

Sebastian Daum, Fabian Kuhn and Yannic Maus Rumor Spreading with Bounded In-Degree Show publication in PURE

Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Extension of CHOICLA User Interfaces for Configurable Products Show publication in PURE

Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran and Martin Stettinger Towards Group-based Configuration Show publication in PURE

Alexander Felfernig, Trang Tran, Martin Stettinger and Seda Polat Erdeniz Studybattles: A Learning Environment for Knowledge-based Configuration Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy Show publication in PURE

Stefan Imlauer, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots Show publication in PURE

Anja Christin Petri, Christian Schindler, Wolfgang Slany and Bernadette Spieler Game Design with Pocket Code Show publication in PURE

Bernadette Spieler and Wolfgang Slany Pocket Code: Learn how to program by creating games/apps directly on your smartphone Show publication in PURE

Bernadette Spieler, Anja Christin Petri, Wolfgang Slany, Christian Schindler, María Eugenia Beltrán, Jonathan Smith, Eugenio Gaeta and Helen Boulton Pocket Code: A mobile App for Game Jams To Facilitate Classroom Learning through Game Creation Show publication in PURE

Bernadette Spieler and Magdalena Strauß Skater Alice Show publication in PURE

Matthias Müller and Bernadette Spieler Pocket Code: Computational Thinking for all Show publication in PURE

Helen Boulton, Bernadette Spieler, Anja Christin Petri, Christian Schindler, Wolfgang Slany and María Eugenia Beltrán The role of game jams in developing informal learning of computational thinking: a cross-European case study Show publication in PURE

2015

Book

Luis Almeida, Jianmin Ji, Gerald Steinbauer and Sean Luke RoboCup 2015: Robot World Cup XIX978-3-319-29339-4 Show publication in PURE

Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Show publication in PURE

Book Chapter

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Constraint-based Recommender SystemsRecommender Systems Handbook161-191 Show publication in PURE

Anthony Jameson, Martijn Willemsen, Alexander Felfernig, Marco deGemmis, Pasquale Lops, Giovanni Semeraro and Li Chen Human Decision Making and Recommender SystemsRecommender Systems Handbook619-655 Show publication in PURE

Proceedings

John O'Donovan, Alexander Felfernig, Nava Tintarev, Peter Brusilovsky, Giovanni Semeraro and Pasquale Lops RecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15) Show publication in PURE

Alexander Felfernig, Juha Tiihonen and Paul Blazek 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15) Show publication in PURE

Journal Article

Michael Hofbaur, Andreas Müller, Justus Piater, Bernhard Rinner, Gerald Steinbauer, Markus Vincze and Christian Wögerer Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap Elektrotechnik und Informationstechnik 132, 237-248, 2015 Show publication in PURE

Peter Grasch and Alexander Felfernig On the Importance of Subtext in Recommender Systems i-com. Journal for interactive media 14, 41-52, 2015 , DOI Show publication in PURE

I. Bárány, Ruy Fabila-Monroy and Birgit Vogtenhuber $(n,m)$-Fold Covers of Spheres Proceedings of the Steklov Institute of Mathematics 288, 203-208, 2015 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, Alexander Pilz and Birgit Vogtenhuber Monotone Simultaneous Embedding of Upward Planar Digraphs Journal of Graph Algorithms and Applications 19, 87-110, 2015 , DOI Show publication in PURE

Oswin Aichholzer, L. Caraballo, R. Fabila-Monroy, C. Ochoa, Paul Alois Nigsch and J. M. Diaz-Banez Characterization of extremal antipodal polygons Graphs and Combinatorics , 321-333, 2015 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graph Graphs and Combinatorics 31, 335-345, 2015 , DOI Show publication in PURE

Bernhard Peischl, Michaela Ferk and Andreas Holzinger The fine art of user-centered software development Software Quality Journal 23, 509-536, 2015 , DOI Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez On the empirical evaluation of similarity coefficients for spreadsheets fault localization Automated Software Engineering 22, 47-74, 2015 , DOI Show publication in PURE

Oswin Aichholzer, Andrei Asinowski and Tillmann Miltzow Disjoint compatibility graph of non-crossing matchings of points in convex position The Electronic Journal of Combinatorics 22, 1-53, 2015 Show publication in PURE

Bernhard Aichernig, Elisabeth Jöbstl and Stefan Tiran Model-Based Mutation Testing via Symbolic Refinement Checking Science of computer programming 97, Part 4, 383-404, 2015 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, R. Fabila-Monroy, Hernan Gonzales-Aguilar, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Pavel Valtr On k-Gons and k-Holes in Point Sets Computational Geometry , 528-537, 2015 Show publication in PURE

Oswin Aichholzer, Alexander Pilz and Wolfgang Mulzer Flip Distance Between Triangulations of a Simple Polygon is NP-Complete Discrete & Computational Geometry , 368-389, 2015 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point Sets Journal of Graph Algorithms and Applications 19, 743-759, 2015 , DOI Show publication in PURE

Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes Robotics and autonomous systems 75B, 679-685, 2015 , DOI Show publication in PURE

Roxane Koitz and Franz Wotawa On the computational feasibility of abductive diagnosis for practical applications IFAC-PapersOnLine 28, 410-415, 2015 , DOI Show publication in PURE

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan Tiran Killing strategies for model-based mutation testing Software Testing, Verification and Reliability 25, 716-748, 2015 , DOI Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Using constraints to diagnose faulty spreadsheets Software Quality Journal 23, 297-322, 2015 , DOI Show publication in PURE

Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. van Renssen, P. Taslakian and S. Verdonschot Reprint of: Theta-3 is connected Computational Geometry , 369-442, 2015 Show publication in PURE

José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo Silveira New results on stabbing segments with a polygon Computational Geometry 48, 14-29, 2015 , DOI Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová, B. Jüttler and G. Rote Triangulations with circular arcs Journal of Graph Algorithms and Applications , 43-65, 2015 Show publication in PURE

Georg Franz Heinrich Macher, Müslüm Atas, Eric Armengaud and Christian Josef Kreiner A Model-Based Configuration Approach for Automotive Real-Time Operating Systems SAE International Journal of Passenger Cars / Electronic and Electrical Systems 8, 270-277, 2015 , DOI Show publication in PURE

O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber 3-Colorability of pseudo-triangulations International Journal of Computational Geometry and Applications , 283-298, 2015 Show publication in PURE

Stefan Reiterer, Manfred Wundara and Alexander Felfernig Empfehlungstechnologien in der Öffenlichen Verwaltung eGovernment review , 18-19, 2015 Show publication in PURE

Conference/Workshop Article

Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentationProceedings of the 17th Real-Time Linux Workshop13-22 Show publication in PURE

Alexander Felfernig Learning Games for Configuration and Diagnosis TasksInternational Workshop on Configuration Show publication in PURE

Alexander Felfernig, Rouven Walter and Stefan Reiterer FlexDiag: AnyTime Diagnosis for ReconfigurationInternational Workshop on Configuration Show publication in PURE

María Eugenia Beltrán, Yolanda Ursa, Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler, Silvia de los Rios, Maria Fernanda Cabrera-Umpierrez and Maria Teresa Arredondo Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind4th International Conference, DUXU 2015 Show publication in PURE

Markus Ernst, Stefan Erlachner, Mario Hirz, Jürgen Fabian and Franz Wotawa Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive SoftwareVolume II63-68 Show publication in PURE

Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Towards Understanding Cognitive Aspects of Configuration Knowledge FormalizationVamos117-124 Show publication in PURE

Tracy Booysen, Marcel Stüttgen, Alexander Ferrein and Gerald Steinbauer The Scarab ProjectDeveloping Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015) Show publication in PURE

Stefan Reiterer, Alexander Felfernig, Martin Stettinger, Manfred Wundara and Wolfgang Eixelsberger A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain3rd Workshop on PErsonalization in eGOVernment and Smart Cities: Smart Services for Smart Territories1-10 Show publication in PURE

Annemarie Harzl, Stephan Fellhofer and Wolfgang Slany Scaling and Internationalizing an Agile FOSS Project: Lessons LearnedOpen Source Systems: Adoption and Impact Show publication in PURE

Roxane Koitz and Franz Wotawa On the Feasibility of Abductive Diagnosis for Practical ApplicationProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes410-415 Show publication in PURE

Jorge Santos Simon, Clemens Mühlbacher and Gerald Steinbauer Automatic Model Generation to Diagnose Autonomous SystemsInternational Workshop on Principles of Diagnosis Show publication in PURE

Bernhard Aichernig, Dejan Nickovic and Stefan Tiran Scalable Incremental Test-case Generation from Large Behavior ModelsTests and Proofs1-18 Show publication in PURE

Riaan Stopforth, Alexander Ferrein and Gerald Steinbauer Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics CenterDeveloping Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015) Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber and G. Salazar Deciding monotonicity of good drawings of the complete graphEncuentros de Geometría Computacional33-36 Show publication in PURE

Stefan Kaltner, Jürgen Gugler, Manfred Wonisch and Gerald Steinbauer An Autonomous Forklift for Battery Change in Electrical VehiclesAustrian Robotics Workshop Show publication in PURE

Josip Bozic and Franz Wotawa PURITY: a Planning-based secURITY testing toolWorkshop on Trustworthy Computing Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon Außerlechner Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco ApproachTesting Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings124-140 Show publication in PURE

Viktoria Pammer-Schindler, Jörg Peter Simon, Karin Wilding, Stephan Keller and Reinhold Scherer Designing for Engaging BCI Training: A Jigsaw PuzzleCHI PLAY '15667-672 Show publication in PURE

Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Serial Position Effects in the CHOICLA Group Decision Support EnvironmentACM Conference on Intelligent User Interfaces Show publication in PURE

Franz Wotawa, Martin Stettinger, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig Conflict Management for Constraint-based RecommendationIJCAI 2015, Workshop on Intelligent Personalizationnx-ny Show publication in PURE

Stefan Tiran Incremental Model-based Mutation TestingIEEE International Conference on Software Testing, Verification and Validation1-2 Show publication in PURE

Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz Wotawa Focussed Diagnosis for Failing Software TestsIEA/AIE 2015712-721 Show publication in PURE

Oswin Aichholzer, E. Demaine, M. Demaine, S. Fekete, Michael Biro, David Eppstein, Adam Hesterberg, Irina Kostitsyna and Christiane Schmidt Folding Polyominoes into Poly(Cubes)Canadian Conference on Computational Geometry Show publication in PURE

Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power PlantsProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes1-6 Show publication in PURE

Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler and Jonathan Smith Pocket Game Jams: a Constructionist Approach at SchoolsMobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct156-526 Show publication in PURE

Franz Wotawa, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge basesIJCAI 2015, Workshop on Intelligent Personalizationnx-ny Show publication in PURE

Rouven Walter, Alexander Felfernig and Wolfgang Küchlin Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and PracticeInternational Workshop on Configuration Show publication in PURE

Roxane Koitz and Franz Wotawa From Theory to Practice: Model-Based Diagnosis in Industrial ApplicationsProceedings of the Annual Conference of the PHM Society (PHM)197-205 Show publication in PURE

Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent TransitionsFormal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain288-304 Show publication in PURE

Alexander Felfernig, Martin Stettinger and Gerhard Leitner Fostering Knowledge Exchange Using Group RecommendationsACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender Systems Show publication in PURE

Alexander Felfernig, Thomas Ulz, Sarah Haas, Michael Schwarz, Stefan Reiterer and Martin Stettinger PeopleViews: Human Computation for Constraint-based RecommendationACM Recommender Systems 2015 CrowdRec Workshop Show publication in PURE

Roderick Paul Bloem, Daniel Hein, Franz Röck and Richard Alexander Schumi Case Study: Automatic Test Case Generation for a Secure Cache ImplementationInternational Conference on Tests And Proofs Show publication in PURE

Roxane Koitz and Franz Wotawa SAT-Based Abductive DiagnosisProceedings of the 26th International Workshop on Principles of Diagnosis (DX)167-175 Show publication in PURE

Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa Parse Tree Structure in LTL Requirements DiagnosisThe 26th International Symposium on Software Reliability Engineering Workshops100-107 Show publication in PURE

Roxane Koitz and Franz Wotawa Diagnosis of Technical SystemsProceedings of the International Joint Conference on Artificial Intelligence 20154375-4376 Show publication in PURE

Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Anchoring Effects in Group Decision MakingUser Modeling, Adaptation and Personalization118-130 Show publication in PURE

Roxane Koitz and Franz Wotawa Finding Explanations: an Empirical Evaluation of Abductive Diagnosis AlgorithmsProceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning1-7 Show publication in PURE

Annemarie Harzl Combining Kanban and FOSS: Can it work?Agile Processes, in Software Engineering, and Extreme Programming352-353 Show publication in PURE

Florian-Christoph Reinfrank A Goal-Question-Metrics Model for Configuration Knowledge basesWorkshop on Configurationnx-ny Show publication in PURE

Alexander Felfernig and Martin Stettinger Conflict Management in Interactive Financial Service Selection1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)3-10 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber and Pavel Valtr A note on the number of general 4-holes in perturbed gridsA note on the number of general 4-holes in perturbed grids68-69 Show publication in PURE

Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler and Franz Wotawa Attack Pattern-Based Combinatorial Testing with Constraints for Web Security TestingProceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15), 2015. Show publication in PURE

Florian-Christoph Reinfrank Intelligent Techniques for the Maintainance of Constraint-based systemsWorkshop on Configurationnx-ny Show publication in PURE

Florian-Christoph Reinfrank Maintaining constraint-based Configuration systems: Challenges aheadWorkshop on Configurationnx-ny Show publication in PURE

Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Thomas Hackl, Jürgen Pammer, Alexander Pilz, Pedro Ramos, Gelasio Salazar and Birgit Vogtenhuber All Good Drawings of Small Complete GraphsCollection of Abstracts of the 31st European Workshop on Computational Geometry 201557-60 Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set AlgorithmThe 26th International Symposium on Software Reliability Engineering Workshops78-84 Show publication in PURE

Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Intelligent Techniques for Configuration Knowledge EvolutionVamos51-60 Show publication in PURE

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Karl Krenn, Rupert Schlick and Stefan Tiran MoMuT::UML - model-based mutation testing for UMLIEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 20151-8 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Fault Localization in the Light of Faulty User InputProceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15)282-291 Show publication in PURE

Seema Jehan, Ingo Hans Pill and Franz Wotawa BPEL Integration TestingInternational Conference on Fundamental Approaches to Software Engineering Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, T. Biedl, M. Held, S. Huber and P. Palfrader Representing Directed Trees as Straight SkeletonsInternational Symposium on Graph Drawing335-347 Show publication in PURE

Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz Wotawa Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security TestingEighth International Conference on Software Testing, Verification and Validation Workshops Show publication in PURE

Bernadette Spieler Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy EducationStudies in Health Technology and Informatics182-189 Show publication in PURE

Oswin Aichholzer, Alexander Pilz, Wolfgang Mulzer, M. Wettstein and V. Kusters An optimal algorithm for reconstructing point set order types from radial orderingsAn optimal algorithm for reconstructing point set order types from radial orderings505-516 Show publication in PURE

Alexander Felfernig, Michael Jeran, Martin Stettinger, Thomas Absenger, Thomas Gruber, Sarah Haas, Emanuel Kirchengast, Michael Schwarz, Lukas Skofitsch and Thomas Ulz Human Computation Based Acquisition Of Financial Service Advisory Practices1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)27-34 Show publication in PURE

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, Test and Trace ITFormal Methods for Industrial Critical Systems113-127 Show publication in PURE

Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemüller, Gerald Steinbauer and Stavros Vassos Controlling Logistics Robots with the Action-based Language YAGIIROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing Show publication in PURE

Mihai Nica, Ingo Hans Pill and Franz Wotawa Testing Diagnostics Components Supervising Functional Safety RequirementsProceedings of the Annual Conference of the Prognostics and Health Management Society 2015150-157 Show publication in PURE

Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai Nica Analyzing the Reduction of Test Suite RedundancyThe 26th International Symposium on Software Reliability Engineering Workshops65-65 Show publication in PURE

Bernhard Aichernig and Florian Lukas Lorber Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed AutomataSoftware Testing, Verification and Validation Workshops (ICSTW) 20151-6 Show publication in PURE

Thesis

Irene Maria De Parada Munoz Systematic strategies for 3-dimensional modular robots Show publication in PURE

Manfred Scheucher Orthogeodesic Point Set Embeddings of Outerplanar Graphs Show publication in PURE

Other Article

Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient robot reconfiguration Show publication in PURE

Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Show publication in PURE

Bernhard Aichernig and Florian Lukas Lorber Killing Bugs in a Black Box with Model-based Testing Show publication in PURE

Roxane Koitz Diagnosis of Technical Systems Show publication in PURE

Roxane Koitz SAT-Based Abductive Diagnosis Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Hans Eck Children discover science: robotics, informatics and artificial intelligence in kindergarten and school Show publication in PURE

Anja Christin Petri The No One Left behind project Show publication in PURE

2014

Book

Florian Lukas Lorber, Bernhard Aichernig, Stefan Tiran and Dejan Nickovic Require, Test and Trace IT Show publication in PURE

Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: From Research to Business Cases Show publication in PURE

Oswin Aichholzer Einführung in die angewandte Geometrie978-3-0346-0143-6 Show publication in PURE

Book Chapter

Lothar Hotz, Alexander Felfernig, Markus Stumptner, Anna Ryabokon, Claire Bagley and Katharina Wolter Configuration Knowledge Representation and ReasoningKnowledge-based Configuration: From Research to Business Cases41-72 Show publication in PURE

Martin Stettinger, Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan Reiterer Basic Approaches in Recommendation SystemsRecommendation Systems in Software Engineering15-37 Show publication in PURE

Juha Tiihonen, Alexander Felfernig and Monika Mandl Personalized ConfigurationKnowledge-based Configuration: From Research to Business Cases167-179 Show publication in PURE

Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Configuration-Related Research ChallengesKnowledge-based Configuration: From Research to Business Cases191-195 Show publication in PURE

Alexander Felfernig, Claire Bagley, Juha Tiihonen, Lois Wortley and Lothar Hotz Benefits of Configuration SystemsKnowledge-based Configuration: From Research to Business Cases29-33 Show publication in PURE

Monika Mandl, Alexander Felfernig and Erich Teppan Consumer Decision-Making and Configuration SystemsKnowledge-based Configuration: From Research to Business Cases181-190 Show publication in PURE

Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: MotivationKnowledge-based Configuration: From Research to Business Cases3-7 Show publication in PURE

Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Knowledge-based Configuration: Overview of the BookKnowledge-based Configuration: From Research to Business Cases35-37 Show publication in PURE

Lothar Hotz, Alexander Felfernig, Andreas Günter and Juha Tiihonen A Short History of Configuration TechnologiesKnowledge-based Configuration: From Research to Business Cases9-19 Show publication in PURE

Alexander Felfernig, Florian-Christoph Reinfrank, Gerald Ninaus and Paul Blazek Redundancy Detection in Configuration KnowledgeKnowledge-based Configuration: From Research to Business Cases157-165 Show publication in PURE

Gerhard Leitner, Alexander Felfernig, Paul Blazek, Florian-Christoph Reinfrank and Gerald Ninaus User Interfaces for Configuration EnvironmentsKnowledge-based Configuration: From Research to Business Cases89-106 Show publication in PURE

Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Configuration-Related TopicsKnowledge-based Configuration: From Research to Business Cases21-27 Show publication in PURE

Alexander Felfernig, Stefan Reiterer, Paul Blazek, Gerhard Leitner, Florian-Christoph Reinfrank and Gerald Ninaus WeeVisKnowledge-based Configuration: From Research to Business Cases297-307 Show publication in PURE

Alexander Felfernig, Stefan Reiterer, Florian-Christoph Reinfrank, Gerald Ninaus and Michael Jeran Conflict Detection and Diagnosis in ConfigurationKnowledge-based Configuration: From Research to Business Cases73-87 Show publication in PURE

Proceedings

Nava Tintarev, John O'Donovan, Alexander Felfernig, Peter Brusilovsky, Giovanni Semeraro and Pasquale Lops RecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14) Show publication in PURE

Alexander Felfernig, Cipriano Forza and Albert Haag 16th International Workshop on Configuration Show publication in PURE

Journal Article

Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holes Computational Geometry 47, 605-613, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic Order Types Algorithmica 70, 112-128, 2014 , DOI Show publication in PURE

Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA The Journal of Systems and Software 94, 129-150, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber 4-Holes in Point Sets Computational Geometry 47, 644-650, 2014 , DOI Show publication in PURE

Alexander Pilz Flip Distance Between Triangulations of a Planar Point Set is APX-Hard Computational Geometry 47, 589-604, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane Discrete Mathematics & Theoretical Computer Science 16, 317-332, 2014 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar Shellable drawings and the cylindrical crossing number of Kn Discrete & Computational Geometry 52, 743-753, 2014 , DOI Show publication in PURE

Stefan J. Galler and Bernhard Aichernig Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java International journal on software tools for technology transfer 16, 753-773, 2014 Show publication in PURE

Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, S. Fekete, A. Lubiw, J. Snoeyink, A. Winslow and M. Hoffmann Covering Folded Shapes Journal of Computational Geometry 5, 150-168, 2014 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber Flips in combinatorial pointed pseudo-triangulations with face degree at most four International Journal of Computational Geometry and Applications 24, 197-224, 2014 , DOI Show publication in PURE

O. Aichholzer, F. Aurenhammer, T. Hackl, F. Hurtado, A. Pilz, P. Ramos, J. Urrutia, P. Valtr and B. Vogtenhuber On k-convex point sets Computational Geometry: Theory and Applications 47, 809-832, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer and Jorge Urrutia Empty Monochromatic Simplices Discrete & Computational Geometry 52, 362-393, 2014 , DOI Show publication in PURE

Gerhard Leitner, Alexander Felfernig, A. J. Fercher and Martin Hitz Disseminating Ambient Assisted Living in the Rural Area Sensors 14, 13496-13531, 2014 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar Shellable drawings and the cylindrical crossing number of K_n Discrete & Computational Geometry 52, 743-573, 2014 , DOI Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Johann Eck and Sabine Hirschmugl-Gaisch A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together Journal of automation, mobile robotics & intelligent systems 8, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplification International Journal of Computational Geometry and Applications 24, 307-323, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Reprint of: Extreme points and halving edge search in abstract order types Computational Geometry , 518-526, 2014 , DOI Show publication in PURE

Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. Renssen, P. Taslakian and S. Verdonschot Theta-3 is connected Computational Geometry 47, 910-917, 2014 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Alexander Pilz, Günter Rote, Bettina Speckmann and Birgit Vogtenhuber Plane graphs with parity constraints Graphs and Combinatorics 30, 47-69, 2014 , DOI Show publication in PURE

Conference/Workshop Article

Josip Bozic, Dimitris Simos and Franz Wotawa Attack Pattern-Based Combinatorial TestingInternational Workshop on Automation of Software Test1-7 Show publication in PURE

Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of robotics in education on pupils' skills and attitudesRobotics in Education 2014 Show publication in PURE

Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL ProcessesInternational Workshop on Principles of Diagnosis1-8 Show publication in PURE

Stefan Imlauer, Konstantin Lassnig, Johannes Maurer and Gerald Steinbauer Life Sign Detection Based on Sound and Gas MeasurementsAustrian Robotics Workshop Show publication in PURE

Bernardo Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Birgit Vogtenhuber Non-Shellable Drawings of Kn with Few CrossingsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-only Show publication in PURE

Julia Nitsch, Alexander Buchegger, Dorothea Koert, Christian Rose, Johannes Maurer, Stefan Kohlbrecher, Oskar Von Stryk and Gerald Steinbauer Towards Autonomous Manipulation in RoboCup Rescue18th annual RoboCup International Symposium Show publication in PURE

Bernhard Peischl, Michaela Ferk and Andreas Holzinger Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health OrganisationsInternational Joint Conference on e-Business and Telecommunications185-195 Show publication in PURE

Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger and Walter Schanil IntelliReq: Intelligent Techniques for Software Requirements EngineeringPrestigious Applications of Intelligent Systems (PAIS)1161-1166 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres Ruiz-Vargas, Jorge Urrutia and Birgit Vogtenhuber Order types and cross-sections of line arrangements in R3(Kopie von) Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-only Show publication in PURE

Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz Wotawa Tool-supported fault localization in spreadsheets: Limitations of current research practiceInternational Workshop on Software Engineering Methods in Spreadsheets1-2 Show publication in PURE

Roxane Koitz and Wolfgang Slany Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for TeenagersPLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools21-30 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Monotone Simultaneous Embedding of Directed PathsCollection of Abstracts of the 30th European Workshop on Computational Geometry 20140-0 Show publication in PURE

Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power PlantsInternational Workshop on Principles of Diagnosis404-409 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Pérez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia and Birgit Vogtenhuber Order types and cross-sections of line arrangements in ℝ<sup>3</sup>26th Canadian Conference on Computational Geometry, CCCG 2014267-272 Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Knowledge-Aware Execution of Programs in IndiGologInternational Workshop on Cognitive Robotics Show publication in PURE

Bernhard Aichernig, Klaus Hörmaier and Florian Lukas Lorber Debugging with Timed Automata MutationsComputer Safety, Reliability, and Security49-64 Show publication in PURE

Gerald Ninaus, Florian-Christoph Reinfrank, Martin Stettinger and Alexander Felfernig Content-based Recommendation Techniques in Requirements EngineeringFirst International Workshop on Artificial Intelligence for Requirements Engineering27-34 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Stefan Huber and Birgit Vogtenhuber Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance FunctionsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-only Show publication in PURE

Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-BasesProceedings of the 16th International Configuration Workshop39-46 Show publication in PURE

Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Stefan Tiran and Didier Simoneau Integration of Requirements Engineering and Test-Case Generation via OSLC2014 14th International Conference on Quality Software117-126 Show publication in PURE

Oswin Aichholzer, M. Hoffmann, M. van Kreveld and G. Rote Graph Drawings with Relative Edge Length SpecificationsCanadian Conference on Computational Geometry--- Show publication in PURE

Martin Stettinger, Alexander Felfernig, Stefan Reiterer, Michael Jeran, Gerald Ninaus and Gerhard Leitner Configuring Decision TasksWorkshop on Configuration17-21 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa On the Usage of Dependency-based Models for Spreadsheet DebuggingInternational Workshop on Software Engineering Methods in Spreadsheets1-4 Show publication in PURE

Franz Wotawa Failure Mode and Effect Analysis for Abductive DiagnosisInternational Workshop on Defeasible and Ampliative Reasoning1-13 Show publication in PURE

Alexander Felfernig Biases in Decision MakingProceedings of the International Workshop on Decision Making and Recommender Systems 201432-37 Show publication in PURE

Varvana Myllärniemi, Mikko Raatikainen, Juha Tiihonen and Alexander Felfernig Using Answer Set Programming for Feature Model Representation and ConfigurationWorkshop on Configuration1-8 Show publication in PURE

Nava Tintarev, John O'Donovan, Peter Brusilovsky, Alexander Felfernig, Giovanni Semeraro and Pasquale Lops RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender SystemsProceedings of the ACM Conference on Recommender Systems Show publication in PURE

Gerald Steinbauer, Johannes Maurer and Andreas Ciossek Field Report: Civil Protection Exercise Gas StorageIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Johannes Maurer and Gerald Steinbauer Risk-Aware ExplorationeuRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS Show publication in PURE

Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Testing Via Random Paths in BPEL ModelsIEEE International Conference on Software Testing, Verification and Validation260-263 Show publication in PURE

Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test CasesProceedings of the 2nd International Conference on Model-Driven Engineering and Software Development626-635 Show publication in PURE

Harald Altinger, Franz Wotawa and Markus Schurius Testing Methods Used in the Automotive Industry: Results from a SurveyThe second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14)1-6 Show publication in PURE

Alexander Felfernig, Sarah Haas, Gerald Ninaus, M. Schwarz, T. Ulz, Martin Stettinger, Klaus Isak, Michael Jeran and Stefan Reiterer RecTurk: Constraint-based Recommendation based on Human ComputationACM RecSys'14 CrowdRec Workshop1-6 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault LocalizationEuropean Conference on Artificial Intelligence1029-1030 Show publication in PURE

Juha Tiihonen, Tomi Männistö and Alexander Felfernig Sales Configurator Information Systems Design TheoryWorkshop on Configuration67-74 Show publication in PURE

Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear Transformation Distance for Bichromatic MatchingsProceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14)154-162 Show publication in PURE

Matias Korman, Langerman Stefan, Wolfgang Mulzer, Alexander Pilz and Birgit Vogtenhuber Minimum Dual Diameter TriangulationsEuropean Workshop on Computational Geometry0-0 Show publication in PURE

Bernhard Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick and Birgit Vera Schmidt Model-Based Mutation Testing of an Industrial Measurement DeviceTests and Proofs1-9 Show publication in PURE

Birgit Gertraud Hofer Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops263-268 Show publication in PURE

Josip Bozic and Franz Wotawa Security Testing Based on Attack PatternsThe 5th International Workshop on Security Testing (SECTEST)1-8 Show publication in PURE

Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz Wotawa Generation of Relevant Spreadsheet Repair CandidatesEuropean Conference on Artificial Intelligence1027-1028 Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous AgentsModern Advances in Applied Intelligence49-59 Show publication in PURE

Josip Bozic and Franz Wotawa Plan It! Automated Security Testing Based on PlanningInternational Conference on Testing Software and Systems48-62 Show publication in PURE

Gerald Steinbauer, Johannes Maurer and Heimo Krajnz R^3: Request a Rescue RobotIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Martin Stettinger and Alexander Felfernig Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel DecisionsACM RecSys'14 IntRS Workshop28-32 Show publication in PURE

Stefan Felsner and Alexander Pilz Ham-Sandwich Cuts for Abstract Order TypesInternational Symposium on Algorithms and Computation726-737 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Comparing and improving dependency-based models for fault localization in spreadsheetsInternational Workshop on Principles of Diagnosis1-7 Show publication in PURE

Oswin Aichholzer Reconstructing Point Set Order Types from Radial OrderingsInternational Symposium on Algorithms and Computation15-26 Show publication in PURE

Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz Wotawa Retaining Consistency for Knowledge-based Security TestingInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems88-97 Show publication in PURE

Keith Andrews and Benedict Wright FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGLProc. Eurographics Conference on Visualization (EuroVis 2014)43-47 Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous AgentsAAAI Spring Symposium Series Show publication in PURE

Alexander Felfernig, Martin Stettinger, Gerald Ninaus, Stefan Reiterer, Michael Jeran, Andreas Falkner, Juha Tiihonen and Gerhard Leitner Towards Open ConfigurationWorkshop on Configuration89-94 Show publication in PURE

Clemens Mühlbacher and Gerald Steinbauer Active Diagnosis for Agents with Belief ManagementInternational Workshop on Principles of Diagnosis Show publication in PURE

Walid Maalej, Zijad Kurtanovic and Alexander Felfernig What Stakeholders Need to Know About Requirements4th IEEE International Workshop on Empirical Requirements Engineering1-8 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point SetsProc. 22nd International Symposium on Graph Drawing (GD 2014)355-366 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo Welzl Packing Plane Spanning Trees and Paths in Complete Geometric GraphsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-only Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Why does my spreadsheet compute wrong values?International Symposium on Software Reliability Engineering112-121 Show publication in PURE

Thomas Quaritsch and Ingo Hans Pill PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo PillInternational Workshop on Principles of Diagnosis1-5 Show publication in PURE

Martin Stettinger and Alexander Felfernig Choicla: An Intelligent Group Decision Support EnvironmentProceedings of the International Workshop on Decision Making and Recommender Systems 20141-3 Show publication in PURE

Sven Bock, Roland Klöbl, Thomas Hackl, Oswin Aichholzer and Gerald Steinbauer Playing Nine Men's Morris with the Humanoid Robot NaoAustrian Robotics Workshop Show publication in PURE

Thesis

Manfred Scheucher On Order Types, Projective Classes, and Realizations Show publication in PURE

Elisabeth Jöbstl Model-Based Mutation Testing with Constraint and SMT Solvers Show publication in PURE

Technical Report

Johannes Maurer, Gerald Steinbauer, Peter Lepej and Suzana Uran TEDUSAR White Book - State of the Art in Search and Rescue Robots Show publication in PURE

Other Article

Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes Show publication in PURE

Roxane Koitz Applied Model-Based Diagnosis Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Generation of Relevant Spreadsheet Repair Candidates Show publication in PURE

Clemens Mühlbacher Active Diagnosis for Agents with Belief Management Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization Show publication in PURE

2013

Book

Alexander Felfernig Recommender Systems - An Introduction (chinese edition)978-4-320-12296-3 Show publication in PURE

Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Model-based Mutation Testing with Timed Automata Show publication in PURE

Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Fast Refinement Checking for Test Case Generation Show publication in PURE

Book Chapter

Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany Automated Shift Design and Break SchedulingAutomated Scheduling and Planning109-127 Show publication in PURE

Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan Reiterer Toward the next generation of recommender systems: applications and research challengesMultimedia Services in Intelligent Environments, Smart Innovation, Systems, and Technologies81-98 Show publication in PURE

Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Reconfiguration of Mobile Phone NetworksKnowledge-based Configuration - From Research to Business Cases19-1-19-11 Show publication in PURE

Gerald Steinbauer and Franz Wotawa Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213 Show publication in PURE

Alexander Felfernig, Gerald Ninaus, Harald Grabner, Florian-Christoph Reinfrank, Leopold Weninger, Denis Pagano and Walid Maalej An Overview of Recommender Systems in Requirements EngineeringManaging Requirements Knowledge315-332 Show publication in PURE

Proceedings

Gerald Ninaus IEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems Show publication in PURE

Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Proceedings of the 3rd International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'13) Show publication in PURE

Journal Article

Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci and Giovanni Semeraro Human Decision Making and Recommender Systems ACM Transactions on Interactive Intelligent Systems 3, 1-7, 2013 Show publication in PURE

Oswin Aichholzer, J. Abhau, Bernhard Kornberger, S. Colutto and O. Scherzer Shape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data. Inverse problems and imaging 7, 125-125, 2013 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar More on the crossing number of $K_n$: Monotone Drawings Electronic Notes in Discrete Mathematics 44, 411-414, 2013 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Clemens Huemer, Francisco Santos, Bettina Speckmann and Birgit Vogtenhuber Maximizing maximal angles for plane straight line graphs Computational Geometry 46, 17-28, 2013 , DOI Show publication in PURE

Oswin Aichholzer, J. Urrutia and Birgit Vogtenhuber Balanced 6-holes in linearly separable bichromatic point sets. Electronic Notes in Discrete Mathematics 44, 181-186, 2013 , DOI Show publication in PURE

Alexander Felfernig, Stefan Schippel, Gerhard Leitner, Florian-Christoph Reinfrank, Klaus Isak, Monika Mandl, Paul Blazek and Gerald Ninaus Automated Repair of Scoring Rules in Constraint-based Recommender Systems AI Communications 26, 15-27, 2013 Show publication in PURE

Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Extreme points and halving edge search in abstract order types Computational Geometry 46, 970-978, 2013 Show publication in PURE

Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Gelasio Salazar The 2-Page Crossing Number of K_n Discrete and Computational Geometry 49, 747-777, 2013 , DOI Show publication in PURE

Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis AI Communications 26, 133-143, 2013 , DOI Show publication in PURE

Iris Uitz and Roxane Koitz Consumer Acceptance of Location Based Services in the Retail Environment International Journal of Advanced Computer Science and Applications , 2013 , DOI Show publication in PURE

Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Maintaining consistency in a robot's knowledge-base via diagnostic reasoning AI Communications 26, 29-38, 2013 Show publication in PURE

Mihai Nica, Simona Alina Nica and Franz Wotawa On the use of mutations and testing for debugging Software : practice & experience 43, 1121–1142 , 2013 , DOI Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulations Computational Geometry 46, 154-159, 2013 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, David Orden, Pedro Ramos, Günter Rote, André Schulz and Bettina Speckmann Flip Graphs of Bounded-Degree Triangulations Graphs and Combinatorics 29, 1577-1593, 2013 , DOI Show publication in PURE

Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases AI Communications 26, 1-2, 2013 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of K_n. Discrete & Computational Geometry 49, 747-777, 2013 Show publication in PURE

Conference/Workshop Article

Birgit Gertraud Hofer and Franz Wotawa Mutation-based spreadsheet debuggingSoftware Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on132-137 Show publication in PURE

Wolfgang Slany Catrobat: A mobile visual programming system inspired by ScratchScratch conference 20130-0 Show publication in PURE

Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Driving a Tracked Mobile Robot over Unstructured Terrain and StairsElectrotechnical and Computer Science Conference Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Johann Eck A cross-generational robotics project day: Pre-school children, pupils and grandparents learn togetherRobotics in Education 2013 Show publication in PURE

Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis AlgorithmsInternational Joint Conference on Artificial Intelligence1039-1045 Show publication in PURE

Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generationTheories of Programming and Formal Methods23-36 Show publication in PURE

Oswin Aichholzer, L. Caraballo, J. D. Banez, R. Fabila-Monroy, C. Ochoa and Paul Alois Nigsch Extremal antipodal polygons and polytopesMexican Conference on Discrete Mathematics and Computational Geometry11-20 Show publication in PURE

Alexander Felfernig, Stefan Reiterer, Martin Stettinger, Florian-Christoph Reinfrank, Michael Jeran and Gerald Ninaus Recommender Systems for Configuration Knowledge EngineeringProceedings of the 2013 Workshop on Configuration51-54 Show publication in PURE

Iulia-Dana Nica and Franz Wotawa (Re-)configuration of Communication Networks in the Context of M2M ApplicationsProceedings of the International Configuration Workshop101-108 Show publication in PURE

Oswin Aichholzer, J. Urrutia and Birgit Vogtenhuber Balanced 6-holes in bichromatic point sets.Japanese Conference on Discrete and Computational Geometry5-6 Show publication in PURE

Safdar Zaman and Gerald Steinbauer Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic SystemsAustrian Robotics Workshop Show publication in PURE

Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej and Suzana Uran An integrated Diagnosis and Repair Architecture for ROS-Based Robot SystemsInternational Conference on Robotics and Automation Show publication in PURE

Martin Stettinger, Gerald Ninaus, Michael Jeran, Florian-Christoph Reinfrank and Stefan Reiterer WE-DECIDE: A Decision Support Environment for Groups of UsersRecent Trends in Applied Artificial Intelligence382-391 Show publication in PURE

Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Hans Pill, Marco Schulz and Franz Wotawa The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)45-53 Show publication in PURE

Florian-Christoph Reinfrank, Alexander Felfernig, David Benavides and José A. Galindo Automated Analysis in Feature Modelling and Product ConfigurationSafe and Secure Software Reuse160-175 Show publication in PURE

Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Time for Mutants —Model-based Mutation Testing with Timed AutomataTests and Proofs 20-38 Show publication in PURE

Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study PlanProceedings of Programming for Mobile and Touch PRoMoTo 20130-0 Show publication in PURE

Oswin Aichholzer, S. Allen, G. Aloupis, L. Barba, P. Bose, J.-L. D. Carfuel, J. Iacono, S. Langerman, D. Souvaine, P. Taslakin and M. Yagnatinsky Sum of squared edges for mst of a point set in a unit square.Japanese Conference on Discrete and Computational Geometry5-6 Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator LevelInternational Joint Conference on Artificial Intelligence1053-1059 Show publication in PURE

Nysret Musliu, Wolfgang Slany and Johannes Gaertner Automated Test Case Generation in End-User ProgrammingEnd-User Development - 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings272-277 Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui Abreu On the Empirical Evaluation of Fault Localization Techniques for SpreadsheetsFundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 201368-82 Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set AlgorithmInternational Workshop on Principles of Diagnosis210-215 Show publication in PURE

Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Grey Box Testing - A Constraint-Based ApproachInternational Workshop on Constraints in Software Testing Verification and Analysis232-237 Show publication in PURE

Franz Wotawa "Trust, But Verify"Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation38-47 Show publication in PURE

Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Incremental Refinement Checking for Test Case GenerationTests and Proofs1-19 Show publication in PURE

José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo Silveira New results on stabbing segments with a polygonAlgorithms and Complexity146-157 Show publication in PURE

Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-completeAlgorithms, 21st Annual European Symposium13-24 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract)XV Spanish Meeting on Computational Geometry131-134 Show publication in PURE

Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany A Scratch-like visual programming system for Microsoft Windows Phone 8Promoto ’130-0 Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael Spörk The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets13th International Conference on Quality Software139-148 Show publication in PURE

Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, P. Taslakian, M. Korman, A. van Renssen and S. Verdonschot Theta 3 is connected.Canadian Conference on Computational Geometry205-211 Show publication in PURE

Alexander Felfernig, David Benavides, Jose Galindo and Florian-Christoph Reinfrank Towards Anomaly Explanation in Feature ModelsProceedings of 2013 Workshop on Configuration117-124 Show publication in PURE

Peter Grasch, Alexander Felfernig and Florian-Christoph Reinfrank Recomment: Towards Critiquing-based Recommendation with Speech InteractionProceedings of the 7th ACM Conference on Recommender Systems157-164 Show publication in PURE

Valentin Constantin Chimisliu and Franz Wotawa Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication DependencesInternational Conference on Quality Software125-134 Show publication in PURE

Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Birgit Vogtenhuber and Emo Welzl Cell-paths in mono- and bichromatic line arrangements in the plane25th Canadian Conference on Computational Geometry169-174 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graphMexican Conference on Discrete Mathematics and Computational Geometry21-29 Show publication in PURE

Safdar Zaman and Gerald Steinbauer Automated Generation of Diagnosis Models for ROS-based Robot SystemsInternational Workshop on Principles of Diagnosis Show publication in PURE

Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan Gspandl Improving the ROS Arm Navigation Stack by Using Stochastic Inverse KinematicsAustrian Robotics Workshop Show publication in PURE

Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of RoboCupJunior on pupils' abilitiesRoboCup 2013 Symposium Proceedings and Team Description Papers Show publication in PURE

Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, A. Lubiwk, A. Winslow, S. Fekete, M. Homann and J. Snoeyink Covering folded shapes.Canadian Conference on Computational Geometry73-78 Show publication in PURE

Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Workshop on human decision making in recommender systems: Decisions@RecSys'13Proceedings of the ACM Conference on Recommender Systems 2013479-480 Show publication in PURE

Valentin Constantin Chimisliu and Franz Wotawa Using Dependency Relations to Improve Test Case Generation from UML StatechartsProceedings of the Fifth IEEE International Workshop on Software Test Automation (STA)71-76 Show publication in PURE

Max Leingartner, Johannes Maurer, Gerald Steinbauer and Alexander Ferrein Evaluation of Sensors and Mapping Approaches for Disasters in TunnelsIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch Exploiting Parse Trees in LTL Specification DiagnosisInternational Workshop on Principles of Diagnosis59-64 Show publication in PURE

Gerald Steinbauer, Lisa-Christina Winter, Alexander Nussbaumer and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of RobustnessWorkshop on Software Development and Integration in Robotics Show publication in PURE

Seema Jehan, Ingo Hans Pill, Franz Wotawa, Marco Schulz, [No Value] Philipp Leitner, [No Value] Waldemar Hummer, [No Value] Stefan Schulte, [No Value] Philipp Hoenisch and [No Value] Schahram Dustdar Fifty Shades of Grey in SOA TestingWorkshop on Advances in Model Based Testing (A-MOST)154-157 Show publication in PURE

Johannes Maurer and Gerald Steinbauer Autonomous Risk-Aware ExplorationIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on SmartphonesDMS 20130-0 Show publication in PURE

Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained ProblemsProceedings of the 23rd International Joint Conference on Artificial Intelligence1990-1996 Show publication in PURE

Hans Eck, Sabine Hirschmugl-Gaisch, Alexander Hofmann, Martin Kandlhofer, Sabrina Rubenzer and Gerald Steinbauer Innovative concepts in educational robotics: Robotics projects for kindergartens in AustriaAustrian Robotics Workshop Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Vera Sacristán, Birgit Vogtenhuber and Reinhard Wallner Simulating distributed algorithms for lattice agentsXV Spanish Meeting on Computational Geometry (2013)81-84 Show publication in PURE

Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional SOA testing based on constraintsInternational Workshop on Automation of Software Test33-39 Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplificationAlgorithms and Computation, 24th International Symposium11-21 Show publication in PURE

Josip Bozic and Franz Wotawa XSS Pattern for Attack Modeling in TestingInternational Workshop on Automation of Software Test71-74 Show publication in PURE

Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl, Michael Hoffmann, Kolja Knauer, Stefan Langerman, Michal Lason, Piotr Micek, Günter Rote and Torsten Ueckerdt Coloring hypergraphs induced by dynamic point sets and bottomless rectanglesLecture Notes in Computer Science, Proc. 13th Algorithms and Data Structures Symposium (WADS)73-84 Show publication in PURE

Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-complete29th European Workshop on Computational Geometry115-118 Show publication in PURE

Thesis

Manfred Scheucher Counting Convex 5-Holes Show publication in PURE

Roxane Koitz Akzeptanz von Location Based Services im Einzelhandel Show publication in PURE

Stefan Tiran On the Effects of UML Modeling Styles in Model-based Mutation Testing Show publication in PURE

Martin Stettinger Intelligent Services for Group Decision Making Show publication in PURE

Other Article

Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms Show publication in PURE

Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained Problems Show publication in PURE

Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany Pocket Code, A Scratch-like visual programming system for Microsoft Windows Phone 8 Show publication in PURE

Alexander Nussbaumer, Gerald Steinbauer, Lisa-Christina Winter and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of Robustness Show publication in PURE

Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator Level Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Hitting Set Algorithm Show publication in PURE

2012

Book

Stefan Tiran The Argos Manual Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization Show publication in PURE

Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems (japanese edition) Show publication in PURE

Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases Show publication in PURE

Book Chapter

Andreas Holzinger, Gig Searle, Bernhard Peischl and Matjaz Debevc B.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile Devicese-Business and Telecommunications CCIS 314156-167 Show publication in PURE

Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz Debevc B.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability ResearchSpringer Communications in Computer and Information Science, Vol. 22297-111 Show publication in PURE

Alexander Felfernig, Christoph Zehentner, Gerald Ninaus, Harald Grabner, Walid Maalej, Denis Pagano, Deopold Weninger and Florian-Christoph Reinfrank Group Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation (Best Papers of UMAP 2011 Workshops)105-116 Show publication in PURE

Andreas Holzinger, Peter Treitler and Wolfgang Slany Making Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on SmartphonesCD-ARES 2012, LNCS 7465, IIFIP International Federation for Information Processing (2012)176-189 Show publication in PURE

Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90 Show publication in PURE

Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On Complexity Reduction of User Interfaces for Safety-Critical SystemsG. Quirchmayr et al. (Eds.): CD-ARES 2012, LNCS 7465, FIP International Federation for Information Processing 2012108-122 Show publication in PURE

Proceedings

Bernhard Aichernig, Frank S. de Boer and Marcello M. Bonsangue Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010 Show publication in PURE

Li Chen, Alexander Felfernig, J. Liu and Z.W. Ras Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12) Show publication in PURE

Gerald Steinbauer and Suzana Uran Proceedings of the Austrian Robotics Workshop 2012 Show publication in PURE

Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro, Martijn Willemsen and Gerald Ninaus Proceedings of the 2nd International Workshop on Human Decision Making and Recommender Systems Show publication in PURE

Journal Article

Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holes Lecture notes in computer science 7579, 1-13, 2012 Show publication in PURE

O. Aichholzer, F. Aurenhammer, E. Demaine, F. Hurtado, P. Ramos and J. Urrutia On k-convex polygons Computational Geometry: Theory and Applications 45, 73-87, 2012 Show publication in PURE

Oswin Aichholzer, Günter Rote, André Schulz and Birgit Vogtenhuber Pointed drawings of planar graphs Computational Geometry , 482-494, 2012 , DOI Show publication in PURE

Jörg Weber and Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot Applied Intelligence 36, 511-528, 2012 , DOI Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach Advances in Software Engineering , 2012 , DOI Show publication in PURE

Franz Wotawa, Mihai Nica and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case The journal of logic and algebraic programming 81, 390-407, 2012 Show publication in PURE

Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs International Journal of Software Engineering and Knowledge Engineering 22, 695-723, 2012 , DOI Show publication in PURE

Alexander Felfernig, Monika Schubert and Christoph Zehentner n Efficient Diagnosis Algorithm for Inconsistent Constraint Sets Artificial Intelligence for Engineering Design, Analysis and Manufacturing 26, 53-62, 2012 , DOI Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis OBJEKTspektrum / Online Themenspecial , 1-4, 2012 Show publication in PURE

Oswin Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibility Lecture notes in computer science 7579, 98-108, 2012 Show publication in PURE

Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten Connectors as designs: Modeling, refinement and test case generation Science of computer programming 77, 799-822, 2012 , DOI Show publication in PURE

Erich Teppan and Alexander Felfernig Minimization of Product Utility Estimation Errors in Recommender Result Set Evaluations Web Intelligence and Agent Systems 10, 385-395, 2012 Show publication in PURE

Andreas Holzinger, Christof Stocker, Bernhard Peischl and Klaus-Martin Simonic On Using Entropy for Enhancing Handwriting Preprocessing Entropy 14, 2324-2350, 2012 , DOI Show publication in PURE

Wolfgang Slany and Farhan Sahito Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security Human Security Perspectives Journal , 38-66, 2012 Show publication in PURE

Alexander Felfernig, Robin Burke and Pearl Pu Preface to the special issue on User Interfaces for Recommender Systems User Modeling and User-Adapted Interaction 22, 313-316, 2012 , DOI Show publication in PURE

Conference/Workshop Article

Bernhard Peischl, Martina Ziefle and Andreas Holzinger A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap ApplicationProceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems217-221 Show publication in PURE

Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Model-based simulation and configuration of mobile phone networks – The SIMOA ApproachProc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks12-17 Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM EvaluationInternational Workshop on Personal Information Management1-5 Show publication in PURE

Raymond Sheh, Tetsuya Kimura, Daniele Nardi, Johannes Pellenz and Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer SchoolIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Educational Robotics - Evaluating long-term effectsIntegrating Robotics in School Curriculum198-199 Show publication in PURE

Florian Ehrentraut, Christian Landschützer, Dominik Lechner, Christian Matt, Wolfgang Pichler, Gerald Steinbauer, bernhard puchinger and daniel wimmer Kombot - An Autonomous Mobile Order Picking RobotAustrian Robotics Workshop 20121-7 Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler, K. Dobiásová and G. Rote Triangulations with circular arcsGraph Drawing296-307 Show publication in PURE

Josip Bozic and Franz Wotawa Model-based Testing - From Safety to SecurityWorkshop on System Testing and Validation9-16 Show publication in PURE

Gerald Ninaus Using group recommendation heuristics for the prioritization of requirementsRecSys '12 Proceedings of the sixth ACM conference on Recommender systems329-332 Show publication in PURE

Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Integrating model-based testing and analysis tools via test case exchangeIEEE International Symposium on Theoretical Aspects of Software Engineering119-126 Show publication in PURE

Stephan Gspandl, Siegfried Podesser, Michael Reip, Gerald Steinbauer and Màtè Wolfram A Dependable Perception-Decision-Execution Cycle for Autonomous RobotsInternational Conference on Robotics and Automation Show publication in PURE

Iulia-Dana Nica and Franz Wotawa The SiMoL Modeling Language for Simulation and (Re-) ConfigurationSOFSEM - Conference on Current Trends in Theory and Practice of Informatics661-672 Show publication in PURE

Oswin Aichholzer, Ferran Hurtado and Birgit Vogtenhuber Compatible matchings for bichromatic plane straight-line graphs28th European Workshop on Computational Geometry, Booklet of Abstracts257-260 Show publication in PURE

Wolfgang Slany Catroid: a mobile visual programming system for children11th International Conference on Interaction Design and Children, IDC '12300-303 Show publication in PURE

Wolfgang Slany A mobile visual programming system for Android smartphones and tabletsIEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012265-266 Show publication in PURE

Gerald Steinbauer and Alexander Kleiner Towards CSP-based mission dispatching in C2/C4I systemsIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Wolfgang Slany Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their FeaturesICCIT - 2012, the 15th International Conference on Computer and Information Technology507-512 Show publication in PURE

Alexander Felfernig and Leopold Weninger Improving Requirements Engineering using Group Decision ToolsRequirements Engineering Tagung Show publication in PURE

Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej Risteski What makes a tree a straight skeleton?Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012267-272 Show publication in PURE

Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Analysis of Laser Sensor System for a Rescue Robot21st International Electrotechnical and Computer Science Conference Show publication in PURE

Oswin Aichholzer, Wolfgang Aigner, Thomas Hackl and Nicola Wolpert Exact Medial Axis Computation for Circular Arc BoundariesCurves and Surfaces 201028-42 Show publication in PURE

Peter Lepej, Johannes Maurer, Gerald Steinbauer, Suzana Uran and Safdar Zaman An integrated Diagnosis and Repair Architecture for ROS-‐Based Robot SystemsInternational Workshop on Principles of Diagnosis Show publication in PURE

Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety-critical systemsIFIP Cross Domain Conference, Lecture Notes in Computer Science Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holesProc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012261-266 Show publication in PURE

Gerald Ninaus and Alexander Felfernig Group Recommendation Algorithms for Requirements PrioritizationRecommender Systems in Software Engineering (RSSE 2012)1-4 Show publication in PURE

Alexander Ferrein, Gerald Steinbauer and Stavros Vassos Action-Based Imperative Programming with YAGIInternational Workshop on Cognitive Robotics Show publication in PURE

Alexander Felfernig, Gerald Ninaus and Florian-Christoph Reinfrank Eliciting Stakeholder Preferences for Requirements PrioritizationWorkshop on Human Decision Making in Recommender Systems (Decisions@RecSys 2012)27-31 Show publication in PURE

Michael Reip, Gerald Steinbauer and Alexander Ferrein Improving Belief Management for High-‐Level Robot Programs by Using Diagnosis TemplatesInternational Workshop on Principles of Diagnosis Show publication in PURE

Franz Wotawa Open research challenges of localizing faults in programs using constraintsProceedings of the 4th Workshop on Constraints in Software Testing, Verification, and Analysis Show publication in PURE

Birgit Gertraud Hofer, Franz Wotawa and Rui Abreu AI for the win: improving spectrum-based fault localizationACM SIGSOFT Software Engineering Notes1-8 Show publication in PURE

Simona Alina Nica and Franz Wotawa Using Constraints for Equivalent Mutant DetectionWorkshop on Formal Methods in the Development of Software Show publication in PURE

Alexander Pilz and Tillmann Miltzow Selection of Extreme Points and Halving Edges of a Set by its Chirotope28th European Workshop on Computational Geometry85-88 Show publication in PURE

Rui Abreu, André Riboira and Franz Wotawa Constraint-based Debugging of SpreadsheetsProceedings of the 15th Ibero-American Conference on Software Engineering Show publication in PURE

Alexander Pilz Augmentability to Cubic Graphs28th European Workshop on Computational Geometry29-32 Show publication in PURE

Valentin Constantin Chimisliu and Franz Wotawa Model Based Test Case Generation for Distributed Embedded SystemsInternational Conference on Industrial Technologyp-p Show publication in PURE

Gerald Steinbauer A Survey about Faults of Robots used in RoboCupRoboCup 2012: Robot Soccer World Cup XVI344-355 Show publication in PURE

Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej Risteski What makes a tree a straight skeleton?Collection of Abstracts of the 28th European Workshop on Computational Geometry 2012137-140 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault LocalizationECAI 2012 - 20th European Conference on Artificial Intelligence.420-425 Show publication in PURE

Tobias Gritschacher and Wolfgang Slany Standing on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphones11th International Conference on Interaction Design and Children, IDC '12264-267 Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in FoldersCHI EA '12 Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems, Extended Abstracts (CHI2012)2063-2068 Show publication in PURE

Ingo Pribik and Alexander Felfernig Towards Persuasive Technologies for Software Development Environments7th International Conference on Persuasive Technology227-238 Show publication in PURE

Valentin Constantin Chimisliu and Franz Wotawa Category Partition Method and Satisfiability Modulo Theories for Test Case GenerationProc. of the International Workshop on Automation of Software Test Show publication in PURE

Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as ConstraintsWorkshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)752-757 Show publication in PURE

Wolfgang Slany Mobile Visual Game Programming by ChildrenWorkshop "Opportunities and Challenges when Designing and Developing Games with/for Kids" at the 4th International Conference on Fun and Games 2012?-? Show publication in PURE

Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, Christina Koeffel, Manfred Tscheligi and Peter Wolkerstorfer Practical Usability in XP Software Development ProcessesACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions208-217 Show publication in PURE

Bernhard Aichernig The Science of Killing Bugs in a Black Box - (Keynote Talk)Programming Languages6-11 Show publication in PURE

Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement CheckingModel-Based Testing (MBT)88-102 Show publication in PURE

Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Suzana Uran, Peter Lepej, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Raymond Sheh and Johannes Pellenz Community-Driven Development of Standard Software Modules for Search and Rescue RobotsIEEE International Symposium on Safety Security and Rescue Robotics Show publication in PURE

Siegfried Podesser, Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-‐Level Robot ProgramsInternational Workshop on Principles of Diagnosis Show publication in PURE

Florian-Christoph Reinfrank, Alexander Felfernig and Gerald Ninaus Resolving Anomalies in Configuration Knowledge BasesFoundations of Intelligent Systems311-320 Show publication in PURE

Monika Mandl and Alexander Felfernig Improving the Performance of Unit CritiquingInternational Conference on User Modeling, Adaption, and Personalization176-187 Show publication in PURE

Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Workshop on human decision making in recommender systems: Decisions@RecSys'12Proceedings of the ACM Conference on Recommender Systems 2012347-348 Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch Optimizations for the Boolean Approach to Computing Minimal Hitting SetsECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track648-653 Show publication in PURE

Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic order typesProc. 18th Annual International Computing and Combinatorics Conference (COCOON '12),216-227 Show publication in PURE

Ingo Hans Pill and Thomas Quaritsch An LTL SAT Encoding for Behavioral DiagnosisProceedings of the 23rd International Workshop on Principles of Diagnosis67-74 Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa Reducing the size of dynamic slicing with constraint solving2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 201241-48 Show publication in PURE

Gerald Ninaus, Alexander Felfernig and Florian-Christoph Reinfrank Anonymous Preference Elicitation for Requirements PrioritizationFoundations of Intelligent Systems349-356 Show publication in PURE

Rui Abreu, Andrè Riboira and Franz Wotawa Debugging of Spreadsheets: A CSPbased ApproachSoftware Reliability Engineering Workshops (ISSREW)159-164 Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Evaluating the long-term impact of RoboCupJunior: A first investigationRiE 201287-94 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of knACM Symposium on Computational Geometry397-403 Show publication in PURE

Bernhard Aichernig and Elisabeth Jöbstl Efficient Refinement Checking for Model-Based Mutation TestingProceedings of the 12th International Conference on Quality Software (QSIC 2012)21-30 Show publication in PURE

Simona Alina Nica and Franz Wotawa EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded SystemsWorkshop on Intelligent Solutions in Embedded Systems57-62 Show publication in PURE

Thesis

Bernhard Aichernig Model-Based Mutation Testing: Theory and Application Show publication in PURE

Other Article

Bernhard Peischl, Martina Ziefle and Andreas Holzinger A Mobile Information System für Improved Navigation in Public Transport Show publication in PURE

Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety‐critical systems Show publication in PURE

Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School Show publication in PURE

Alexander Felfernig and Leopold Weninger Gruppenentscheidungsprozesse im Requirements Engineering Show publication in PURE

Iulia-Dana Nica and Franz Wotawa ConDiag - Computing minimal diagnoses using a constraint solver Show publication in PURE

Gerald Steinbauer A Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result Dissemination Show publication in PURE

Gerald Steinbauer Community-Driven Development of Standard Software Modules for Search and Rescue Robots Show publication in PURE

Alexander Felfernig and Gerald Ninaus Group Recommendation Algorithms for Requirements Prioritization Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM Evaluation Show publication in PURE

Wolfgang Slany Catroid: A mobile visual programming system Show publication in PURE

Gerald Ninaus Using group recommendation heuristics for the prioritization of requirements Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders Show publication in PURE

Gerald Steinbauer A Survey about Faults of Robots used in RoboCup Show publication in PURE

Martin Kandlhofer, Gerald Steinbauer and Astrid Weiss Educational Robotics - Evaluating long-term effects Show publication in PURE

2011

Book

Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction (japanese edition)978-4-320-12296-3 Show publication in PURE

Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems Show publication in PURE

Siegfried Podesser Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms Show publication in PURE

Proceedings

Alexander Felfernig, Li Chen and Monika Mandl Proceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11) Show publication in PURE

Journal Article

Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems International journal of agricultural and environmental information systems 2, 63-82, 2011 , DOI Show publication in PURE

Monika Schubert and Alexander Felfernig BFX: Diagnosing Conflicting Requirements in Constraint-Based Recommendation International journal on artificial intelligence tools 20, 297-312, 2011 Show publication in PURE

Monika Mandl, Alexander Felfernig, Erich Teppan and Monika Schubert Consumer Decision Making in Knowledge-based Recommendation Journal of Intelligent Information Systems 37, 1-22, 2011 , DOI Show publication in PURE

O. Aichholzer, F. Aurenhammer, T. Hackl, B. Jüttler, M. Oberneder and Z. Sir Computational and structural advantages of circular boundary representation International Journal of Computational Geometry and Applications 21, 47-69, 2011 , DOI Show publication in PURE

Alexander Felfernig and Monika Schubert Personalized Diagnoses for Inconsistent User Requirements Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25, 175-183, 2011 , DOI Show publication in PURE

Andreas Falkner, Alexander Felfernig and Albert Haag Recommendation Technologies for Configurable Products AI Magazine 32, 99-108, 2011 Show publication in PURE

Robin Burke, Alexander Felfernig and Mehmet Goeker The Future of Recommender Systems: Research and Applications AI Magazine 32, 99-108, 2011 Show publication in PURE

Stefan Janisch, Martin Ebner and Wolfgang Slany Informatische Bildung mithilfe eines MOOC Erziehung & Unterricht 167, 18-26, 2011 Show publication in PURE

Alexander Felfernig, Markus Stumptner and Juha Tiihonen Introduction: Special Issue on Configuration Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25, 1-4, 2011 Show publication in PURE

Christian Schwarzl and Franz Wotawa Test case generation in practice for communicating embedded systems Elektrotechnik und Informationstechnik , 240-244, 2011 Show publication in PURE

Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, J. Leanos and G. Salazar There is a unique crossing-minimal rectilinear drawing of k18 Electronic Notes in Discrete Mathematics 38, 547-552, 2011 Show publication in PURE

Safdar Zaman, Wolfgang Slany, Nadeem Ahsan, Farhan Hyder and Farukh Nadeem Neural Network based Clustering using Visual Features of Characters’ Shape in Image International journal of video & image processing and network security 11, 12-22, 2011 Show publication in PURE

Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung TU Graz Research , 16-18, 2011 Show publication in PURE

Conference/Workshop Article

Andreas Holzinger, Martin Brugger and Wolfgang Slany Applying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability TestingProceedings of the 8th International Conference on electronic Business and Telecommunications53-56 Show publication in PURE

Safdar Zaman, Wolfgang Slany and Gerald Steinbauer ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant IssuesSaudi International Electronics, Communications and Photonics Conference Show publication in PURE

Birgit Gertraud Hofer and Franz Wotawa How to combine slicing-hitting-set-computation with spectrum-based fault localization22nd International Workshop on Principles of Diagnosis114-121 Show publication in PURE

Andreas Holzinger, OIivia Waclick, Frank Kappe, Stephan Lenhart, Gerbert Orasche and Bernhard Peischl Rapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct TimeProceedings of the 8th International Conference on electronic Business and Telecommunications57-61 Show publication in PURE

Valentin Constantin Chimisliu and Franz Wotawa Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOSProc. of the 6th International Workshop on Automation of Software Test8-14 Show publication in PURE

Iulia-Dana Nica and Franz Wotawa SiMoL– A Modeling Language for Simulation and (Re-)ConfigurationWorkshop on Configuration40-43 Show publication in PURE

Michael Kollar, Harald Altinger and Michael Bader The application of pneumatic actuators in RoboCups' Middle Size LeagueThe application of pneumatic actuators in RoboCups' Middle Size League117-126 Show publication in PURE

Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms22nd International Workshop on Principles of Diagnosis203-210 Show publication in PURE

Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational StructuresInformation und Wissen: global, sozial und frei? 516-518 Show publication in PURE

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn UML in Action: A Two-Layered Interpretation for TestingThird IEEE International workshop UML and Formal Methods (UML & FM 2010)1-8 Show publication in PURE

Gerald Steinbauer and Franz Wotawa On the Evaluation and Certification of the Robustness of Autonomous Intelligent SystemsInternational Workshop on Principles of Diagnosis167-170 Show publication in PURE

Franz Wotawa, Simona Alina Nica and Mihai Nica Constraint-Based Debugging Combining Mutations and Distinguishing Test CasesProceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011) Show publication in PURE

Alexander Ferrein, Stephen Marrais, Anet Potgieter and Gerald Steinbauer RoboCupJunior: A Vehicle for S&T Education in Africa?IEEE AFRICON Show publication in PURE

Gerhard Leitner, F. Ferrara, Alexander Felfernig and C. Tasso Decision Support in the Smart HomeWorkshop on Human Decision Making in Recommender Systems1-8 Show publication in PURE

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Efficient Mutation Killers in Action2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011)120-129 Show publication in PURE

Gerald Steinbauer and Franz Wotawa Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous RobotsICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments Show publication in PURE

Simona Alina Nica On the Improvement of the Mutation Score Using Distinguishing Test Cases2011 Fourth IEEE International Conference on Software Testing, Verification and Validation423-426 Show publication in PURE

Franz Wotawa Adaptive autonomous systems - From the system's architecture to testingProceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics Systems Show publication in PURE

Wolfgang Herzner, Rupert Schlick and Elisabeth Jöbstl Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2011)270-283 Show publication in PURE

Stephan Gspandl, Michael Reip, Andreas Hechenblaickner, Gerald Steinbauer, Máté Wolfram and Christoph Zehentner The Ontology Lifecycle in RoboCup: Population From Text and ExecutionRoboCup International Symposium Show publication in PURE

Simona Alina Nica, Mihai Nica and Franz Wotawa Detecting Equivalent Mutants by Means of Constraint SystemsThe Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011) Show publication in PURE

Monika Mandl, Alexander Felfernig and Juha Tiihonen Evaluating Design Alternatives for Feature Recommendations in Configuration SystemsProceedings of the 13th IEEE Conference on Commerce and Enterprise Computing34-41 Show publication in PURE

Simona Alina Nica, Rudolf Ramler and Franz Wotawa Is Mutation Testing Scalable for Real-World Software Projects?The Third International Conference on Advances in System Testing and Validation Lifecycle Show publication in PURE

Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition SystemsTesting Software and Systems179-194 Show publication in PURE

Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Belief Management for Autonomous Robots using History-Based DiagnosisInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Show publication in PURE

Alexander Felfernig, Christoph Zehentner and Paul Blazek CoreDiag: Eliminating Redundancy in Constraint SetsProceedings of the 2011 Workshop on the Principles of Diagnosis219-224 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr and Birgit Vogtenhuber On k-Gons and k-Holes in Point SetsProc. 23nd Annual Canadian Conference on Computational Geometry CCCG 201121-26 Show publication in PURE

Alexander Felfernig and Erich Teppan Decoy Effects in Financial Service E‐Sales SystemsWorkshop on Human Decision Making in Recommender Systems1-8 Show publication in PURE

Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking11th International Conference On Quality Software1-10 Show publication in PURE

Franz Wotawa (Still) open research questions to be solved in the context of smart autonomous systems – Extended abstractProceedings of the Austrian Robotics Workshop9-11 Show publication in PURE

Bernhard Peischl and Franz Wotawa An Abstract Operational Framework for Dependence Models in Software DebuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug) Show publication in PURE

Monika Mandl, Alexander Felfernig, Juha Tiihonen and Klaus Isak Status Quo Bias in Configuration SystemsProceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems105-114 Show publication in PURE

Alexander Felfernig Group Decision Support for Requirements NegotiationProceedings of UMAP'11 Workshop on Decision and Recommendation Acceptance Issues in Recommender Systems27-34 Show publication in PURE

Stephan Gspandl, Ingo Hans Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein Belief Management for High-Level Robot ProgramsInternational Joint Conference on Artificial Intelligence Show publication in PURE

O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibilityXIV Encuentros de Geometría Computacional35-38 Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-finding Files Using TagsInformation Quality in e-Health471-481 Show publication in PURE

Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologiesACM Conference on Recommender Systems Show publication in PURE

Alexander Felfernig and Monika Schubert Personalizing Diagnoses for Inconsistent Constraint SetsInternational Workshop on Principles of Diagnosis146-153 Show publication in PURE

Alexander Felfernig, Li Chen and Monika Mandl Workshop on human decision making in recommender systems: Decisions@RecSys'11Proceedings of the ACM Conference on Recommender Systems 2011389-390 Show publication in PURE

Máté Wolfram, Stephan Gspandl, Michael Reip and Gerald Steinbauer Robust Robotics Using History-Based-Diagnosis in IndiGologAustrian Robotics Workshop Show publication in PURE

Franz Wotawa and Mihai Nica Program debugging using constraints – Is it feasible?Proceedings of the 11th International Conference on Quality Software (QSIC)236-243 Show publication in PURE

Andreas Holzinger, Lamija Basic, Bernhard Peischl and Matjaz Debevc Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysisProceedings of the 8th International Conference on electronic Business and Telecommunications219-227 Show publication in PURE

Oswin Aichholzer, A. García, F. Hurtado and J. Tejel Compatible matchings in geometric graphsEncuentros de Geometría Computacional145-148 Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer, K. Cech Dobiasova, B. Juettler and G. Rote Triangulations with circular arcsProc. 19th International Symposium on Graph Drawing296-307 Show publication in PURE

O. Aichholzer, G. Aloupis, E. Demaine, M. Demaine, V. Dujmović, F. Hurtado, A. Lubiw, G. Rote, André Schulz, D. Souvaine and A. Winslow Convexifying polygons without losing visibilitiesCanadian Conference on Computational Geometry229-234 Show publication in PURE

Gerald Steinbauer A Survey on the Nature of Faults of Autonomous Robot SystemsICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems Show publication in PURE

Franz Wotawa On the use of constraints in dynamic slicing for program debuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug) Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber 4-Holes in Point SetsCollection of Abstracts of the 27th European Workshop on Computational Geometry 2011115-118 Show publication in PURE

Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holesProceedings of XIV Encuentros de Geometría Computacional 20117-10 Show publication in PURE

Alexander Felfernig, Monika Schubert and Florian-Christoph Reinfrank ReAction: Personalized Minimal Repair Adaptations for Customer RequestsFlexible query answering systems13-24 Show publication in PURE

Thesis

Birgit Vogtenhuber Combinatorial Aspects of [Colored] Point Sets in the Plane Show publication in PURE

Other Article

Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Nachmittagskurs Show publication in PURE

Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Vormittagskurs Show publication in PURE

Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies Show publication in PURE

Petra Pichler and Gerald Steinbauer Robotikworkshop für Fortgeschrittene Show publication in PURE

Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures Show publication in PURE

Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-Finding Files Using Tags Show publication in PURE

Iulia-Dana Nica and Franz Wotawa Diagnosis-based reconfiguration using the MINION constraint solver Show publication in PURE

Alexander Felfernig CoreDiag: Eliminating Redundancy in Constraint Sets Show publication in PURE

Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms Show publication in PURE

2010

Book

Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction978-0-521-49336-9 Show publication in PURE

Book Chapter

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Developing Constraint-based RecommendersRecommender Systems Handbook1-29 Show publication in PURE

Bernhard Aichernig A systematic introduction to mutation testing in unifying theories of programmingTesting Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures243-287 Show publication in PURE

Proceedings

Alexander Felfernig, Walid Maalej and Anil Kumar Thurimella Proceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010) Show publication in PURE

Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases Show publication in PURE

Journal Article

Syed Nadeem Ahsan, Muhammad Tanvir Afzal, Safdar Zaman, Christian Gütl and Franz Wotawa Mining Effort Data from the OSS Repository of Developer's Bug Fix Activity Journal of IT in Asia 3, 67-80, 2010 Show publication in PURE

Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim Comas Environmental decision support systems based on models and model-based reasoning Environmental engineering and management journal 9, 189-195, 2010 Show publication in PURE

Alexander Felfernig and Juha Tiihonen Towards Recommending Configurable Offerings International journal of mass customisation 3, 389-406, 2010 , DOI Show publication in PURE

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong and Wang Yi Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Electronic Notes in Theoretical Computer Science 266, 33-48, 2010 Show publication in PURE

Farukh Nadeem, Stefano Chessa, Erich Leitgeb and Safdar Zaman The Effects of Weather on the Life Time of Wireless Sensor Networks Using FSO/RF Communication Radioengineering 19, 262-270, 2010 Show publication in PURE

Alexander Ferrein, Nils Siebl and Gerald Steinbauer Hyrid control for autonomous systems - Integrating learning, deliberation and reactive control Robotics and autonomous systems 58, 1037-1038, 2010 Show publication in PURE

Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schaffhauser and Wolfgang Slany An AI-based break-scheduling system for supervisory personnel IEEE Intelligent Systems 25, 60-73, 2010 Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer and M. Rabl Divide-and conquer for Voronoi diagrams revisited Computational Geometry: Theory and Applications 43, 688-699, 2010 , DOI Show publication in PURE

Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer and Marcel Kyas Resource Modeling for Timed Creol Models Electronic Notes in Theoretical Computer Science 266, 63-75, 2010 Show publication in PURE

Mihai Nica, Bernhard Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software International journal of mass customisation 3, 2010 , DOI Show publication in PURE

Oswin Aichholzer, Thomas Hackl, Clemens Huemer, Ferran Hurtado and Birgit Vogtenhuber Large bichromatic point sets admit empty monochromatic 4-gons SIAM Journal on Discrete Mathematics 23, 2147-2155, 2010 , DOI Show publication in PURE

Oswin Aichholzer, Sergio Cabello, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Clemens Huemer, Ferran Hurtado and David R. Wood Edge-removal and non-crossing configurations in geometric graphs Discrete Mathematics & Theoretical Computer Science 12, 75-86, 2010 Show publication in PURE

Conference/Workshop Article

Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber Compatible pointed pseudo-triangulationsProc. 22nd Annual Canadian Conference on Computational Geometry CCCG 201091-94 Show publication in PURE

Monika Schubert, Alexander Felfernig and Monika Mandl FastXplain: Conflict Detection for Constraint-Based Recommendation ProblemsTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems621-630 Show publication in PURE

Tim Niemüller, Alexander Ferrein, Gerhard Eckel, David Pirro, Tobias Kellner, Patrick Podbregar, Christof Rath and Gerald Steinbauer Providing ground-truth data for the nao robot platformRoboCup International Symposium Show publication in PURE

Alexander Felfernig, Monika Mandl, Juha Tiihonen and Monika Schubert Personalized Product ConfigurationMultikonferenz Wirtschaftsinformatik 20102251-2263 Show publication in PURE

Oswin Aichholzer, Daniel Detassis, Thomas Hackl, Gerald Steinbauer and Johannes Thonhauser Playing Pylos with an Autonomous RobotInternational Conference on Intelligent Robots and Systems2507-2508 Show publication in PURE

Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint SetsProceedings of the 19th European Conference on Artificial Intelligence1043-1044 Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer and B. Jüttler Exact medial axis computation for triangulated solids with respect to piecewise linear metricsCurves and Surfaces1-27 Show publication in PURE

O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber 3-Colorability of pseudo-triangulationsProc. 26th European Workshop on Computational Geometry (EuroCG'10)21-24 Show publication in PURE

Stefan Galler, Andreas Maller and Franz Wotawa Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data GenerationInternational Workshop on Automation of Software Test1-8 Show publication in PURE

O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová and B. Jüttler Arc triangulationsProc. 26th European Workshop on Computational Geometry (EuroCG'10)17-20 Show publication in PURE

Ansgar Bredenfeld, Alexander Hofmann and Gerald Steinbauer Robotics in Education Initiatives in Europe - Status, Shortcomings and Open QuestionsTeaching Robotics-Teaching with Robotics Workshop @ SIMPAR Show publication in PURE

[No Value] Zahid Hussain and Wolfgang Slany Analyzing real mobile web usage of a multimedia streaming application through log files11th ACM SIGMM International Conference on Multimedia Information Retrieval (MIR 2010)401-404 Show publication in PURE

Alexander Felfernig, Walid Maalej, Monika Mandl, Francesco Ricci and Monika Schubert Recommendation and Decision Technologies for Requirements EngineeringProceedings of the ICSE 2010 Workshop on Recommender Systems in Software Engineering1-5 Show publication in PURE

Harald Brandl, Martin Weiglhofer and Bernhard Aichernig Automated Conformance Verification of Hybrid SystemsProceedings of the 10th International Conference on Quality Software3-12 Show publication in PURE

Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous RobotsInternational Workshop on Principles of Diagnosis Show publication in PURE

Alexander Felfernig, Monika Mandl, Anton Pum and Monika Schubert Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based RecommendersTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems631-640 Show publication in PURE

Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set ComputationProceedings of the 10th International Conference on Quality Software Show publication in PURE

Jörg Weber and Franz Wotawa Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software FailuresInternational Conference on Agents and Artificial Intelligence Show publication in PURE

Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product ConfigurationProceedings for the 2010 International Conference on Intelligent User Interfaces317-320 Show publication in PURE

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)479-488 Show publication in PURE

Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISACProceedings of the International Conference on Interactive Computer-aided Learning (ICL 2010)1-4 Show publication in PURE

Christian Schwarzl and Bernhard Peischl Generation of Executable Test Cases Based on Behavioral UML System ModelsAST 20101-4 Show publication in PURE

Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model‐based DiagnosisProceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET)27-32 Show publication in PURE

Werner Schafhauser, Andreas Beer, Johannes Gaertner, Nysret Musliu and Wolfgang Slany TEMPLE - an end-user language for staff scheduling problemsThird international workshop on model-based metaheuristics???-??? Show publication in PURE

Franz Wotawa, Mihai Nica and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint SolverProc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)1-6 Show publication in PURE

Stefan Galler, Christoph Zehentner and Franz Wotawa AIana: An AI Planning System for Test Data Generation1st ECOOP Workshop on Testing Object-Oriented Systems1-8 Show publication in PURE

Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz Wotawa From Sketch to PlanInternational Workshop on Qualitative Reasoning Show publication in PURE

Alexander Felfernig, Monika Mandl, Stefan Schippel, Monika Schubert and Erich Teppan Adaptive Utility-based RecommendationTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems641-650 Show publication in PURE

Syed Nadeem Ahsan and Franz Wotawa Impact Analysis of SCRs Using Single and Multi-Label Machine Learning ClassificationInternational Symposium on Empirical Software Engineering and Measurement Show publication in PURE

Martin Weiglhofer and Bernhard Aichernig Unifying input output conformanceProceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland181-201 Show publication in PURE

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Model-Based Mutation Testing of Hybrid SystemsFormal Methods for Components and Objects228-249 Show publication in PURE

Mihai Nica, Simona Alina Nica and Franz Wotawa Does testing help to reduce the number of potentially faulty statement in debugging?TAIC PART 2010, Show publication in PURE

Mihai Nica, Simona Alina Nica and Franz Wotawa Using Distinguishing Tests to Reduce the Number of Fault CandidatesProceedings of the 21st International Workshop on the Principles of Diagnosis Show publication in PURE

Alexander Felfernig and Monika Schubert Diagnosing Inconsistent RequirementsECAI 2010 Workshop on Configuration15-20 Show publication in PURE

Alexander Felfernig Towards Persuasive Technologies for Improved Software QualityUMAP 2010 Workshop on User Models for Motivational Systems1-7 Show publication in PURE

Alexander Hofmann and Gerald Steinbauer The Regional Center Concept for RoboCupJunior in AustriaRobotics in Education Show publication in PURE

Christian Schwarzl and Bernhard Peischl Static- and Dynamic Cosistency Analysis of UML State Chart ModelsModel Driven Engineering Languages and Systems151-165 Show publication in PURE

Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Programming for Resource-Limited Embedded Systems with GologSimulation, Modeling, and Programming for Autonomous Robots229-240 Show publication in PURE

Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan and Richard Seeber RATSY - A new Requirements Analysis Tool with SynthesisComputer Aided Verification425-429 Show publication in PURE

Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Control for Resource-Limited Embedded Systems with GologECAI 2010 Workshop on "Intelligent Engineering Techniques for Knowledge Bases" (I-KBET'2010) Show publication in PURE

Harald Milchrahm, Wolfgang Slany and Andreas Holzinger Process Patterns for Agile UsabilityAdvances in Computer Human Interaction Show publication in PURE

Simona Alina Nica, Mihai Nica and Franz Wotawa Improving the Mutation Score by Means of Distinguishing Test CasesProceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10 Show publication in PURE

Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulationsProc. 22nd Annual Canadian Conference on Computational Geometry CCCG 201021-24 Show publication in PURE

Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problemHybrid Metaheuristics46-61 Show publication in PURE

Alexander Felfernig and Monika Schubert A Diagnosis Algorithm for Inconsistent Constraint Sets21st International Workshop on the Principles of Diagnosis0-0 Show publication in PURE

Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problemProceedings of PATAT 2010490-492 Show publication in PURE

Alexander Felfernig, Monika Schubert, Monika Mandl and Philipp Ghirardini Diagnosing Inconsistent Requirements Preferences in Distributed Software ProjectsProceedings of the 3rd International Workshop on Social Software Engineering495-502 Show publication in PURE

Christian Schwarzl and Bernhard Peischl Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition SystemsProceedings in Quality Software (QSIC) 2010122-131 Show publication in PURE

Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systemsProc. of Formal Methods for Components and Objects (FMCO) 2009228-249 Show publication in PURE

Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard Aichernig, Frank S. de Boer and Andreas Griesmayer The Credo Methodology - (Extended Version)Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers41-69 Show publication in PURE

Alexander Felfernig Impacts of Decoy Effects on the Decision Making AbilityIEEE Conference on E-Commerce and Enterprise Computing112-119 Show publication in PURE

Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint Sets2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases21-26 Show publication in PURE

Michael Hofbaur, Mathias Brandstötter, Christoph Schörghuber and Gerald Steinbauer On-line Kinematics Reasoning for Reconfigurable Robot DrivesRobotics and Automation (ICRA), 2010 IEEE International Conference on5441-5446 Show publication in PURE

Andreas Holzinger, Stefan Mayr, Wolfgang Slany and Matjaz Debevc The influence of AJAX on Web UsabilityProceedings of the International Conference on E-Business (ICE-B 2010), Athens124-127 Show publication in PURE

Alexander Ferrein, Tim Niemüller and Gerald Steinbauer Team Zadeat 2010 --- Application for ParticipationRoboCup International Symposium Show publication in PURE

Stefan Galler, Martin Weiglhofer and Franz Wotawa Synthesize it: from Design by Contract™to Meaningful Test Input DataSoftware Engineering and Formal Methods 20101-10 Show publication in PURE

Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz Debevc Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability researchProceedings of the International Conference on E-Business (ICE-B 2010), Athens14-21 Show publication in PURE

Thesis

Thomas Hackl Relaxing and lifting triangulations Show publication in PURE

Harald Milchrahm Agile Usability Processes Show publication in PURE

Other Article

Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets Show publication in PURE

Monika Schubert Recommendation and Decision Technologies For Requirements Engineering Show publication in PURE

Andreas Holzinger and Bernhard Peischl P.52 Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research Show publication in PURE

Harald Altinger, Michael Maier and Roland Angerbauer RoboCup Middle Size League Show publication in PURE

Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Vormittagskurs Show publication in PURE

Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC Show publication in PURE

Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Nachmittagskurs Show publication in PURE

Wolfgang Slany Mobile Scratch Programming on Android Smart Phones: Usability and New Features Show publication in PURE

Wolfgang Aigner Exact medial axis computation for circular arc boundaries Show publication in PURE

Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product Configuration Show publication in PURE