IST - All Publications

Publications

2019

Book Chapter

Martin Kandlhofer EduRobot TaxonomyEduRobot Taxonomy333-338 Show publication in PURE

Proceedings

Advances in Artificial Intelligence. From Theory to Practice Show publication in PURE

Journal Article

Alexander Felfernig CSPHeuristix: A Learning-based Heuristics Library for Constraint Satisfaction Problems Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$ Show publication in PURE

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

Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version) Show publication in PURE

Alexander Felfernig Recommender Systems for IoT Enabled Quantified-Self Applications Show publication in PURE

Matthias Müller A Networked Analysis and Engineering Framework for New Business Models Show publication in PURE

Wolfgang Slany and Matthias Müller Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems Show publication in PURE

Conference/Workshop Article

Alexander Felfernig, Martin Stettinger and Ralph Samer Decision Biases in Preference Acquisition Decision Biases in Preference Acquisition 20-21 Show publication in PURE

Alexander Felfernig, Martin Stettinger, Müslüm Atas and Ralph Samer Socially-Aware Diagnosis for Constraint-Based Recommendation Socially-Aware Diagnosis for Constraint-Based Recommendation 121-129 Show publication in PURE

Roderick Bloem Synthesizing Reactive Systems Using Robustness and Recovery Specifications Synthesizing Reactive Systems Using Robustness and Recovery Specifications Show publication in PURE

Wolfgang Slany, Christian Schindler and Matthias Müller Streamlining Value in a FOSS Project Streamlining Value in a FOSS Project Show publication in PURE

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

Alexander Felfernig, Martin Stettinger, Müslüm Atas and Ralph Samer User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems 93-98 Show publication in PURE

Wolfgang Slany, Christian Schindler and Matthias Müller Pocket Code - A Mobile Visual Programming Framework For App Development Pocket Code - A Mobile Visual Programming Framework For App Development Show publication in PURE

Alexander Felfernig, Martin Stettinger, Müslüm Atas and Ralph Samer Towards Social Choice-based Explanations in Group Recommender Systems Towards Social Choice-based Explanations in Group Recommender Systems 13-21 Show publication in PURE

Matthias Müller Managing the Open Cathedral Managing the Open Cathedral 1176-1179 Show publication in PURE

Gerald Steinbauer Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization 700-713 Show publication in PURE

Wolfgang Slany, Christian Schindler, Matthias Müller and Thomas Hirsch An Approach to Test Classification in Big Android Applications An Approach to Test Classification in Big Android Applications 300 Show publication in PURE

Thomas Schranz, Wolfgang Slany, Christian Schindler and Matthias Müller Contributors' Impact on a FOSS Project's Quality Contributors' Impact on a FOSS Project's Quality 35-38 Show publication in PURE

Matthias Müller Better Android Apps using Android Vitals Better Android Apps using Android Vitals 26-32 Show publication in PURE

Wolfgang Slany “Computer Science for all”: Concepts to engage teenagers and non-CS students in technology “Computer Science for all”: Concepts to engage teenagers and non-CS students in technology Show publication in PURE

Gerald Steinbauer, Martin Kandlhofer and Julia Petra Laßnig Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools Show publication in PURE

Gerald Steinbauer, Martin Kandlhofer, Manuel Menzinger and Richard Halatschek MINT-Robo: Empowering Gifted High School Students with Robotics MINT-Robo: Empowering Gifted High School Students with Robotics Show publication in PURE

Bernhard Aichernig and Martin Tappler Time to Learn - Learning Timed Automata from Tests Time to Learn - Learning Timed Automata from Tests 216 - 235 Show publication in PURE

Wolfgang Slany, Christian Schindler and Matthias Müller Engaging Students in Open Source: Establishing FOSS Development at a University Engaging Students in Open Source: Establishing FOSS Development at a University 7721-7730 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Ralph Samer Matrix Factorization based Heuristics for Constraint-based Recommenders Matrix Factorization based Heuristics for Constraint-based Recommenders Show publication in PURE

Alexander Felfernig and Müslüm Atas Learned Constraint Ordering for Consistency Based Direct Diagnosis Learned Constraint Ordering for Consistency Based Direct Diagnosis Show publication in PURE

Roderick Bloem, Bernhard Aichernig and Martin Tappler Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning 3-21 Show publication in PURE

Bernhard Aichernig and Martin Tappler L*-Based Learning of Markov Decision Processes L*-Based Learning of Markov Decision Processes 651 - 669 Show publication in PURE

Alexander Felfernig, Martin Stettinger and Ralph Samer Towards Issue Recommendation for Open Source Communities Towards Issue Recommendation for Open Source Communities 164-171 Show publication in PURE

Other Article

Alexander Felfernig, Martin Stettinger, Müslüm Atas and Ralph Samer Towards Similarity-Aware Constraint-Based Recommendation Show publication in PURE

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

Ingo Hans Pill and Franz Wotawa Diagnosing Sequential Circuits as Boolean Satisfaction Show publication in PURE

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

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

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

Christian Schindler and Matthias Müller Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology Show publication in PURE

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

Gerald Steinbauer Constraint-Based Testing of An Industrial Multi-Robot Navigation System Show publication in PURE

2018

Book

Alexander Felfernig and Martin Stettinger Group Recommender Systems978-3-319-75067-5 Show publication in PURE

Book Chapter

Franz Wotawa and Ingo Hans Pill Fault detection and localization using modelica and abductive reasoningFault detection and localization using modelica and abductive reasoning45-72 Show publication in PURE

Bernhard Aichernig and Martin Tappler Model Learning and Model-Based TestingModel Learning and Model-Based Testing74 - 100 Show publication in PURE

Roderick Bloem Graph Games and Reactive SynthesisGraph Games and Reactive Synthesis921-962 Show publication in PURE

Franz Wotawa, Bernhard Josef Peischl and Roxane Koitz-Hristov Diagnosis as a serviceDiagnosis as a service557-567 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Wind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisWind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis17-43 Show publication in PURE

Proceedings

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

