Publications of Group Aichernig

2024
Buchkapitel
Christoph Trattner, Alan Said, Ludovico Boratto and Alexander Felfernig Evaluating Group Recommender SystemsGroup Recommender Systems63-75
Alexander Felfernig and Martijn Willemsen Handling PreferencesGroup Recommender Systems95-107
Marko Tkalčič, Amra Delić and Alexander Felfernig Personality, Emotions, and Group DynamicsGroup Recommender Systems165-175
Alexander Felfernig, Ludovico Boratto, Martin Stettinger and Marko Tkalčič ConclusionsSignals and Communication Technology177-178
Beitrag in Fachzeitschrift
Oswin Aichholzer, Ruy Fabila-Monroy, Philipp Kindermann, Irene Parada, Rosna Paul, Daniel Perz, Patrick Schnider and Birgit Vogtenhuber Perfect Matchings with Crossings
Stefan Kutschera, Wolfgang Slany, Patrick Ratschiller, Sarina Gursch, Patrick Deininger and Håvard Dagenborg Incidental Data
Thomas Hirsch and Birgit Hofer Reducing the Length of Dynamic and Relevant Slices by Pruning Boolean Expressions
Lucia Vadicamo, Rahel Arnold, Werner Bailer, Fabio Carrara, Cathal Gurrin, Nico Hezel, Xinghan Li, Jakub Lokoc, Sebastian Lubos, Zhixin Ma, Nicola Messina, Thao Nhu Nguyen, Ladislav Peska, Luca Rossetto, Loris Sauter, Klaus Schoffmann, Florian Spiess, Minh Triet Tran and Stefanos Vrochidis Evaluating Performance and Trends in Interactive Video Retrieval
Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke and Franz Wotawa On the suitability of checked coverage and genetic parameter tuning in test suite reduction
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher and Martin Tappler Learning minimal automata with recurrent neural networks
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A framework for embedded software portability and verification
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs
Edi Muškardin, Martin Tappler, Bernhard K. Aichernig and Ingo Pill Active model learning of stochastic reactive systems (extended version)
Bernardo M. Ábrego, Silvia Fernández-Merchant, Oswin Aichholzer, Jesús Leaños and Gelasio Salazar There is a unique crossing-minimal rectilinear drawing of K_18
Oswin Aichholzer and Anna Brötzner Bicolored Order Types
Oswin Aichholzer, Joachim Orthaber and Birgit Vogtenhuber Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs
Bernhard Aichernig, Martin Tappler and Felix Wallner Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Tagungsbeitrag
Liliana Marie Prikler and Franz Wotawa 9 in 10 cameras agree Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024 219-223
Felix Wallner Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings 192-194
Kenneth Skiba, Matthias Thimm and Johannes Peter Wallner Ranking Transition-based Medical Recommendations using Assumption-based Argumentation Proceeding of RATIO 202-220
Simon Felix Jusner, Sebastian Schaffler-Gloessl, Stefan Moser, Richard Halatschek, Matthias Josef Eder and Gerald Steinbauer-Wagner A Mission Architecture for a Human-Robot Collaborative Planetary Exploration Cascade Proceedings of the International Conference on Space Robotics
Seda Polat Erdeniz, Ilhan Adiyaman, Tevfik Ince, Ata Gür and Alexander Felfernig ScoredKNN Foundations of Intelligent Systems 181-190
Edi Muškardin, Martin Tappler, Bernhard K. Aichernig and Ingo Pill Reinforcement Learning Under Partial Observability Guided by Learned Environment Models iFM 2023 - 18th International Conference, iFM 2023, Proceedings 257-276
Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran and Mathias Uta INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems Proceedings of the 38th AAAI Conference on Artificial Intelligence 10616-10623
Iosif Apostolakis Abstraction in Non-Monotonic Reasoning Proceedings AAMAS 2722-2724
Henry Förster, Philipp Kindermann, Tilmann Miltzow, Irene Parada, Soeren Terziadis and Birgit Vogtenhuber Geometric Thickness of Multigraphs is ∃R-Complete LATIN 2024 336-349
Helena Bergold, Stefan Felsner, Meghana M. Reddy, Joachim Orthaber and Manfred Scheucher Plane Hamiltonian Cycles in Convex Drawings 40th International Symposium on Computational Geometry, SoCG 2024
Matthias Josef Eder and Gerald Steinbauer-Wagner Robot-Dependent Traversability Estimation for Outdoor Environments using Deep Multimodal Variational Autoencoders 2024 IEEE International Conference on Robotics and Automation (ICRA)
Matthias Josef Eder and Gerald Steinbauer-Wagner Why Did My Robot Choose This Path? Explainable Path Planning for Off-Road Navigation 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)
Matthias Josef Eder, Clemens Könczöl, Julian Kienzl, Jochen Mosbacher, Bettina Kubicek and Gerald Steinbauer-Wagner Influence of Different Explanation Types on Robot-Related Human Factors in Robot Navigation Tasks 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)
Laurent Frering, Peter Mohr-Ziak, Clemens Könczöl, Jochen Mosbacher, Matthias Josef Eder, Dietrich Albert, Bettina Kubicek and Gerald Steinbauer-Wagner An Evaluation of Affordance Templates for Human-Robot Interaction 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)
Nicole Brosch, Pablo Eugui, Laurin Ginner, Christoph Feichtinger, Peter A. Leitl, Andreas Flanschger and Franz Wotawa Aerodynamic Efficiency Inspection of Micro-Structured Functional Surfaces AIAA SciTech Forum and Exposition, 2024
Martin Tappler and Bernhard K. Aichernig Differential Safety Testing of Deep RL Agents Enabled by Automata Learning Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings 138-159
Thomas Hirsch and Birgit Gertraud Hofer Predictive Reranking using Code Smells for Information Retrieval Fault Localization 2024 IEEE 22nd World Symposium on Applied Machine Intelligence and Informatics, SAMI 2024 - Proceedings 277-282
Felix Wallner, Bernhard K. Aichernig and Christian Burghard It’s Not a Feature, It’s a Bug ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering
Martin Tappler, Andrea Pferscher, Bernhard Aichernig and Bettina Könighofer Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering 27-39
Abschlussarbeit
Johannes Peter Wallner Computational Aspects of Formal Argumentation
Sonstiger Beitrag
Joachim Rupert Orthaber and Javier Tejel Counting Crossing-Free Structures in 2-Page-Book Drawings
M Uta, A Felfernig, VM Le, TNT Tran, D Garber, S Lubos and T Burgstaller Knowledge-based recommender systems
Yan Alves Radtke, Stefan Felsner, Johannes Obenaus, Sandro Roch, Manfred Scheucher and Birgit Vogtenhuber Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles
Iosif Apostolakis, Zeynep Saribatur and Johannes Peter Wallner Abstracting Assumptions in Structured Argumentation
2023
Buchkapitel
Tamim Burgstaller, Viet-Man Le, Thi Ngoc Trang Tran and Alexander Felfernig FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and DiagnosisECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings3190 - 3195
Birgit Hofer and Franz Wotawa Software fault localization in spreadsheetsHandbook of Software Fault Localization425-450
W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa and Dongcheng Li Software fault localizationHandbook of Software Fault Localization1-117
Gerhard Friedrich, Martin Gebser and Erich C. Teppan Symbolic Artificial Intelligence Methods for Prescriptive AnalyticsDigital Transformation385-414
Roxane Koitz-Hristov „Nicht für die Fachhochschule, sondern für das Leben lernen wir.“Teaching Award (Plus) 2022 – 2023 - Beste Lehre an der FH JOANNEUM47-54
Alexander Felfernig, Viet-Man Le and Sebastian Lubos Conjunctive Query Based Constraint Solving for Feature Model ConfigurationThe 12th Conference on Information Technology and Its Applications - Proceedings of the International Conference CITA 2023357–367
Bernhard Aichernig, Martin Horn, Kay Uwe Römer and Klaus Witrisal Dependable Internet of Future ProductsÖsterreichische Forschungskapazität in der Produktion
Birgit Hofer, Franz Wotawa, Wolfgang Mayer and Markus Stumptner Model-based techniques for software fault localizationHandbook of Software Fault Localization393-424
Beitrag in Fachzeitschrift
Sebastian Lubos, Alexander Felfernig and Markus Tautschnig An overview of video recommender systems: state-of-the-art and research issues
Stefan Kutschera, Wolfgang Slany, Patrick Ratschiller, Sarina Gursch and Håvard Dagenborg MRNG
Man-Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit Vogtenhuber Coloring circle arrangements: New 4-chromatic planar graphs
Thi Ngoc Trang Tran, Alexander Felfernig and Viet Man Le An overview of consensus models for group decision-making and group recommender systems
Seema Jehan and Franz Wotawa An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage
Marco De Bortoli, Peter Kohout, Dominik Lampel, Leo Fürbaß, Anna Masiero, Stefan Moser, Martin Nagele, Tobias Frick, Lukas Knoflach and Gerald Steinbauer-Wagner Approaching flexible production with planning methods
Thomas Schranz, Thomas Mach and Gerald Schweiger Das Internet der Dinge für die Energiewende
Matthias Eder, Raphael Prinz, Florian Schöggl and Gerald Steinbauer-Wagner Traversability analysis for off-road environments using locomotion experiments and earth observation data
Sarina Gursch, Stephan Robinig, Patrick Ratschiller, Stefan Kutschera and Wolfgang Slany From Smartphone to Fabric: Mobile Embroidery Programming
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Explaining software fault predictions to spreadsheet users
Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Parada, Daniel Perz, André van Renssen and Birgit Vogtenhuber Graphs with large total angular resolution
Seda Polat Erdeniz, Diether Kramer, Michael Schrempf, Peter P. Rainer, Alexander Felfernig, Trang N.T. Tran, Tamim Burgstaller and Sebastian Lubos Machine Learning Based Risk Prediction for Major Adverse Cardiovascular Events for ELGA-Authorized Clinics
Oswin Aichholzer, David Eppstein and Eva Maria Hainzl Geometric dominating sets - a minimum version of the No-Three-In-Line Problem
Alan Arroyo, Fabian Klute, Irene Parada, Birgit Vogtenhuber, Raimund Seidel and Tilo Wiedera Inserting One Edge into a Simple Drawing is Hard
Frits Vaandrager, Masoud Ebrahimi and Roderick Bloem Learning Mealy machines with one timer
Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Empty Triangles in Generalized Twisted Drawings of Kn
Florian Klück, Yihao Li, Jianbo Tao and Franz Wotawa An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems
Gerald Schweiger Can’t We Do Better? A cost-benefit analysis of proposal writing in a competitive funding environment
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
Yannic Maus Distributed Graph Coloring Made Easy
Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Torngren, Jose Manuel Gaspar Sanchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica and Hermann Felbinger Finding Critical Scenarios for Automated Driving Systems
Stefan Lengauer, Lin Shao, Magdalena Mayerhofer, Reinhold Preiner, Stephan Karl, Elisabeth Trinkl, Ivan Sipiran, Benjamin Bustos and Tobias Schreck Visual Exploration of Repetitive Patterns on Ancient Peruvian Pottery
Andrea Pferscher and Bernhard K. Aichernig Fingerprinting and analysis of Bluetooth devices with automata learning
Christoph Pilz, Peter Sammer, Esa Piri, Udo Grossschedl, Gerald Steinbauer-Wagner, Lukas Kuschnig, Alina Steinberger and Markus Schratter Collective Perception
Gerald Schweiger and Lynn Thiermeyer Modelling in engineering
Tagungsbeitrag
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann and Franz Wotawa Applying CT-FLA for AEB Function Testing Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 237-245
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner and Matti Järvisalo Argumentative Reasoning in ASPIC+ under Incomplete Information Proceedings KR 531-541
Oswin Aichholzer, Kristin Knorr, Wolfgang Mulzer, Nicolas El Maalouly, Johannes Obenaus, Rosna Paul, Meghana M. Reddy, Birgit Vogtenhuber and Alexandra Weinberger Compatible Spanning Trees in Simple Drawings of Kn Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers 16-24
Yavuz Koroglu and Franz Wotawa Bottleneck Analysis via Grammar-based Performance Fuzzing<sup>*</sup> Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 180-185
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter Wallner Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity Proceedings KR 440-450
Sebastian Lubos, Massimiliano Rubino, Christian Tautschnig, Markus Tautschnig, Boda Wen, Klaus Schoeffmann and Alexander Felfernig Perfect Match in Video Retrieval MultiMedia Modeling - 29th International Conference, MMM 2023, Proceedings 634-639
Ivan Majic, Johannes Scholz, Rizwan Bulbul and Stefanie Wallinger Tourist Flow Simulation in GAMA Using Historical Data Parameters Information and Communication Technologies in Tourism 2023 255-260
Oswin Aichholzer, Man Kwun Chiu, Hung P. Hoang, Michael Hoffmann, Jan Kynčl, Yannic Maus, Birgit Vogtenhuber and Alexandra Weinberger Drawings of Complete Multipartite Graphs up to Triangle Flips 39th International Symposium on Computational Geometry, SoCG 2023
Nour Chetouane and Franz Wotawa Generating concrete test cases from vehicle data using models obtained from clustering Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 70-77
Marco De Bortoli and Gerald Steinbauer-Wagner Evaluating Action-Based Temporal Planners Performance in the RoboCup Logistics League RoboCup 2022 87-99
Sebastian Lubos, Viet-Man Le, Alexander Felfernig and Thi Ngoc Trang Tran Analysis Operations for Constraint-based Recommender Systems RecSys '23: Proceedings of the 17th ACM Conference on Recommender Systems 709–714
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem and Dejan Ničković Attribute Repair for Threat Prevention Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Proceedings 135-148
Nour Chetouane and Franz Wotawa Using Data Abstraction for Clustering in the Context of Test Case Generation Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023 260-271
Marco De Bortoli, Lukáš Chrpa, Martin Gebser and Gerald Steinbauer-Wagner Enhancing Temporal Planning by Sequential Macro-Actions Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings 595-604
Axel Boström and Franz Wotawa Wireless Threats Against V2X Communication Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023 529-540
Marco De Bortoli and Gerald Steinbauer-Wagner Temporal Planning and Acting in Dynamic Domains RoboCup 2023: Robot World Cup XXVI
Marco De Bortoli, Lukáš Chrpa, Martin Gebser and Gerald Steinbauer-Wagner Improving Applicability of Planning in the RoboCup Logistics League using Macro-actions Refinement RoboCup 2023: Robot World Cup XXVI
Andrei Popescu and Johannes Peter Wallner Reasoning in Assumption-based Argumentation using Tree-decompositions Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings 192-208
Ledio Jahaj, Stalin Munoz Gutierrez, Thomas Walter Rosmarin, Franz Wotawa and Gerald Steinbauer-Wagner A Model-based diagnosis integrated architecture for dependable autonomous robots 34th International Workshop on Principles of Diagnosis (DX’23)
Sandra Wilfling, Masoud Ebrahimi, Qamar Alfalouji, Gerald Schweiger and Mina Basirat Learning Non-linear White-box Predictors: A Use Case in Energy Systems 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA) 507-512
Franz Welscher, Ivan Majic, Franziska Hübl, Rizwan Bulbul and Johannes Scholz Harnessing the Sunlight on Facades - an Approach for Determining Vertical Photovoltaic Potential 12th International Conference on Geographic Information Science (GIScience 2023) 82:1-82:7
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, Marco Polignano, Giovanni Semeraro and Martijn C. Willemsen 10th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'23) RecSys '23: Proceedings of the 17th ACM Conference on Recommender Systems 1255-1258
Dominik Rothschedl, Franz Welscher, Franziska Hübl, Ivan Majic, Daniele Giannandrea, Matthias Wastian, Johannes Scholz and Niki Popper Calculating Shadows with U-Nets for Urban Environments 12th International Conference on Geographic Information Science (GIScience 2023) 63:1-63:6
Matthias Josef Eder and Gerald Steinbauer-Wagner Predicting Energy Consumption and Traversal Time of Ground Robots for Outdoor Navigation on Multiple Types of Terrain 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Thomas Eckstein, Marco De Bortoli and Gerald Steinbauer-Wagner Fixing PDDL Domains Using Delta Debugging 34th International Workshop on Principle of Diagnosis
José A. Galindo, José-Miguel Horcas, Alexander Felfernig, David Fernandez-Amoros and David Benavides FLAMA: A Collaborative Effort to Build a New Framework for the Automated Analysis of Feature Models SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference 16–19
David Beikircher, Marco De Bortoli, Leo Fürbaß, Thomas Martin Kernbauer, Peter Kohout, Dominik Lampel, Anna Masiero, Stefan Moser, Martin Nagele and Gerald Steinbauer-Wagner Robust Integration of Planning, Execution, Recovery and Testing to Win the RoboCup Logistics League RoboCup 2023: Robot World Cup XXVI
Liliana Marie Prikler and Franz Wotawa A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 431-442
Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José A. Zamudio and Damian Garber Analysis Operations On The Run 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings 111–116
Sarina Gursch, Luciana Ayciriex, Yolanda Ursa, Stefan Kutschera, Wolfgang Slany, Janina Onuki and Gabriela Ferreira Perspectives on Gender Mainstreaming in International Cooperation in STI: A Comparative Study Proceedings of the 6th International Conference on Gender Research, ICGR 2023 146-154
Selim Solmaz, Georg Stettinger and Franz Wotawa Residual Risk Management Strategies at System Level presented for ACC/LKA Behavioural Competencies IAVVC 2023 - IEEE International Automated Vehicle Validation Conference, Proceedings
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José Galindo and Thi Ngoc Trang Tran FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis AAAI-23 Technical Tracks 5 6442-6449
Alexander Perko, Haoran Zhao and Franz Wotawa Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 211-222
Thomas Hirsch and Franz Wotawa Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 698-709
Yavuz Koroglu and Franz Wotawa Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023 167-170
Hamid Didari Khamseh Motlagh and Gerald Steinbauer-Wagner LiDAR-Based Scene Understanding for Navigation in Unstructured Environments Advances in Service and Industrial Robotics - RAAD 2023 178-185
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law Learning to Break Symmetries for Efficient Optimization in Answer Set Programming Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 6541-6549
Benjamin Ritz, Alexander Felfernig, Viet-Man Le and Sebastian Lubos Solving Multi-Configuration Problems Proceedings of the 25th International Workshop on Configuration (ConfWS 2023) 45-50
Christoph Grunau, Rustam Latypov, Yannic Maus, Shreyas Pai and Jara Uitto Conditionally Optimal Parallel Coloring of Forests 37th International Symposium on Distributed Computing, DISC 2023
Martin Kandlhofer, Petra Francesca Weixelbraun, Manuel Menzinger, Gerald Steinbauer-Wagner and Ágoston Kemenesi Education and Awareness for Artificial Intelligence Informatics in Schools
Oswin Aichholzer, Stefan Felsner, Rosna Paul, Manfred Scheucher and Birgit Vogtenhuber Bichromatic Perfect Matchings with Crossings Graph Drawing and Network Visualization 124-132
Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem and Bettina Könighofer Safety Shielding under Delayed Observation Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) 80-85
Oswin Aichholzer, Kristin Knorr, Wolfgang Mulzer, Johannes Obenaus, Rosna Paul and Birgit Vogtenhuber Flipping Plane Spanning Paths WALCOM 49-60
Oswin Aichholzer, Joachim Orthaber and Birgit Vogtenhuber Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023) 33:1-33:7
Oswin Aichholzer and Anna Brötzner Two Equivalent Representations of Bicolored Order Types Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023) 1:1-1:6
Oswin Aichholzer, Stefan Felsner, Rosna Paul, Manfred Scheucher and Birgit Vogtenhuber Bichromatic Perfect Matchings with Crossings Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023) 28:1-28:7
Manuela Fischer, Magnús M. Halldórsson and Yannic Maus Fast Distributed Brooks' Theorem. Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023. 2567-2588
Alkida Balliu, Rustam Latypov, Yannic Maus, Dennis Olivetti and Jara Uitto Optimal Deterministic Massively Parallel Connectivity on Forests Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2589-2631
Jakob Oberpertinger, Matthias Josef Eder and Gerald Steinbauer-Wagner A Universal Person Follower Interface for Mobile Robot Systems Proceedings of the Austrian Robotics Workshop 2023
Helmut Zöhrer, Josef Wachtler and Martin Ebner Developing an Addition and Subtraction Trainer with Automated Categorization of Errors for Learners in Their First Two Years of Primary School Proceedings of EdMedia + Innovate Learning 2023 832-843
Raphael Hoheneder, Alexander Buchegger, Hamid Didari Khamseh Motlagh, Matthias Josef Eder, Konstantin Mautner-Lassnig, Clemens Mühlbacher and Gerald Steinbauer-Wagner An Event-Based Approach to Autonomous Navigation Proceedings of the Austrian Robotics Workshop 2023
Mohammed M.S. El-Kholany, Ramsha Ali and Martin Gebser Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings 243-252
Matthias Josef Eder, Laurent Frering and Gerald Steinbauer-Wagner Gaining Insights into a Robot Localization Monitor Using Explainable Artificial Intelligence Advances in Service and Industrial Robotics - RAAD 2023 170-177
Franz Wotawa, Ledio Jehaj and Nicole Brosch On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings 40-51
Laurent Frering, Clemens Koenczoel, Jochen A. Mosbacher, Martina Kames, Matthias Josef Eder, Peter Mohr-Ziak, Sebastian Gabl, Denis Kalkofen, Dietrich Albert, Bettina Kubicek and Gerald Steinbauer-Wagner Impact of Robot Related User Pre-experience on Cognitive Load, Trust, Trustworthiness and Satisfaction with VR Interfaces Advances in Service and Industrial Robotics. RAAD 2023 123-131
Phoebe de Nooijer, Soeren Terziadis, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler and Günter Rote Removing Popular Faces in Curve Arrangements Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Revised Selected Papers 18-33
Oswin Aichholzer, Birgit Vogtenhuber and Alexandra Weinberger Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Revised Selected Papers 34-50
Ramsha Ali, Mohammed M.S. El-Kholany and Martin Gebser Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper) Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings 85-95
Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Empty Triangles in Generalized Twisted Drawings of K<sub>n</sub> Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers 40-48
Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber and Alexandra Weinberger Shooting Stars in Simple Drawings of K<sub>m</sub> <sub>,</sub> <sub>n</sub> Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers 49-57
Oswin Aichholzer, Kristin Knorr, Wolfgang Mulzer, Nicolas El Maalouly, Johannes Obenaus, Rosna Paul, Meghana M. Reddy, Birgit Vogtenhuber and Alexandra Weinberger Compatible Spanning Trees in Simple Drawings of K<sub>n</sub> Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers 16-24
Georg Stettinger and Franz Wotawa Smart Monitoring for Safety-Assurance in Autonomous Driving Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE 542-547
Franz Wotawa Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems Advances and Trends in Artificial Intelligence. Theory and Applications 33-44
Yannic Maus, Saku Peltonen and Jara Uitto Distributed Symmetry Breaking on Power Graphs via Sparsification PODC 2023 - Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing 157-167
Yavuz Koroglu and Franz Wotawa Towards a Review on Simulated ADAS/AD Testing Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023 112-122
Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Thi Minh Ngoc Chau and Thu Giang Mai User Needs for Explanations of Recommendations UMAP 2023 - Proceedings of the 31st ACM Conference on User Modeling, Adaptation and Personalization 54-65
Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber and Alexandra Weinberger Shooting Stars in Simple Drawings of $K_{m,n}$ Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers 49–57
Chetan Gupta, Rustam Latypov, Yannic Maus, Shreyas Pai, Simo Särkkä, Jan Studený, Jukka Suomela, Jara Uitto and Hossein Vahidi Fast Dynamic Programming in Trees in the MPC Model SPAA 2023 - Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures 443-453
Seda Polat Erdeniz, Michael Schrempf, Diether Kramer, Peter P. Rainer, Alexander Felfernig, Trang Tran, Tamim Burgstaller and Sebastian Lubos Computational Evaluation of Model-Agnostic Explainable AI Using Local Feature Importance in Healthcare Artificial Intelligence in Medicine - 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Proceedings 114-119
Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Empty Triangles in Generalized Twisted Drawings of $K_n$ Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers 40–48
Rustam Latypov, Jakub Łacki, Yannic Maus and Jara Uitto Adaptive Massively Parallel Connectivity in Optimal Space SPAA 2023 - Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures 431-441
Sonstiger Beitrag
Sebastian Lubos, Alexander Felfernig and Viet-Man Le Specifying Configurable Videos with Feature Models
Liliana Marie Prikler and Franz Wotawa A Systematic Mapping Study of DigitalTwins for Diagnosis in Transportation
Franz Wotawa Surveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault Localization
Michael Reisenbichler, Franz Wotawa, Keith O'Donovan, Carles Ribas Tugores and Franz Hengel LargeTESModelingToolkit: A Modelica Library for Large-scale Thermal Energy Storage Modeling and Simulation
Lorenz Klampfl and Franz Wotawa Identifying Critical Scenarios in Autonomous Driving During Operation
Joachim Rupert Orthaber Crossing Minimal and Generalized Convex Drawings: 2 Non-Hard Problems
Laurent Frering, Armin Koefler, Michael Huber, Sandra Pfister, Richard Feischl, Alexander Almer and Gerald Steinbauer-Wagner Multi-Robot Support System for Fighting Wildfires in Challenging Environments: System Design and Field Test Report
Alexander Felfernig, Viet-Man Le, Albert Haag and Sebastian Lubos Solving Constraint Satisfaction Problems with Database Queries: An Overview
Andreas Hofbauer and Alexander Felfernig Game-based Configuration Task Learning with ConGuess: An Initial Empirical Analysis
Damian Garber, Tamim Burgstaller, Alexander Felfernig, Viet-Man Le, Sebastian Lubos, Trang Tran and Seda Polat Erdeniz Collaborative Recommendation of Search Heuristics For Constraint Solvers
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner and Sandra König A Systematic Approach to Automotive Security
Hamid Didari Khamseh Motlagh, Eva Maria Reitbauer, Christoph Schmied, Matthias Josef Eder, Stephan Schraml, Nizar Aourik, Marius Feilhauer, Rene Kastner, Roland Hieslmayr and Gerald Steinbauer-Wagner ROBO-MOLE: An assistant robot system for first responders in subterranean scenarios
Christian Pasero and Johannes Peter Wallner k-Solutions: A Solver for the Dynamic Track of ICCMA 2023
Andrei Popescu and Johannes Peter Wallner A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions
Matthias Josef Eder and Gerald Steinbauer-Wagner Optimierung des Energieverbrauchs und der Durchquerungszeit von Bodenrobotern für die Navigation im unwegsamen Gelände
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes Peter Wallner AcbAr - Atomic-based Argumentation Solver
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo ASPforABA - ASP-based Algorithms for Reasoning in ABA
Thomas Hirsch and Birgit Gertraud Hofer The MAP Metric in Information Retrieval Fault Localization
2022
Book
Ovidiu Vermesan, Franz Wotawa, Mario Diaz Nava and Björn Debaillie Industrial Artificial Intelligence Technologies and Applications9788770227919
Buchkapitel
Anthony Jameson, Martijn C. Willemsen and Alexander Felfernig Individual and Group Decision Making and Recommender SystemsRecommender Systems Handbook789-832
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
Franz Wotawa and Hong Zhu Message from the General Chairs AITest 2022Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022VII
W. Eric Wong, Franz Wotawa, Liwei Zheng, Tugkan Tuglular and Hongji Yang Message from the Symposium ChairsProceedings - 2022 8th International Symposium on System Security, Safety, and Reliability, ISSSR 2022X-XI
Miquel Sànchez-Marrè and Franz Wotawa Model-Driven Intelligent Decision Support SystemsIntelligent Decision Support Systems117-223
Miquel Sànchez-Marrè and Franz Wotawa The Use of Intelligent Models in Decision SupportIntelligent Decision Support Systems411-530
Angelo Gargantini and Franz Wotawa General Message from the IWCT 2022 Workshop ChairsProceedings of the International Workshop on Combinatorial Testingxiv
Proceedings
Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm and Johannes Peter Wallner Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation
Beitrag in Fachzeitschrift
Stefan Kutschera Incidental data: observation of privacy compromising data on social media platforms
Seda Polat Erdeniz, Sai Veeranki, Michael Schrempf, Stefanie Jauk, Thi Ngoc Trang Tran, Alexander Felfernig, Diether Kramer and Werner Leodolter Explaining Machine Learning Predictions of Decision Support Systems in Healthcare
Thomas Hirsch and Birgit Gertraud Hofer Using textual bug reports to predict the fault category of software bugs
Nour Chetouane and Franz Wotawa On the application of clustering for extracting driving scenarios from vehicle data
Thomas Hirsch and Birgit Gertraud Hofer Detecting non-natural language artifacts for de-noising bug reports
Thomas Hirsch and Birgit Gertraud Hofer A systematic literature review on benchmarks for evaluating debugging approaches
Clemens Huemer, Deborah Oliveros, Pablo Pérez-Lantero, Ferran Torra and Birgit Vogtenhuber On Weighted Sums of Numbers of Convex Polygons in Point Sets
Alan Arroyo, Fabian Klute, Irene Parada, Birgit Vogtenhuber, Raimund Seidel and Tilo Wiedera Inserting One Edge into a Simple Drawing is Hard
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Spreadsheet debugging
Yannic Maus and Tigran Tonoyan Linial for lists.
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
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
Lorenz Klampfl, Florian Klück and Franz Wotawa Using genetic algorithms for automating automated lane‐keeping system testing
Alice Tarzariol, Konstantin Schekotihin, Martin Gebser and Mark Law Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
Mohammed M.S. El-Kholany, Martin Gebser and Konstantin Schekotihin Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman Molla Greedy routing and the algorithmic small-world phenomenon.
Bernhard Peischl, Oliver A. Tazl and Franz Wotawa Testing anticipatory systems
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting symmetry breaking constraints with inductive logic programming
Mario Alviano, Wolfgang Faber and Martin Gebser Aggregate Semantics for Propositional Answer Set Programs
Matthias Raddant and Hiroshi Takahashi Interdependencies of female board member appointments
Matthias Raddant and Hiroshi Takahashi Corporate boards, interorganizational ties and profitability: the case of Japan
R. Prinz, R. Bulbul, J. Scholz, Matthias Josef Eder and G. Steinbauer-Wagner Off-Road Navigation Maps for Robotic Platforms using Convolutional Neural Networks
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
Matthias Eder, Emanuel Moser, HOLZINGER Andreas, Claire Jean-Quartier and Fleur Jeanquartier Interpretable Machine Learning with Brain Image and Survival Data
Edi Muskardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher and Martin Tappler AALpy: an active automata learning library
Oswin Aichholzer, David Eppstein and Eva-Maria Hainzl Geometric Dominating Sets
Oswin Aichholzer, Alan Arroyo, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec and Birgit Vogtenhuber On Compatible Matchings
Oswin Aichholzer, Jan Kynčl, Manfred Scheucher, Birgit Vogtenhuber and Pavel Valtr On crossing-families in planar point sets
Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin and Birgit Vogtenhuber Drawing Graphs as Spanners
Raghu N. Kacker, D. Richard Kuhn, Yu Lei and Dimitris E. Simos Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space
Stefan Felsner, Alexander Pilz and Patrick Schnider Arrangements of Approaching Pseudo-Lines
Edi Muškardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher and Martin Tappler AALpy: An active automata learning library
Franz Wotawa and David Kaufmann Model-based reasoning using answer set programming
Tagungsbeitrag
Lea Zinkanell, Matthias Josef Eder and Gerald Steinbauer-Wagner Estimation of Robot-Specific Parameters for Robot Motion Models Proceedings of the Austrian Robotics Workshop 2022 42-47
David Kaufmann and Franz Wotawa A Framework for Integrating Automated Diagnosis into Simulation Industrial Artificial Intelligence Technologies and Applications 113-127
Sandra Wilfling, Basak Falay, Qamar Alfalouji, Johannes Exenberger, Thomas Schranz, Mina Basirat and Gerald Schweiger Smart Energy Systems Modeling - Component Exchange during Simulation Proceedings from the 2nd International Sustainable Energies Conference 2022
Franz Wotawa and Oliver Tazl On the Verification of Diagnosis Models Industrial Artificial Intelligence Technologies and Applications 189-203
Sandra Wilfling, Basak Falay, Qamar Alfalouji and Gerald Schweiger A Dymola-Python framework for data-driven model creation and co-simulation Proceedings of Asian Modelica Conference 2022, Tokyo, Japan, November 24-25, 2022 165-170
Seda Polat Erdeniz, Michael Schrempf, Diether Kramer and Alexander Felfernig A Comparative Study: Classification Vs. Matrix Factorization for Therapeutics Recommendation Foundations of Intelligent Systems - 26th International Symposium, ISMIS 2022, Proceedings 467-476
Oswin Aichholzer, Man-Kwun Chiu, Phuc Hung Hoang, Michael Hoffmann, Yannic Maus, Birgit Vogtenhuber and Alexandra Weinberger Gioan’s Theorem for complete bipartite graphs Proc. $38^th$ European Workshop on Computational Geometry (EuroCG 2022) 31:1-31:6
Sarina Gursch Coding Initiative Provides Different Approaches to Inspire Girls for Programming 30th International Conference on Computers in Education Conference Proceedings 655-659
Daniel Bertschinger, Henry Förster and Birgit Vogtenhuber Intersections of Double-Wedge Arrangements Proc. 38th European Workshop on Computational Geometry (EuroCG 2022) 58:1-58:6
Ningran Xu, Ivan Majic and Martin Tomko Perceptions of Qualitative Spatial Arrangements of Three Objects 15th International Conference on Spatial Information Theory (COSIT 2022) 9:1-9:14
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem and Kim Guldstrand Larsen Automata Learning meets Shielding Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings 335-359
Masoud Ebrahimi, Christoph Striessnig, Joaquim Castella Triginer and Christoph Schmittner Identification and Verification of Attack-Tree Threat Models in Connected Vehicles SAE 2022 Intelligent and Connected Vehicles Symposium
Thomas Schranz, Qamar Alfalouji, Thomas Hirsch and Gerald Schweiger An Open IoT Platform 2022 2nd International Conference on Sustainable Mobility Applications, Renewables and Technology, SMART 2022 1-9
Liliana Marie Prikler and Franz Wotawa Challenges of testing self-adaptive systems 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 224-228
Matthias Josef Eder, Raphael Benjamin Prinz, Florian Schöggl and Gerald Steinbauer-Wagner Generating Robot-Dependent Cost Maps for Off-Road Environments Using Locomotion Experiments and Earth Observation Data 2022 Sixth IEEE International Conference on Robotic Computing (IRC)
Magnús M. Halldórsson, Yannic Maus and Alexandre Nolin Fast Distributed Vertex Splitting with Applications. 36th International Symposium on Distributed Computing (DISC 2022) 26:1-26:24
Alkida Balliu, Sebastian Brandt, Manuela Fischer, Rustam Latypov, Yannic Maus, Dennis Olivetti and Jara Uitto Exponential Speedup over Locality in MPC with Optimal Memory. 36th International Symposium on Distributed Computing (DISC 2022) 9:1-9:21
Stefan Kutschera, Wilhelm Zugaj and Wolfgang Slany Appraisal of a Random Bit Generator Utilizing Smartphone Sensors as Entropy Source 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2022
Tuomo Lehtonen, Johannes P. Wallner and Matti Järvisalo Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 215-225
Bernhard Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt and Martin Tappler Constrained Training of Recurrent Neural Networks for Automata Learning Software Engineering and Formal Methods
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs 38th International Symposium on Computational Geometry (SoCG 2022) 5:1--5:18
Ledio Jahaj and Franz Wotawa Testing Photometric Stereo Applications Proceedings - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022 163-171
Thomas Hirsch and Birgit Gertraud Hofer Pruning Boolean Expressions to Shorten Dynamic Slices 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)
Oswin Aichholzer, Julia Obmann, Pavel Paták, Daniel Perz, Josef Tkadlec and Birgit Vogtenhuber Disjoint Compatibility via Graph Classes Graph-Theoretic Concepts in Computer Science - 48th International Workshop, WG 2022, Revised Selected Papers 16-28
Adil Mukhtar, Birgit Gertraud Hofer, Dietmar Jannach, Franz Wotawa and Konstantin Schekotihin Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
Toine Bogers, Cataldo Musto, David Wang, Alexander Felfernig, Simone Borg Bruun, Giovanni Semeraro and Yong Zheng FinRec RecSys 2022 - Proceedings of the 16th ACM Conference on Recommender Systems 688-690
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, Marco Polignano, Giovanni Semeraro and Martijn C. Willemsen Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'22) RecSys 2022 - Proceedings of the 16th ACM Conference on Recommender Systems 667-670
Franz Wotawa and Horst Lewitschnig Monitoring Hierarchical Systems for Safety Assurance Intelligent Distributed Computing XIV 331-340
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 Innovation Proceedings of the 5th International Conference on Gender Research 88-96
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein and Philipp Schrott-Kostwein Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 638-646
Oliver A. Tazl, Christopher Tafeit, Franz Wotawa and Alexander Felfernig DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering 481-486
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming (Extended Abstract) Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning
Oswin Aichholzer, Thomas Hackl, Maarten Löffler, Alexander Pilz, Irene Parada, Manfred Scheucher and Birgit Vogtenhuber Blocking Delaunay Triangulations from Exterior Proc. 38th European Workshop on Computational Geometry (EuroCG 2022) 9:1-9:7
Oswin Aichholzer, Kristin Knorr, Maarten Löffler, Zuzana Masárová, Wolfgang Mulzer, Johannes Obenaus, Rosna Paul and Birgit Vogtenhuber Flipping Plane Spanning Paths Proc. 38th European Workshop on Computational Geometry (EuroCG 2022) 66:1-66:7
Oswin Aichholzer, Erik D. Demaine, Matias Korman, Anna Lubiw, Jayson Lynch, Zuzana Masárová, Mikhail Rudoy, Virginia Vassilevska Williams and Nicole Wein Hardness of Token Swapping on Trees 30th Annual European Symposium on Algorithms, ESA 2022
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 System Web and Wireless Geographical Information Systems 61-70
Andrea Pferscher and Bernhard Aichernig Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning NASA Formal Methods 373-392
Nour Chetouane and Franz Wotawa Extracting Temporal Models from Data Episodes Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022 721-731
Adrian Haret and Johannes Peter Wallner An Axiomatic Approach to Revising Preferences Proceedings AAAI 2022 5676-5683
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework Proceedings KR 215-225
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter Wallner Representing Abstract Dialectical Frameworks with Binary Decision Diagrams Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings 177-189
Mathias Uta, Alexander Felfernig, Denis Helic and Viet-Man Le Accuracy- and consistency-aware recommendation of configurations. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 79-84
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Algorithms for reasoning in a default logic instantiation of assumption-based argumentation Computational Models of Argument - Proceedings of COMMA 2022 236-247
Viet-Man Le, Alexander Felfernig, Mathias Uta, Thi Ngoc Trang Tran and Cristian Vidal Silva WipeOutR: automated redundancy detection for feature models. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 164-169
Michael Reisenbichler, Keith O'Donovan, Carles Ribas Tugores, Wim van Helden and Franz Wotawa Towards More Efficient Modeling and Simulation of Large-scale Thermal Energy Storages in Future Local and District Energy Systems BS 2021 - Proceedings of Building Simulation 2021 2155-2162
Markus Ulbricht and Johannes Peter Wallner Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation Computational Models of Argument - Proceedings of COMMA 2022 320-331
Andreas Hofbauer and Alexander Felfernig ConGuess: a learning environment for configuration tasks. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 156-157
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac and Johannes Peter Wallner ADF-BDD: An ADF Solver Based on Binary Decision Diagrams Computational Models of Argument - Proceedings of COMMA 2022 355-356
Viet-Man Le, Alexander Felfernig and Thi Ngoc Trang Tran Test case aggregation for efficient feature model testing. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 174-177
Viet-Man Le, Thi Ngoc Trang Tran and Alexander Felfernig Consistency-based integration of multi-stakeholder recommender systems with feature model configuration. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 178-182
Franz Wotawa and Vlad Andrei Dumitru The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Proceedings 543-554
Sebastian Lubos, Markus Tautschnig, Alexander Felfernig and Viet-Man Le Knowledge-based configuration of videos using feature models. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 188-192
Eva Maria Reitbauer, Christoph Schmied and Hamid Didari Khamseh Motlagh Subterranean positioning for a semi-autonomous robot supporting emergency task forces 2022 International Conference on Localization and GNSS (ICL-GNSS)
Alexander Felfernig, Bettina Ortner and Viet-Man Le Table-based knowledge representations for industrial feature models. 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 245-248
Keren Censor-Hillel, Yannic Maus, Shahar Romem Peled and Tigran Tonoyan Distributed Vertex Cover Reconfiguration Distributed Vertex Cover Reconfiguration 36:1-36:23
Luca Gazzola, Leonardo Mariani, Matteo Orru, Mauro Pezze and Martin Tappler Testing Software in Production Environments with Data from the Field Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022 58-69
Benjamin Kovacs, Pierre Tassel, Ramsha Ali, Mohammed El-Kholany, Martin Gebser and Georg Seidel A Customizable Simulator for Artificial Intelligence Research to Schedule Semiconductor Fabs 2022 33rd Annual SEMI Advanced Semiconductor Manufacturing Conference, ASMC 2022
Roderick Bloem, Lazaro Alberto Larrauri Borroto, Roland Lengfeldner, Cristinel Mateis, Dejan Ničković and Björn Ziegler Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022 21-24
Edi Muškardin, Bernhard K. Aichernig, Ingo Pill and Martin Tappler Learning Finite State Models fromRecurrent Neural Networks Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings 229-248
Martin Tappler, Filip Cano Córdoba, Bernhard Aichernig and Bettina Könighofer Search-Based Testing of Reinforcement Learning Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022) 503-510
Martin Tappler, Bernhard K. Aichernig and Florian Lorber Timed Automata Learning via SMT Solving NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings 489-507
Stefan Kocher, Saeed Safikhani and Johanna Pirker Work-In-Progress - Exploring the Feasibility of Using Hand Tracking in VR Application for Memory Training Exercises Proceedings of 2022 8th International Conference of the Immersive Learning Research Network, iLRN 2022
Werner Bailer, Hermann Fürntratt, Manfred Klopschitz, Dominik Lampel, Roman Lesjak, Matthias Rüther, Susanne Schweitzer and Gerald Steinbauer-Wagner Passive Guidance for Offroad-Vehicles Advances in Service and Industrial Robotics - RAAD 2022 460-468
Oswin Aichholzer, Ruy Fabila-Monroy, Philipp Kindermann, Irene Parada, Rosna Paul, Daniel Perz, Patrick Schnider and Birgit Vogtenhuber Perfect Matchings with Crossings Combinatorial Algorithms 46-59
Matej Gustin, Christina Johanna Hopfe, Gerald Schweiger, Simone Petrosino, Saeed Safikhani, Johanna Pirker, Masoud Ebrahimi, Sandra Wilfling and Robert Scot McLeod A Novel Concept For Virtual Reality Enhanced Building Energy Modelling Proceedings of the BauSIM Conference 2022 in Weimar, Germany
Bernhard Aichernig, Edi Muškardin and Andrea Pferscher Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment 1-19
Matthias Josef Eder and Gerald Steinbauer-Wagner A Fast Method for Explanations of Failures in Optimization-Based Robot Motion Planning Advances in Service and Industrial Robotics - RAAD 2022 114-121
P. A. Leitl, C. Feichtinger, I. Ortiz de Viñaspre, A. Flanschger, F. Wotawa, J. W. Naugthon and F. A. Mier Numerical and experimental study of riblet defects and their impact on performance AIAA SciTech Forum 2022
Oswin Aichholzer, Johannes Obenaus, Joachim Orthaber, Rosna Paul, Patrick Schnider, Raphael Steiner, Tim Taubner and Birgit Vogtenhuber Edge Partitions of Complete Geometric Graphs 38th International Symposium on Computational Geometry (SoCG 2022) 6:1-6:16
Hamid Didari Khamseh Motlagh, Eva Maria Reitbauer, Christoph Schmied and Gerald Steinbauer-Wagner A Low-Drift LiDAR-based Odometry for Subterranean Areas Proceedings of the Austrian Robotics Workshop 2022 17-22
Wendelin Walch, Matthias Josef Eder, Gerald Steinbauer-Wagner and Konstantin Mautner-Lassnig Offroad Terrain Classification for Mobile Robots Proceedings of the Austrian Robotics Workshop 2022 6-11
Mohammed M.S. El-Kholany, Konstantin Schekotihin and Martin Gebser Decomposition-Based Job-Shop Scheduling with Constrained Clustering Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Proceedings 165-180
Herbert Mühlburger and Franz Wotawa A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022 42-47
Abschlussarbeit
Joachim Orthaber Crossing-Free Hamiltonian Cycles in Simple Drawings of the Complete Graph
Technischer Bericht
Gerald Schweiger, Johannes Exenberger, Johanna Pirker, Saeed Safikhani, Julian Murschetz, Michael Monsberger, Hermann Edtmayer, Lisa-Marie Fochler and Thomas Mach Künstliche Intelligenz für die Erstellung von CityGML Modellen und VR Visualisierung
Sonstiger Beitrag
Markus Tranninger, Stalin Munoz Gutierrez, Gerald Strommer, Richard Halatschek and Gerald Steinbauer-Wagner Model-Based Diagnosis for Autonomous Robots
Franz Wotawa Using ASP for Model-based Diagnosis
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming (Extended Abstract)
Oswin Aichholzer, Man-Kwun Chiu, Phuc Hung Hoang, Michael Hoffmann, Yannic Maus, Birgit Vogtenhuber and Alexandra Weinberger Gioan’s Theorem for complete bipartite graphs
Phoebe de Nooijer, Soeren Nickel, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler and Günter Rote Removing Popular Faces in Curve Arrangements by Inserting one more Curve
Lorenz Klampfl and Franz Wotawa On the Use of Qualitative Reasoning in Autonomous Driving
Daniel Krenn, Matthias Josef Eder and Gerald Steinbauer-Wagner Ground Robots in Disaster Response – Why are they still not there?
Roxane Koitz-Hristov, Lukas Stracke and Franz Wotawa Checked Coverage for Test Suite Reduction – Is It Worth the Effort?
Laurent Frering, Matthias Josef Eder, Bettina Kubicek, Dietrich Albert, Denis Kalkofen, Thomas Gschwandtner, Heimo Krajnz and Gerald Steinbauer-Wagner Enabling and Assessing Trust when Cooperating with Robots in Disaster Response (EASIER)
Stalin Munoz Gutierrez and Gerald Steinbauer-Wagner The Need for a Meta-Architecture for Robot Autonomy
2021
Buchkapitel
Alexander Felfernig, Thi Ngoc Trang Tran and Viet-Man Le Recommender Systems Beyond E-Commerce: Presence and FutureConsumer Happiness: Multiple Perspectives203-230
Man Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit Vogtenhuber Coloring Circle ArrangementsTrends in Mathematics84-91
Frédéric Loulergue and Franz Wotawa PrefaceTests and Proofsv-vi
Alexander Felfernig AI Techniques for Software Requirements PrioritizationArtificial Intelligence Methods For Software Engineering29-47
Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar Jannach AI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399
Wolfgang Mayer and Franz Wotawa Artificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435
Nour Chetouane and Franz Wotawa On the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268
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
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
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
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
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly and Johannes Peter Wallner Enforcement in Formal ArgumentationHandbook of Formal Argumentation445-510
W. Eric Wong, T. H. Tse, Franz Wotawa, Xianpeng Wang, Katerina Goseva-Popstojanova, Henrique Madeira and Zheng Zheng Message from the QRS 2021 Steering Committee Chairs, General Chairs, and Program Chairs2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)xviii-xx
Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit Vogtenhuber No Selection Lemma for Empty TrianglesTrends in Mathematics720-725
Franz Wotawa, Florian Klück, Martin Zimmermann, Mihai Nica, Hermann Felbinger, Jianbo Tao and Yihao Li Recent verification and validation methodologies for advanced driver-assistance systemsAutonomous Driving and Advanced Driver-Assistance Systems (ADAS)295-318
Proceedings
Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak Logics in Artificial Intelligence
Martin Stettinger, Gerhard Leitner, Alexander Felfernig and Zbigniew W Ras Intelligent Systems in Industrial Applications
Beitrag in Fachzeitschrift
Seda Polat Erdeniz, Alexander Felfernig and Müslüm Atas Applying matrix factorization to consistency-based direct diagnosis
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides and José Galindo DIRECTDEBUG
Iva Ridjan Skov, Noémi Schneider, Gerald Schweiger, Josef Peter Schöggl and Alfred Posch Power-to-x in Denmark
Josip Božić Ontology-based metamorphic testing for chatbots
Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig Education in Artificial Intelligence K-12
Alexander Pilz and Patrick Schnider Bisecting three classes of lines
Elisabeth Lex, Dominik Kowald, Paul Seitlinger, Thi Ngoc Trang Tran, Alexander Felfernig and Markus Schedl Psychology-informed recommender systems
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
Thi Ngoc Trang Tran, Alexander Felfernig and Nava Tintarev Humanized Recommender Systems
Andreas Bjerre-Nielsen, Valentin Kassarnig, David Dreyer Lassen and Sune Lehmann Task-specific information outperforms surveillance-style big data in predictive analytics
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Vacuity in Synthesis
Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo-Negrete Empty rainbow triangles in k-colored point sets
Alfredo García Olaverri, Javier Tejel Altarriba and Alexander Pilz On plane subgraphs of complete topological drawings
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
Thomas Mach, Hermann Edtmayer, Gerald Schweiger, Michael Monsberger, Lisa-Marie Fochler and Richard Heimrath Energie System Analyse
Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo Empty rainbow triangles in k-colored point sets
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic Maus Improved distributed Δ-coloring.
Mitja Steinbacher, Matthias Raddant, Fariba Karimi, Eva Camacho Cuena, Simone Alfarano, Giulia Iori and Thomas Lux Advances in the agent-based modeling of economic and social behavior
Cristian Vidal, Alexander Felfernig, José Galindo, Müslüm Atas and David Benavides Explanations for over-constrained problems using QuickXPlain with speculative executions
Matthias Raddant Multivariate GARCH with dynamic beta
David Kaufmann, Iulia Nica and Franz Wotawa Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.
Matthias Raddant Interconnectedness in the global financial market
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
Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit Vogtenhuber Flip distances between graph orientations
Tuomo Lehtonen, Johannes Peter Wallner and Matti Järvisalo Harnessing incremental answer set solving for reasoning in assumption-based argumentation
Johan Simonsson, Khalid Tourkey Atta, Gerald Schweiger and Wolfgang Birk Experiences from city-scale simulation of thermal grids
Matthias Josef Eder, Michael Reip and Gerald Steinbauer Creating a robot localization monitor using particle filter and machine learning approaches
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision Processes (Extended Version)
Massimo Vecchio, Paolo Azzoni, Andreas Menychtas, Ilias Maglogiannis and Alexander Felfernig A fully open-source approach to intelligent edge computing
Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig A Differentiated Discussion About AI Education K-12
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
Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz Wotawa Product metrics for spreadsheets — a systematic review
Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas Schmickl CIMAX
Tagungsbeitrag
Bernhard Aichernig, Edi Muskardin and Andrea Pferscher Learning-Based Fuzzing of IoT Message Brokers Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021 47-58
V. -M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo and T. N. T. Tran DirectDebug: Automated Testing and Debugging of Feature Models Proceedings - 2021 ACM/IEEE 43rd International Conference on Software Engineering 81-85
V. -M. Le Group Recommendation Techniques for Feature Modeling and Configuration Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering 266-268
Zeynep G. Saribatur and Johannes Peter Wallner Existential Abstraction on Argumentation Frameworks via Clustering Proceedings KR 2021 549-559
Atacan Ketenci, Matthias Josef Eder, Markus Ritter and Christian Ramsauer Scenario-based Simulation for Energy Optimization in Learning Factory Environments Proceedings of the Conference on Learning Factories (CLF) 2021 1-6
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 Algorithms ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence 698-707
Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit Vogtenhuber Crossing-optimal extension of simple drawings 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
Bernadette Spieler and Vesna Krnjic Creative, Engaging, and Playful Making-Activities with Smartphones and Embroidery Machines Proceedings of 5th FabLearn Europe / MakeEd Conference 2021
Nour Chetouane, Lorenz Klampfl and Franz Wotawa Extracting information from driving data using k-means clustering Proceedings - SEKE 2021 610-615
Florian Klück, Lorenz Klampfl and Franz Wotawa GABezier at the SBST 2021 Tool Competition Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021 38-39
Franz Wotawa and Vlad Andrei Dumitru Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference 519-529
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 learning IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops
Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein and Martin Gebser Utilizing constraint optimization for industrial machine workload balancing 27th International Conference on Principles and Practice of Constraint Programming, CP 2021
Lorenz Klampfl, David Kaufmann, Florian Klück, Martin Zimmermann and Jianbo Tao Critical and Challenging Scenario Generation based on Automatic Action Behavior Sequence Optimization Proceedings - 3rd IEEE International Conference on Artificial Intelligence Testing, AITest 2021 118-127
Marco De Bortoli, Stalin Munoz Gutierrez and Gerald Steinbauer-Wagner Diagnosis of hidden faults in the RCLL 32nd International Workshop on Principle of Diagnosis
Elena Arseneva, Linda Kleist, Boris Klemz, Maarten Löffler, André Schulz, Birgit Vogtenhuber and Alexander Wolff Adjacency graphs of polyhedral surfaces 37th International Symposium on Computational Geometry, SoCG 2021
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 Scenarios Proceedings 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
Oswin Aichholzer, Jan Kyncl, Manfred Scheucher and Birgit Vogtenhuber On 4-Crossing-Families in Point Sets and an Asymptotic Upper Bound Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021) 38:1-38:8
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-Configuration Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021) 45-47
Oswin Aichholzer, David Eppstein and Eva-Maria Hainzl Geometric Dominating Sets - A Minimum Version of the No-Three-In-Line Problem Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021) 17:1-17:7
Thomas Hirsch A Fault Localization and Debugging Support Framework driven by Bug Tracking Data Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 139-142
Franz Wotawa and Stephan Valentan On the Automation of Audio Plugin Testing Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security
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 2021 58-63
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 Detection Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security
Oliver Tazl and Franz Wotawa Metamorphic Testing of Logic Theorem Prover Proceedings of the 33rd IFIP International Conference on Testing Software and Systems
Franz Wotawa Integrating multiple observation sets into consistency-based diagnosis Proceedings of the 32nd International Workshop on Principle of Diagnosis
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 Domain RecSys 2021 - 15th ACM Conference on Recommender Systems 645–650
Franz Wotawa On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems Proceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021)
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Plane Matchings in Simple Drawings of Complete Graphs Plane Matchings in Simple Drawings of Complete Graphs 6-10
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 Kn Graph Drawing and Network Visualization - 28th International Symposium, GD 2020, Revised Selected Papers 482-489
Oswin Aichholzer Another Small but Long Step for Crossing Numbers: cr(13) = 225 and cr(14) = 315 Proceedings of the 33rd Canadian Conference on Computational Geometry (CCCG 2021) 72-77
Oswin Aichholzer, Ruy Fabila-Monroy, Philipp Kindermann, Irene Parada, Rosna Paul, Daniel Perz, Patrick Schnider and Birgit Vogtenhuber Perfect Matchings with Crossings Proceedings of the Computational Geometry: Young Researchers Forum 24-27
Franz Wotawa, Oliver Tazl and David Kaufmann Automated Diagnosis of Cyber-Physical Systems Advances 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, Proceedings 441-452
Jan Maly and Johannes Peter Wallner Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations Proceedings AAAI 6435-6443
Markus Ulbricht and Johannes Peter Wallner Strong Explanations in Abstract Argumentation Proceedings AAAI 6496-6504
Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit Vogtenhuber Crossing-optimal extension of simple drawings Proc. XIX Encuentros de Geometría Computacional 5
Bettina Könighofer, Roderick Bloem, Martin Tappler, Julian Rudolf and Alexander Palmisano Online Shielding for Stochastic Systems NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings 231-248
Man-Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit Vogtenhuber Coloring Circle Arrangements: New 4-Chromatic Planar Graphs Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021) 42:1-42:7
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 research Austrian Robotics Workshop 2021
Maria Grandl, Martin Ebner, Sandra Schön and Benedikt Brünner MAKER DAYS for Kids: Learnings from a Pop-up Makerspace Robotics in Education 360-365
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021) 2062-2068
Matthias Josef Eder, Maria Ursula Hulla, Felix Auer and Christian Ramsauer Interactive Teaching Concept for a Data Analytics Workshop in Learning Factories Proceedings of the Conference on Learning Factories (CLF) 2021
Matthias Josef Eder, Michael Spitzer, Matthias Hebenstreit and Christian Ramsauer Development and Evaluation of a Mixed Reality Assistance System in the Context of Manual Assembly Proceedings of the Conference on Learning Factories (CLF) 2021
Florian Kluck, Franz Wotawa, Gerhard Neubauer, Jianbo Tao and Mihai Nica Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021 213-219
Andrea Pferscher and Bernhard Aichernig Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning Formal Methods - 24th International Symposium, FM 2021, Proceedings 524-542
Edi Muskardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher and Martin Tappler AALpy: An Active Automata Learning Library Automated Technology for Verification and Analysis - ATVA 2021 67-73
Sarina Gursch, Vesna Krnjic, Katja Urak, Wolfgang Slany and Michael Herold How to Encourage girls to code Through Embroidery Patterns Proceedings of the 4th International Conference on Gender Research, ICGR 2021 122-129
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 Combinations Proceedings of the 17th International Conference of the International Building Performance Simulation Association (Building Simulation 2021)
Viet-Man Le, Trang Tran and Alexander Felfernig A Conversion of Feature Models into an Executable Representation in Microsoft Excel Intelligent Systems in Industrial Applications 153-168
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Macedo and Peter Gorm Larsen A Universal Mechanism for Implementing Functional Mock-up Units Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH 121-129
Thomas Schranz, Christian Møldrup Legaard, Daniella Tola and Gerald Schweiger Portable runtime environments for Python-based FMUs Proceedings of 14th Modelica Conference 2021 419--424
Basak Falay, Sandra Wilfling, Qamar Alfalouji, Johannes Exenberger, Thomas Schranz, Christian Møldrup Legaard, Ingo Leusbrock and Gerald Schweiger Coupling physical and machine learning models Proceedings of 14th Modelica Conference 2021 335-341
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 learning Workshop on Intelligent Computing in Engineering 301-309
Thomas Hirsch and Birgit Gertraud Hofer What we can learn from how programmers debug their code Proceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2021 37-40
Oswin Aichholzer, Alan Arroyo, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec and Birgit Vogtenhuber On Compatible Matchings WALCOM 221-233
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig and Ingo Pill Active Model Learning of Stochastic Reactive Systems Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings 481-500
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen and Roderick Bloem Adaptive Shielding under Uncertainty. 2021 American Control Conference, ACC 2021 3467-3474
Noura El Moussa, Davide Molinelli, Mauro Pezzè and Martin Tappler Health of smart ecosystems ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering 1491-1494
Franz Wotawa, Lorenz Klampfl and Ledio Jahaj A framework for the automation of testing computer vision systems Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021 121-124
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 Configuration VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems 1-8
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 Systems 783-786
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard and Roderick Bloem Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs Proceedings of the 30th USENIX Security Symposium 1469-1486
Sonstiger Beitrag
Mathias Uta, Alexander Felfernig, Viet-Man Le, Andrei Popescu, Thi Ngoc Trang Tran and Denis Helic Evaluating Recommender Systems in Feature Model Configuration
Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit Vogtenhuber No Selection Lemma for Empty Triangles
Jonas Cleve, Nicolas Grelier, Kristin Knorr, Maarten Löffler, Wolfgang Mulzer and Daniel Perz Nearest-Neighbor Decompositions of Drawings
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra Weinberger Plane paths in simple drawings of complete graphs
Keren Censor-Hillel, Yannic Maus and Volodymyr Polosukhin Near-Optimal Scheduling in the Congested Clique.
Yannic Maus Distributed Graph Coloring Made Easy
Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Tigran Tonoyan Efficient randomized distributed coloring in CONGEST
Alkida Balliu, Keren Censor-Hillel, Yannic Maus, Dennis Olivetti and Jukka Suomela Locally Checkable Labelings with Small Messages.
Yannic Maus and Jara Uitto Efficient CONGEST Algorithms for the Lovász Local Lemma.
Oswin Aichholzer, Maarten Löffler, Jayson Lynch, Zuzana Masárová, Joachim Orthaber, Irene Parada, Rosna Paul, Daniel Perz, Birgit Vogtenhuber and Alexandra Weinberger Dominect: A Simple yet Deep 2-Player Board Game
Matthias Josef Eder and Gerald Steinbauer-Wagner Autonomous robot navigation for search and rescue operations in remote terrain
Pierre Paul Alain Tassel, Martin Gebser and Konstantin Schekotihin A Reinforcement Learning Environment For Job-Shop Scheduling
Matthias Josef Eder, Richard Halatschek and Gerald Steinbauer-Wagner Autonomous robot navigation in alpine terrain
Thomas Hirsch and Birgit Gertraud Hofer Identifying non-natural language artifacts in bug reports
Oswin Aichholzer, Maarten Löffler, Jayson Lynch, Zuzana Masárová, Joachim Orthaber, Irene Parada, Rosna Paul, Daniel Perz, Birgit Vogtenhuber and Alexandra Weinberger Dominect: a simple yet deep 2-player board game
Bernhard Aichernig, Stefan Marksteiner, Andrea Pferscher, Rupert Schlick and Gerald Stieglbauer Aspects of Learning-based Security Testing
Rosna Paul, Oswin Aichholzer, Birgit Vogtenhuber, Daniel Perz, Ruy Fabila-Monroy, Irene Parada, Philipp Kindermann and Patrick Schnider Perfect Matchings with crossings
Christoph Pilz, Andrea Ulbel and Gerald Steinbauer-Wagner The Components of Cooperative Perception-a Proposal for Future Works
Johannes Obenaus and Joachim Orthaber Complete Geometric Graphs with no Partition into Plane Spanning Trees
2020
Buchkapitel
Franz Wotawa Using model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310
Franz Wotawa Message from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viii
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
Proceedings
Denis Helic, Gerhard Leitner, Martin Stettinger, Alexander Felfernig and Zbigniew W Ras Foundations of Intelligent Systems
Peter M. Roth, Gerald Steinbauer, Friedrich Fraundorfer, Mathias Brandstötter and Roland Perko Proceedings of the Joint Austrian Computer Vision and Robotics Workshop
Beitrag in Fachzeitschrift
Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang Slany Bridging the Gap: A Computer Science Pre-MOOC for First Semester Students
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
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber and Alexander Matteo Palmisano It's Time to Play Safe
Thi Ngoc Trang Tran, Alexander Felfernig, Christoph Trattner and Andreas Holzinger Recommender systems in the healthcare domain: state-of-the-art and research issues
Roxane Koitz-Hristov and Franz Wotawa Faster horn diagnosis - a performance comparison of abductive reasoning algorithms
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara Uitto Improved distributed degree splitting and edge coloring.
Yannic Maus The power of locality - Exploring the limits of randomness in distributed computing.
Martin Gebser, Marco Maratea and Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results
Sebastian Daum, Fabian Kuhn and Yannic Maus Rumor spreading with bounded in-degree.
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
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
Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Lata Narayanan, Jarda Opatrny and Birgit Vogtenhuber Evacuating Robots from a Disk Using Face-to-Face Communication
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
Bernadette Spieler, Libora Oates-Indruchovà and Wolfgang Slany Female students in computer science education
Josip Bozic and Franz Wotawa Planning-based security testing of web applications with attack grammars
Peter Kohout, Marco De Bortoli, Jakob Ludwiger, Thomas Ulz and Gerald Steinbauer Eine Multi-Roboter-Architektur für die RoboCup Logistics League
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
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
Thi Ngoc Trang Tran, Muesluem Atas, Man Viet Le, Ralph Samer and Martin Stettinger Social choice-based explanations
Thi Ngoc Trang Tran, Muesluem Atas, Man Viet Le, Ralph Samer and Martin Stettinger Social choice-based explanations
Martin Zimmermann and Franz Wotawa An adaptive system for autonomous driving
Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas Schmickl A swarm design paradigm unifying swarm behaviors using minimalistic communication
Yihao Li, Jianbo Tao and Franz Wotawa Ontology-based test generation for automated and autonomous driving functions
Tagungsbeitrag
Franz Wotawa, Josip Bozic and Yihao Li Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 14-17
Bernadette Spieler, Vesna Krnjic, Wolfgang Slany, Karin Horneck and Ute Neudorfer Design, Code, Stitch, Wear, and Show It! Mobile Visual Pattern Design in School Contexts 2020 IEEE Frontiers in Education Conference, FIE 2020 - Proceedings
Thomas Schranz, Katja Corcoran, Lisa V. Eckerstorfer, Thomas Schwengler and Gerald Schweiger Mobile Application for Active Consumer Participation in Building Energy Systems BauSIM 2020 - 8th Conference of IBPSA Germany and Austria 281-288
Josip Bozic and Franz Wotawa Interrogating Virtual Agents Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 20-34
Bernhard Aichernig and Benedikt Maderbacher Step-Wise Development of Provably Correct Actor Systems Leveraging Applications of Formal Methods, Verification and Validation 426-448
Manuel Menzinger and Gerald Steinbauer Design and Implementation of an AI Programming Playground for Schools 2nd International Workshop on Education in Artificial Intelligence K-12 in conjunction with the 21st International Conference on Artificial intelligence in Education
Manuel Menzinger, Martin Kandlhofer, Gerald Steinbauer, Ronald Biber, Wilfried Baumann, Margit Ehardt-Schmiederer and Thomas Winkler EDLRIS: European Driving License for Robots and Intelligent Systems Joint Austrian Computer Vision and Robotics Workshop
Marco De Bortoli and Gerald Steinbauer The RoboCup Logistics League from a Planning Perspective ICAPS 2020
Marco De Bortoli, Gerald Steinbauer, Felicitas Fabricius, Maximilian Selmair, Michael Reip and Martin Gebser Towards ASP-based Scheduling for Industrial Transport Vehicles Joint Austrian Computer Vision and Robotics Workshop 34-41
Andrea Pferscher and Bernhard Aichernig Learning Abstracted Non-deterministic Finite State Machines Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 52-69
Bernhard Aichernig, Andrea Pferscher and Martin Tappler From Passive to Active: Learning Timed Automata Efficiently NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings 1-19
Thomas Hirsch and Birgit Gertraud Hofer Root cause prediction based on bug reports Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 171-176
Bernhard Aichernig, Martin Tappler and Felix Wallner Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings 3-22
Bernhard Aichernig and Christian Burghard Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 35-51
Franz Wotawa and Lorenz Klampfl Explaining Object Motion Using Answer Set Programming Foundations of Intelligent Systems 298-307
Nour Chetouane, Franz Wotawa, Hermann Felbinger and Mihai Nica On Using k-means Clustering for Test Suite Reduction Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 380 - 385
Lorenz Klampfl, Nour Chetouane and Franz Wotawa Mutation Testing for Artificial Neural Networks: An Empirical Evaluation Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020 356-365
Yihao Li and Franz Wotawa On Using Ontologies for Testing Compilers Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 181-184
Franz Wotawa On the use of answer set programming for model-based diagnosis Trends 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, Proceedings 518-529
Edi Muškardin, Ingo Pill and Franz Wotawa CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings 267-276
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 events Proceedings of the 36th European Workshop on Computational Geometry (EuroCG 2020)) 24:1-24:7
Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin and Birgit Vogtenhuber Drawing Graphs as Spanners Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers 310-324
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 Robots Proceedings of the 32nd Canadian Conference on Computational Geometry (CCCG 2020) 73-79
Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo Wiedera Inserting one edge into a simple drawing is hard Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers 325-338
Bettina Könighofer, Roderick Bloem, Nils Jansen and Florian Lukas Lorber Shield Synthesis for Reinforcement Learning Leveraging Applications of Formal Methods, Verification and Validation 290-306
Syed Ahmed Ali, Shahzad Memon and Farhan Sahito Analysis of Cloud Forensics Techniques for Emerging Technologies Proceedings - 2020 International Conference on Computing, Networking, Telecommunications and Engineering Sciences Applications, CoNTESA 2020 106-111
Seda Polat Erdeniz, Ralph Samer and Muesluem Atas Matrix Factorization Based Heuristics Learning for Solving Constraint Satisfaction Problems Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings 287-297
Cristian Vidal Silva, Alexander Felfernig, Jose Galindo, Müslüm Atas and David Benavides A Parallelized Variant of Junker’s QuickXPlain Algorithm Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings 457-468
Bernadette Spieler, Naomi Pfaff and Wolfgang Slany Reducing Cognitive Load through the Worked Example Effect within a Serious Game Environment Proceedings of 6th International Conference of the Immersive Learning Research Network, iLRN 2020 1-8
Thomas Eckstein and Gerald Steinbauer Action-based programming with yagi - an update on usability and performance Trends 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, Proceedings 557-569
Mathias Uta and Alexander Felfernig Conmerge – arbitration of constraint-based knowledge bases Trends 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, Proceedings 127-139
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 Systems RecSys 2020 - 14th ACM Conference on Recommender Systems 613-618
Ralph Samer, Martin Stettinger and Alexander Felfernig Group Recommender User Interfaces for Improving Requirements Prioritization UMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization 221-229
Martin Stettinger, Trang Tran, Ingo Pribik, Gerhard Leitner, Alexander Felfernig, Ralph Samer, Müslüm Atas and Manfred Wundara KNOWLEDGECHECKR: Intelligent Techniques for Counteracting Forgetting ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings 3034-3039
Ralph Samer, Martin Stettinger, Alexander Felfernig, Xavier Franch and Andreas Falkner Intelligent Recommendation & Decision Technologies for Community-Driven Requirements Engineering ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings 3017-3025
Mathias Uta and Alexander Felfernig Towards machine learning based configuration 22nd International Configuration Workshop 25-28
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A Formal Modeling Approach for Portable Low-Level OS Functionality Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings 155-174
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 robots ALIFE 2019 634-641
Josip Bozic, Yihao Li and Franz Wotawa Ontology-driven Security Testing of Web Applications Proceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020 115-122
Sonstiger Beitrag
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
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
Richard Halatschek, Keerthi Datta Konanur Ramanna, Wolfgang Url and Gerald Steinbauer Universal Offroad Robot Platform for Disaster Response
Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo Empty Rainbow Triangles in k-colored Point Sets
Oswin Aichholzer, Julia Obmann, Pavel Paták, Daniel Perz and Josef Tkadlec Disjoint tree-compatible plane perfect matchings
Martin Jochen Zimmermann, Ingo Pill and Franz Wotawa Drawing on SFL for Making Intelligent Decisions in RBL
Alexander Felfernig, Viet Man Le and Trang Tran Supporting Feature Model-Based Configuration in Microsoft Excel
Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber and Alexandra Weinberger Simple Drawings of Km,n Contain Shooting Stars
Philipp Bamberger, Fabian Kuhn and Yannic Maus Efficient Deterministic Distributed Coloring with Small Bandwidth.
Reuven Bar-Yehuda, Keren Censor-Hillel, Yannic Maus, Shreyas Pai and Sriram V. Pemmaraju Distributed Approximation on Power Graphs
Magnús M. Halldórsson, Fabian Kuhn and Yannic Maus Distance-2 Coloring in the CONGEST Model
Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Alexandre Nolin Coloring Fast Without Learning Your Neighbors' Colors
Yannic Maus and Tigran Tonoyan Local Conflict Coloring Revisited - Linial for Lists
Pierre Tassel, Martin Gebser and Mohamed Rbaia An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
Mohammed El-Kholany and Martin Gebser Job Shop Scheduling with Multi-shot ASP
Alice Tarzariol, Martin Gebser and Konstantin Schekotihin Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka Suomela Classification of Distributed Binary Labeling Problems
Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka Suomela Brief Announcement - Classification of Distributed Binary Labeling Problems
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
2019
Buchkapitel
Joshua Cherian Varughese, Daniel Moser, Ronald Thenius, Franz Wotawa and Thomas Schmickl swarmFSTaxisUnderstanding Complex Systems213-222
Franz Wotawa Reasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems
Dave Catlin, Martin Kandlhofer, John-John Cabibihan, Julian Angel-Fernandez, Stephanie Holmquist and Andrew Paul Csizmadia, EduRobot TaxonomySmart Learning with Educational Robotics333-338
Proceedings
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice
Beitrag in Fachzeitschrift
Wolfgang Vorraber, Matthias Müller, Siegfried Voessner and Wolfgang Slany Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems
Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo Wiedera Extending simple drawings with one edge is hard
Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing
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
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
Matthias Müller and Wolfgang Slany Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit
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$
Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub Multi-shot ASP solving with clingo
Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero and Torsten Schaub plasp 3: Towards Effective ASP Planning
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
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz Wotawa Metric-based Fault Prediction for Spreadsheets
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric Wong Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction
Daniela Kengyel, Payam Zahadat, Franz Wotawa and Thomas Schmickl Towards swarm level optimisation: The role of different movement patterns in swarm systems
Patrick Koch, Birgit Gertraud Hofer and Franz Wotawa On the Refinement of Spreadsheet Smells by means of Structure Information
Gerald Schweiger, Fabian Kuttin and Alfred Posch District heating systems
Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version)
Clemens Huemer, Alexander Pilz and Rodrigo I. Silveira A new lower bound on the maximum number of plane graphs using production matrices
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
Bernhard K. Aichernig and Richard Alexander Schumi Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models
Zulfiqar Ali, Aiman Mamdouh Ayyal Awwad and Wolfgang Slany Using executable specification and regression testing for broadcast mechanism of visual programming language on smartphones
Georg Engel Sorption thermal energy storage
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
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and T.N.T. Tran Recommender Systems for IoT Enabled Quantified-Self Applications
Wolfgang Vorraber and Matthias Müller A Networked Analysis and Engineering Framework for New Business Models
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Current approaches in applied artificial intelligence
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and Thi Ngoc Trang Tran Recommender systems for IoT enabled quantified‐self applications
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
Tagungsbeitrag
Thomas Ulz, Jakob Chrysant Ludwiger and Gerald Steinbauer A Robust and Flexible System Architecture for Facing the RoboCup Logistics League Challenge RoboCup 2018: Robot World Cup XXII 488-499
Kay Uwe Römer, Klaus Witrisal, Marcel Carsten Baunach, Roderick Bloem and Martin Horn Dependable Internet of Things Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019
Roderick Bloem, Swen Jacobs and Yakir Vizel Efficient Information-Flow Verification Under Speculative Execution Efficient Information-Flow Verification Under Speculative Execution
Florian Klück, Martin Zimmermann, Franz Wotawa and Mihai Nica Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Proceedings 140-156
Florian Kluck, Martin Zimmermann, Franz Wotawa and Mihai Nica Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019 418-425
Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Maria De Parada, Daniel Perz, André van Renssen and Birgit Vogtenhuber Graphs with large total angular resolution Graph Drawing and Network Visualization 193-199
Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger and Mihai Nica On the industrial application of combinatorial testing for autonomous driving functions Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 234-240
Christian Eitner and Franz Wotawa Crucial tool features for successful combinatorial input parameter testing in an industrial application Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 188-189
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) Musketeers 27th Annual European Symposium on Algorithms (ESA 2019) 3:1-3:14
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 Graph Drawing and Network Visualization 101-113
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-Colored Crossing Number Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019) 87-100
Alan Arroyo, Martin Derka and Irene Parada Extending Simple Drawings Graph Drawing and Network Visualization 230-243
Ingo Pill and Franz Wotawa Extending Automated FLTL Test Oracles With Diagnostic Support Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 354-361
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 Cube Proc. 31th Annual Canadian Conference on Computational Geometry CCCG 2019 164-170
Oswin Aichholzer, Ruy Fabila-Monroy and Julia Obmann On the Triangle Vector Proc. XVIII Encuentros de Geometría Computacional 55-58
Oswin Aichholzer, José Miguel Díaz-Báñez, Thomas Hackl, David Orden Martín, Alexander Pilz, Inmaculada Ventura and Birgit Vogtenhuber Erdos-Szekeres-Type Games Proc. $35^th$ European Workshop on Computational Geometry EuroCG '19 23:1-23:7
Nour Chetouane, Lorenz Klampfl and Franz Wotawa Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings 766-777
Oswin Aichholzer, Linda Kleist, Boris Klemz, Felix Schröder and Birgit Vogtenhuber On the Edge-Vertex Ratio of Maximal Thrackles Graph Drawing and Network Visualization. GD 2019 482-495
Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit Vogtenhuber Flip distances between graph orientations 45th International Workshop on Graph-Theoretic Concepts in Computer Science 120-134
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 plane Proc. XVIII Encuentros de Geometría Computacional 43-46
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 plane Proc. 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3 2019) 57-58
Matthias Müller, Christian Schindler and Wolfgang Slany Introducing Agile Product Owners in a FLOSS Project Open Source Systems 38-43
Matthias Müller, Christian Schindler and Wolfgang Slany Pocket Code - A Mobile Visual Programming Framework For App Development 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
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 Engineering 1176-1179
Matthias Josef Eder, Michael Reip and Gerald Steinbauer Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization Advances and Trends in Artificial Intelligence. From Theory to Practice 700-713
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Reactive Systems Using Robustness and Recovery Specifications 2019 Formal Methods in Computer Aided Design, FMCAD 2019 147-151
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
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 functions 2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings
Thomas Schranz, Christian Schindler, Matthias Müller and Wolfgang Slany Contributors' Impact on a FOSS Project's Quality Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19) 35-38
Julian Harty and Matthias Müller Better Android Apps using Android Vitals Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19) 26-32
Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang Slany “Computer Science for all”: Concepts to engage teenagers and non-CS students in technology Proceedings of the 13th European Conference on Games Based Learning 667-674
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 Schools IEEE Conference on Frontiers in Education (FIE) 2019
Yavuz Koroglu and Franz Wotawa Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019 28-34
Martin Kandlhofer, Gerald Steinbauer, Manuel Menzinger, Richard Halatschek, Ferenc Kemeny and Karin Landerl MINT-Robo: Empowering Gifted High School Students with Robotics IEEE Conference on Frontiers in Education (FIE) 2019
Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen and Florian Lorber Time to Learn - Learning Timed Automata from Tests Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings 216 - 235
Matthias Müller, Christian Schindler and Wolfgang Slany Engaging Students in Open Source: Establishing FOSS Development at a University Proceedings of the 52nd Annual Hawaii International Conference on System Sciences 7721-7730
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 systems RecSys 2019 - 13th ACM Conference on Recommender Systems 560-561
Gerald Schweiger, Filip Jorissen, Hakan Runvik and Lieve Helsen Equation-based modelling for dynamic optimization of district scale energy systems- A scalability study SEST 2019 - 2nd International Conference on Smart Energy Systems and Technologies
Matthias Müller, Wolfgang Vorraber, Michael Herold, Christian Schindler, Wolfgang Slany and Kenji Tanaka Streamlining Value in a FOSS Project Proceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234
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
Christian Schindler and Matthias Müller Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology ECSA '19 - Proceedings of the 13th European Conference on Software Architecture 100-104
Georg Engel Neural Networks to Approximate Solutions of Ordinary Differential Equations Intelligent Computing - Proceedings of the 2019 Computing Conference 776-784
Georg Engel Machine Learning to Approximate Solutions of Ordinary Differential Equations Computational Science – ICCS 2019 - 19th International Conference, Proceedings 169-177
Valentin Kassarnig and Franz Wotawa An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 4932-4939
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 Learning Testing Software and Systems 3-21
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision Processes Formal Methods - The Next 30 Years 651 - 669
Georg Engel, Ajay S. Chakkaravarthy and Gerald Schweiger A General Method to Compare Different Co-simulation Interfaces Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers 351-365
Ralph Samer, Alexander Felfernig and Martin Stettinger Towards Issue Recommendation for Open Source Communities IEEE/WIC/ACM International Conference on Web Intelligence 164-171
Martin Stettinger, Alexander Felfernig and Ralph Samer Decision Biases in Preference Acquisition Proceedings of the 21st Configuration Workshop 20-21
Müslüm Atas, Ralph Samer, Alexander Felfernig, Trang Tran, Seda Polat Erdeniz and Martin Stettinger Socially-Aware Diagnosis for Constraint-Based Recommendation UMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization 121-129
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas and Ralph Samer Matrix Factorization based Heuristics for Constraint-based Recommenders SAC '19, Proceedings Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 1655-1662
Seda Polat Erdeniz, Alexander Felfernig and Müslüm Atas Learned Constraint Ordering for Consistency Based Direct Diagnosis Advances and Trends in Artificial Intelligence 347-359
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 Systems UMAP'19 Adjunct: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization 93-98
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 Systems UMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization 13-21
Josip Bozic, Oliver A. Tazl and Franz Wotawa Chatbot testing using AI planning Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019 37-44
Oliver A. Tazl and Franz Wotawa Using model-based reasoning for enhanced chatbot communication Advances 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, Proceedings 791-798
Müslüm Atas, Thi Ngoc Trang Tran, Alexander Felfernig, Seda Polat Erdeniz, Ralph Samer and Martin Stettinger Towards Similarity-Aware Constraint-Based Recommendation Advances and Trends in Artificial Intelligence 287-299
Josip Bozic and Franz Wotawa Testing Chatbots Using Metamorphic Relations Testing Software and Systems 41-55
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
Josip Bozic and Franz Wotawa Software Testing: According to Plan! IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 23-31
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz Wotawa Weighted Combinatorial Sequence Testing for the TLS Protocol IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)
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 Defenses Proceedings of the 28th USENIX Security Symposium 249-266
Bernhard Aichernig A Testing Perspective on Algebraic, Denotational, and Operational Semantics Unifying Theories of Programming 22-38
Bernhard Aichernig, Benedikt Maderbacher and Stefan Tiran Programming Behavioral Test Models for SMT Solving in Scala 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019 52-60
Bernhard Aichernig, Christian Burghard and Robert Korosec Learning-Based Testing of an Industrial Measurement Device NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings 1-18
Bernhard Aichernig, Franz Pernkopf, Richard Alexander Schumi and Andreas Wurm Predicting and Testing Latencies with Deep Learning: An IoT Case Study Tests 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, Proceedings 93-111
Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring Proceedings 35th International Conference on Logic Programming (Technical Communications) (ICLP 2019) 441-451
Abschlussarbeit
Alexandra Weinberger Simple Drawings and Rotation Systems Beyond the Complete Graph
Irene Parada On straight-line and topological drawings of graphs in the plane
Sonstiger Beitrag
Christoph Pilz, Gerald Steinbauer, Markus Schratter and Daniel Watzenig Development of a Scenario Simulation Platform to Support Autonomous Driving Verification
Oswin Aichholzer, Irene Maria De Parada, Manfred Scheucher, Birgit Vogtenhuber and Alexandra Weinberger Shooting Stars in Simple Drawings of K<sub>m,n</sub>
Oswin Aichholzer and Daniel Perz Triangles in the colored Euclidean plane
Carolina Medina, Irene Parada, Gelasio Salazar and Birgit Vogtenhuber Bounding the number of crossings for a particular class of drawings of $K_{n,n}$
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.
Thekla Hamm, Irene Parada and Fabian Klute Extending to 1-plane drawings.
Irene Parada Efficient segment folding is hard
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-colored crossing number
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
Alan Arroyo, Martin Derka and Irene Parada Extending simple drawings
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
Clemens Huemer, Deborah Oliveros, Pablo PLantero, Ferran Torra and Birgit Vogtenhuber On weighted sums of numbers of convex polygons in point sets
Frederik Mallmann-Trenn, Yannic Maus and Dominik Pajak Noidy Conmunixatipn - On the Convergence of the Averaging Population Protocol
Philipp Bamberger, Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara Uitto On the Complexity of Distributed Splitting Problems
Philipp Bamberger, Fabian Kuhn and Yannic Maus Local Distributed Algorithms in Highly Dynamic Networks
Yannic Maus P-SLOCAL-Completeness of Maximum Independent Set Approximation
Janosch Deurer, Fabian Kuhn and Yannic Maus Deterministic Distributed Dominating Set Approximation in the CONGEST Model
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald Thenius Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots
Sebastian Brandt, Yannic Maus and Jara Uitto A Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma
Michael Stradner and Gerald Steinbauer Lifting Robot Exploration to 3D Environments
Ingo Pill and Franz Wotawa Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de Kleer Diagnosing Sequential Circuits as Boolean Satisfaction
Vesna Krnjic and Bernadette Spieler Code’n’Stitch: Design your own Embroidery Pattern - Codi It - Stitch It
Vesna Krnjic Design it – Code it – Stitch it – Program your Embroidery Designs on Mobile Phones
Bernadette Spieler, Vesna Krnjic and Wolfgang Slany Girls Create Games: Lessons Learned
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 Systems
Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
2018
Book
Alexander Felfernig, Martin Stettinger, Ludovico Boratto and Marko Tkalcic Group Recommender Systems978-3-319-75067-5
Buchkapitel
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
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
Roderick Bloem, Krishnendu Chatterjee and Barbara Jobstmann Graph Games and Reactive SynthesisHandbook of Model Checking921-962
Alexander Felfernig, Müslüm Atas, Denis Helic, Thi Ngoc Trang Tran, Martin Stettinger and Ralph Samer Algorithms for Group RecommendationGroup Recommender Systems27-58
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Group Recommender ApplicationsGroup Recommender Systems75-89
Alexander Felfernig, Nava Tintarev, Thi Ngoc Trang Tran and Martin Stettinger Explanations for GroupsGroup Recommender Systems105-126
Alexander Felfernig, Müslüm Atas, Ralph Samer, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Further Choice ScenariosGroup Recommender Systems129-144
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Gerhard Leitner Biases in Group DecisionsGroup Recommender Systems145-155
Franz Wotawa, Bernhard Peischl and Roxane Koitz Diagnosis as a serviceDigital Marketplaces Unleashed557-567
Alexander Felfernig, Ludovico Boratto, Martin Stettinger and Marko Tkalcic Decision Tasks and Basic AlgorithmsGroup Recommender Systems : An Introduction3-26
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
Proceedings
Marina Zanella, Ingo Pill and Alessandro Cimatti 28th International Workshop on Principles of Diagnosis (DX'17)
Alexander Felfernig and Martin Stettinger Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018
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
Beitrag in Fachzeitschrift
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments
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$
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
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point sets
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear transformation distance for bichromatic matchings
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
Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber The dual diameter of triangulations
Franz Wotawa and Valentin Kassarnig Evolutionary Propositionalization of Multi- Relational Data
Ingo Pill and Franz Wotawa Automated generation of (F)LTL oracles for testing and debugging
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz Wotawa Fragment-based spreadsheet debugging
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
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
Oswin Aichholzer, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Jorge Urrutia Galicia and Birgit Vogtenhuber Modem Illumination of Monotone Polygons
Oswin Aichholzer, Lukas Andritsch, Karin Baur and Birgit Vogtenhuber Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings
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
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai Nica Quality assurance methodologies for automated driving
Alexander Felfernig, Rouven Walter, Jose Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas and Stefan Reiterer Anytime Diagnosis for Reconfiguration
Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Overview of Recommender Systems in the Healthy Food Domain
Alexander Felfernig, Thomas Gruber and Martin Stettinger Consistency Management Techniques for Variability Modelling
Alexander Felfernig, Thomas Gruber, Günter Brandner, Paul Blazek and Martin Stettinger Customizing events with EventHelpr
Roxane Koitz-Hristov and Franz Wotawa Applying algorithm selection to abductive diagnostic reasoning
Tagungsbeitrag
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
Kirshan Kumar Luhana, Christian Schindler and Wolfgang Slany Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code 2018 IEEE International Conference on Innovative Research and Development (ICIRD) 1-6
John Iacono and Birgit Vogtenhuber In pursuit of a dynamic tree decomposition Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018) 23-25
Josip Bozic, Lina Marsso, Radu Mateescu and Franz Wotawa A formal TLS handshake model in LNT Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 1-40
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 Smartphones Constructionism 2018, Vilnius 104-119
Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz and Birgit Vogtenhuber Lombardi Drawings of Knots and Links Proceedings of the 25th International Symposium on Graph Drawing (GD 2017) 113-126
Ingo Pill and Franz Wotawa Spectrum-Based Fault Localization for Logic-Based Reasoning Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 192-199
Thorsten Ruprechter, Foaad Khosmood, Toshihiro Kuboi, Alex Dekhtyar and Christian Gütl Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings Proceedings of the 19th Annual International Conference on Digital Government Research
Stefan Felsner and Manfred Scheucher Arrangements of pseudocircles Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers 127-139
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point sets Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers 169-181
Josip Bozic and Franz Wotawa Planning-based security testing of web applications Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018 20-26
Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent Systems AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas Schmitz Combining spreadsheet smells for improved fault prediction Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering 25-28
Josip Bozic and Franz Wotawa Security testing for chatbots Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings 33-38
Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot Taxonomy Robotics in Education 2018
Hermann Felbinger, Franz Wotawa and Mihai Nica Adapting unit tests by generating combinatorial test data Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018 352-355
Dave Catlin, Martin Kandlhofer, Stephanie Holmquist, Andrew Paul Csizmadia,, Julian Angel-Fernandez and John-John Cabibihan, EduRobot Taxonomy and Papert’s Paradigm Constructionism 2018
Kirshan Kumar Luhana Pocket code build variants 2018 IEEE International Conference on Innovative Research and Development, ICIRD 2018 1-6
Matthias Müller, Christian Schindler, Kirshan Kumar Luhana and Wolfgang Slany Enabling Teenagers to Create and Share Apps 2018 IEEE Conference on Open Systems (ICOS) 25-30
Franz Wotawa and Martin Zimmermann Adaptive System for Autonomous Driving Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018 519-525
Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler and Johannes Winter Automata Learning for Symbolic Execution 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 130 - 138
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum and Ufuk Topcu Safe Reinforcement Learning via Shielding Proceedings 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 Orleans, Louisiana, USA, February 2-7, 2018 2669-2678
Ayrat Khalimov, Benedikt Maderbacher and Roderick Bloem Bounded Synthesis of Register Transducers Automated Technology for Verification and Analysis 494-510
Ezio Bartocci, Roderick Bloem, Dejan Nickovic and Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite Traces Computer Aided Verification 547-564
Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher and Gerald Steinbauer ​An Autonomous Vehicle for Parcel Delivery in Urban Areas 21st IEEE International Conference on Intelligent Transportation Systems 2961-2967
Marijana Lazić, Igor Konnov, Josef Widder and Roderick Bloem Synthesis of distributed algorithms with parameterized threshold guards 21st International Conference on Principles of Distributed Systems, OPODIS 2017
Thomas Lenz and Vesna Krnjic Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model 2018 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
Alexander Pilz and Patrick Schnider Extending the Centerpoint Theorem to Multiple Points Proc. 29th International Symposium on Algorithms and Computation (ISAAC 2018) 53:1-53:13
Matthias Müller Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project 2018 IEEE Conference on Open Systems (ICOS) 1-6
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 Results Poster at IEEE/VGTC Conference on Visualization (EuroVis)
Oswin Aichholzer, Michael Kerber, István Talata and Birgit Vogtenhuber A Note on Planar Monohedral Tilings Proc. 34th European Workshop on Computational Geometry EuroCG '18 31:1-31:6
Oswin Aichholzer, Wolfgang Mulzer, Partick Schnider and Birgit Vogtenhuber NP-Completeness of Max-Cut for Segment Intersection Graphs Proc. $34^th$ European Workshop on Computational Geometry EuroCG '18 32:1-32:6
Michael Lodi, Dario Malchiodi, Mattia Monga, Anna Morpurgo and Bernadette Spieler Learning to program in a constructionist way Constructionism 888 - 911
Ralph Samer, Müslüm Atas, Alexander Felfernig, Martin Stettinger, Andreas A. Falkner and Gottfried Schenner Group Decision Support for Requirements Management Processes Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018. 19-24
Seda Polat Erdeniz and Alexander Felfernig OCSH: optimized cluster specific heuristics for the university course timetabling problem 8th International Conference on Information Systems and Technologies, ACM (ISST'18) 13-18
Seda Polat Erdeniz, Ilias Maglogiannis, Andreas Menychtas, Alexander Felfernig and Thi Ngoc Trang Tran Recommender Systems for IoT Enabled m-Health Applications Artificial Intelligence Applications and Innovations 227-237
Seda Polat Erdeniz and Alexander Felfernig LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18) 190-197
Seda Polat Erdeniz and Alexander Felfernig CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18) 401-404
Mikko Raatikainen, Juha Tiihonen, Tomi Männistö, Alexander Felfernig, Martin Stettinger and Ralph Samer Using a Feature Model Configurator for Release Planning Proceedings of the 22Nd International Systems and Software Product Line Conference - Volume 2 29-33
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Ralph Samer and Martin Stettinger Investigating Serial Position Effects in Sequential Group Decision Making UMAP '18: Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization 239-243
Alexander Felfernig, Johannes Spöcklberger, Ralph Samer, Martin Stettinger, Müslüm Atas, Juha Tiihonen and Mikko Raatikainen Configuring Release Plans Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018. 9-14
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
Muesluem Atas, Thi Ngoc Trang Tran, Alexander Felfernig and Ralph Samer Socially-Aware Recommendation for Over-Constrained Problems Recent Trends and Future Technology in Applied Intelligence 267-278
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 Environments 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018 406-411
Muesluem Atas, Ralph Samer and Alexander Felfernig Automated Identification of Type-Specific Dependencies between Requirements 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018 688-695
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
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 Assessment Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018. 69-76
Mathias Uta and Alexander Felfernig Towards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018. 109-118
Ingo Pill and Franz Wotawa Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model 28th International Workshop on Principles of Diagnosis (DX'17) 248-263
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 Guidelines Health Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018 132-139
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 study Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018 19:1-19:10
Christoph Uran and Alexander Felfernig Lazy Conflict Detection with Genetic Algorithms Recent 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, Proceedings 175-186
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 Construction The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings 205-220
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 systems Proceedings of the 12th ACM Conference on Recommender Systems, RecSys 2018, Vancouver, BC, Canada, October 2-7, 2018 519-520
J. Ch Varughese, R. Thenius, F. Wotawa and Th Schmickl FSTT algorithm New Trends in Medical and Service Robots - Design, Analysis and Control 319-330
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard and Johannes Winter Formal Verification of Masked Hardware Implementations in the Presence of Glitches EUROCRYPT 321-353
Muesluem Atas, Stefan Reiterer, Alexander Felfernig, Thi Ngoc Trang Tran and Martin Stettinger Polarization Effects in Group Decisions UMAP 2018: Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization 305-310
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 contexts Conference Proceeding Open Education Global Conference
Bernhard K. Aichernig and Richard Alexander Schumi How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols Quantitative Evaluation of Systems - 15th International Conference, QEST 2018
Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert Korošec A daily dose of DSL MDE micro injections in practice MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development 642-651
Bernhard K. Aichernig, Severin Kann and Richard Alexander Schumi Statistical Model Checking of Response Times for Different System Deployments Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018
Sonstiger Beitrag
Matthias Müller Online Game Jams to Attract Specific User Groups
Bernadette Spieler and Wolfgang Slany Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments
Bernadette Spieler and Wolfgang Slany Game Development-Based Learning Experience: Gender Differences in Game Design
Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent Systems
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
Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot Taxonomy
Franz Wotawa and Yihao Li From Ontologies to Input Models for Combinatorial Testing
Franz Wotawa, Gerhard Friedrich and Artur Andrzejak Software configuration diagnosis? A Survey of existing methods and open challenges
Franz Wotawa, Iulia-Dana Nica and Oliver Tazl Chatbot-based tourist recommendations using model-based reasoning
Franz Wotawa and Valentin Kassarnig Evolutionary propositionalization of multi-relational data
Ingo Pill and Franz Wotawa On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin Serwe Using LNT Formal Descriptions for Model-Based Diagnosis
Franz Wotawa Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System
Franz Wotawa On the automation of testing a logic-based diagnosis system
Yanick Pencole, Clemens Mühlbacher, Gerald Steinbauer and Louise Trave-Massuyes Diagnosing Discrete Event Systems Using Nominal Models Only
Peter Lorenz and Gerald Steinbauer The RoboCup Rescue Victim Dataset
Gerald Steinbauer, Tim Niemueller and Ulrich Karras The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic Maus Improved Distributed Delta-Coloring
Fabian Kuhn, Yannic Maus and Simon Weidner Deterministic Distributed Ruling Sets of Line Graphs
Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara Uitto Deterministic distributed edge-coloring with fewer colors
Philipp Bamberger, Fabian Kuhn and Yannic Maus Brief Announcement - Local Distributed Algorithms in Highly Dynamic Networks
Bernadette Spieler Reinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson Learned
2017
Buchkapitel
Franz Wotawa Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532
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
Beitrag in Fachzeitschrift
Oswin Aichholzer, Vincent Kusters, Wolfgang Mulzer, Alexander Pilz and Manuel Wettstein An optimal algorithm for reconstructing point set order types from radial orderings
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
Birgit Hofer, Andrea Höfler and Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets
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
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
Martin Ebner, Stefan Janisch, Bettina Höllerbauer, Maria Grandl and Wolfgang Slany Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs
M. Raddant, M. Milaković and L. Birg Persistence in corporate networks
M. Raddant and F. Wagner Transitions in the stock markets of the US, UK and Germany
Annemarie Harzl Can FOSS projects benefit from integrating Kanban: a case study
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“
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber KI ab dem Kindergarten
Manuela Fischer and Yannic Maus DISC 2017 Review
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
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
Amal Shehadeh, Alexander Felfernig, Martin Stettinger, Michael Jeran and Stefan Reiterer Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, test, and trace IT
Juha Tiihonen and Alexander Felfernig An Introduction to Personalization and Mass Customization
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
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded determinization of timed automata with silent transitions
Tagungsbeitrag
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments Proceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017) 153-166
Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Polygonal Domains Proceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017) 88-89
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 28th International Symposium on Algorithms and Computation (ISAAC 2017) 10:1-10:13
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 33rd International Symposium on Computational Geometry (SoCG 2017) 8:1-8:16
Harald Altinger, Steffen Herbold, Friederike Schneemann, Jens Grabowski and Franz Wotawa Performance tuning for automotive Software Fault Prediction SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering 526-530
Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Simple Polygons Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017) 17-20
Bernhard K. Aichernig and Richard Alexander Schumi Statistical Model Checking Meets Property-Based Testing 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) 390-400
Bernhard K. Aichernig, Silvio Marcovic and Richard Alexander Schumi Property-Based Testing with External Test-Case Generators 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017 337-346
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Stefan Reiterer, Christina Palomares, Andreas Falkner and Xavier Franch OpenReq: Recommender Systems in Requirements Engineering CEUR Workshop Proceedings 1-4
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Non-Vacuous Systems Verification, Model Checking, and Abstract Interpretation 55-72
Bernhard K. Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata Learning NASA Formal Methods - 9th International Symposium 19-34
M. Tappler, B. K. Aichernig and R. Bloem Model-Based Testing IoT Communication via Active Automata Learning 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) 276-287
Hermann Felbinger, Franz Wotawa and Mihai Nica Mutation Score, Coverage, Model Inference Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 171-180
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)
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-holes 33rd International Symposium on Computational Geometry (SoCG 2017) 8:1-8:16
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Adapting Edge Weights for Optimal Paths in a Navigation Graph RAAD 2017
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-holes Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG '17) 69-73
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Estimation of the Traversal Time for a Fleet of Industrial Transport Robots RAAD 2017
O. Aichholzer, L. Andritsch, K. Baur and B. Vogtenhuber Perfect $k$-colored matchings and $k+2$-gonal tilings Proc. $33^rd$ European Workshop on Computational Geometry EuroCG '17 81-84
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 Computacional 17-20
Oswin Aichholzer, Florian Ebenführer, Irene Parada, Alexander Pilz and Birgit Vogtenhuber On semi-simple drawings of the complete graph Proc. XVII Encuentros de Geometría Computacional 25-28
Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability Checking Runtime Verification, 17th International Conference 50-67
Richard Alexander Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn and Rupert Schlick Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles 29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017)
Hermann Felbinger, Ingo Pill and Franz Wotawa A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings 197-212
Alexander Felfernig, Andreas Falkner, Müslüm Atas, Seda Polat Erdeniz, Christoph Uran and Paolo Azzoni ASP-based Knowledge Representations for IoT Configuration Scenarios 19th International Configuration Workshop 62-67
Müslüm Atas, Alexander Felfernig, Seda Polat Erdeniz, Stefan Reiterer, Amal Shehadeh and Thi Ngoc Trang Tran Cluster-Based Constraint Ordering for Direct Diagnosis 19th International Configuration Workshop 68-71
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Michael Jeran and Martin Stettinger Cluster-Specific Heuristics for Constraint Solving Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017 21-30
Bernadette Spieler, Christian Schindler, Wolfgang Slany and Olena Mashkina App Creation in Schools for different Curricula Subjects - Lessons Learned EDULEARN17 Proceedings
Alexander Felfernig, Seda Polat Erdeniz, Michael Jeran and Arda Akcay Recommendation Technologies for IoT Edge Devices International Workshop on Internet of Things: Networking Applications and Technologies 504-509
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 Schools Proceedings of the 11th European Conference on Games Based Learning
Birgit Hofer, Iulia Nica and Franz Wotawa Qualitative Deviation Models for Spreadsheet Debugging 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops 191-198
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz Wotawa Planning-Based Security Testing of the SSL/TLS Protocol IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Birgit Hofer Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops 199-206
Josip Bozic and Franz Wotawa Planning the Attack! Or How to use AI in Security Testing? First International Workshop on AI in Security (IWAIse)
Birgit Hofer, Iulia Nica and Franz Wotawa AI for Localizing Faults in Spreadsheets 29th International Conference on Testing Software and Systems (ICTSS) 71-87
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 Items Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017 335-344
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS Using Combinatorial Methods and Execution Framework IFIP International Conference on Testing Software and Systems (ICTSS'17)
Elisabeth Getzner, Birgit Hofer and Franz Wotawa Improving Spectrum-Based Fault Localization for Spreadsheet Debugging IEEE International Conference on Software Quality, Reliability and Security (QRS) 102-113
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz Wotawa A decomposition-based approach to spreadsheet testing and debugging IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 117-121
Johanna Pirker, Michael Holly, Patrick Hipp, Christopher König, Dominik Jeitler and Christian Gütl Improving Physics Education through different Immersive and Engaging Laboratory Setups Interactive Mobile Communication, Technologies and Learning 443-454
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Nava Tintarev and Martijn Willemsen RecSys'17 joint workshop on interfaces and human decision making for recommender systems RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems 384-385
Müslüm Atas, Alexander Felfernig, Martin Stettinger and Thi Ngoc Trang Tran Beyond item recommendation Social Informatics - 9th International Conference, SocInfo 2017, Proceedings 368-377
Franz Wotawa The future of automated debugging & focus on the niches first Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 92-93
Abschlussarbeit
Martin Kandlhofer Development and Evaluation of Innovative Concepts in Educational Robotics and Education in Artificial Intelligence
Sonstiger Beitrag
Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems
Alexander Pagonis, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Task-Dependent Configuration of Robotics Systems
Konstantin Lassnig, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip An Autonomous Transportation Robot for Urban Environments
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
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Model-Based Testing of An Industrial Multi-Robot Navigation System
Mohsen Ghaffari, Fabian Kuhn and Yannic Maus On the complexity of local distributed graph problems
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
Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman Molla Greedy Routing and the Algorithmic Small-World Phenomenon
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara Uitto Improved Distributed Degree Splitting and Edge Coloring
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)
Amal Shehadeh, Alexander Felfernig, Michael Jeran, Martin Stettinger and Stefan Reiterer Knowledge-based Learning Content Generation in the StudyBattles Environment
Amal Shehadeh, Alexander Felfernig and Müslüm Atas Automated Question Generation from Configuration Knowledge Bases
2016
Buchkapitel
Franz Wotawa Message from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and Securityxiii
Gerhard Friedrich, Malte Helmert and Franz Wotawa PrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VI
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
Proceedings
Bernhard K. Aichernig and Carlo A. Furia Tests and Proofs
Beitrag in Fachzeitschrift
Max Leingartner, Johannes Maurer, Alexander Ferrein and Gerald Steinbauer Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa On the practical performance of minimal hitting set algorithms from a diagnostic perspective
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
Stefan Janisch, Wolfgang Slany and Martin Ebner Programmieren für Kinder
F. Karimi and M. Raddant Cascades in Real Interbank Markets
S. Alfarano, D. Fricke, T. Lux and M. Raddant Network Approaches to Interbank Markets: Foreword
M. Raddant and F. Wagner Phase transition in the S&P stock market
Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman and Pavel Valtr Reconstructing Point Set Order Types from Radial Orderings
Stefan Janisch, Martin Ebner and Wolfgang Slany Pocket Code – Freier Online-Kurs für Kinder
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact Points
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.
Nava Tintarev, John O'Donovan and Alexander Felfernig Human Interaction with Artificial Advice Givers
Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin Horn Dependability for the Internet of Things
Nava Tintarev, John O'Donovan and Alexander Felfernig Introduction to the Special Issue on Human Interaction with Artificial Advice Givers
Rouven Walter, Wolfgang Küchlin and Alexander Felfernig Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems
Thomas Ulz, Michael Schwarz, Alexander Felfernig, Sarah Haas, Amal Shehadeh, Stefan Reiterer and Martin Stettinger Human Computation for Constraint-based Recommenders
Stefan Nungesser, Wolfgang Eixelsberger, Alexander Felfernig, Martin Stettinger, Stefan Reiterer and Michael Jeran Einsatz von Gruppenempfehlungssystemen im Tourismus
Tagungsbeitrag
Sara Shafiee, K. Kristjansdottir, Lars Hvam, Alexander Felfernig and A. Myrodia Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies IEEE International Conference on Industrial Engineering and Engineering Management 1-10
Alexander Felfernig, Müslüm Atas, Trang Tran and Martin Stettinger Towards Group-based Configuration Proceedings of the 18th International Configuration Workshop 69-72
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 Configuration Proceedings of the 18th International Configuration Workshop 109-116
Alexander Felfernig, Seda Polat Erdeniz, Paolo Azzoni, Michael Jeran, Arda Akcay and Charalampos Doukas Towards Configuration Technologies for IoT Gateways Proceedings of the 18th International Configuration Workshop 73-76
Gerhard Leitner, Anton Fercher, Alexander Felfernig, Klaus Isak, Seda Polat Erdeniz, Arda Akcay and Michael Jeran Recommending and Configuring Smart Home Installations International Workshop on Configuration 2016 (ConfWS'16) 17-22
Bernhard K. Aichernig, Florian Lorber and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 15-32
Bernhard Peischl, Ingo Pill and Franz Wotawa Using modelica programs for deriving propositional horn clause abduction problems Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings 185-191
Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai Nica SIMULTATE Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016 168-173
Hermann Felbinger, Franz Wotawa and Mihai Nica Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 23-30
Oswin Aichholzer, Victor Alvarez, Thomas Hackl, Alexander Pilz, Bettina Speckmann and Birgit Vogtenhuber An improved lower bound on the minimum number of triangulations 32nd International Symposium on Computational Geometry, SoCG 2016 7.1-7.16
Hermann Felbinger, Ingo Pill and Franz Wotawa Classifying test suite effectiveness via model inference and ROBBDs Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings 76-93
Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Nava Tintarev RecSys 16 joint workshop on interfaces and human decision making for recommender systems RecSys 2016 - Proceedings of the 10th ACM Conference on Recommender Systems 413-414
Patrick W. Koch, Birgit Hofer and Franz Wotawa Static Spreadsheet Analysis 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 167-174
Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz Wotawa Fragment-Based Diagnosis of Spreadsheets Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop) 372-387
Ingo Pill and Franz Wotawa An Automated (F) LTL Test Oracle for Testing with Requirements 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 197-204
Marina Zanella and Ingo Pill Pill Minimal hitting set computation via hypothesis exploration 27th International Workshop on Principles of Diagnosis
Bernhard Josef Peischl, Ingo Pill Pill and Franz Wotawa Abductive Diagnosis based on Modelica Models 27th International Workshop on Principles of Diagnosis
Franz Wotawa Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 305-310
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, P. Ramos, M. Balko and Pavel Valtr Holes in two convex point set Proceedings of European Workshop on Computational Geometry 2016 263-266
Oswin Aichholzer, Thomas Hackl and Manfred Scheucher Planar L-Shaped Point Set Embedding of Trees Proceedings of the European Workshop on Computational Geometry 2016 51-54
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, V. Alvarez and B. Speckmann An improved lower bound on the number of triangulations Proceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics 7:1-7:16
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 Graphs Proceedings of the 27th Internationel Symposium on Algorithms and Computation 9.1-9.12
Clemens Mühlbacher and Gerald Steinbauer Diagnosis makes the difference for a successful execution of high-level robot control programs Intelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 2014 1119-1132
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer and Stavros Vassos Controlling logistics robots with the action-based language YAGI Intelligent Robotics and Applications 525-537
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 Intelligence 4126 - 4127
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact Points International Conference on Robotics in Education 2016
Alexander Felfernig Application of Constraint-based Technologies in Financial Services Recommendation 2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16) 22-23
Annemarie Harzl Combining FOSS and Kanban IFIP Advances in Information and Communication Technology 71-84
Roxane Koitz and Franz Wotawa On Structural Properties to Improve FMEA-Based Abductive Diagnosis Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning
Oswin Aichholzer, Thomas Hackl, Pavel Valtr and Birgit Vogtenhuber A Note on the Number of General 4-holes in (Perturbed) Grids Discrete and Computational Geometry and Graphs. JCDCGG 2015. 1-12
Roxane Koitz and Franz Wotawa Improving Abductive Diagnosis Through Structural Features: A Meta-Approach Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16)
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
Roxane Koitz and Franz Wotawa Integration of Failure Assessments into the Diagnostic Process Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016 124-135
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education: From Kindergarten to University IEEE Conference on Frontiers in Education (FIE) 2016
Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient reconfiguration of hinged-units modular robots Proceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016) 5197-5202
Bernhard K. Aichernig and Florian Lukas Lorber On-the-Fly Determinization of Networks of Timed Automata Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China 14-21
Bernhard K. Aichernig and Richard Schumi Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016 219-228
Bernhard K. Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings 3-19
S. Shafiee, K. Kristjansdottir, L. Hvam, A. Felfernig and A. Myrodia Analysis of visual representation techniques for product configuration systems in industrial companies 2016 International Conference on Industrial Engineering and Engineering Management, IEEM 2016 793-797
Bernhard K. Aichernig and Richard Alexander Schumi Towards Integrating Statistical Model Checking into Property-Based Testing 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 71-76
Bernhard Aichernig, Roderick Bloem, Franz Pernkopf, Franz Röck, Tobias Schrank and Martin Tappler Learning Models of a Network Protocol using Neural Network Language Models IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FSTaxis algorithm Proceedings of the Artificial Life Conference 2016, ALIFE 2016 330-337
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 Workshops 1-2
Abschlussarbeit
Roxane Koitz Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers
Technischer Bericht
Gerald Steinbauer, Gerald Christian Lichtenegger and Johannes Maurer Request a Rescue Robot (R-CUBED)
Sonstiger Beitrag
Alexander Felfernig Application of Constraint-based Technologies in Financial Services Recommendation
Clemens Mühlbacher, Michael Reip, Stephan Gspandl and Gerald Steinbauer Improving Dependability of Industrial Transport Robots Using Model-Based Techniques
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin Juhart Testing computer vision applications an experience report on introducing code coverage analysis in the field
Franz Wotawa On the use of qualitative deviation models for diagnosis
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools
Alexander Felfernig Recommendation Technologies for Configurable Products
Alexander Felfernig Recommendation Technologies for Configurable Items
Nicolas Braud-Santoni, Roderick Bloem and Swen Jacobs Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems
Hermann Felbinger, Franz Wotawa and Mihai Nica Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment
Anja Christin Petri and Bernadette Spieler Engaging and playful activities with smartphones in school contexts
Roderick Bloem, Robert Könighofer, Ingo Hans Pill and Franz Röck Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Dan Hefetz, Fabian Kuhn, Yannic Maus and Angelika Steger Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model
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
Clemens Mühlbacher, Gerald Steinbauer and Stefan Loigge Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots
Clemens Mühlbacher and Gerald Steinbauer Belief Management using the Action History and Consistency-Based-Diagnosis
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education
Sebastian Daum, Fabian Kuhn and Yannic Maus Rumor Spreading with Bounded In-Degree
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Extension of CHOICLA User Interfaces for Configurable Products
Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran and Martin Stettinger Towards Group-based Configuration
Studybattles: A Learning Environment for Knowledge-based Configuration
Clemens Mühlbacher and Gerald Steinbauer Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy
Stefan Imlauer, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots
Anja Christin Petri, Christian Schindler, Wolfgang Slany and Bernadette Spieler Game Design with Pocket Code
Bernadette Spieler and Wolfgang Slany Pocket Code: Learn how to program by creating games/apps directly on your smartphone
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
Bernadette Spieler and Magdalena Strauß Skater Alice
Matthias Müller and Bernadette Spieler Pocket Code: Computational Thinking for all
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
2015
Book
Luis Almeida, Jianmin Ji, Gerald Steinbauer and Sean Luke RoboCup 2015: Robot World Cup XIX978-3-319-29339-4
Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions
Buchkapitel
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Constraint-based Recommender SystemsRecommender Systems Handbook161-191
Benedikt Eberhardinger, Wolfgang Reif and Franz Wotawa Quality assurance for self-adaptive, self-organising systems2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshopsxiv
Anthony Jameson, Martijn Willemsen, Alexander Felfernig, Marco deGemmis, Pasquale Lops, Giovanni Semeraro and Li Chen Human Decision Making and Recommender SystemsRecommender Systems Handbook619-655
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)
Alexander Felfernig, Juha Tiihonen and Paul Blazek 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)
Beitrag in Fachzeitschrift
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
Peter Grasch and Alexander Felfernig On the Importance of Subtext in Recommender Systems
I. Bárány, Ruy Fabila-Monroy and Birgit Vogtenhuber (n,m)-fold covers of spheres
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, Alexander Pilz and Birgit Vogtenhuber Monotone Simultaneous Embedding of Upward Planar Digraphs
Oswin Aichholzer, L. Caraballo, R. Fabila-Monroy, C. Ochoa, Paul Alois Nigsch and J. M. Diaz-Banez Characterization of extremal antipodal polygons
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graph
Bernhard Peischl, Michaela Ferk and Andreas Holzinger The fine art of user-centered software development
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez On the empirical evaluation of similarity coefficients for spreadsheets fault localization
Oswin Aichholzer, Andrei Asinowski and Tillmann Miltzow Disjoint compatibility graph of non-crossing matchings of points in convex position
Bernhard Aichernig, Elisabeth Jöbstl and Stefan Tiran Model-Based Mutation Testing via Symbolic Refinement Checking
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
Oswin Aichholzer, Alexander Pilz and Wolfgang Mulzer Flip Distance Between Triangulations of a Simple Polygon is NP-Complete
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point Sets
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes
Roxane Koitz and Franz Wotawa On the computational feasibility of abductive diagnosis for practical applications
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan Tiran Killing strategies for model-based mutation testing
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Using constraints to diagnose faulty spreadsheets
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
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
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová, B. Jüttler and G. Rote Triangulations with circular arcs
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
O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber 3-Colorability of pseudo-triangulations
Stefan Reiterer, Manfred Wundara and Alexander Felfernig Empfehlungstechnologien in der Öffenlichen Verwaltung
Tagungsbeitrag
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Proceedings of the 17th Real-Time Linux Workshop 13-22
Alexander Pilz and Emo Welzl Order on Order Types 31st International Symposium on Computational Geometry, SoCG 2015 285-299
Alexander Felfernig Learning Games for Configuration and Diagnosis Tasks International Workshop on Configuration
Alexander Felfernig, Rouven Walter and Stefan Reiterer FlexDiag: AnyTime Diagnosis for Reconfiguration International Workshop on Configuration
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 Behind 4th International Conference, DUXU 2015
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 Software Volume II 63-68
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization Vamos 117-124
Tracy Booysen, Marcel Stüttgen, Alexander Ferrein and Gerald Steinbauer The Scarab Project Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)
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 Domain 3rd Workshop on PErsonalization in eGOVernment and Smart Cities: Smart Services for Smart Territories 1-10
Annemarie Harzl, Stephan Fellhofer and Wolfgang Slany Scaling and Internationalizing an Agile FOSS Project: Lessons Learned Open Source Systems: Adoption and Impact
Roxane Koitz and Franz Wotawa On the Feasibility of Abductive Diagnosis for Practical Application Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes 410-415
Harald Altinger, Sebastian Siegl, Yanja Dajsuren and Franz Wotawa A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software Proceedings - 12th Working Conference on Mining Software Repositories, MSR 2015 494-497
Harald Altinger, Steffen Herbold, Jens Grabowski and Franz Wotawa Novel insights on cross project fault prediction applied to automotive software Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings 141-157
Jorge Santos Simon, Clemens Mühlbacher and Gerald Steinbauer Automatic Model Generation to Diagnose Autonomous Systems International Workshop on Principles of Diagnosis
Bernhard Aichernig, Dejan Nickovic and Stefan Tiran Scalable Incremental Test-case Generation from Large Behavior Models Tests and Proofs 1-18
Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa and Thomas Schmickl Potential of heterogeneity in collective behaviors PRIMA 2015 201-217
Riaan Stopforth, Alexander Ferrein and Gerald Steinbauer Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber and G. Salazar Deciding monotonicity of good drawings of the complete graph Encuentros de Geometría Computacional 33-36
Stefan Kaltner, Jürgen Gugler, Manfred Wonisch and Gerald Steinbauer An Autonomous Forklift for Battery Change in Electrical Vehicles Austrian Robotics Workshop
Josip Bozic and Franz Wotawa PURITY: a Planning-based secURITY testing tool 2015 IEEE International Conference on Software Quality, Reliability and Security - Companion Workshop on Trustworthy Computing
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon Außerlechner Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach Testing Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings 124-140
Viktoria Pammer-Schindler, Jörg Peter Simon, Karin Wilding, Stephan Keller and Reinhold Scherer Designing for Engaging BCI Training: A Jigsaw Puzzle CHI PLAY '15 667-672
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment ACM Conference on Intelligent User Interfaces
Franz Wotawa, Martin Stettinger, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig Conflict Management for Constraint-based Recommendation IJCAI 2015, Workshop on Intelligent Personalization nx-ny
Stefan Tiran Incremental Model-based Mutation Testing IEEE International Conference on Software Testing, Verification and Validation 1-2
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz Wotawa Focussed Diagnosis for Failing Software Tests IEA/AIE 2015 712-721
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
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power Plants Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes 1-6
Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler and Jonathan Smith Pocket Game Jams: a Constructionist Approach at Schools MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct 156-526
Franz Wotawa, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases IJCAI 2015, Workshop on Intelligent Personalization nx-ny
Rouven Walter, Alexander Felfernig and Wolfgang Küchlin Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice International Workshop on Configuration
Roxane Koitz and Franz Wotawa From Theory to Practice: Model-Based Diagnosis in Industrial Applications Proceedings of the Annual Conference of the PHM Society (PHM) 197-205
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain 288-304
Alexander Felfernig, Martin Stettinger and Gerhard Leitner Fostering Knowledge Exchange Using Group Recommendations ACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender Systems
Alexander Felfernig, Thomas Ulz, Sarah Haas, Michael Schwarz, Stefan Reiterer and Martin Stettinger PeopleViews: Human Computation for Constraint-based Recommendation ACM Recommender Systems 2015 CrowdRec Workshop
Roderick Paul Bloem, Daniel Hein, Franz Röck and Richard Alexander Schumi Case Study: Automatic Test Case Generation for a Secure Cache Implementation International Conference on Tests And Proofs
Roxane Koitz and Franz Wotawa SAT-Based Abductive Diagnosis Proceedings of the 26th International Workshop on Principles of Diagnosis (DX) 167-175
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa Parse Tree Structure in LTL Requirements Diagnosis The 26th International Symposium on Software Reliability Engineering Workshops 100-107
Roxane Koitz and Franz Wotawa Diagnosis of Technical Systems Proceedings of the International Joint Conference on Artificial Intelligence 2015 4375-4376
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Anchoring Effects in Group Decision Making User Modeling, Adaptation and Personalization 118-130
Roxane Koitz and Franz Wotawa Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning 1-7
Annemarie Harzl Combining Kanban and FOSS: Can it work? Agile Processes, in Software Engineering, and Extreme Programming 352-353
Florian-Christoph Reinfrank A Goal-Question-Metrics Model for Configuration Knowledge bases Workshop on Configuration nx-ny
Alexander Felfernig and Martin Stettinger Conflict Management in Interactive Financial Service Selection 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15) 3-10
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber and Pavel Valtr A note on the number of general 4-holes in perturbed grids A note on the number of general 4-holes in perturbed grids 68-69
Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler and Franz Wotawa Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing 2015 IEEE International Conference on Software Quality, Reliability and Security 207-212
Florian-Christoph Reinfrank Intelligent Techniques for the Maintainance of Constraint-based systems Workshop on Configuration nx-ny
Florian-Christoph Reinfrank Maintaining constraint-based Configuration systems: Challenges ahead Workshop on Configuration nx-ny
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 Graphs Collection of Abstracts of the 31st European Workshop on Computational Geometry 2015 57-60
Ingo Hans Pill and Thomas Quaritsch RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm The 26th International Symposium on Software Reliability Engineering Workshops 78-84
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Intelligent Techniques for Configuration Knowledge Evolution Vamos 51-60
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Karl Krenn, Rupert Schlick and Stefan Tiran MoMuT::UML - model-based mutation testing for UML IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015 1-8
Birgit Gertraud Hofer and Franz Wotawa Fault Localization in the Light of Faulty User Input Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15) 282-291
Seema Jehan, Ingo Hans Pill and Franz Wotawa BPEL Integration Testing International Conference on Fundamental Approaches to Software Engineering
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, T. Biedl, M. Held, S. Huber and P. Palfrader Representing Directed Trees as Straight Skeletons International Symposium on Graph Drawing 335-347
Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz Wotawa Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW
Bernadette Spieler Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education Studies in Health Technology and Informatics 182-189
Oswin Aichholzer, Alexander Pilz, Wolfgang Mulzer, M. Wettstein and V. Kusters An optimal algorithm for reconstructing point set order types from radial orderings An optimal algorithm for reconstructing point set order types from radial orderings 505-516
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 Practices 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15) 27-34
Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, Test and Trace IT Formal Methods for Industrial Critical Systems 113-127
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemüller, Gerald Steinbauer and Stavros Vassos Controlling Logistics Robots with the Action-based Language YAGI IROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
Mihai Nica, Ingo Hans Pill and Franz Wotawa Testing Diagnostics Components Supervising Functional Safety Requirements Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015 150-157
Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai Nica Analyzing the Reduction of Test Suite Redundancy The 26th International Symposium on Software Reliability Engineering Workshops 65-65
Bernhard Aichernig and Florian Lukas Lorber Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata Software Testing, Verification and Validation Workshops (ICSTW) 2015 1-6
Abschlussarbeit
Irene Maria De Parada Munoz Systematic strategies for 3-dimensional modular robots
Manfred Scheucher Orthogeodesic Point Set Embeddings of Outerplanar Graphs
Sonstiger Beitrag
Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient robot reconfiguration
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation
Bernhard Aichernig and Florian Lukas Lorber Killing Bugs in a Black Box with Model-based Testing
Roxane Koitz Diagnosis of Technical Systems
Roxane Koitz SAT-Based Abductive Diagnosis
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Hans Eck Children discover science: robotics, informatics and artificial intelligence in kindergarten and school
Anja Christin Petri The No One Left behind project
2014
Book
Florian Lukas Lorber, Bernhard Aichernig, Stefan Tiran and Dejan Nickovic Require, Test and Trace IT
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: From Research to Business Cases
Oswin Aichholzer Einführung in die angewandte Geometrie978-3-0346-0143-6
Buchkapitel
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
Martin Stettinger, Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan Reiterer Basic Approaches in Recommendation SystemsRecommendation Systems in Software Engineering15-37
Juha Tiihonen, Alexander Felfernig and Monika Mandl Personalized ConfigurationKnowledge-based Configuration: From Research to Business Cases167-179
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Configuration-Related Research ChallengesKnowledge-based Configuration: From Research to Business Cases191-195
Alexander Felfernig, Claire Bagley, Juha Tiihonen, Lois Wortley and Lothar Hotz Benefits of Configuration SystemsKnowledge-based Configuration: From Research to Business Cases29-33
Monika Mandl, Alexander Felfernig and Erich Teppan Consumer Decision-Making and Configuration SystemsKnowledge-based Configuration: From Research to Business Cases181-190
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: MotivationKnowledge-based Configuration: From Research to Business Cases3-7
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Knowledge-based Configuration: Overview of the BookKnowledge-based Configuration: From Research to Business Cases35-37
Lothar Hotz, Alexander Felfernig, Andreas Günter and Juha Tiihonen A Short History of Configuration TechnologiesKnowledge-based Configuration: From Research to Business Cases9-19
Alexander Felfernig, Florian-Christoph Reinfrank, Gerald Ninaus and Paul Blazek Redundancy Detection in Configuration KnowledgeKnowledge-based Configuration: From Research to Business Cases157-165
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
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Configuration-Related TopicsKnowledge-based Configuration: From Research to Business Cases21-27
Alexander Felfernig, Stefan Reiterer, Paul Blazek, Gerhard Leitner, Florian-Christoph Reinfrank and Gerald Ninaus WeeVisKnowledge-based Configuration: From Research to Business Cases297-307
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
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)
Alexander Felfernig, Cipriano Forza and Albert Haag 16th International Workshop on Configuration
Beitrag in Fachzeitschrift
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holes
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic Order Types
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA
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
Alexander Pilz Flip Distance Between Triangulations of a Planar Point Set is APX-Hard
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
B. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Gelasio Salazar Shellable drawings and the cylindrical crossing number of K_n
Stefan J. Galler and Bernhard Aichernig Survey on test data generation tools
Oswin Aichholzer, Greg Aloupis, Erik D. Demaine, Martin L. Demaine, ͆andor P. Fekete, Michael Hoffmann, Anna Lubiw, Jack Snoeyink and Andrew Winslow Covering Folded Shapes
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
M. Raddant Structure in the Italian overnight loan market
O. Aichholzer, F. Aurenhammer, T. Hackl, F. Hurtado, A. Pilz, P. Ramos, J. Urrutia, P. Valtr and B. Vogtenhuber On k-convex point sets
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer and Jorge Urrutia Empty Monochromatic Simplices
Gerhard Leitner, Alexander Felfernig, A. J. Fercher and Martin Hitz Disseminating Ambient Assisted Living in the Rural Area
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar Shellable drawings and the cylindrical crossing number of K_n
Martin Kandlhofer, Gerald Steinbauer, Johann Eck and Sabine Hirschmugl-Gaisch A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplification
Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Reprint of: Extreme points and halving edge search in abstract order types
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. Renssen, P. Taslakian and S. Verdonschot Theta-3 is connected
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Alexander Pilz, Günter Rote, Bettina Speckmann and Birgit Vogtenhuber Plane graphs with parity constraints
Tagungsbeitrag
Josip Bozic, Dimitris Simos and Franz Wotawa Attack Pattern-Based Combinatorial Testing International Workshop on Automation of Software Test 1-7
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of robotics in education on pupils' skills and attitudes Robotics in Education 2014
Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes International Workshop on Principles of Diagnosis 1-8
Stefan Imlauer, Konstantin Lassnig, Johannes Maurer and Gerald Steinbauer Life Sign Detection Based on Sound and Gas Measurements Austrian Robotics Workshop
Bernardo Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Birgit Vogtenhuber Non-Shellable Drawings of Kn with Few Crossings Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014 online-only
Julia Nitsch, Alexander Buchegger, Dorothea Koert, Christian Rose, Johannes Maurer, Stefan Kohlbrecher, Oskar Von Stryk and Gerald Steinbauer Towards Autonomous Manipulation in RoboCup Rescue RoboCup 2014: Robot World Cup XVIII
Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger and Walter Schanil IntelliReq: Intelligent Techniques for Software Requirements Engineering Prestigious Applications of Intelligent Systems (PAIS) 1161-1166
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 2014 online-only
Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz Wotawa Tool-supported fault localization in spreadsheets: Limitations of current research practice International Workshop on Software Engineering Methods in Spreadsheets 1-2
Roxane Koitz and Wolfgang Slany Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers PLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools 21-30
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Monotone Simultaneous Embedding of Directed Paths Collection of Abstracts of the 30th European Workshop on Computational Geometry 2014 0-0
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power Plants International Workshop on Principles of Diagnosis 404-409
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 2014 267-272
Clemens Mühlbacher and Gerald Steinbauer Knowledge-Aware Execution of Programs in IndiGolog International Workshop on Cognitive Robotics
Bernhard Aichernig, Klaus Hörmaier and Florian Lukas Lorber Debugging with Timed Automata Mutations Computer Safety, Reliability, and Security 49-64
Gerald Ninaus, Florian-Christoph Reinfrank, Martin Stettinger and Alexander Felfernig Content-based Recommendation Techniques in Requirements Engineering First International Workshop on Artificial Intelligence for Requirements Engineering 27-34
Oswin Aichholzer, Thomas Hackl, Stefan Huber and Birgit Vogtenhuber Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014 online-only
Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-Bases Proceedings of the 16th International Configuration Workshop 39-46
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 OSLC 2014 14th International Conference on Quality Software 117-126
Oswin Aichholzer, M. Hoffmann, M. van Kreveld and G. Rote Graph Drawings with Relative Edge Length Specifications Canadian Conference on Computational Geometry ---
Martin Stettinger, Alexander Felfernig, Stefan Reiterer, Michael Jeran, Gerald Ninaus and Gerhard Leitner Configuring Decision Tasks Workshop on Configuration 17-21
Birgit Gertraud Hofer and Franz Wotawa On the Usage of Dependency-based Models for Spreadsheet Debugging International Workshop on Software Engineering Methods in Spreadsheets 1-4
Franz Wotawa Failure Mode and Effect Analysis for Abductive Diagnosis International Workshop on Defeasible and Ampliative Reasoning 1-13
Alexander Felfernig Biases in Decision Making Proceedings of the International Workshop on Decision Making and Recommender Systems 2014 32-37
Varvana Myllärniemi, Mikko Raatikainen, Juha Tiihonen and Alexander Felfernig Using Answer Set Programming for Feature Model Representation and Configuration Workshop on Configuration 1-8
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 Systems Proceedings of the ACM Conference on Recommender Systems
Gerald Steinbauer, Johannes Maurer and Andreas Ciossek Field Report: Civil Protection Exercise Gas Storage IEEE International Symposium on Safety Security and Rescue Robotics
Johannes Maurer and Gerald Steinbauer Risk-Aware Exploration* euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Testing Via Random Paths in BPEL Models IEEE International Conference on Software Testing, Verification and Validation 260-263
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development 626-635
Harald Altinger, Franz Wotawa and Markus Schurius Testing Methods Used in the Automotive Industry: Results from a Survey The second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14) 1-6
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 Computation ACM RecSys'14 CrowdRec Workshop 1-6
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization European Conference on Artificial Intelligence 1029-1030
Juha Tiihonen, Tomi Männistö and Alexander Felfernig Sales Configurator Information Systems Design Theory Workshop on Configuration 67-74
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear Transformation Distance for Bichromatic Matchings Proceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14) 154-162
Matias Korman, Langerman Stefan, Wolfgang Mulzer, Alexander Pilz and Birgit Vogtenhuber Minimum Dual Diameter Triangulations European Workshop on Computational Geometry 0-0
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 Device Tests and Proofs 1-9
Birgit Gertraud Hofer Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 263-268
Josip Bozic and Franz Wotawa Security Testing Based on Attack Patterns The 5th International Workshop on Security Testing (SECTEST) 1-8
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz Wotawa Generation of Relevant Spreadsheet Repair Candidates European Conference on Artificial Intelligence 1027-1028
Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous Agents Modern Advances in Applied Intelligence 49-59
Josip Bozic and Franz Wotawa Plan It! Automated Security Testing Based on Planning International Conference on Testing Software and Systems 48-62
Gerald Steinbauer, Johannes Maurer and Heimo Krajnz R^3: Request a Rescue Robot IEEE International Symposium on Safety Security and Rescue Robotics
Martin Stettinger and Alexander Felfernig Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions ACM RecSys'14 IntRS Workshop 28-32
Stefan Felsner and Alexander Pilz Ham-Sandwich Cuts for Abstract Order Types International Symposium on Algorithms and Computation 726-737
Birgit Gertraud Hofer and Franz Wotawa Comparing and improving dependency-based models for fault localization in spreadsheets International Workshop on Principles of Diagnosis 1-7
Oswin Aichholzer Reconstructing Point Set Order Types from Radial Orderings International Symposium on Algorithms and Computation 15-26
Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz Wotawa Retaining Consistency for Knowledge-based Security Testing International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems 88-97
Keith Andrews and Benedict Wright FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL Proc. Eurographics Conference on Visualization (EuroVis 2014) 43-47
Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous Agents AAAI Spring Symposium Series
Alexander Felfernig, Martin Stettinger, Gerald Ninaus, Stefan Reiterer, Michael Jeran, Andreas Falkner, Juha Tiihonen and Gerhard Leitner Towards Open Configuration Workshop on Configuration 89-94
Clemens Mühlbacher and Gerald Steinbauer Active Diagnosis for Agents with Belief Management International Workshop on Principles of Diagnosis
Walid Maalej, Zijad Kurtanovic and Alexander Felfernig What Stakeholders Need to Know About Requirements 4th IEEE International Workshop on Empirical Requirements Engineering 1-8
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point Sets Proc. 22nd International Symposium on Graph Drawing (GD 2014) 355-366
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 Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014 online-only
Birgit Gertraud Hofer and Franz Wotawa Why does my spreadsheet compute wrong values? International Symposium on Software Reliability Engineering 112-121
Thomas Quaritsch and Ingo Hans Pill PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill International Workshop on Principles of Diagnosis 1-5
Martin Stettinger and Alexander Felfernig Choicla: An Intelligent Group Decision Support Environment Proceedings of the International Workshop on Decision Making and Recommender Systems 2014 1-3
Sven Bock, Roland Klöbl, Thomas Hackl, Oswin Aichholzer and Gerald Steinbauer Playing Nine Men's Morris with the Humanoid Robot Nao Austrian Robotics Workshop
Abschlussarbeit
Manfred Scheucher On Order Types, Projective Classes, and Realizations
Elisabeth Jöbstl Model-Based Mutation Testing with Constraint and SMT Solvers
Technischer Bericht
Johannes Maurer, Gerald Steinbauer, Peter Lepej and Suzana Uran TEDUSAR White Book - State of the Art in Search and Rescue Robots
Sonstiger Beitrag
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes
Roxane Koitz Applied Model-Based Diagnosis
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Generation of Relevant Spreadsheet Repair Candidates
Clemens Mühlbacher Active Diagnosis for Agents with Belief Management
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization
2013
Book
Alexander Felfernig Recommender Systems - An Introduction (chinese edition)978-4-320-12296-3
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Model-based Mutation Testing with Timed Automata
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Fast Refinement Checking for Test Case Generation
Buchkapitel
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany Automated Shift Design and Break SchedulingAutomated Scheduling and Planning109-127
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
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
Gerald Steinbauer and Franz Wotawa Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213
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
Proceedings
Gerald Ninaus IEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
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)
Beitrag in Fachzeitschrift
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci and Giovanni Semeraro Human Decision Making and Recommender Systems
Jochen Abhau, Oswin Aichholzer, Sebastian Colutto, Bernhard Kornberger and Otmar Scherzer Shape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data.
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar More on the crossing number of $K_n$: Monotone Drawings
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Clemens Huemer, Attila Por, Francisco Santos, Bettina Speckmann and Birgit Vogtenhuber Maximizing maximal angles for plane straight line graphs
Oswin Aichholzer, Jorge Urrutia and Birgit Vogtenhuber Balanced 6-holes in linearly separable bichromatic point sets.
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
Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Extreme points and halving edge search in abstract order types
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Gelasio Salazar The 2-Page Crossing Number of Kn
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis
S. Alfarano, M. Milaković and M. Raddant A note on institutional hierarchy and volatility in financial markets
Iris Uitz and Roxane Koitz Consumer Acceptance of Location Based Services in the Retail Environment
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
Mihai Nica, Simona Alina Nica and Franz Wotawa On the use of mutations and testing for debugging
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulations
Oswin Aichholzer, Thomas Hackl, David Orden, Pedro Ramos, Günter Rote, André Schulz and Bettina Speckmann Flip Graphs of Bounded-Degree Triangulations
Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of K_n.
Tagungsbeitrag
Birgit Gertraud Hofer and Franz Wotawa Mutation-based spreadsheet debugging Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on 132-137
Wolfgang Slany Catrobat: A mobile visual programming system inspired by Scratch Scratch conference 2013 0-0
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Driving a Tracked Mobile Robot over Unstructured Terrain and Stairs Electrotechnical and Computer Science Conference
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Johann Eck A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together Robotics in Education 2013
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms International Joint Conference on Artificial Intelligence 1039-1045
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 Organisations Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems (ICETE 2013 185-195
Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generation Theories of Programming and Formal Methods 23-36
Oswin Aichholzer, L. Caraballo, J. D. Banez, R. Fabila-Monroy, C. Ochoa and Paul Alois Nigsch Extremal antipodal polygons and polytopes Mexican Conference on Discrete Mathematics and Computational Geometry 11-20
Alexander Felfernig, Stefan Reiterer, Martin Stettinger, Florian-Christoph Reinfrank, Michael Jeran and Gerald Ninaus Recommender Systems for Configuration Knowledge Engineering Proceedings of the 2013 Workshop on Configuration 51-54
Iulia-Dana Nica and Franz Wotawa (Re-)configuration of Communication Networks in the Context of M2M Applications Proceedings of the International Configuration Workshop 101-108
Oswin Aichholzer, J. Urrutia and Birgit Vogtenhuber Balanced 6-holes in bichromatic point sets. Japanese Conference on Discrete and Computational Geometry 5-6
Safdar Zaman and Gerald Steinbauer Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems Austrian Robotics Workshop
Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej and Suzana Uran An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems International Conference on Robotics and Automation
Martin Stettinger, Gerald Ninaus, Michael Jeran, Florian-Christoph Reinfrank and Stefan Reiterer WE-DECIDE: A Decision Support Environment for Groups of Users Recent Trends in Applied Artificial Intelligence 382-391
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 Metrics 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) 45-53
Florian-Christoph Reinfrank, Alexander Felfernig, David Benavides and José A. Galindo Automated Analysis in Feature Modelling and Product Configuration Safe and Secure Software Reuse 160-175
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Time for Mutants —Model-based Mutation Testing with Timed Automata Tests and Proofs 20-38
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan Proceedings of Programming for Mobile and Touch PRoMoTo 2013 0-0
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 Geometry 5-6
Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator Level International Joint Conference on Artificial Intelligence 1053-1059
Nysret Musliu, Wolfgang Slany and Johannes Gaertner Automated Test Case Generation in End-User Programming End-User Development - 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings 272-277
Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui Abreu On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 68-82
Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm International Workshop on Principles of Diagnosis 210-215
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Grey Box Testing - A Constraint-Based Approach International Workshop on Constraints in Software Testing Verification and Analysis 232-237
Franz Wotawa "Trust, But Verify" Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation 38-47
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Incremental Refinement Checking for Test Case Generation Tests and Proofs 1-19
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 Algorithms and Complexity 146-157
Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-complete Algorithms, 21st Annual European Symposium 13-24
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 Geometry 131-134
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany A Scratch-like visual programming system for Microsoft Windows Phone 8 Promoto ’13 0-0
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 Spreadsheets 13th International Conference on Quality Software 139-148
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 Geometry 205-211
Alexander Felfernig, David Benavides, Jose Galindo and Florian-Christoph Reinfrank Towards Anomaly Explanation in Feature Models Proceedings of 2013 Workshop on Configuration 117-124
Peter Grasch, Alexander Felfernig and Florian-Christoph Reinfrank Recomment: Towards Critiquing-based Recommendation with Speech Interaction Proceedings of the 7th ACM Conference on Recommender Systems 157-164
Valentin Constantin Chimisliu and Franz Wotawa Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences International Conference on Quality Software 125-134
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 plane 25th Canadian Conference on Computational Geometry 169-174
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graph Mexican Conference on Discrete Mathematics and Computational Geometry 21-29
Safdar Zaman and Gerald Steinbauer Automated Generation of Diagnosis Models for ROS-based Robot Systems International Workshop on Principles of Diagnosis
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan Gspandl Improving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics Austrian Robotics Workshop
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of RoboCupJunior on pupils' abilities RoboCup 2013 Symposium Proceedings and Team Description Papers
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 Geometry 73-78
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'13 Proceedings of the ACM Conference on Recommender Systems 2013 479-480
Valentin Constantin Chimisliu and Franz Wotawa Using Dependency Relations to Improve Test Case Generation from UML Statecharts Proceedings of the Fifth IEEE International Workshop on Software Test Automation (STA) 71-76
Max Leingartner, Johannes Maurer, Gerald Steinbauer and Alexander Ferrein Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels IEEE International Symposium on Safety Security and Rescue Robotics
Ingo Hans Pill and Thomas Quaritsch Exploiting Parse Trees in LTL Specification Diagnosis International Workshop on Principles of Diagnosis 59-64
Gerald Steinbauer, Lisa-Christina Winter, Alexander Nussbaumer and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of Robustness Workshop on Software Development and Integration in Robotics
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 Testing Workshop on Advances in Model Based Testing (A-MOST) 154-157
Johannes Maurer and Gerald Steinbauer Autonomous Risk-Aware Exploration 2013 IEEE International Symposium on Safety Security and Rescue Robotics
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones DMS 2013 0-0
Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained Problems Proceedings of the 23rd International Joint Conference on Artificial Intelligence 1990-1996
Hans Eck, Sabine Hirschmugl-Gaisch, Alexander Hofmann, Martin Kandlhofer, Sabrina Rubenzer and Gerald Steinbauer Innovative concepts in educational robotics: Robotics projects for kindergartens in Austria Austrian Robotics Workshop
Oswin Aichholzer, Thomas Hackl, Vera Sacristán, Birgit Vogtenhuber and Reinhard Wallner Simulating distributed algorithms for lattice agents XV Spanish Meeting on Computational Geometry (2013) 81-84
Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional SOA testing based on constraints International Workshop on Automation of Software Test 33-39
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplification Algorithms and Computation, 24th International Symposium 11-21
Josip Bozic and Franz Wotawa XSS Pattern for Attack Modeling in Testing International Workshop on Automation of Software Test 71-74
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 rectangles Lecture Notes in Computer Science, Proc. 13th Algorithms and Data Structures Symposium (WADS) 73-84
Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-complete 29th European Workshop on Computational Geometry 115-118
Abschlussarbeit
Manfred Scheucher Counting Convex 5-Holes
Roxane Koitz Akzeptanz von Location Based Services im Einzelhandel
Stefan Tiran On the Effects of UML Modeling Styles in Model-based Mutation Testing
Martin Stettinger Intelligent Services for Group Decision Making
Sonstiger Beitrag
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms
Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained Problems
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
Alexander Nussbaumer, Gerald Steinbauer, Lisa-Christina Winter and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of Robustness
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
Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator Level
Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Hitting Set Algorithm
2012
Book
Stefan Tiran The Argos Manual
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems (japanese edition)
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases
Buchkapitel
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
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
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
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
Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90
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
Proceedings
Bernhard Aichernig, Frank S. de Boer and Marcello M. Bonsangue Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Li Chen, Alexander Felfernig, J. Liu and Z.W. Ras Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12)
Gerald Steinbauer and Suzana Uran Proceedings of the Austrian Robotics Workshop 2012
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
Beitrag in Fachzeitschrift
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holes
O. Aichholzer, F. Aurenhammer, E. Demaine, F. Hurtado, P. Ramos and J. Urrutia On k-convex polygons
Oswin Aichholzer, Günter Rote, André Schulz and Birgit Vogtenhuber Pointed drawings of planar graphs
Jörg Weber and Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot
Birgit Gertraud Hofer and Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Franz Wotawa, Mihai Nica and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case
Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs
D.Y. Kenett, M. Raddant, T. Lux and E. Ben-Jacob Evolvement of uniformity and volatility in the stressed global financial village
Alexander Felfernig, Monika Schubert and Christoph Zehentner n Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis
Oswin Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibility
Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten Connectors as designs: Modeling, refinement and test case generation
Erich Teppan and Alexander Felfernig Minimization of Product Utility Estimation Errors in Recommender Result Set Evaluations
Andreas Holzinger, Christof Stocker, Bernhard Peischl and Klaus-Martin Simonic On Using Entropy for Enhancing Handwriting Preprocessing
Wolfgang Slany and Farhan Sahito Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security
Alexander Felfernig, Robin Burke and Pearl Pu Preface to the special issue on User Interfaces for Recommender Systems
Tagungsbeitrag
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 Application Proceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems 217-221
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 Approach Proc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks 12-17
Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM Evaluation International Workshop on Personal Information Management 1-5
Raymond Sheh, Tetsuya Kimura, Daniele Nardi, Johannes Pellenz and Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School IEEE International Symposium on Safety Security and Rescue Robotics
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Educational Robotics - Evaluating long-term effects Integrating Robotics in School Curriculum 198-199
Florian Ehrentraut, Christian Landschützer, Dominik Lechner, Christian Matt, Wolfgang Pichler, Gerald Steinbauer, Bernhard Puchinger and Daniel Wimmer Kombot - An Autonomous Mobile Order Picking Robot Austrian Robotics Workshop 2012 1-7
O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler, K. Dobiásová and G. Rote Triangulations with circular arcs Graph Drawing 296-307
Gerhard Leitner, Anton Josef Fercher, Alexander Felfernig and Martin Hitz Reducing the entry threshold of AAL systems Computers Helping People with Special Needs - 13th International Conference, ICCHP 2012, Proceedings 709-715
Josip Bozic and Franz Wotawa Model-based Testing - From Safety to Security Workshop on System Testing and Validation 9-16
Gerald Ninaus Using group recommendation heuristics for the prioritization of requirements RecSys '12 Proceedings of the sixth ACM conference on Recommender systems 329-332
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Integrating model-based testing and analysis tools via test case exchange IEEE International Symposium on Theoretical Aspects of Software Engineering 119-126
Stephan Gspandl, Siegfried Podesser, Michael Reip, Gerald Steinbauer and Màtè Wolfram A Dependable Perception-Decision-Execution Cycle for Autonomous Robots International Conference on Robotics and Automation
Iulia-Dana Nica and Franz Wotawa The SiMoL Modeling Language for Simulation and (Re-) Configuration SOFSEM - Conference on Current Trends in Theory and Practice of Informatics 661-672
Oswin Aichholzer, Ferran Hurtado and Birgit Vogtenhuber Compatible matchings for bichromatic plane straight-line graphs 28th European Workshop on Computational Geometry, Booklet of Abstracts 257-260
Wolfgang Slany Catroid: a mobile visual programming system for children 11th International Conference on Interaction Design and Children, IDC '12 300-303
Wolfgang Slany A mobile visual programming system for Android smartphones and tablets IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012 265-266
Gerald Steinbauer and Alexander Kleiner Towards CSP-based mission dispatching in C2/C4I systems IEEE International Symposium on Safety Security and Rescue Robotics
Wolfgang Slany Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their Features ICCIT - 2012, the 15th International Conference on Computer and Information Technology 507-512
Alexander Felfernig and Leopold Weninger Improving Requirements Engineering using Group Decision Tools Requirements Engineering Tagung
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 2012 267-272
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Analysis of Laser Sensor System for a Rescue Robot 21st International Electrotechnical and Computer Science Conference
Oswin Aichholzer, Wolfgang Aigner, Thomas Hackl and Nicola Wolpert Exact Medial Axis Computation for Circular Arc Boundaries Curves and Surfaces 2010 28-42
Peter Lepej, Johannes Maurer, Gerald Steinbauer, Suzana Uran and Safdar Zaman An integrated Diagnosis and Repair Architecture for ROS-­‐Based Robot Systems International Workshop on Principles of Diagnosis
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety-critical systems IFIP Cross Domain Conference, Lecture Notes in Computer Science
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holes Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012 261-266
Gerald Ninaus and Alexander Felfernig Group Recommendation Algorithms for Requirements Prioritization Recommender Systems in Software Engineering (RSSE 2012) 1-4
Alexander Ferrein, Gerald Steinbauer and Stavros Vassos Action-Based Imperative Programming with YAGI International Workshop on Cognitive Robotics
Alexander Felfernig, Gerald Ninaus and Florian-Christoph Reinfrank Eliciting Stakeholder Preferences for Requirements Prioritization Workshop on Human Decision Making in Recommender Systems (Decisions@RecSys 2012) 27-31
Michael Reip, Gerald Steinbauer and Alexander Ferrein Improving Belief Management for High-­‐Level Robot Programs by Using Diagnosis Templates International Workshop on Principles of Diagnosis
Franz Wotawa Open research challenges of localizing faults in programs using constraints Proceedings of the 4th Workshop on Constraints in Software Testing, Verification, and Analysis
Birgit Gertraud Hofer, Franz Wotawa and Rui Abreu AI for the win: improving spectrum-based fault localization ACM SIGSOFT Software Engineering Notes 1-8
Simona Alina Nica and Franz Wotawa Using Constraints for Equivalent Mutant Detection Workshop on Formal Methods in the Development of Software
Alexander Pilz and Tillmann Miltzow Selection of Extreme Points and Halving Edges of a Set by its Chirotope 28th European Workshop on Computational Geometry 85-88
Rui Abreu, André Riboira and Franz Wotawa Constraint-based Debugging of Spreadsheets Proceedings of the 15th Ibero-American Conference on Software Engineering
Alexander Pilz Augmentability to Cubic Graphs 28th European Workshop on Computational Geometry 29-32
Valentin Constantin Chimisliu and Franz Wotawa Model Based Test Case Generation for Distributed Embedded Systems International Conference on Industrial Technology p-p
Gerald Steinbauer A Survey about Faults of Robots used in RoboCup RoboCup 2012: Robot Soccer World Cup XVI 344-355
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 2012 137-140
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault Localization ECAI 2012 - 20th European Conference on Artificial Intelligence. 420-425
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 smartphones 11th International Conference on Interaction Design and Children, IDC '12 264-267
Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders CHI EA '12 Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems, Extended Abstracts (CHI2012) 2063-2068
Ingo Pribik and Alexander Felfernig Towards Persuasive Technologies for Software Development Environments 7th International Conference on Persuasive Technology 227-238
Valentin Constantin Chimisliu and Franz Wotawa Category Partition Method and Satisfiability Modulo Theories for Test Case Generation Proc. of the International Workshop on Automation of Software Test
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012) 752-757
Wolfgang Slany Mobile Visual Game Programming by Children Workshop "Opportunities and Challenges when Designing and Developing Games with/for Kids" at the 4th International Conference on Fun and Games 2012 ?-?
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 Processes ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions 208-217
Bernhard Aichernig The Science of Killing Bugs in a Black Box - (Keynote Talk) Programming Languages 6-11
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking Model-Based Testing (MBT) 88-102
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 Robots IEEE International Symposium on Safety Security and Rescue Robotics
Siegfried Podesser, Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-­‐Level Robot Programs International Workshop on Principles of Diagnosis
Florian-Christoph Reinfrank, Alexander Felfernig and Gerald Ninaus Resolving Anomalies in Configuration Knowledge Bases Foundations of Intelligent Systems 311-320
Monika Mandl and Alexander Felfernig Improving the Performance of Unit Critiquing International Conference on User Modeling, Adaption, and Personalization 176-187
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'12 Proceedings of the ACM Conference on Recommender Systems 2012 347-348
Ingo Hans Pill and Thomas Quaritsch Optimizations for the Boolean Approach to Computing Minimal Hitting Sets ECAI 2012 - 20th European Conference on Artificial Intelligence 648-653
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic order types Proc. 18th Annual International Computing and Combinatorics Conference (COCOON '12), 216-227
Ingo Hans Pill and Thomas Quaritsch An LTL SAT Encoding for Behavioral Diagnosis Proceedings of the 23rd International Workshop on Principles of Diagnosis 67-74
Birgit Gertraud Hofer and Franz Wotawa Reducing the size of dynamic slicing with constraint solving 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012 41-48
Gerald Ninaus, Alexander Felfernig and Florian-Christoph Reinfrank Anonymous Preference Elicitation for Requirements Prioritization Foundations of Intelligent Systems 349-356
Rui Abreu, Andrè Riboira and Franz Wotawa Debugging of Spreadsheets: A CSPbased Approach Software Reliability Engineering Workshops (ISSREW) 159-164
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Evaluating the long-term impact of RoboCupJunior: A first investigation RiE 2012 87-94
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of kn ACM Symposium on Computational Geometry 397-403
Bernhard Aichernig and Elisabeth Jöbstl Efficient Refinement Checking for Model-Based Mutation Testing Proceedings of the 12th International Conference on Quality Software (QSIC 2012) 21-30
Simona Alina Nica and Franz Wotawa EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems Workshop on Intelligent Solutions in Embedded Systems 57-62
Abschlussarbeit
Bernhard Aichernig Model-Based Mutation Testing: Theory and Application
Sonstiger Beitrag
Bernhard Peischl, Martina Ziefle and Andreas Holzinger A Mobile Information System für Improved Navigation in Public Transport
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety‐critical systems
Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School
Alexander Felfernig and Leopold Weninger Gruppenentscheidungsprozesse im Requirements Engineering
Iulia-Dana Nica and Franz Wotawa ConDiag - Computing minimal diagnoses using a constraint solver
Gerald Steinbauer A Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result Dissemination
Gerald Steinbauer Community-Driven Development of Standard Software Modules for Search and Rescue Robots
Alexander Felfernig and Gerald Ninaus Group Recommendation Algorithms for Requirements Prioritization
Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM Evaluation
Wolfgang Slany Catroid: A mobile visual programming system
Gerald Ninaus Using group recommendation heuristics for the prioritization of requirements
Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders
Gerald Steinbauer A Survey about Faults of Robots used in RoboCup
Martin Kandlhofer, Gerald Steinbauer and Astrid Weiss Educational Robotics - Evaluating long-term effects
2011
Book
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction (japanese edition)978-4-320-12296-3
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems
Siegfried Podesser Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms
Proceedings
Alexander Felfernig, Li Chen and Monika Mandl Proceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11)
Beitrag in Fachzeitschrift
Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems
Monika Schubert and Alexander Felfernig BFX: Diagnosing Conflicting Requirements in Constraint-Based Recommendation
Monika Mandl, Alexander Felfernig, Erich Teppan and Monika Schubert Consumer Decision Making in Knowledge-based Recommendation
O. Aichholzer, F. Aurenhammer, T. Hackl, B. Jüttler, M. Oberneder and Z. Sir Computational and structural advantages of circular boundary representation
Alexander Felfernig and Monika Schubert Personalized Diagnoses for Inconsistent User Requirements
Andreas Falkner, Alexander Felfernig and Albert Haag Recommendation Technologies for Configurable Products
Robin Burke, Alexander Felfernig and Mehmet Goeker The Future of Recommender Systems: Research and Applications
Stefan Janisch, Martin Ebner and Wolfgang Slany Informatische Bildung mithilfe eines MOOC
Alexander Felfernig, Markus Stumptner and Juha Tiihonen Introduction: Special Issue on Configuration
Christian Schwarzl and Franz Wotawa Test case generation in practice for communicating embedded systems
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, J. Leanos and G. Salazar There is a unique crossing-minimal rectilinear drawing of k18
Safdar Zaman, Wolfgang Slany, Nadeem Ahsan, Farhan Hyder and Farukh Nadeem Neural Network based Clustering using Visual Features of Characters’ Shape in Image
Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung
Tagungsbeitrag
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 Testing Proceedings of the 8th International Conference on electronic Business and Telecommunications 53-56
Safdar Zaman, Wolfgang Slany and Gerald Steinbauer ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues Saudi International Electronics, Communications and Photonics Conference
Birgit Gertraud Hofer and Franz Wotawa How to combine slicing-hitting-set-computation with spectrum-based fault localization 22nd International Workshop on Principles of Diagnosis 114-121
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 Time Proceedings of the 8th International Conference on electronic Business and Telecommunications 57-61
Valentin Constantin Chimisliu and Franz Wotawa Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS Proc. of the 6th International Workshop on Automation of Software Test 8-14
Iulia-Dana Nica and Franz Wotawa SiMoL– A Modeling Language for Simulation and (Re-)Configuration Workshop on Configuration 40-43
Michael Kollar, Harald Altinger and Michael Bader The application of pneumatic actuators in RoboCups' Middle Size League The application of pneumatic actuators in RoboCups' Middle Size League 117-126
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms 22nd International Workshop on Principles of Diagnosis 203-210
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures Information und Wissen: global, sozial und frei? 516-518
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn UML in Action: A Two-Layered Interpretation for Testing Third IEEE International workshop UML and Formal Methods (UML & FM 2010) 1-8
Gerald Steinbauer and Franz Wotawa On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems International Workshop on Principles of Diagnosis 167-170
Franz Wotawa, Simona Alina Nica and Mihai Nica Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011)
Alexander Ferrein, Stephen Marrais, Anet Potgieter and Gerald Steinbauer RoboCupJunior: A Vehicle for S&T Education in Africa? IEEE AFRICON
Gerhard Leitner, F. Ferrara, Alexander Felfernig and C. Tasso Decision Support in the Smart Home Workshop on Human Decision Making in Recommender Systems 1-8
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Efficient Mutation Killers in Action 2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011) 120-129
Gerald Steinbauer and Franz Wotawa Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments
Simona Alina Nica On the Improvement of the Mutation Score Using Distinguishing Test Cases 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation 423-426
Franz Wotawa Adaptive autonomous systems - From the system's architecture to testing Proceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics Systems
Wolfgang Herzner, Rupert Schlick and Elisabeth Jöbstl Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences 30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2011) 270-283
Stephan Gspandl, Michael Reip, Andreas Hechenblaickner, Gerald Steinbauer, Máté Wolfram and Christoph Zehentner The Ontology Lifecycle in RoboCup: Population From Text and Execution RoboCup International Symposium
Simona Alina Nica, Mihai Nica and Franz Wotawa Detecting Equivalent Mutants by Means of Constraint Systems The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
Monika Mandl, Alexander Felfernig and Juha Tiihonen Evaluating Design Alternatives for Feature Recommendations in Configuration Systems Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing 34-41
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures Information und Wissen: global, sozial und frei? 516-518
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
Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition Systems Testing Software and Systems 179-194
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Belief Management for Autonomous Robots using History-Based Diagnosis International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Alexander Felfernig, Christoph Zehentner and Paul Blazek CoreDiag: Eliminating Redundancy in Constraint Sets Proceedings of the 2011 Workshop on the Principles of Diagnosis 219-224
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 Sets Proc. 23nd Annual Canadian Conference on Computational Geometry CCCG 2011 21-26
Alexander Felfernig and Erich Teppan Decoy Effects in Financial Service E‐Sales Systems Workshop on Human Decision Making in Recommender Systems 1-8
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 Checking 11th International Conference On Quality Software 121-130
Franz Wotawa (Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract Proceedings of the Austrian Robotics Workshop 9-11
Bernhard Peischl and Franz Wotawa An Abstract Operational Framework for Dependence Models in Software Debugging Proceedings of the ICST Workshop on Testing and Debugging (TeBug)
Monika Mandl, Alexander Felfernig, Juha Tiihonen and Klaus Isak Status Quo Bias in Configuration Systems Proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems 105-114
Alexander Felfernig Group Decision Support for Requirements Negotiation Proceedings of UMAP'11 Workshop on Decision and Recommendation Acceptance Issues in Recommender Systems 27-34
Stephan Gspandl, Ingo Hans Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein Belief Management for High-Level Robot Programs International Joint Conference on Artificial Intelligence
O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibility XIV Encuentros de Geometría Computacional 35-38
Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-finding Files Using Tags Information Quality in e-Health 471-481
Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies ACM Conference on Recommender Systems
Alexander Felfernig and Monika Schubert Personalizing Diagnoses for Inconsistent Constraint Sets International Workshop on Principles of Diagnosis 146-153
Alexander Felfernig, Li Chen and Monika Mandl Workshop on human decision making in recommender systems: Decisions@RecSys'11 Proceedings of the ACM Conference on Recommender Systems 2011 389-390
Máté Wolfram, Stephan Gspandl, Michael Reip and Gerald Steinbauer Robust Robotics Using History-Based-Diagnosis in IndiGolog Austrian Robotics Workshop
Franz Wotawa and Mihai Nica Program debugging using constraints – Is it feasible? Proceedings of the 11th International Conference on Quality Software (QSIC) 236-243
Andreas Holzinger, Lamija Basic, Bernhard Peischl and Matjaz Debevc Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis Proceedings of the 8th International Conference on electronic Business and Telecommunications 219-227
Oswin Aichholzer, A. García, F. Hurtado and J. Tejel Compatible matchings in geometric graphs Encuentros de Geometría Computacional 145-148
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Cech Dobiasova, B. Juettler and G. Rote Triangulations with circular arcs Proc. 19th International Symposium on Graph Drawing 296-307
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 visibilities Canadian Conference on Computational Geometry 229-234
Gerald Steinbauer A Survey on the Nature of Faults of Autonomous Robot Systems ICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems
Franz Wotawa On the use of constraints in dynamic slicing for program debugging Proceedings of the ICST Workshop on Testing and Debugging (TeBug)
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 Collection of Abstracts of the 27th European Workshop on Computational Geometry 2011 115-118
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holes Proceedings of XIV Encuentros de Geometría Computacional 2011 7-10
Alexander Felfernig, Monika Schubert and Florian-Christoph Reinfrank ReAction: Personalized Minimal Repair Adaptations for Customer Requests Flexible query answering systems 13-24
Abschlussarbeit
Birgit Vogtenhuber Combinatorial Aspects of [Colored] Point Sets in the Plane
Sonstiger Beitrag
Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Nachmittagskurs
Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Vormittagskurs
Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies
Petra Pichler and Gerald Steinbauer Robotikworkshop für Fortgeschrittene
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures
Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-Finding Files Using Tags
Iulia-Dana Nica and Franz Wotawa Diagnosis-based reconfiguration using the MINION constraint solver
Alexander Felfernig CoreDiag: Eliminating Redundancy in Constraint Sets
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
2010
Book
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction978-0-521-49336-9
Buchkapitel
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Developing Constraint-based RecommendersRecommender Systems Handbook1-29
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
Proceedings
Alexander Felfernig, Walid Maalej and Anil Kumar Thurimella Proceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010)
Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases
Beitrag in Fachzeitschrift
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
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim Comas Environmental decision support systems based on models and model-based reasoning
Alexander Felfernig and Juha Tiihonen Towards Recommending Configurable Offerings
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
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
Alexander Ferrein, Nils Siebl and Gerald Steinbauer Hyrid control for autonomous systems - Integrating learning, deliberation and reactive control
Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schaffhauser and Wolfgang Slany An AI-based break-scheduling system for supervisory personnel
O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer and M. Rabl Divide-and conquer for Voronoi diagrams revisited
Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer and Marcel Kyas Resource Modeling for Timed Creol Models
Mihai Nica, Bernhard Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software
Oswin Aichholzer, Thomas Hackl, Clemens Huemer, Ferran Hurtado and Birgit Vogtenhuber Large bichromatic point sets admit empty monochromatic 4-gons
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
Tagungsbeitrag
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber Compatible pointed pseudo-triangulations Proc. 22nd Annual Canadian Conference on Computational Geometry CCCG 2010 91-94
Monika Schubert, Alexander Felfernig and Monika Mandl FastXplain: Conflict Detection for Constraint-Based Recommendation Problems Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems 621-630
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 platform RoboCup International Symposium
Alexander Felfernig, Monika Mandl, Juha Tiihonen and Monika Schubert Personalized Product Configuration Multikonferenz Wirtschaftsinformatik 2010 2251-2263
Oswin Aichholzer, Daniel Detassis, Thomas Hackl, Gerald Steinbauer and Johannes Thonhauser Playing Pylos with an Autonomous Robot International Conference on Intelligent Robots and Systems 2507-2508
A. Felfernig, M. Mandl and M. Schubert Intelligent debugging of utility constraints in configuration knowledge bases INFORMATIK 2010 - Service Science - Neue Perspektiven fur die Informatik, Beitrage der 40. Jahrestagung der Gesellschaft fur Informatik e.V. (GI) 767-772
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint Sets Proceedings of the 19th European Conference on Artificial Intelligence 1043-1044
O. Aichholzer, W. Aigner, F. Aurenhammer and B. Jüttler Exact medial axis computation for triangulated solids with respect to piecewise linear metrics Curves and Surfaces 1-27
O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber 3-Colorability of pseudo-triangulations Proc. 26th European Workshop on Computational Geometry (EuroCG'10) 21-24
Stefan Galler, Andreas Maller and Franz Wotawa Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation International Workshop on Automation of Software Test 1-8
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová and B. Jüttler Arc triangulations Proc. 26th European Workshop on Computational Geometry (EuroCG'10) 17-20
Ansgar Bredenfeld, Alexander Hofmann and Gerald Steinbauer Robotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions Teaching Robotics-Teaching with Robotics Workshop @ SIMPAR
[No Value] Zahid Hussain and Wolfgang Slany Analyzing real mobile web usage of a multimedia streaming application through log files 11th ACM SIGMM International Conference on Multimedia Information Retrieval (MIR 2010) 401-404
Alexander Felfernig, Walid Maalej, Monika Mandl, Francesco Ricci and Monika Schubert Recommendation and Decision Technologies for Requirements Engineering Proceedings of the ICSE 2010 Workshop on Recommender Systems in Software Engineering 1-5
Harald Brandl, Martin Weiglhofer and Bernhard Aichernig Automated Conformance Verification of Hybrid Systems 10th International Conference on Quality Software 3-12
Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous Robots International Workshop on Principles of Diagnosis
Alexander Felfernig, Monika Mandl, Anton Pum and Monika Schubert Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based Recommenders Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems 631-640
Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set Computation Proceedings of the 10th International Conference on Quality Software
Jörg Weber and Franz Wotawa Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures International Conference on Agents and Artificial Intelligence
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product Configuration Proceedings for the 2010 International Conference on Intelligent User Interfaces 317-320
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010) 479-488
Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC Proceedings of the International Conference on Interactive Computer-aided Learning (ICL 2010) 1-4
Christian Schwarzl and Bernhard Peischl Generation of Executable Test Cases Based on Behavioral UML System Models AST '10: Proceedings of the 5th Workshop on Automation of Software Test 1-4
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model‐based Diagnosis Proceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET) 27-32
Werner Schafhauser, Andreas Beer, Johannes Gaertner, Nysret Musliu and Wolfgang Slany TEMPLE - an end-user language for staff scheduling problems Third international workshop on model-based metaheuristics ???-???
Franz Wotawa, Mihai Nica and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint Solver Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10) 1-6
Stefan Galler, Christoph Zehentner and Franz Wotawa AIana: An AI Planning System for Test Data Generation 1st ECOOP Workshop on Testing Object-Oriented Systems 1-8
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz Wotawa From Sketch to Plan International Workshop on Qualitative Reasoning
Alexander Felfernig, Monika Mandl, Stefan Schippel, Monika Schubert and Erich Teppan Adaptive Utility-based Recommendation Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems 641-650
Syed Nadeem Ahsan and Franz Wotawa Impact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification International Symposium on Empirical Software Engineering and Measurement
Martin Weiglhofer and Bernhard Aichernig Unifying input output conformance Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland 181-201
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Model-Based Mutation Testing of Hybrid Systems Formal Methods for Components and Objects 228-249
M. Milaković, M. Raddant and L. Birg Hierarchy in Germany's corporate network Proceedings - 2010 International Conference on Advances in Social Network Analysis and Mining, ASONAM 2010
Mihai Nica, Simona Alina Nica and Franz Wotawa Does testing help to reduce the number of potentially faulty statement in debugging? TAIC PART 2010,
Mihai Nica, Simona Alina Nica and Franz Wotawa Using Distinguishing Tests to Reduce the Number of Fault Candidates Proceedings of the 21st International Workshop on the Principles of Diagnosis
Alexander Felfernig and Monika Schubert Diagnosing Inconsistent Requirements ECAI 2010 Workshop on Configuration 15-20
Alexander Felfernig Towards Persuasive Technologies for Improved Software Quality UMAP 2010 Workshop on User Models for Motivational Systems 1-7
Alexander Hofmann and Gerald Steinbauer The Regional Center Concept for RoboCupJunior in Austria Robotics in Education
Christian Schwarzl and Bernhard Peischl Static- and Dynamic Cosistency Analysis of UML State Chart Models Model Driven Engineering Languages and Systems 151-165
Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog Simulation, Modeling, and Programming for Autonomous Robots 229-240
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 Synthesis Computer Aided Verification 425-429
Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Control for Resource-Limited Embedded Systems with Golog ECAI 2010 Workshop on "Intelligent Engineering Techniques for Knowledge Bases" (I-KBET'2010)
Harald Milchrahm, Wolfgang Slany and Andreas Holzinger Process Patterns for Agile Usability Advances in Computer Human Interaction
Simona Alina Nica, Mihai Nica and Franz Wotawa Improving the Mutation Score by Means of Distinguishing Test Cases Proceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulations Proc. 22nd Annual Canadian Conference on Computational Geometry CCCG 2010 21-24
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 problem Hybrid Metaheuristics 46-61
Alexander Felfernig and Monika Schubert A Diagnosis Algorithm for Inconsistent Constraint Sets 21st International Workshop on the Principles of Diagnosis 0-0
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 problem Proceedings of PATAT 2010 490-492
Alexander Felfernig, Monika Schubert, Monika Mandl and Philipp Ghirardini Diagnosing Inconsistent Requirements Preferences in Distributed Software Projects Proceedings of the 3rd International Workshop on Social Software Engineering 495-502
Christian Schwarzl and Bernhard Peischl Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems Proceedings in Quality Software (QSIC) 2010 122-131
Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems Proc. of Formal Methods for Components and Objects (FMCO) 2009 228-249
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 Papers 41-69
Alexander Felfernig Impacts of Decoy Effects on the Decision Making Ability IEEE Conference on E-Commerce and Enterprise Computing 112-119
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint Sets 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases 21-26
Michael Hofbaur, Mathias Brandstötter, Christoph Schörghuber and Gerald Steinbauer On-line Kinematics Reasoning for Reconfigurable Robot Drives Robotics and Automation (ICRA), 2010 IEEE International Conference on 5441-5446
Andreas Holzinger, Stefan Mayr, Wolfgang Slany and Matjaz Debevc The influence of AJAX on Web Usability ICE-B 2010 - Proceedings of the International Conference on e-Business 124-127
Alexander Ferrein, Tim Niemüller and Gerald Steinbauer Team Zadeat 2010 --- Application for Participation RoboCup International Symposium
Stefan Galler, Martin Weiglhofer and Franz Wotawa Synthesize it: from Design by Contract™to Meaningful Test Input Data Software Engineering and Formal Methods 2010 1-10
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 research ICE-B 2010 - Proceedings of the International Conference on e-Business 14-21
Abschlussarbeit
Thomas Hackl Relaxing and lifting triangulations
Harald Milchrahm Agile Usability Processes
Sonstiger Beitrag
Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets
Monika Schubert Recommendation and Decision Technologies For Requirements Engineering
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
Harald Altinger, Michael Maier and Roland Angerbauer RoboCup Middle Size League
Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Vormittagskurs
Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC
Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Nachmittagskurs
Wolfgang Slany Mobile Scratch Programming on Android Smart Phones: Usability and New Features
Wolfgang Aigner Exact medial axis computation for circular arc boundaries
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product Configuration
Navigation
image/svg+xml