28th International Workshop on Principles of Diagnosis (DX'17) Show publication in PURE

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018 Show publication in PURE

Journal Article

Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Bishellable drawings of $K_n$ Show publication in PURE

Gerald Schweiger District energy systems: Modelling paradigms and general-purpose tools Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Holes in 2-convex point sets Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Linear transformation distance for bichromatic matchings Show publication in PURE

Franz Wotawa and Josip Bozic Testing TLS using planning-based combinatorial methods and execution framework Show publication in PURE

Birgit Vogtenhuber The dual diameter of triangulations Show publication in PURE

Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing Show publication in PURE

A Systematic Evaluation of Transient Execution Attacks and Defenses Show publication in PURE

Franz Wotawa Evolutionary Propositionalization of Multi- Relational Data Show publication in PURE

Franz Wotawa and Ingo Hans Pill Automated generation of (F)LTL oracles for testing and debugging Show publication in PURE

Franz Wotawa Fragment-based spreadsheet debugging Show publication in PURE

Oswin Aichholzer Folding Polyominoes into (Poly)Cubes Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Computing Balanced Islands in Two Colored Point Sets in the Plane Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Modem Illumination of Monotone Polygons Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings Show publication in PURE

The adoption of cloud-based tools in MOOC settings - advantages and challenges Show publication in PURE

Franz Wotawa, Bernhard Josef Peischl and Florian Steffen Klück Quality assurance methodologies for automated driving Show publication in PURE

Alexander Felfernig and Müslüm Atas Anytime Diagnosis for Reconfiguration Show publication in PURE

Alexander Felfernig An overview of recommender systems in the internet of things Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Applying algorithm selection to abductive diagnostic reasoning Show publication in PURE

Conference/Workshop Article

Wolfgang Slany, Christian Schindler and Matthias Müller Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on Smartphones Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on Smartphones 104-119 Show publication in PURE

Birgit Vogtenhuber Lombardi Drawings of Knots and Links Lombardi Drawings of Knots and Links 113-126 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Spectrum-Based Fault Localization for Logic-Based Reasoning Spectrum-Based Fault Localization for Logic-Based Reasoning 192-199 Show publication in PURE

Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings Show publication in PURE

Arrangements of pseudocircles Arrangements of pseudocircles 127-139 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Holes in 2-convex point sets Holes in 2-convex point sets 169-181 Show publication in PURE

Franz Wotawa and Josip Bozic Planning-based security testing of web applications Planning-based security testing of web applications 20-26 Show publication in PURE

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

Franz Wotawa Combining spreadsheet smells for improved fault prediction Combining spreadsheet smells for improved fault prediction 25-28 Show publication in PURE

Franz Wotawa and Josip Bozic Security testing for chatbots Security testing for chatbots 33-38 Show publication in PURE

Martin Kandlhofer EduRobot Taxonomy EduRobot Taxonomy Show publication in PURE

Franz Wotawa Adapting unit tests by generating combinatorial test data Adapting unit tests by generating combinatorial test data 352-355 Show publication in PURE

Martin Kandlhofer EduRobot Taxonomy and Papert’s Paradigm EduRobot Taxonomy and Papert’s Paradigm Show publication in PURE

Pocket code build variants Pocket code build variants 1-6 Show publication in PURE

Wolfgang Slany, Christian Schindler and Matthias Müller Enabling Teenagers to Create and Share Apps Enabling Teenagers to Create and Share Apps 25-30 Show publication in PURE

Franz Wotawa and Martin Jochen Zimmermann Adaptive System for Autonomous Driving Adaptive System for Autonomous Driving 519-525 Show publication in PURE

Bernhard Aichernig, Roderick Bloem and Martin Tappler Automata Learning for Symbolic Execution Automata Learning for Symbolic Execution 130 - 138 Show publication in PURE

Roderick Bloem Safe Reinforcement Learning via Shielding Safe Reinforcement Learning via Shielding 2669-2678 Show publication in PURE

Roderick Bloem Bounded Synthesis of Register Transducers Bounded Synthesis of Register Transducers 494-510 Show publication in PURE

Roderick Bloem A Counting Semantics for Monitoring LTL Specifications over Finite Traces A Counting Semantics for Monitoring LTL Specifications over Finite Traces 547-564 Show publication in PURE

Gerald Steinbauer An Autonomous Vehicle for Parcel Delivery in Urban Areas An Autonomous Vehicle for Parcel Delivery in Urban Areas 2961-2967 Show publication in PURE

Vesna Krnjic Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model 1157-1163 Show publication in PURE

Roderick Bloem Synthesis of distributed algorithms with parameterized threshold guards Synthesis of distributed algorithms with parameterized threshold guards Show publication in PURE

Extending the Centerpoint Theorem to Multiple Points Extending the Centerpoint Theorem to Multiple Points 53:1-53:13 Show publication in PURE

Extending Document Exploration with Image Retrieval: Concept and First Results Extending Document Exploration with Image Retrieval: Concept and First Results Show publication in PURE

Matthias Müller Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project 1-6 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Minimal Geometric Graph Representations of Order Types Minimal Geometric Graph Representations of Order Types 21:1-21:6 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer A Note on Planar Monohedral Tilings A Note on Planar Monohedral Tilings 31:1-31:6 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer NP-Completeness of Max-Cut for Segment Intersection Graphs NP-Completeness of Max-Cut for Segment Intersection Graphs 32:1-32:6 Show publication in PURE

Learning to program in a constructionist way Learning to program in a constructionist way 888 - 911 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger and Ralph Samer Group Decision Support for Requirements Management Processes Group Decision Support for Requirements Management Processes 19-24 Show publication in PURE

Alexander Felfernig OCSH: optimized cluster specific heuristics for the university course timetabling problem OCSH: optimized cluster specific heuristics for the university course timetabling problem 13-18 Show publication in PURE

Alexander Felfernig Recommender Systems for IoT Enabled m-Health Applications Recommender Systems for IoT Enabled m-Health Applications 227-237 Show publication in PURE

Alexander Felfernig LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics 190-197 Show publication in PURE

Alexander Felfernig CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring 401-404 Show publication in PURE

Alexander Felfernig, Martin Stettinger and Ralph Samer Using a Feature Model Configurator for Release Planning Using a Feature Model Configurator for Release Planning 29-33 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger and Ralph Samer Investigating Serial Position Effects in Sequential Group Decision Making Investigating Serial Position Effects in Sequential Group Decision Making 239-243 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger and Ralph Samer Configuring Release Plans Configuring Release Plans 9-14 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger and Ralph Samer Liquid Democracy in Group-based Configuration Liquid Democracy in Group-based Configuration 93-98 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Ralph Samer Socially-Aware Recommendation for Over-Constrained Problems Socially-Aware Recommendation for Over-Constrained Problems 267-278 Show publication in PURE

Alexander Felfernig, Müslüm Atas, Martin Stettinger and Ralph Samer Towards Utility-Based Prioritization of Requirements in Open Source Environments Towards Utility-Based Prioritization of Requirements in Open Source Environments 406-411 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Ralph Samer Automated Identification of Type-Specific Dependencies between Requirements Automated Identification of Type-Specific Dependencies between Requirements 688-695 Show publication in PURE

Alexander Felfernig Cost Benefit Analysis in Product Configuration Systems (short paper) Cost Benefit Analysis in Product Configuration Systems (short paper) 37-40 Show publication in PURE

Alexander Felfernig Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment 69-76 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model 248-263 Show publication in PURE

Alexander Felfernig Towards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems Towards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems 109-118 Show publication in PURE

Alexander Felfernig Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines 132-139 Show publication in PURE

Alexander Felfernig and Martin Stettinger Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study 19:1-19:10 Show publication in PURE

Alexander Felfernig Lazy Conflict Detection with Genetic Algorithms Lazy Conflict Detection with Genetic Algorithms 175-186 Show publication in PURE

Alexander Felfernig and Martin Stettinger Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems Construction Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems Construction 205-220 Show publication in PURE

Roderick Bloem Formal Verification of Masked Hardware Implementations in the Presence of Glitches Formal Verification of Masked Hardware Implementations in the Presence of Glitches 321-353 Show publication in PURE

Alexander Felfernig Recsys'18 joint workshop on interfaces and human decision making for recommender systems Recsys'18 joint workshop on interfaces and human decision making for recommender systems 519-520 Show publication in PURE

Wolfgang Slany It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger Polarization Effects in Group Decisions Polarization Effects in Group Decisions 305-310 Show publication in PURE

Bernhard Aichernig How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols Show publication in PURE

A daily dose of DSL MDE micro injections in practice A daily dose of DSL MDE micro injections in practice 642-651 Show publication in PURE

Bernhard Aichernig Statistical Model Checking of Response Times for Different System Deployments Statistical Model Checking of Response Times for Different System Deployments Show publication in PURE

How to fit a tree in a box How to fit a tree in a box 361-367 Show publication in PURE

Wolfgang Slany and Christian Schindler Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code 1-6 Show publication in PURE

Birgit Vogtenhuber In pursuit of a dynamic tree decomposition In pursuit of a dynamic tree decomposition 23-25 Show publication in PURE

Other Article

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

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

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

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

Martin Kandlhofer EduRobot Taxonomy Show publication in PURE

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

Franz Wotawa Software configuration diagnosis? A Survey of existing methods and open challenges Show publication in PURE

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

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

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

Franz Wotawa Using LNT Formal Descriptions for Model-Based Diagnosis Show publication in PURE

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

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

Gerald Steinbauer Diagnosing Discrete Event Systems Using Nominal Models Only Show publication in PURE

Gerald Steinbauer The RoboCup Rescue Victim Dataset Show publication in PURE

Gerald Steinbauer The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production Show publication in PURE

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

2017

Book Chapter

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

Franz Wotawa and Roxane Koitz-Hristov Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind TurbinesModel-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines440-445 Show publication in PURE

Journal Article

Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets Show publication in PURE

Oswin Aichholzer Minimization and maximization versions of the quadratic travelling salesman problem Show publication in PURE

Oswin Aichholzer Packing plane spanning trees and paths in complete geometric graphs Show publication in PURE

Wolfgang Slany Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs Show publication in PURE

Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts Show publication in PURE

Beyond Accuracy Optimization Show publication in PURE

Can FOSS projects benefit from integrating Kanban: a case study Show publication in PURE

Wolfgang Slany Ein offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“ Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer KI ab dem Kindergarten Show publication in PURE

Bernhard Aichernig Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models Show publication in PURE

Bernhard Aichernig and Martin Tappler Dependable Internet of Things for Networked Cars Show publication in PURE

Alexander Felfernig and Martin Stettinger Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger An Overview of Recommender Systems in the Healthy Food Domain Show publication in PURE

Alexander Felfernig An Introduction to Personalization and Mass Customization Show publication in PURE

Class attendance, peer similarity, and academic performance in a large field study Show publication in PURE

Bernhard Aichernig Bounded determinization of timed automata with silent transitions Show publication in PURE

Conference/Workshop Article

Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments Intersection Graphs of Rays and Grounded Segments 153-166 Show publication in PURE

Birgit Vogtenhuber Routing in Polygonal Domains Routing in Polygonal Domains 88-89 Show publication in PURE

Birgit Vogtenhuber Routing in Polygonal Domains Routing in Polygonal Domains 10:1-10:13 Show publication in PURE

Birgit Vogtenhuber Routing in Simple Polygons Routing in Simple Polygons 17-20 Show publication in PURE

Bernhard Aichernig Statistical Model Checking Meets Property-Based Testing Statistical Model Checking Meets Property-Based Testing 390-400 Show publication in PURE

Bernhard Aichernig Property-Based Testing with External Test-Case Generators Property-Based Testing with External Test-Case Generators 337-346 Show publication in PURE

Bernhard Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata Learning Learning from Faults: Mutation Testing in Active Automata Learning 19-34 Show publication in PURE

Bernhard Aichernig, Roderick Bloem and Martin Tappler Model-Based Testing IoT Communication via Active Automata Learning Model-Based Testing IoT Communication via Active Automata Learning 276-287 Show publication in PURE

Roderick Bloem Synthesizing Non-Vacuous Systems Synthesizing Non-Vacuous Systems 55-72 Show publication in PURE

Franz Wotawa Mutation Score, Coverage, Model Inference Mutation Score, Coverage, Model Inference 171-180 Show publication in PURE

Gerald Steinbauer Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract) Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract) Show publication in PURE

Gerald Steinbauer Adapting Edge Weights for Optimal Paths in a Navigation Graph Adapting Edge Weights for Optimal Paths in a Navigation Graph Show publication in PURE

Gerald Steinbauer Estimation of the Traversal Time for a Fleet of Industrial Transport Robots Estimation of the Traversal Time for a Fleet of Industrial Transport Robots Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer A superlinear lower bound on the number of 5-holes A superlinear lower bound on the number of 5-holes 8:1-8:16 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer A superlinear lower bound on the number of 5-holes A superlinear lower bound on the number of 5-holes 69-73 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Perfect $k$-colored matchings and $k+2$-gonal tilings Perfect $k$-colored matchings and $k+2$-gonal tilings 81-84 Show publication in PURE

Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability Checking Probabilistic Black-Box Reachability Checking 50-67 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Bishellable drawings of $K_n$ Bishellable drawings of $K_n$ 17-20 Show publication in PURE

Bernhard Aichernig Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On semi-simple drawings of the complete graph On semi-simple drawings of the complete graph 25-28 Show publication in PURE

Franz Wotawa and Ingo Hans Pill A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction 197-212 Show publication in PURE

Wolfgang Slany and Christian Schindler App Creation in Schools for different Curricula Subjects - Lessons Learned App Creation in Schools for different Curricula Subjects - Lessons Learned Show publication in PURE

Alexander Felfernig and Müslüm Atas ASP-based Knowledge Representations for IoT Configuration Scenarios ASP-based Knowledge Representations for IoT Configuration Scenarios 62-67 Show publication in PURE

Wolfgang Slany and Christian Schindler Evaluation of Game Templates to support Programming Activities in Schools Evaluation of Game Templates to support Programming Activities in Schools Show publication in PURE

Alexander Felfernig and Müslüm Atas Cluster-Based Constraint Ordering for Direct Diagnosis Cluster-Based Constraint Ordering for Direct Diagnosis 68-71 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger Cluster-Specific Heuristics for Constraint Solving Cluster-Specific Heuristics for Constraint Solving 21-30 Show publication in PURE

Alexander Felfernig Recommendation Technologies for IoT Edge Devices Recommendation Technologies for IoT Edge Devices 504-509 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica Qualitative Deviation Models for Spreadsheet Debugging Qualitative Deviation Models for Spreadsheet Debugging 191-198 Show publication in PURE

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging 199-206 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica AI for Localizing Faults in Spreadsheets AI for Localizing Faults in Spreadsheets 71-87 Show publication in PURE

Franz Wotawa Improving Spectrum-Based Fault Localization for Spreadsheet Debugging Improving Spectrum-Based Fault Localization for Spreadsheet Debugging 102-113 Show publication in PURE

Franz Wotawa A decomposition-based approach to spreadsheet testing and debugging A decomposition-based approach to spreadsheet testing and debugging 117-121 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger Beyond item recommendation Beyond item recommendation 368-377 Show publication in PURE

Other Article

Gerald Steinbauer A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems Show publication in PURE

Gerald Steinbauer Task-Dependent Configuration of Robotics Systems Show publication in PURE

Gerald Steinbauer An Autonomous Transportation Robot for Urban Environments Show publication in PURE

Gerald Steinbauer A Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0 Show publication in PURE

Gerald Steinbauer Model-Based Testing of An Industrial Multi-Robot Navigation System Show publication in PURE

Christian Schindler Improving pocket paint usability via material design compliance and internationalization & localization support on application level Show publication in PURE

Alexander Felfernig RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017) Show publication in PURE

Alexander Felfernig and Martin Stettinger Knowledge-based Learning Content Generation in the StudyBattles Environment Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger An Analysis of Group Recommendation Heuristics for High- and Low-Involvement Items Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger OpenReq: Recommender Systems in Requirements Engineering Show publication in PURE

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

2016

Book Chapter

Franz Wotawa Message from the QRS 2016 General ChairMessage from the QRS 2016 General Chairxiii Show publication in PURE

Franz Wotawa PrefacePrefaceV-VI Show publication in PURE

Proceedings

Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings Show publication in PURE

Journal Article

Franz Wotawa and Ingo Hans Pill On the practical performance of minimal hitting set algorithms from a diagnostic perspective Show publication in PURE

Oswin Aichholzer Geometric achromatic and pseudoachromatic indices Show publication in PURE

Wolfgang Slany Programmieren für Kinder Show publication in PURE

Wolfgang Slany Pocket Code – Freier Online-Kurs für Kinder Show publication in PURE

Oswin Aichholzer Reconstructing Point Set Order Types from Radial Orderings Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer The Educational Robotics Landscape Exploring Common Ground and Contact Points Show publication in PURE

Bernhard Aichernig Require, test, and trace IT Show publication in PURE

Bernhard Aichernig and Martin Tappler Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. Show publication in PURE

Alexander Felfernig Human Interaction with Artificial Advice Givers Show publication in PURE

Roderick Bloem Dependability for the Internet of Things Show publication in PURE

Alexander Felfernig Human Interaction with Artificial Advice Givers Show publication in PURE

Alexander Felfernig Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems Show publication in PURE

Alexander Felfernig and Martin Stettinger Human Computation for Constraint-based Recommenders Show publication in PURE

Alexander Felfernig and Martin Stettinger Einsatz von Gruppenempfehlungssystemen Show publication in PURE

Alexander Felfernig Recommender Systems for Health Informatics: State-of-the-Art and Future Perspectives Show publication in PURE

Gerald Steinbauer Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels Show publication in PURE

Conference/Workshop Article

Franz Wotawa, Ingo Hans Pill and Bernhard Josef Peischl Using modelica programs for deriving propositional horn clause abduction problems Using modelica programs for deriving propositional horn clause abduction problems 185-191 Show publication in PURE

Franz Wotawa and Ingo Hans Pill SIMULTATE SIMULTATE 168-173 Show publication in PURE

Franz Wotawa Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test 23-30 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Classifying test suite effectiveness via model inference and ROBBDs Classifying test suite effectiveness via model inference and ROBBDs 76-93 Show publication in PURE

Franz Wotawa Static Spreadsheet Analysis Static Spreadsheet Analysis 167-174 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer An improved lower bound on the minimum number of triangulations An improved lower bound on the minimum number of triangulations 7.1-7.16 Show publication in PURE

Franz Wotawa Fragment-Based Diagnosis of Spreadsheets Fragment-Based Diagnosis of Spreadsheets 372-387 Show publication in PURE

Franz Wotawa and Ingo Hans Pill An Automated (F) LTL Test Oracle for Testing with Requirements An Automated (F) LTL Test Oracle for Testing with Requirements 197-204 Show publication in PURE

Ingo Hans Pill Minimal hitting set computation via hypothesis exploration Minimal hitting set computation via hypothesis exploration Show publication in PURE

Franz Wotawa, Ingo Hans Pill and Bernhard Josef Peischl Abductive Diagnosis based on Modelica Models Abductive Diagnosis based on Modelica Models Show publication in PURE

Franz Wotawa Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing 305-310 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Holes in two convex point set Holes in two convex point set 263-266 Show publication in PURE

Oswin Aichholzer Planar L-Shaped Point Set Embedding of Trees Planar L-Shaped Point Set Embedding of Trees 51-54 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer An improved lower bound on the number of triangulations An improved lower bound on the number of triangulations 7:1-7:16 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Packing Short Plane Spanning Trees in Complete Geometric Graphs Packing Short Plane Spanning Trees in Complete Geometric Graphs 9:1--9:12 Show publication in PURE

Gerald Steinbauer Diagnosis makes the difference for a successful execution of high-level robot control programs Diagnosis makes the difference for a successful execution of high-level robot control programs 1119-1132 Show publication in PURE

Gerald Steinbauer Controlling logistics robots with the action-based language YAGI Controlling logistics robots with the action-based language YAGI 525-537 Show publication in PURE

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

Gerald Steinbauer and Martin Kandlhofer The Educational Robotics Landscape Exploring Common Ground and Contact Points The Educational Robotics Landscape Exploring Common Ground and Contact Points Show publication in PURE

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

Combining FOSS and Kanban Combining FOSS and Kanban 71-84 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov On Structural Properties to Improve FMEA-Based Abductive Diagnosis On Structural Properties to Improve FMEA-Based Abductive Diagnosis Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Improving Abductive Diagnosis Through Structural Features: A Meta-Approach Improving Abductive Diagnosis Through Structural Features: A Meta-Approach Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis. Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis. 1-7 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Integration of Failure Assessments into the Diagnostic Process Integration of Failure Assessments into the Diagnostic Process 124-135 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer A Note on the Number of General 4-holes in (Perturbed) Grids A Note on the Number of General 4-holes in (Perturbed) Grids 1-12 Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Artificial Intelligence and Computer Science in Education: From Kindergarten to University Artificial Intelligence and Computer Science in Education: From Kindergarten to University Show publication in PURE

A new meta-module for efficient reconfiguration of hinged-units modular robots A new meta-module for efficient reconfiguration of hinged-units modular robots 5197-5202 Show publication in PURE

Bernhard Aichernig On-the-Fly Determinization of Networks of Timed Automata On-the-Fly Determinization of Networks of Timed Automata 14-21 Show publication in PURE

Bernhard Aichernig Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Property-based Testing with FsCheck by Deriving Properties from Business Rule Models 219-228 Show publication in PURE

Bernhard Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing 3-19 Show publication in PURE

Bernhard Aichernig Towards Integrating Statistical Model Checking into Property-Based Testing Towards Integrating Statistical Model Checking into Property-Based Testing 71-76 Show publication in PURE

Bernhard Aichernig, Roderick Bloem and Martin Tappler Learning Models of a Network Protocol using Neural Network Language Models Learning Models of a Network Protocol using Neural Network Language Models Show publication in PURE

Alexander Felfernig RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016) RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016) 1-2 Show publication in PURE

Alexander Felfernig Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies 1-10 Show publication in PURE

Müslüm Atas and Martin Stettinger An extension of CHOICLA User Interfaces for Configurable Products An extension of CHOICLA User Interfaces for Configurable Products Show publication in PURE

Bernhard Aichernig and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking 15-32 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger Towards Group-based Configuration Towards Group-based Configuration 69-72 Show publication in PURE

Alexander Felfernig, Müslüm Atas and Martin Stettinger StudyBattles: A Learning Environment for Knowledge-based Configuration StudyBattles: A Learning Environment for Knowledge-based Configuration 109-116 Show publication in PURE

Alexander Felfernig Towards Configuration Technologies for IoT Gateways Towards Configuration Technologies for IoT Gateways 73-76 Show publication in PURE

Alexander Felfernig Recommending and Configuring Smart Home Installations Recommending and Configuring Smart Home Installations 17-22 Show publication in PURE

Thesis

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

Technical Report

Gerald Steinbauer Request a Rescue Robot (R-CUBED) Show publication in PURE

Other Article

Franz Wotawa and Iulia-Dana Nica Testing computer vision applications an experience report on introducing code coverage analysis in the field Show publication in PURE

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

Franz Wotawa FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis Show publication in PURE

Franz Wotawa FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis? Show publication in PURE

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

Alexander Felfernig Recommendation Technologies for Configurable Products Show publication in PURE

Alexander Felfernig Recommendation Technologies for Configurable Items Show publication in PURE

Roderick Bloem Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems Show publication in PURE

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

Engaging and playful activities with smartphones in school contexts Show publication in PURE

Ingo Hans Pill and Roderick Bloem Synthesizing Adaptive Test Strategies from Temporal Logic Specifications Show publication in PURE

Gerald Steinbauer RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS Show publication in PURE

Gerald Steinbauer Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots Show publication in PURE

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

Gerald Steinbauer and Martin Kandlhofer Artificial Intelligence and Computer Science in Education Show publication in PURE

Gerald Steinbauer Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy Show publication in PURE

Gerald Steinbauer Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots Show publication in PURE

Wolfgang Slany and Christian Schindler Game Design with Pocket Code Show publication in PURE

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

Wolfgang Slany and Christian Schindler POCKET CODE: A MOBILE APP FOR GAME JAMS TO FACILITATE CLASSROOM LEARNING THROUGH GAME CREATION Show publication in PURE

Skater Alice Show publication in PURE

Pocket Code: Computational Thinking for all Show publication in PURE

Wolfgang Slany and Christian Schindler The role of game jams in developing informal learning of computational thinking: a cross-European case study Show publication in PURE

Gerald Steinbauer Improving Dependability of Industrial Transport Robots Using Model-Based Techniques Show publication in PURE

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

2015

Book

Gerald Steinbauer RoboCup 2015: Robot World Cup XIX978-3-319-29339-4 Show publication in PURE

Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Show publication in PURE

Book Chapter

Alexander Felfernig Constraint-based Recommender SystemsConstraint-based Recommender Systems161-191 Show publication in PURE

Alexander Felfernig Human Decision Making and Recommender SystemsHuman Decision Making and Recommender Systems619-655 Show publication in PURE

Proceedings

RecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15) Show publication in PURE

1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15) Show publication in PURE

Journal Article

Birgit Vogtenhuber and Oswin Aichholzer Monotone Simultaneous Embedding of Upward Planar Digraphs Show publication in PURE

Oswin Aichholzer Characterization of extremal antipodal polygons Show publication in PURE

Birgit Vogtenhuber $(n,m)$-Fold Covers of Spheres Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Empty triangles in good drawings of the complete graph Show publication in PURE

Bernhard Josef Peischl The fine art of user-centered software development Show publication in PURE

Franz Wotawa On the empirical evaluation of similarity coefficients for spreadsheets fault localization Show publication in PURE

Oswin Aichholzer Disjoint compatibility graph of non-crossing matchings of points in convex position Show publication in PURE

Bernhard Aichernig Model-Based Mutation Testing via Symbolic Refinement Checking Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On k-Gons and k-Holes in Point Sets Show publication in PURE

Oswin Aichholzer Flip Distance Between Triangulations of a Simple Polygon is NP-Complete Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Embedding Four-directional Paths on Convex Point Sets Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov On the computational feasibility of abductive diagnosis for practical applications Show publication in PURE

Bernhard Aichernig Killing strategies for model-based mutation testing Show publication in PURE

Franz Wotawa Using constraints to diagnose faulty spreadsheets Show publication in PURE

Oswin Aichholzer Reprint of: Theta-3 is connected Show publication in PURE

New results on stabbing segments with a polygon Show publication in PURE

Oswin Aichholzer Triangulations with circular arcs Show publication in PURE

Müslüm Atas A Model-Based Configuration Approach for Automotive Real-Time Operating Systems Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer 3-Colorability of Pseudo-Triangulations Show publication in PURE

Alexander Felfernig Empfehlungstechnologien in der Öffenlichen Verwaltung Show publication in PURE

Gerald Steinbauer Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap Show publication in PURE

Alexander Felfernig On the Importance of Subtext in Recommender Systems Show publication in PURE

Conference/Workshop Article

Franz Wotawa and Roxane Koitz-Hristov On the Feasibility of Abductive Diagnosis for Practical Application On the Feasibility of Abductive Diagnosis for Practical Application 410-415 Show publication in PURE

Gerald Steinbauer Automatic Model Generation to Diagnose Autonomous Systems Automatic Model Generation to Diagnose Autonomous Systems Show publication in PURE

Bernhard Aichernig Scalable Incremental Test-case Generation from Large Behavior Models Scalable Incremental Test-case Generation from Large Behavior Models 1-18 Show publication in PURE

Gerald Steinbauer Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Deciding monotonicity of good drawings of the complete graph Deciding monotonicity of good drawings of the complete graph 33-36 Show publication in PURE

Gerald Steinbauer An Autonomous Forklift for Battery Change in Electrical Vehicles An Autonomous Forklift for Battery Change in Electrical Vehicles Show publication in PURE

Josip Bozic PURITY: a Planning-based secURITY testing tool PURITY: a Planning-based secURITY testing tool Show publication in PURE

Franz Wotawa Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach 124-140 Show publication in PURE

Alexander Felfernig and Martin Stettinger Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment Show publication in PURE

Conflict Management for Constraint-based Recommendation Conflict Management for Constraint-based Recommendation nx-ny Show publication in PURE

Designing for Engaging BCI Training: A Jigsaw Puzzle Designing for Engaging BCI Training: A Jigsaw Puzzle 667-672 Show publication in PURE

Incremental Model-based Mutation Testing Incremental Model-based Mutation Testing 1-2 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Focussed Diagnosis for Failing Software Tests Focussed Diagnosis for Failing Software Tests 712-721 Show publication in PURE

Oswin Aichholzer Folding Polyominoes into Poly(Cubes) Folding Polyominoes into Poly(Cubes) Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov An Abductive Diagnosis and Modeling Concept for Wind Power Plants An Abductive Diagnosis and Modeling Concept for Wind Power Plants 1-6 Show publication in PURE

Wolfgang Slany and Christian Schindler Pocket Game Jams: a Constructionist Approach at Schools Pocket Game Jams: a Constructionist Approach at Schools 156-526 Show publication in PURE

ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases nx-ny Show publication in PURE

Alexander Felfernig Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov From Theory to Practice: Model-Based Diagnosis in Industrial Applications From Theory to Practice: Model-Based Diagnosis in Industrial Applications 197-205 Show publication in PURE

Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Bounded Determinization of Timed Automata with Silent Transitions 288-304 Show publication in PURE

Alexander Felfernig and Martin Stettinger Fostering Knowledge Exchange Using Group Recommendations Fostering Knowledge Exchange Using Group Recommendations Show publication in PURE

Alexander Felfernig and Martin Stettinger PeopleViews: Human Computation for Constraint-based Recommendation PeopleViews: Human Computation for Constraint-based Recommendation Show publication in PURE

Roderick Bloem Case Study: Automatic Test Case Generation for a Secure Cache Implementation Case Study: Automatic Test Case Generation for a Secure Cache Implementation Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov SAT-Based Abductive Diagnosis SAT-Based Abductive Diagnosis 167-175 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Parse Tree Structure in LTL Requirements Diagnosis Parse Tree Structure in LTL Requirements Diagnosis 100-107 Show publication in PURE

A new meta-module for efficient robot reconfiguration A new meta-module for efficient robot reconfiguration 49-52 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Diagnosis of Technical Systems Diagnosis of Technical Systems 4375-4376 Show publication in PURE

Alexander Felfernig and Martin Stettinger Counteracting Anchoring Effects in Group Decision Making Counteracting Anchoring Effects in Group Decision Making 118-130 Show publication in PURE

Combining Kanban and FOSS: Can it work? Combining Kanban and FOSS: Can it work? 352-353 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms 1-7 Show publication in PURE

A Goal-Question-Metrics Model for Configuration Knowledge bases A Goal-Question-Metrics Model for Configuration Knowledge bases nx-ny Show publication in PURE

Alexander Felfernig and Martin Stettinger Conflict Management in Interactive Financial Service Selection Conflict Management in Interactive Financial Service Selection 3-10 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer 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 Show publication in PURE

Intelligent Techniques for the Maintainance of Constraint-based systems Intelligent Techniques for the Maintainance of Constraint-based systems nx-ny Show publication in PURE

Josip Bozic Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing Show publication in PURE

Maintaining constraint-based Configuration systems: Challenges ahead Maintaining constraint-based Configuration systems: Challenges ahead nx-ny Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer All Good Drawings of Small Complete Graphs All Good Drawings of Small Complete Graphs 57-60 Show publication in PURE

Ingo Hans Pill RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm 78-84 Show publication in PURE

Bernhard Aichernig MoMuT::UML - model-based mutation testing for UML MoMuT::UML - model-based mutation testing for UML 1-8 Show publication in PURE

Alexander Felfernig and Martin Stettinger Intelligent Techniques for Configuration Knowledge Evolution Intelligent Techniques for Configuration Knowledge Evolution 51-60 Show publication in PURE

Franz Wotawa Fault Localization in the Light of Faulty User Input Fault Localization in the Light of Faulty User Input 282-291 Show publication in PURE

Franz Wotawa and Ingo Hans Pill BPEL Integration Testing BPEL Integration Testing Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Representing Directed Trees as Straight Skeletons Representing Directed Trees as Straight Skeletons 335-347 Show publication in PURE

Josip Bozic Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing Show publication in PURE

Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education 182-189 Show publication in PURE

Oswin Aichholzer 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 Show publication in PURE

Alexander Felfernig and Martin Stettinger Human Computation Based Acquisition Of Financial Service Advisory Practices Human Computation Based Acquisition Of Financial Service Advisory Practices 27-34 Show publication in PURE

Bernhard Aichernig Require, Test and Trace IT Require, Test and Trace IT 113-127 Show publication in PURE

Gerald Steinbauer Controlling Logistics Robots with the Action-based Language YAGI Controlling Logistics Robots with the Action-based Language YAGI Show publication in PURE

Franz Wotawa and Ingo Hans Pill Testing Diagnostics Components Supervising Functional Safety Requirements Testing Diagnostics Components Supervising Functional Safety Requirements 150-157 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Analyzing the Reduction of Test Suite Redundancy Analyzing the Reduction of Test Suite Redundancy 65-65 Show publication in PURE

Bernhard Aichernig Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata 1-6 Show publication in PURE

Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Test suite coverage measurement and reporting for testing an operating system without instrumentation 13-22 Show publication in PURE

Alexander Felfernig Learning Games for Configuration and Diagnosis Tasks Learning Games for Configuration and Diagnosis Tasks Show publication in PURE

Alexander Felfernig FlexDiag: AnyTime Diagnosis for Reconfiguration FlexDiag: AnyTime Diagnosis for Reconfiguration Show publication in PURE

Wolfgang Slany and Christian Schindler Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind Show publication in PURE

Franz Wotawa Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software 63-68 Show publication in PURE

Alexander Felfernig and Martin Stettinger Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization 117-124 Show publication in PURE

Gerald Steinbauer The Scarab Project The Scarab Project Show publication in PURE

Alexander Felfernig and Martin Stettinger A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain 1-10 Show publication in PURE

Wolfgang Slany Scaling and Internationalizing an Agile FOSS Project: Lessons Learned Scaling and Internationalizing an Agile FOSS Project: Lessons Learned Show publication in PURE

Thesis

Systematic strategies for 3-dimensional modular robots Show publication in PURE

Orthogeodesic Point Set Embeddings of Outerplanar Graphs Show publication in PURE

Other Article

Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Show publication in PURE

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

Roxane Koitz-Hristov Diagnosis of Technical Systems Show publication in PURE

Roxane Koitz-Hristov SAT-Based Abductive Diagnosis Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Children discover science: robotics, informatics and artificial intelligence in kindergarten and school Show publication in PURE

The No One Left behind project Show publication in PURE

2014

Book

Bernhard Aichernig Require, Test and Trace IT Show publication in PURE

Alexander Felfernig Knowledge-based Configuration: From Research to Business Cases Show publication in PURE

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

Book Chapter

Alexander Felfernig Personalized ConfigurationPersonalized Configuration167-179 Show publication in PURE

Alexander Felfernig Configuration-Related Research ChallengesConfiguration-Related Research Challenges191-195 Show publication in PURE

Alexander Felfernig Benefits of Configuration SystemsBenefits of Configuration Systems29-33 Show publication in PURE

Alexander Felfernig Consumer Decision-Making and Configuration SystemsConsumer Decision-Making and Configuration Systems181-190 Show publication in PURE

Alexander Felfernig Knowledge-based Configuration: MotivationKnowledge-based Configuration: Motivation3-7 Show publication in PURE

Alexander Felfernig Knowledge-based Configuration: Overview of the BookKnowledge-based Configuration: Overview of the Book35-37 Show publication in PURE

Alexander Felfernig A Short History of Configuration TechnologiesA Short History of Configuration Technologies9-19 Show publication in PURE

Alexander Felfernig Redundancy Detection in Configuration KnowledgeRedundancy Detection in Configuration Knowledge157-165 Show publication in PURE

Alexander Felfernig User Interfaces for Configuration EnvironmentsUser Interfaces for Configuration Environments89-106 Show publication in PURE

Alexander Felfernig Configuration-Related TopicsConfiguration-Related Topics21-27 Show publication in PURE

Alexander Felfernig WeeVisWeeVis297-307 Show publication in PURE

Alexander Felfernig Conflict Detection and Diagnosis in ConfigurationConflict Detection and Diagnosis in Configuration73-87 Show publication in PURE

Alexander Felfernig Configuration Knowledge Representation and ReasoningConfiguration Knowledge Representation and Reasoning41-72 Show publication in PURE

Alexander Felfernig and Martin Stettinger Basic Approaches in Recommendation SystemsBasic Approaches in Recommendation Systems15-37 Show publication in PURE

Proceedings

RecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14) Show publication in PURE

16th International Workshop on Configuration Show publication in PURE

Journal Article

Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer 4-Holes in Point Sets Show publication in PURE

Flip Distance Between Triangulations of a Planar Point Set is APX-Hard Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane Show publication in PURE

Oswin Aichholzer Shellable drawings and the cylindrical crossing number of Kn Show publication in PURE

Bernhard Aichernig Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java Show publication in PURE

Oswin Aichholzer Covering Folded Shapes Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Flips in combinatorial pointed pseudo-triangulations with face degree at most four Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On k-Convex Point Sets Show publication in PURE

Oswin Aichholzer Empty Monochromatic Simplices Show publication in PURE

Alexander Felfernig Disseminating Ambient Assisted Living in the Rural Area Show publication in PURE

Oswin Aichholzer Shellable drawings and the cylindrical crossing number of K_n Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Geodesic-preserving polygon simplification Show publication in PURE

Oswin Aichholzer Reprint of: Extreme points and halving edge search in abstract order types Show publication in PURE

Oswin Aichholzer Theta-3 is connected Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Plane graphs with parity constraints Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Lower bounds for the number of small convex k-holes Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Geodesic Order Types Show publication in PURE

Conference/Workshop Article

Alexander Felfernig and Martin Stettinger IntelliReq: Intelligent Techniques for Software Requirements Engineering IntelliReq: Intelligent Techniques for Software Requirements Engineering 1161-1166 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Order types and cross-sections of line arrangements in R3 Order types and cross-sections of line arrangements in R3 online-only Show publication in PURE

Franz Wotawa Tool-supported fault localization in spreadsheets: Limitations of current research practice Tool-supported fault localization in spreadsheets: Limitations of current research practice 1-2 Show publication in PURE

Wolfgang Slany and Roxane Koitz-Hristov Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers 21-30 Show publication in PURE

Franz Wotawa and Roxane Koitz-Hristov An Abductive Diagnosis and Modeling Concept for Wind Power Plants An Abductive Diagnosis and Modeling Concept for Wind Power Plants 404-409 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Monotone Simultaneous Embedding of Directed Paths Monotone Simultaneous Embedding of Directed Paths 0-0 Show publication in PURE

Gerald Steinbauer Knowledge-Aware Execution of Programs in IndiGolog Knowledge-Aware Execution of Programs in IndiGolog Show publication in PURE

Bernhard Aichernig Debugging with Timed Automata Mutations Debugging with Timed Automata Mutations 49-64 Show publication in PURE

Alexander Felfernig and Martin Stettinger Content-based Recommendation Techniques in Requirements Engineering Content-based Recommendation Techniques in Requirements Engineering 27-34 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions online-only Show publication in PURE

Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-Bases Testing Configuration Knowledge-Bases 39-46 Show publication in PURE

Bernhard Aichernig Integration of Requirements Engineering and Test-Case Generation via OSLC Integration of Requirements Engineering and Test-Case Generation via OSLC 117-126 Show publication in PURE

Oswin Aichholzer Graph Drawings with Relative Edge Length Specifications Graph Drawings with Relative Edge Length Specifications --- Show publication in PURE

Franz Wotawa On the Usage of Dependency-based Models for Spreadsheet Debugging On the Usage of Dependency-based Models for Spreadsheet Debugging 1-4 Show publication in PURE

Alexander Felfernig and Martin Stettinger Configuring Decision Tasks Configuring Decision Tasks 17-21 Show publication in PURE

Franz Wotawa Failure Mode and Effect Analysis for Abductive Diagnosis Failure Mode and Effect Analysis for Abductive Diagnosis 1-13 Show publication in PURE

Alexander Felfernig Biases in Decision Making Biases in Decision Making 32-37 Show publication in PURE

Alexander Felfernig Using Answer Set Programming for Feature Model Representation and Configuration Using Answer Set Programming for Feature Model Representation and Configuration 1-8 Show publication in PURE

Alexander Felfernig RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems Show publication in PURE

Gerald Steinbauer Field Report: Civil Protection Exercise Gas Storage Field Report: Civil Protection Exercise Gas Storage Show publication in PURE

Gerald Steinbauer Risk-Aware Exploration Risk-Aware Exploration Show publication in PURE

Franz Wotawa and Ingo Hans Pill SOA Testing Via Random Paths in BPEL Models SOA Testing Via Random Paths in BPEL Models 260-263 Show publication in PURE

Bernhard Aichernig Formal Test-Driven Development with Verified Test Cases Formal Test-Driven Development with Verified Test Cases 626-635 Show publication in PURE

Franz Wotawa Testing Methods Used in the Automotive Industry: Results from a Survey Testing Methods Used in the Automotive Industry: Results from a Survey 1-6 Show publication in PURE

Alexander Felfernig and Martin Stettinger RecTurk: Constraint-based Recommendation based on Human Computation RecTurk: Constraint-based Recommendation based on Human Computation 1-6 Show publication in PURE

Franz Wotawa Comparing Models for Spreadsheet Fault Localization Comparing Models for Spreadsheet Fault Localization 1029-1030 Show publication in PURE

Alexander Felfernig Sales Configurator Information Systems Design Theory Sales Configurator Information Systems Design Theory 67-74 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Linear Transformation Distance for Bichromatic Matchings Linear Transformation Distance for Bichromatic Matchings 154-162 Show publication in PURE

Birgit Vogtenhuber Minimum Dual Diameter Triangulations Minimum Dual Diameter Triangulations 0-0 Show publication in PURE

Bernhard Aichernig Model-Based Mutation Testing of an Industrial Measurement Device Model-Based Mutation Testing of an Industrial Measurement Device 1-9 Show publication in PURE

Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality 263-268 Show publication in PURE

Franz Wotawa and Josip Bozic Security Testing Based on Attack Patterns Security Testing Based on Attack Patterns 1-8 Show publication in PURE

Franz Wotawa Generation of Relevant Spreadsheet Repair Candidates Generation of Relevant Spreadsheet Repair Candidates 1027-1028 Show publication in PURE

Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous Agents Using Common Sense Invariants in Belief Management for Autonomous Agents 49-59 Show publication in PURE

Franz Wotawa and Josip Bozic Plan It! Automated Security Testing Based on Planning Plan It! Automated Security Testing Based on Planning 48-62 Show publication in PURE

Gerald Steinbauer R^3: Request a Rescue Robot R^3: Request a Rescue Robot Show publication in PURE

Ham-Sandwich Cuts for Abstract Order Types Ham-Sandwich Cuts for Abstract Order Types 726-737 Show publication in PURE

Alexander Felfernig and Martin Stettinger Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions 28-32 Show publication in PURE

Franz Wotawa Comparing and improving dependency-based models for fault localization in spreadsheets Comparing and improving dependency-based models for fault localization in spreadsheets 1-7 Show publication in PURE

Oswin Aichholzer Reconstructing Point Set Order Types from Radial Orderings Reconstructing Point Set Order Types from Radial Orderings 15-26 Show publication in PURE

Franz Wotawa and Josip Bozic Retaining Consistency for Knowledge-based Security Testing Retaining Consistency for Knowledge-based Security Testing 88-97 Show publication in PURE

FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL 43-47 Show publication in PURE

Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous Agents Using Common Sense Invariants in Belief Management for Autonomous Agents Show publication in PURE

Gerald Steinbauer Active Diagnosis for Agents with Belief Management Active Diagnosis for Agents with Belief Management Show publication in PURE

Alexander Felfernig and Martin Stettinger Towards Open Configuration Towards Open Configuration 89-94 Show publication in PURE

Alexander Felfernig What Stakeholders Need to Know About Requirements What Stakeholders Need to Know About Requirements 1-8 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Embedding Four-directional Paths on Convex Point Sets Embedding Four-directional Paths on Convex Point Sets 355-366 Show publication in PURE

Oswin Aichholzer Packing Plane Spanning Trees and Paths in Complete Geometric Graphs Packing Plane Spanning Trees and Paths in Complete Geometric Graphs online-only Show publication in PURE

Ingo Hans Pill PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill 1-5 Show publication in PURE

Franz Wotawa Why does my spreadsheet compute wrong values? Why does my spreadsheet compute wrong values? 112-121 Show publication in PURE

Alexander Felfernig and Martin Stettinger Choicla: An Intelligent Group Decision Support Environment Choicla: An Intelligent Group Decision Support Environment 1-3 Show publication in PURE

Gerald Steinbauer and Oswin Aichholzer Playing Nine Men's Morris with the Humanoid Robot Nao Playing Nine Men's Morris with the Humanoid Robot Nao Show publication in PURE

Franz Wotawa and Josip Bozic Attack Pattern-Based Combinatorial Testing Attack Pattern-Based Combinatorial Testing 1-7 Show publication in PURE

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

Franz Wotawa and Ingo Hans Pill Functional Diagnosis of a SOA's BPEL Processes Functional Diagnosis of a SOA's BPEL Processes 1-8 Show publication in PURE

Gerald Steinbauer Life Sign Detection Based on Sound and Gas Measurements Life Sign Detection Based on Sound and Gas Measurements Show publication in PURE

Gerald Steinbauer Towards Autonomous Manipulation in RoboCup Rescue Towards Autonomous Manipulation in RoboCup Rescue Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Non-Shellable Drawings of Kn with Few Crossings Non-Shellable Drawings of Kn with Few Crossings online-only Show publication in PURE

Bernhard Josef Peischl Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations 185-195 Show publication in PURE

Thesis

Model-Based Mutation Testing with Constraint and SMT Solvers Show publication in PURE

On Order Types, Projective Classes, and Realizations Show publication in PURE

Technical Report

Gerald Steinbauer TEDUSAR White Book - State of the Art in Search and Rescue Robots Show publication in PURE

Other Article

Roxane Koitz-Hristov Applied Model-Based Diagnosis Show publication in PURE

Franz Wotawa Generation of Relevant Spreadsheet Repair Candidates Show publication in PURE

Active Diagnosis for Agents with Belief Management Show publication in PURE

Franz Wotawa Comparing Models for Spreadsheet Fault Localization Show publication in PURE

Franz Wotawa and Ingo Hans Pill Functional Diagnosis of a SOA's BPEL Processes Show publication in PURE

2013

Book

Alexander Felfernig Recommender Systems - An Introduction (chinese edition)978-4-320-12296-3 Show publication in PURE

Bernhard Aichernig Model-based Mutation Testing with Timed Automata Show publication in PURE

Bernhard Aichernig Fast Refinement Checking for Test Case Generation Show publication in PURE

Book Chapter

Wolfgang Slany Automated Shift Design and Break SchedulingAutomated Shift Design and Break Scheduling109-127 Show publication in PURE

Alexander Felfernig Toward the next generation of recommender systems: applications and research challengesToward the next generation of recommender systems: applications and research challenges81-98 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica Reconfiguration of Mobile Phone NetworksReconfiguration of Mobile Phone Networks19-1-19-11 Show publication in PURE

Gerald Steinbauer and Franz Wotawa Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeModel-Based Reasoning for Self-Adaptive Systems – Theory and Practice187-213 Show publication in PURE

Alexander Felfernig An Overview of Recommender Systems in Requirements EngineeringAn Overview of Recommender Systems in Requirements Engineering315-332 Show publication in PURE

Proceedings

Proceedings of the 3rd International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'13) Show publication in PURE

IEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems Show publication in PURE

Journal Article

Oswin Aichholzer Shape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data. Show publication in PURE

Oswin Aichholzer More on the crossing number of $K_n$: Monotone Drawings Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Maximizing maximal angles for plane straight line graphs Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Balanced 6-holes in linearly separable bichromatic point sets. Show publication in PURE

Alexander Felfernig Automated Repair of Scoring Rules in Constraint-based Recommender Systems Show publication in PURE

Oswin Aichholzer Extreme points and halving edge search in abstract order types Show publication in PURE

Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis Show publication in PURE

Roxane Koitz-Hristov Consumer Acceptance of Location Based Services in the Retail Environment Show publication in PURE

Gerald Steinbauer and Ingo Hans Pill Maintaining consistency in a robot's knowledge-base via diagnostic reasoning Show publication in PURE

Franz Wotawa On the use of mutations and testing for debugging Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Blocking delaunay triangulations Show publication in PURE

Oswin Aichholzer Flip Graphs of Bounded-Degree Triangulations Show publication in PURE

Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases Show publication in PURE

Oswin Aichholzer The 2-page crossing number of K_n. Show publication in PURE

Alexander Felfernig Human Decision Making and Recommender Systems Show publication in PURE

Conference/Workshop Article

Oswin Aichholzer Extremal antipodal polygons and polytopes Extremal antipodal polygons and polytopes 11-20 Show publication in PURE

Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generation Model-based mutation testing of reactive systems - from semantics to automated test-case generation 23-36 Show publication in PURE

Alexander Felfernig and Martin Stettinger Recommender Systems for Configuration Knowledge Engineering Recommender Systems for Configuration Knowledge Engineering 51-54 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Balanced 6-holes in bichromatic point sets. Balanced 6-holes in bichromatic point sets. 5-6 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica (Re-)configuration of Communication Networks in the Context of M2M Applications (Re-)configuration of Communication Networks in the Context of M2M Applications 101-108 Show publication in PURE

Gerald Steinbauer Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems Show publication in PURE

Gerald Steinbauer An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems Show publication in PURE

Martin Stettinger WE-DECIDE: A Decision Support Environment for Groups of Users WE-DECIDE: A Decision Support Environment for Groups of Users 382-391 Show publication in PURE

Franz Wotawa and Ingo Hans Pill The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics 45-53 Show publication in PURE

Bernhard Aichernig Time for Mutants —Model-based Mutation Testing with Timed Automata Time for Mutants —Model-based Mutation Testing with Timed Automata 20-38 Show publication in PURE

Alexander Felfernig Automated Analysis in Feature Modelling and Product Configuration Automated Analysis in Feature Modelling and Product Configuration 160-175 Show publication in PURE

Wolfgang Slany and Vesna Krnjic Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan 0-0 Show publication in PURE

Oswin Aichholzer Sum of squared edges for mst of a point set in a unit square. Sum of squared edges for mst of a point set in a unit square. 5-6 Show publication in PURE

Ingo Hans Pill Behavioral Diagnosis of LTL Specifications at Operator Level Behavioral Diagnosis of LTL Specifications at Operator Level 1053-1059 Show publication in PURE

Wolfgang Slany Automated Test Case Generation in End-User Programming Automated Test Case Generation in End-User Programming 272-277 Show publication in PURE

Franz Wotawa On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets 68-82 Show publication in PURE

Ingo Hans Pill And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm 210-215 Show publication in PURE

Franz Wotawa and Ingo Hans Pill SOA Grey Box Testing - A Constraint-Based Approach SOA Grey Box Testing - A Constraint-Based Approach 232-237 Show publication in PURE

Franz Wotawa "Trust, But Verify" "Trust, But Verify" 38-47 Show publication in PURE

Bernhard Aichernig Incremental Refinement Checking for Test Case Generation Incremental Refinement Checking for Test Case Generation 1-19 Show publication in PURE

New results on stabbing segments with a polygon New results on stabbing segments with a polygon 146-157 Show publication in PURE

Oswin Aichholzer Flip distance between triangulations of a simple polygon is NP-complete Flip distance between triangulations of a simple polygon is NP-complete 13-24 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract) Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract) 131-134 Show publication in PURE

Wolfgang Slany A Scratch-like visual programming system for Microsoft Windows Phone 8 A Scratch-like visual programming system for Microsoft Windows Phone 8 0-0 Show publication in PURE

Franz Wotawa The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets 139-148 Show publication in PURE

Oswin Aichholzer Theta 3 is connected. Theta 3 is connected. 205-211 Show publication in PURE

Alexander Felfernig Towards Anomaly Explanation in Feature Models Towards Anomaly Explanation in Feature Models 117-124 Show publication in PURE

Alexander Felfernig Recomment: Towards Critiquing-based Recommendation with Speech Interaction Recomment: Towards Critiquing-based Recommendation with Speech Interaction 157-164 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Cell-paths in mono- and bichromatic line arrangements in the plane Cell-paths in mono- and bichromatic line arrangements in the plane 169-174 Show publication in PURE

Franz Wotawa Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences 125-134 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Empty triangles in good drawings of the complete graph Empty triangles in good drawings of the complete graph 21-29 Show publication in PURE

Gerald Steinbauer Automated Generation of Diagnosis Models for ROS-based Robot Systems Automated Generation of Diagnosis Models for ROS-based Robot Systems Show publication in PURE

Gerald Steinbauer Improving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics Improving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Evaluating the impact of RoboCupJunior on pupils' abilities Evaluating the impact of RoboCupJunior on pupils' abilities Show publication in PURE

Oswin Aichholzer Covering folded shapes. Covering folded shapes. 73-78 Show publication in PURE

Alexander Felfernig Workshop on human decision making in recommender systems: Decisions@RecSys'13 Workshop on human decision making in recommender systems: Decisions@RecSys'13 479-480 Show publication in PURE

Franz Wotawa Using Dependency Relations to Improve Test Case Generation from UML Statecharts Using Dependency Relations to Improve Test Case Generation from UML Statecharts 71-76 Show publication in PURE

Gerald Steinbauer Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels Show publication in PURE

Ingo Hans Pill Exploiting Parse Trees in LTL Specification Diagnosis Exploiting Parse Trees in LTL Specification Diagnosis 59-64 Show publication in PURE

Gerald Steinbauer Autonomous Robots: Towards A Founded Assessment of Robustness Autonomous Robots: Towards A Founded Assessment of Robustness Show publication in PURE

Franz Wotawa and Ingo Hans Pill Fifty Shades of Grey in SOA Testing Fifty Shades of Grey in SOA Testing 154-157 Show publication in PURE

Gerald Steinbauer Autonomous Risk-Aware Exploration Autonomous Risk-Aware Exploration Show publication in PURE

Wolfgang Slany and Vesna Krnjic Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones 0-0 Show publication in PURE

Alexander Felfernig Personalized Diagnosis for Over-Constrained Problems Personalized Diagnosis for Over-Constrained Problems 1990-1996 Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Innovative concepts in educational robotics: Robotics projects for kindergartens in Austria Innovative concepts in educational robotics: Robotics projects for kindergartens in Austria Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Geodesic-preserving polygon simplification Geodesic-preserving polygon simplification 11-21 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Simulating distributed algorithms for lattice agents Simulating distributed algorithms for lattice agents 81-84 Show publication in PURE

Franz Wotawa and Ingo Hans Pill Functional SOA testing based on constraints Functional SOA testing based on constraints 33-39 Show publication in PURE

Franz Wotawa and Josip Bozic XSS Pattern for Attack Modeling in Testing XSS Pattern for Attack Modeling in Testing 71-74 Show publication in PURE

Coloring hypergraphs induced by dynamic point sets and bottomless rectangles Coloring hypergraphs induced by dynamic point sets and bottomless rectangles 73-84 Show publication in PURE

Oswin Aichholzer Flip distance between triangulations of a simple polygon is NP-complete Flip distance between triangulations of a simple polygon is NP-complete 115-118 Show publication in PURE

Franz Wotawa Mutation-based spreadsheet debugging Mutation-based spreadsheet debugging 132-137 Show publication in PURE

Wolfgang Slany Catrobat: A mobile visual programming system inspired by Scratch Catrobat: A mobile visual programming system inspired by Scratch 0-0 Show publication in PURE

Gerald Steinbauer Driving a Tracked Mobile Robot over Unstructured Terrain and Stairs Driving a Tracked Mobile Robot over Unstructured Terrain and Stairs Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together Show publication in PURE

Franz Wotawa, Ingo Hans Pill and Iulia-Dana Nica The Route to Success - A Performance Comparison of Diagnosis Algorithms The Route to Success - A Performance Comparison of Diagnosis Algorithms 1039-1045 Show publication in PURE

Thesis

Roxane Koitz-Hristov Akzeptanz von Location Based Services im Einzelhandel Show publication in PURE

On the Effects of UML Modeling Styles in Model-based Mutation Testing Show publication in PURE

Martin Stettinger Intelligent Services for Group Decision Making Show publication in PURE

Counting Convex 5-Holes Show publication in PURE

Other Article

Wolfgang Slany Pocket Code, A Scratch-like visual programming system for Microsoft Windows Phone 8 Show publication in PURE

Gerald Steinbauer Autonomous Robots: Towards A Founded Assessment of Robustness Show publication in PURE

Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones Show publication in PURE

Ingo Hans Pill Behavioral Diagnosis of LTL Specifications at Operator Level Show publication in PURE

Ingo Hans Pill And Yet Another Variant of Reiter's Hitting Set Algorithm Show publication in PURE

Franz Wotawa, Ingo Hans Pill and Iulia-Dana Nica The Route to Success - A Performance Comparison of Diagnosis Algorithms Show publication in PURE

Alexander Felfernig Personalized Diagnosis for Over-Constrained Problems Show publication in PURE

2012

Book

Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization Show publication in PURE

Alexander Felfernig Recommender Systems (japanese edition) Show publication in PURE

Bernhard Aichernig Formal Test-Driven Development with Verified Test Cases Show publication in PURE

The Argos Manual Show publication in PURE

Book Chapter

Bernhard Josef Peischl B.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability ResearchB.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability Research97-111 Show publication in PURE

Alexander Felfernig Group Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation105-116 Show publication in PURE

Wolfgang Slany Making Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on SmartphonesMaking Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on Smartphones176-189 Show publication in PURE

Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingAdaptive Autonomous Systems – From the System’s Architecture to Testing76-90 Show publication in PURE

Bernhard Josef Peischl On Complexity Reduction of User Interfaces for Safety-Critical SystemsOn Complexity Reduction of User Interfaces for Safety-Critical Systems108-122 Show publication in PURE

Bernhard Josef Peischl B.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile DevicesB.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile Devices156-167 Show publication in PURE

Proceedings

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010 Show publication in PURE

Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12) Show publication in PURE

Proceedings of the Austrian Robotics Workshop 2012 Show publication in PURE

Proceedings of the 2nd International Workshop on Human Decision Making and Recommender Systems Show publication in PURE

Journal Article

Oswin Aichholzer On k-convex polygons Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Pointed drawings of planar graphs Show publication in PURE

Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot Show publication in PURE

Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach Show publication in PURE

Franz Wotawa and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case Show publication in PURE

Bernhard Josef Peischl and Franz Wotawa Automated Debugging of Verilog Designs Show publication in PURE

Alexander Felfernig n Efficient Diagnosis Algorithm for Inconsistent Constraint Sets Show publication in PURE

Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis Show publication in PURE

Oswin Aichholzer Convexifying monotone polygons while maintaining internal visibility Show publication in PURE

Bernhard Aichernig Connectors as designs: Modeling, refinement and test case generation Show publication in PURE

Alexander Felfernig Minimization of Product Utility Estimation Errors in Recommender Result Set Evaluations Show publication in PURE

Bernhard Josef Peischl On Using Entropy for Enhancing Handwriting Preprocessing Show publication in PURE

Wolfgang Slany Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security Show publication in PURE

Alexander Felfernig Preface to the special issue on User Interfaces for Recommender Systems Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On 5-gons and 5-holes Show publication in PURE

Conference/Workshop Article

Using group recommendation heuristics for the prioritization of requirements Using group recommendation heuristics for the prioritization of requirements 329-332 Show publication in PURE

Bernhard Aichernig Integrating model-based testing and analysis tools via test case exchange Integrating model-based testing and analysis tools via test case exchange 119-126 Show publication in PURE

Gerald Steinbauer A Dependable Perception-Decision-Execution Cycle for Autonomous Robots A Dependable Perception-Decision-Execution Cycle for Autonomous Robots Show publication in PURE

Oswin Aichholzer Exact medial axis computation for triangulated solids with respect to piecewise linear metrics Exact medial axis computation for triangulated solids with respect to piecewise linear metrics 1-27 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica The SiMoL Modeling Language for Simulation and (Re-) Configuration The SiMoL Modeling Language for Simulation and (Re-) Configuration 661-672 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Compatible matchings for bichromatic plane straight-line graphs Compatible matchings for bichromatic plane straight-line graphs 257-260 Show publication in PURE

Wolfgang Slany Catroid: a mobile visual programming system for children Catroid: a mobile visual programming system for children 300-303 Show publication in PURE

Wolfgang Slany A mobile visual programming system for Android smartphones and tablets A mobile visual programming system for Android smartphones and tablets 265-266 Show publication in PURE

Gerald Steinbauer Towards CSP-based mission dispatching in C2/C4I systems Towards CSP-based mission dispatching in C2/C4I systems Show publication in PURE

Wolfgang Slany Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their Features Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their Features 507-512 Show publication in PURE

Alexander Felfernig Improving Requirements Engineering using Group Decision Tools Improving Requirements Engineering using Group Decision Tools Show publication in PURE

Oswin Aichholzer What makes a tree a straight skeleton? What makes a tree a straight skeleton? 267-272 Show publication in PURE

Gerald Steinbauer Analysis of Laser Sensor System for a Rescue Robot Analysis of Laser Sensor System for a Rescue Robot Show publication in PURE

Oswin Aichholzer Exact Medial Axis Computation for Circular Arc Boundaries Exact Medial Axis Computation for Circular Arc Boundaries 28-42 Show publication in PURE

Gerald Steinbauer An integrated Diagnosis and Repair Architecture for ROS-‐Based Robot Systems An integrated Diagnosis and Repair Architecture for ROS-‐Based Robot Systems Show publication in PURE

Bernhard Josef Peischl On complexity reduction of user interfaces for safety-critical systems On complexity reduction of user interfaces for safety-critical systems Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Lower bounds for the number of small convex k-holes Lower bounds for the number of small convex k-holes 261-266 Show publication in PURE

Alexander Felfernig Group Recommendation Algorithms for Requirements Prioritization Group Recommendation Algorithms for Requirements Prioritization 1-4 Show publication in PURE

Gerald Steinbauer Action-Based Imperative Programming with YAGI Action-Based Imperative Programming with YAGI Show publication in PURE

Alexander Felfernig Eliciting Stakeholder Preferences for Requirements Prioritization Eliciting Stakeholder Preferences for Requirements Prioritization 27-31 Show publication in PURE

Gerald Steinbauer Improving Belief Management for High-‐Level Robot Programs by Using Diagnosis Templates Improving Belief Management for High-‐Level Robot Programs by Using Diagnosis Templates Show publication in PURE

Franz Wotawa Open research challenges of localizing faults in programs using constraints Open research challenges of localizing faults in programs using constraints Show publication in PURE

Franz Wotawa AI for the win: improving spectrum-based fault localization AI for the win: improving spectrum-based fault localization 1-8 Show publication in PURE

Franz Wotawa Using Constraints for Equivalent Mutant Detection Using Constraints for Equivalent Mutant Detection Show publication in PURE

Selection of Extreme Points and Halving Edges of a Set by its Chirotope Selection of Extreme Points and Halving Edges of a Set by its Chirotope 85-88 Show publication in PURE

Franz Wotawa Constraint-based Debugging of Spreadsheets Constraint-based Debugging of Spreadsheets Show publication in PURE

Franz Wotawa Model Based Test Case Generation for Distributed Embedded Systems Model Based Test Case Generation for Distributed Embedded Systems p-p Show publication in PURE

Augmentability to Cubic Graphs Augmentability to Cubic Graphs 29-32 Show publication in PURE

Gerald Steinbauer A Survey about Faults of Robots used in RoboCup A Survey about Faults of Robots used in RoboCup 344-355 Show publication in PURE

Oswin Aichholzer What makes a tree a straight skeleton? What makes a tree a straight skeleton? 137-140 Show publication in PURE

Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault Localization Spectrum Enhanced Dynamic Slicing for better Fault Localization 420-425 Show publication in PURE

Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders Tagging Might Not Be Slower Than Filing in Folders 2063-2068 Show publication in PURE

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 Standing on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphones 264-267 Show publication in PURE

Alexander Felfernig Towards Persuasive Technologies for Software Development Environments Towards Persuasive Technologies for Software Development Environments 227-238 Show publication in PURE

Franz Wotawa Category Partition Method and Satisfiability Modulo Theories for Test Case Generation Category Partition Method and Satisfiability Modulo Theories for Test Case Generation Show publication in PURE

Bernhard Aichernig Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints 752-757 Show publication in PURE

Wolfgang Slany Mobile Visual Game Programming by Children Mobile Visual Game Programming by Children ?-? Show publication in PURE

Bernhard Josef Peischl A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application 217-221 Show publication in PURE

Wolfgang Slany Practical Usability in XP Software Development Processes Practical Usability in XP Software Development Processes 208-217 Show publication in PURE

Bernhard Aichernig The Science of Killing Bugs in a Black Box - (Keynote Talk) The Science of Killing Bugs in a Black Box - (Keynote Talk) 6-11 Show publication in PURE

Bernhard Aichernig Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking 88-102 Show publication in PURE

Gerald Steinbauer Community-Driven Development of Standard Software Modules for Search and Rescue Robots Community-Driven Development of Standard Software Modules for Search and Rescue Robots Show publication in PURE

Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-‐Level Robot Programs Selective Belief Management for High-‐Level Robot Programs Show publication in PURE

Alexander Felfernig Resolving Anomalies in Configuration Knowledge Bases Resolving Anomalies in Configuration Knowledge Bases 311-320 Show publication in PURE

Alexander Felfernig Improving the Performance of Unit Critiquing Improving the Performance of Unit Critiquing 176-187 Show publication in PURE

Alexander Felfernig Workshop on human decision making in recommender systems: Decisions@RecSys'12 Workshop on human decision making in recommender systems: Decisions@RecSys'12 347-348 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Geodesic order types Geodesic order types 216-227 Show publication in PURE

Ingo Hans Pill Optimizations for the Boolean Approach to Computing Minimal Hitting Sets Optimizations for the Boolean Approach to Computing Minimal Hitting Sets 648-653 Show publication in PURE

Ingo Hans Pill An LTL SAT Encoding for Behavioral Diagnosis An LTL SAT Encoding for Behavioral Diagnosis 67-74 Show publication in PURE

Franz Wotawa Reducing the size of dynamic slicing with constraint solving Reducing the size of dynamic slicing with constraint solving 41-48 Show publication in PURE

Alexander Felfernig Anonymous Preference Elicitation for Requirements Prioritization Anonymous Preference Elicitation for Requirements Prioritization 349-356 Show publication in PURE

Franz Wotawa Debugging of Spreadsheets: A CSPbased Approach Debugging of Spreadsheets: A CSPbased Approach 159-164 Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Evaluating the long-term impact of RoboCupJunior: A first investigation Evaluating the long-term impact of RoboCupJunior: A first investigation 87-94 Show publication in PURE

Oswin Aichholzer The 2-page crossing number of kn The 2-page crossing number of kn 397-403 Show publication in PURE

Bernhard Aichernig Efficient Refinement Checking for Model-Based Mutation Testing Efficient Refinement Checking for Model-Based Mutation Testing 21-30 Show publication in PURE

Franz Wotawa EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems 57-62 Show publication in PURE

Franz Wotawa and Iulia-Dana Nica Model-based simulation and configuration of mobile phone networks – The SIMOA Approach Model-based simulation and configuration of mobile phone networks – The SIMOA Approach 12-17 Show publication in PURE

Wolfgang Slany Creating a Comparative Environment for PIM Evaluation Creating a Comparative Environment for PIM Evaluation 1-5 Show publication in PURE

Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School The 2012 Safety, Security, and Rescue Robotics Summer School Show publication in PURE

Gerald Steinbauer Kombot - An Autonomous Mobile Order Picking Robot Kombot - An Autonomous Mobile Order Picking Robot 1-7 Show publication in PURE

Oswin Aichholzer Triangulations with circular arcs Triangulations with circular arcs 296-307 Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Educational Robotics - Evaluating long-term effects Educational Robotics - Evaluating long-term effects 198-199 Show publication in PURE

Franz Wotawa and Josip Bozic Model-based Testing - From Safety to Security Model-based Testing - From Safety to Security 9-16 Show publication in PURE

Thesis

Bernhard Aichernig Model-Based Mutation Testing: Theory and Application Show publication in PURE

Other Article

Martin Kandlhofer and Petra Schindler Robotikworkshop für Einsteiger, Nachmittagskurs Show publication in PURE

Bernhard Josef Peischl On complexity reduction of user interfaces for safety‐critical systems Show publication in PURE

Martin Kandlhofer and Petra Schindler Robotikworkshop für Einsteiger, Vormittagskurs Show publication in PURE

Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School Show publication in PURE

Alexander Felfernig Gruppenentscheidungsprozesse im Requirements Engineering Show publication in PURE

Franz Wotawa and Iulia-Dana Nica ConDiag - Computing minimal diagnoses using a constraint solver Show publication in PURE

Gerald Steinbauer A Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result Dissemination Show publication in PURE

Gerald Steinbauer Community-Driven Development of Standard Software Modules for Search and Rescue Robots Show publication in PURE

Alexander Felfernig Group Recommendation Algorithms for Requirements Prioritization Show publication in PURE

Wolfgang Slany Creating a Comparative Environment for PIM Evaluation Show publication in PURE

Wolfgang Slany Catroid: A mobile visual programming system Show publication in PURE

Using group recommendation heuristics for the prioritization of requirements Show publication in PURE

Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders Show publication in PURE

Gerald Steinbauer A Survey about Faults of Robots used in RoboCup Show publication in PURE

Gerald Steinbauer and Martin Kandlhofer Educational Robotics - Evaluating long-term effects Show publication in PURE

Bernhard Josef Peischl A Mobile Information System für Improved Navigation in Public Transport Show publication in PURE

2011

Book

Alexander Felfernig Recommender Systems Show publication in PURE

Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms Show publication in PURE

Alexander Felfernig Recommender Systems - An Introduction (japanese edition)978-4-320-12296-3 Show publication in PURE

Proceedings

Proceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11) Show publication in PURE

Journal Article

Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems Show publication in PURE

Alexander Felfernig BFX: Diagnosing Conflicting Requirements in Constraint-Based Recommendation Show publication in PURE

Alexander Felfernig Consumer Decision Making in Knowledge-based Recommendation Show publication in PURE

Oswin Aichholzer Computational and structural advantages of circular boundary representation Show publication in PURE

Alexander Felfernig Personalized Diagnoses for Inconsistent User Requirements Show publication in PURE

Alexander Felfernig Recommendation Technologies for Configurable Products Show publication in PURE

Alexander Felfernig The Future of Recommender Systems: Research and Applications Show publication in PURE

Wolfgang Slany Informatische Bildung mithilfe eines MOOC Show publication in PURE

Alexander Felfernig Introduction: Special Issue on Configuration Show publication in PURE

Franz Wotawa Test case generation in practice for communicating embedded systems Show publication in PURE

Oswin Aichholzer There is a unique crossing-minimal rectilinear drawing of k18 Show publication in PURE

Wolfgang Slany Neural Network based Clustering using Visual Features of Characters’ Shape in Image Show publication in PURE

Bernhard Josef Peischl, Franz Wotawa and Bernhard Aichernig Modellbasiertes Testen (MBT) in der Softwareentwicklung Show publication in PURE

Conference/Workshop Article

The application of pneumatic actuators in RoboCups' Middle Size League The application of pneumatic actuators in RoboCups' Middle Size League 117-126 Show publication in PURE

Franz Wotawa and Ingo Hans Pill From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms 203-210 Show publication in PURE

Bernhard Aichernig UML in Action: A Two-Layered Interpretation for Testing UML in Action: A Two-Layered Interpretation for Testing 1-8 Show publication in PURE

Gerald Steinbauer and Franz Wotawa On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems 167-170 Show publication in PURE

Franz Wotawa Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases Show publication in PURE

Gerald Steinbauer RoboCupJunior: A Vehicle for S&T Education in Africa? RoboCupJunior: A Vehicle for S&T Education in Africa? Show publication in PURE

Alexander Felfernig Decision Support in the Smart Home Decision Support in the Smart Home 1-8 Show publication in PURE

Bernhard Aichernig Efficient Mutation Killers in Action Efficient Mutation Killers in Action 120-129 Show publication in PURE

Gerald Steinbauer and Franz Wotawa Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots Show publication in PURE

On the Improvement of the Mutation Score Using Distinguishing Test Cases On the Improvement of the Mutation Score Using Distinguishing Test Cases 423-426 Show publication in PURE

Franz Wotawa Adaptive autonomous systems - From the system's architecture to testing Adaptive autonomous systems - From the system's architecture to testing Show publication in PURE

Gerald Steinbauer The Ontology Lifecycle in RoboCup: Population From Text and Execution The Ontology Lifecycle in RoboCup: Population From Text and Execution Show publication in PURE

Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences 270-283 Show publication in PURE

Franz Wotawa Detecting Equivalent Mutants by Means of Constraint Systems Detecting Equivalent Mutants by Means of Constraint Systems Show publication in PURE

Alexander Felfernig Evaluating Design Alternatives for Feature Recommendations in Configuration Systems Evaluating Design Alternatives for Feature Recommendations in Configuration Systems 34-41 Show publication in PURE

Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures TagTree: Exploring Tag-Based Navigational Structures 516-518 Show publication in PURE

Franz Wotawa Is Mutation Testing Scalable for Real-World Software Projects? Is Mutation Testing Scalable for Real-World Software Projects? Show publication in PURE

Franz Wotawa and Bernhard Aichernig Compositional Random Testing Using Extended Symbolic Transition Systems Compositional Random Testing Using Extended Symbolic Transition Systems 179-194 Show publication in PURE

Gerald Steinbauer and Ingo Hans Pill Belief Management for Autonomous Robots using History-Based Diagnosis Belief Management for Autonomous Robots using History-Based Diagnosis Show publication in PURE

Alexander Felfernig CoreDiag: Eliminating Redundancy in Constraint Sets CoreDiag: Eliminating Redundancy in Constraint Sets 219-224 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On k-Gons and k-Holes in Point Sets On k-Gons and k-Holes in Point Sets 21-26 Show publication in PURE

Alexander Felfernig Decoy Effects in Financial Service E‐Sales Systems Decoy Effects in Financial Service E‐Sales Systems 1-8 Show publication in PURE

Franz Wotawa The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking 1-10 Show publication in PURE

Franz Wotawa (Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract (Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract 9-11 Show publication in PURE

Franz Wotawa and Bernhard Josef Peischl An Abstract Operational Framework for Dependence Models in Software Debugging An Abstract Operational Framework for Dependence Models in Software Debugging Show publication in PURE

Alexander Felfernig Status Quo Bias in Configuration Systems Status Quo Bias in Configuration Systems 105-114 Show publication in PURE

Alexander Felfernig Group Decision Support for Requirements Negotiation Group Decision Support for Requirements Negotiation 27-34 Show publication in PURE

Wolfgang Slany TagTree: Storing and Re-finding Files Using Tags TagTree: Storing and Re-finding Files Using Tags 471-481 Show publication in PURE

Gerald Steinbauer and Ingo Hans Pill Belief Management for High-Level Robot Programs Belief Management for High-Level Robot Programs Show publication in PURE

Oswin Aichholzer Convexifying monotone polygons while maintaining internal visibility Convexifying monotone polygons while maintaining internal visibility 35-38 Show publication in PURE

Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies Measuring Emotions: Towards rapid and low cost methodologies Show publication in PURE

Alexander Felfernig Workshop on human decision making in recommender systems: Decisions@RecSys'11 Workshop on human decision making in recommender systems: Decisions@RecSys'11 389-390 Show publication in PURE

Alexander Felfernig Personalizing Diagnoses for Inconsistent Constraint Sets Personalizing Diagnoses for Inconsistent Constraint Sets 146-153 Show publication in PURE

Gerald Steinbauer Robust Robotics Using History-Based-Diagnosis in IndiGolog Robust Robotics Using History-Based-Diagnosis in IndiGolog Show publication in PURE

Franz Wotawa Program debugging using constraints – Is it feasible? Program debugging using constraints – Is it feasible? 236-243 Show publication in PURE

Oswin Aichholzer Compatible matchings in geometric graphs Compatible matchings in geometric graphs 145-148 Show publication in PURE

Bernhard Josef Peischl Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis 219-227 Show publication in PURE

Oswin Aichholzer Convexifying polygons without losing visibilities Convexifying polygons without losing visibilities 229-234 Show publication in PURE

Gerald Steinbauer A Survey on the Nature of Faults of Autonomous Robot Systems A Survey on the Nature of Faults of Autonomous Robot Systems Show publication in PURE

Franz Wotawa On the use of constraints in dynamic slicing for program debugging On the use of constraints in dynamic slicing for program debugging Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer 4-Holes in Point Sets 4-Holes in Point Sets 115-118 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer On 5-gons and 5-holes On 5-gons and 5-holes 7-10 Show publication in PURE

Alexander Felfernig ReAction: Personalized Minimal Repair Adaptations for Customer Requests ReAction: Personalized Minimal Repair Adaptations for Customer Requests 13-24 Show publication in PURE

Wolfgang Slany Applying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability Testing Applying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability Testing 53-56 Show publication in PURE

Franz Wotawa How to combine slicing-hitting-set-computation with spectrum-based fault localization How to combine slicing-hitting-set-computation with spectrum-based fault localization 114-121 Show publication in PURE

Bernhard Josef 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 Rapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct Time 57-61 Show publication in PURE

Franz Wotawa Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS 8-14 Show publication in PURE

Gerald Steinbauer and Wolfgang Slany ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues Show publication in PURE

Franz Wotawa and Iulia-Dana Nica SiMoL– A Modeling Language for Simulation and (Re-)Configuration SiMoL– A Modeling Language for Simulation and (Re-)Configuration 40-43 Show publication in PURE

Thesis

Birgit Vogtenhuber Combinatorial Aspects of [Colored] Point Sets in the Plane Show publication in PURE

Other Article

Petra Schindler Robotikworkshop für Einsteiger, Nachmittagskurs Show publication in PURE

Petra Schindler Robotikworkshop für Einsteiger, Vormittagskurs Show publication in PURE

Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies Show publication in PURE

Gerald Steinbauer and Petra Schindler Robotikworkshop für Fortgeschrittene Show publication in PURE

Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures Show publication in PURE

Wolfgang Slany TagTree: Storing and Re-Finding Files Using Tags Show publication in PURE

Franz Wotawa and Iulia-Dana Nica Diagnosis-based reconfiguration using the MINION constraint solver Show publication in PURE

Alexander Felfernig CoreDiag: Eliminating Redundancy in Constraint Sets Show publication in PURE

Franz Wotawa and Ingo Hans Pill From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms Show publication in PURE

2010

Book

Alexander Felfernig Recommender Systems - An Introduction978-0-521-49336-9 Show publication in PURE

Book Chapter

Bernhard Aichernig A systematic introduction to mutation testing in unifying theories of programmingA systematic introduction to mutation testing in unifying theories of programming243-287 Show publication in PURE

Alexander Felfernig Developing Constraint-based RecommendersDeveloping Constraint-based Recommenders1-29 Show publication in PURE

Proceedings

Proceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010) Show publication in PURE

Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases Show publication in PURE

Journal Article

Franz Wotawa Environmental decision support systems based on models and model-based reasoning Show publication in PURE

Alexander Felfernig Towards Recommending Configurable Offerings Show publication in PURE

Bernhard Aichernig Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Show publication in PURE

The Effects of Weather on the Life Time of Wireless Sensor Networks Using FSO/RF Communication Show publication in PURE

Gerald Steinbauer Hyrid control for autonomous systems - Integrating learning, deliberation and reactive control Show publication in PURE

Wolfgang Slany An AI-based break-scheduling system for supervisory personnel Show publication in PURE

Oswin Aichholzer Divide-and conquer for Voronoi diagrams revisited Show publication in PURE

Bernhard Aichernig Resource Modeling for Timed Creol Models Show publication in PURE

Bernhard Josef Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Large bichromatic point sets admit empty monochromatic 4-gons Show publication in PURE

Oswin Aichholzer Edge-removal and non-crossing configurations in geometric graphs Show publication in PURE

Franz Wotawa Mining Effort Data from the OSS Repository of Developer's Bug Fix Activity Show publication in PURE

Conference/Workshop Article

Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets Efficient Explanations for Inconsistent Constraint Sets 1043-1044 Show publication in PURE

Gerald Steinbauer and Oswin Aichholzer Playing Pylos with an Autonomous Robot Playing Pylos with an Autonomous Robot 2507-2508 Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer 3-Colorability of pseudo-triangulations 3-Colorability of pseudo-triangulations 21-24 Show publication in PURE

Franz Wotawa Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation 1-8 Show publication in PURE

Oswin Aichholzer Arc Triangulations Arc Triangulations 17-20 Show publication in PURE

Gerald Steinbauer Robotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions Robotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions Show publication in PURE

Wolfgang Slany Analyzing real mobile web usage of a multimedia streaming application through log files Analyzing real mobile web usage of a multimedia streaming application through log files 401-404 Show publication in PURE

Alexander Felfernig Recommendation and Decision Technologies for Requirements Engineering Recommendation and Decision Technologies for Requirements Engineering 1-5 Show publication in PURE

Bernhard Aichernig Automated Conformance Verification of Hybrid Systems Automated Conformance Verification of Hybrid Systems 3-12 Show publication in PURE

Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous Robots On the Way to Automated Belief Repair for Autonomous Robots Show publication in PURE

Alexander Felfernig Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based Recommenders Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based Recommenders 631-640 Show publication in PURE

Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set Computation Fault Localization Based On Dynamic Slicing and Hitting-Set Computation Show publication in PURE

Franz Wotawa Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures Show publication in PURE

Alexander Felfernig Personalized User Interfaces for Product Configuration Personalized User Interfaces for Product Configuration 317-320 Show publication in PURE

Franz Wotawa and Bernhard Aichernig When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving 479-488 Show publication in PURE

A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC 1-4 Show publication in PURE

Bernhard Josef Peischl Generation of Executable Test Cases Based on Behavioral UML System Models Generation of Executable Test Cases Based on Behavioral UML System Models 1-4 Show publication in PURE

Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model‐based Diagnosis On Classification and Modeling Issues in Distributed Model‐based Diagnosis 27-32 Show publication in PURE

Wolfgang Slany TEMPLE - an end-user language for staff scheduling problems TEMPLE - an end-user language for staff scheduling problems ???-??? Show publication in PURE

Franz Wotawa and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint Solver Generating Distinguishing Tests using the MINION Constraint Solver 1-6 Show publication in PURE

Franz Wotawa AIana: An AI Planning System for Test Data Generation AIana: An AI Planning System for Test Data Generation 1-8 Show publication in PURE

Gerald Steinbauer and Franz Wotawa From Sketch to Plan From Sketch to Plan Show publication in PURE

Alexander Felfernig Adaptive Utility-based Recommendation Adaptive Utility-based Recommendation 641-650 Show publication in PURE

Franz Wotawa Impact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification Impact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification Show publication in PURE

Bernhard Aichernig Model-Based Mutation Testing of Hybrid Systems Model-Based Mutation Testing of Hybrid Systems 228-249 Show publication in PURE

Bernhard Aichernig Unifying input output conformance Unifying input output conformance 181-201 Show publication in PURE

Franz Wotawa Does testing help to reduce the number of potentially faulty statement in debugging? Does testing help to reduce the number of potentially faulty statement in debugging? Show publication in PURE

Franz Wotawa Using Distinguishing Tests to Reduce the Number of Fault Candidates Using Distinguishing Tests to Reduce the Number of Fault Candidates Show publication in PURE

Alexander Felfernig Towards Persuasive Technologies for Improved Software Quality Towards Persuasive Technologies for Improved Software Quality 1-7 Show publication in PURE

Alexander Felfernig Diagnosing Inconsistent Requirements Diagnosing Inconsistent Requirements 15-20 Show publication in PURE

Gerald Steinbauer The Regional Center Concept for RoboCupJunior in Austria The Regional Center Concept for RoboCupJunior in Austria Show publication in PURE

Gerald Steinbauer On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog 229-240 Show publication in PURE

Roderick Bloem RATSY - A new Requirements Analysis Tool with Synthesis RATSY - A new Requirements Analysis Tool with Synthesis 425-429 Show publication in PURE

Bernhard Josef Peischl Static- and Dynamic Cosistency Analysis of UML State Chart Models Static- and Dynamic Cosistency Analysis of UML State Chart Models 151-165 Show publication in PURE

Wolfgang Slany Process Patterns for Agile Usability Process Patterns for Agile Usability Show publication in PURE

Gerald Steinbauer On the Way to High-Level Control for Resource-Limited Embedded Systems with Golog On the Way to High-Level Control for Resource-Limited Embedded Systems with Golog Show publication in PURE

Franz Wotawa Improving the Mutation Score by Means of Distinguishing Test Cases Improving the Mutation Score by Means of Distinguishing Test Cases Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Blocking delaunay triangulations Blocking delaunay triangulations 21-24 Show publication in PURE

Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problem A hybrid LS-CP solver for the shifts and breaks design problem 46-61 Show publication in PURE

Alexander Felfernig A Diagnosis Algorithm for Inconsistent Constraint Sets A Diagnosis Algorithm for Inconsistent Constraint Sets 0-0 Show publication in PURE

Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problem A hybrid LS-CP solver for the shifts and breaks design problem 490-492 Show publication in PURE

Alexander Felfernig Diagnosing Inconsistent Requirements Preferences in Distributed Software Projects Diagnosing Inconsistent Requirements Preferences in Distributed Software Projects 495-502 Show publication in PURE

Bernhard Josef Peischl Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems 122-131 Show publication in PURE

Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems 228-249 Show publication in PURE

Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets Efficient Explanations for Inconsistent Constraint Sets 21-26 Show publication in PURE

Bernhard Aichernig The Credo Methodology - (Extended Version) The Credo Methodology - (Extended Version) 41-69 Show publication in PURE

Alexander Felfernig Impacts of Decoy Effects on the Decision Making Ability Impacts of Decoy Effects on the Decision Making Ability 112-119 Show publication in PURE

Gerald Steinbauer On-line Kinematics Reasoning for Reconfigurable Robot Drives On-line Kinematics Reasoning for Reconfigurable Robot Drives 5441-5446 Show publication in PURE

Wolfgang Slany The influence of AJAX on Web Usability The influence of AJAX on Web Usability 124-127 Show publication in PURE

Gerald Steinbauer Team Zadeat 2010 --- Application for Participation Team Zadeat 2010 --- Application for Participation Show publication in PURE

Franz Wotawa Synthesize it: from Design by Contract™to Meaningful Test Input Data Synthesize it: from Design by Contract™to Meaningful Test Input Data 1-10 Show publication in PURE

Bernhard Josef Peischl Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research 14-21 Show publication in PURE

Alexander Felfernig FastXplain: Conflict Detection for Constraint-Based Recommendation Problems FastXplain: Conflict Detection for Constraint-Based Recommendation Problems 621-630 Show publication in PURE

Gerald Steinbauer Providing ground-truth data for the nao robot platform Providing ground-truth data for the nao robot platform Show publication in PURE

Birgit Vogtenhuber and Oswin Aichholzer Compatible pointed pseudo-triangulations Compatible pointed pseudo-triangulations 91-94 Show publication in PURE

Alexander Felfernig Personalized Product Configuration Personalized Product Configuration 2251-2263 Show publication in PURE

Thesis

Agile Usability Processes Show publication in PURE

Relaxing and lifting triangulations Show publication in PURE

Other Article

Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets Show publication in PURE

Recommendation and Decision Technologies For Requirements Engineering Show publication in PURE

Bernhard Josef Peischl P.52 Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research Show publication in PURE

RoboCup Middle Size League Show publication in PURE

Petra Schindler Robotikworkshop für Einsteiger, Vormittagskurs Show publication in PURE

A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC Show publication in PURE

Petra Schindler Robotikworkshop für Einsteiger, Nachmittagskurs Show publication in PURE

Wolfgang Slany Mobile Scratch Programming on Android Smart Phones: Usability and New Features Show publication in PURE

Exact medial axis computation for circular arc boundaries Show publication in PURE

Alexander Felfernig Personalized User Interfaces for Product Configuration Show publication in PURE