IST/Publications
2020
Thi Ngoc Trang Tran, Muesluem Atas, Man Viet Le, Ralph Samer and Martin Stettinger Social choice-based explanations Journal of Universal Computer Science 2020, 402-431, 2020
Andrea Pferscher, Bernhard Aichernig and Martin Tappler From Passive to Active: Learning Timed Automata Efficiently
Roxane Koitz-Hristov and Franz Wotawa Faster horn diagnosis - a performance comparison of abductive reasoning algorithms Applied Intelligence 2020, 2020
Ingo Pill and Franz Wotawa Extending Automated FLTL Test Oracles With Diagnostic SupportExtending Automated FLTL Test Oracles With Diagnostic Support354-361
Hermann Felbinger, Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa and Martin Jochen Zimmermann Comparing two systematic approaches for testing automated driving functionsComparing two systematic approaches for testing automated driving functions
Josip Bozic and Franz Wotawa Planning-based security testing of web applications with attack grammars Software quality journal 2020, 2020
Thi Ngoc Trang Tran, Müslüm Atas, Viet Man Le, Ralph Samer and Martin Stettinger Social Choice-based Explanations: An Approach toEnhancing Fairness and Consensus Aspects Journal of Universal Computer Science 2020, 2020
Peter Josef Nageler, Gerald Schweiger, Hermann Schranzhofer, Richard Heimrath, Thomas Mach, Lisa-Marie Fochler, Christoph Hochenauer, Jürgen Fluch, Ingo Leusbrock and Christian Fink Co-simulation Workflow for the Dynamic Modelling and Simulation of Large-scale District Energy SystemsCo-simulation Workflow for the Dynamic Modelling and Simulation of Large-scale District Energy Systems3698-3705
2019
Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick and Richard Alexander Schumi Learning and statistical model checking of system response times Software quality journal 2019, 757-795, 2019
Bernhard Aichernig, Benedikt Maderbacher and Stefan Tiran Programming Behavioral Test Models for SMT Solving in ScalaProgramming Behavioral Test Models for SMT Solving in Scala52-60
Bernhard Aichernig, Christian Burghard and Robert Korosec Learning-Based Testing of an Industrial Measurement DeviceLearning-Based Testing of an Industrial Measurement Device1-18
Bernhard Aichernig, Franz Pernkopf, Richard Alexander Schumi and Andreas Wurm Predicting and Testing Latencies with Deep Learning: An IoT Case StudyPredicting and Testing Latencies with Deep Learning: An IoT Case Study93-111
Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph ColoringDistributed Answer Set Coloring: Stable Models Computation via Graph Coloring441-451
Marco De Bortoli Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
Thomas Ulz, Jakob Chrysant Ludwiger and Gerald Steinbauer A Robust and Flexible System Architecture for Facing the RoboCup Logistics League ChallengeA Robust and Flexible System Architecture for Facing the RoboCup Logistics League Challenge488-499
Wolfgang Vorraber, Matthias Müller, Siegfried Voessner and Wolfgang Slany Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems IEEE Software 2019, 55-60, 2019
Christoph Pilz, Gerald Steinbauer, Markus Schratter and Daniel Watzenig Development of a Scenario Simulation Platform to Support Autonomous Driving Verification
Kay Uwe Römer, Klaus Witrisal, Marcel Carsten Baunach, Roderick Bloem and Martin Horn Dependable Internet of ThingsDependable Internet of Things
Roderick Bloem, Swen Jacobs and Yakir Vizel Efficient Information-Flow Verification Under Speculative ExecutionEfficient Information-Flow Verification Under Speculative Execution
Oswin Aichholzer, Irene Maria De Parada, Manfred Scheucher, Birgit Vogtenhuber and Alexandra Weinberger Shooting Stars in Simple Drawings of K<sub>m,n</sub>
Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Maria De Parada, Daniel Perz, André van Renssen and Birgit Vogtenhuber Graphs with large total angular resolutionGraphs with large total angular resolution193-199
Oswin Aichholzer and Daniel Perz Triangles in the colored Euclidean plane
Alexandra Weinberger Simple Drawings and Rotation Systems Beyond the Complete Graph
Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo Wiedera Extending simple drawings with one edge is hard arXiv.org e-Print archive 2019, 2019
Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmovic, Robin Flatland, Matias Korman, Belen Palop, Irene Parada, André van Renssen and Vera Sacristán Universal Reconfiguration of Facet-Connected Modular Robots by Pivots: The O(1) MusketeersUniversal Reconfiguration of Facet-Connected Modular Robots by Pivots: The O(1) Musketeers3:1-3:14
Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Minimal Representations of Order Types by Geometric GraphsMinimal Representations of Order Types by Geometric Graphs101-113
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-Colored Crossing NumberOn the 2-Colored Crossing Number87-100
Alan Arroyo, Martin Derka and Irene Parada Extending Simple DrawingsExtending Simple Drawings230-243
Irene Parada On straight-line and topological drawings of graphs in the plane
Carolina Medina, Irene Parada, Gelasio Salazar and Birgit Vogtenhuber Bounding the number of crossings for a particular class of drawings of $K_{n,n}$
Oswin Aichholzer, Carlos Alegría, Irene Parada, Alexander Pilz, Javier Tejel, Csaba D. Tóth, Jorge Urrutia Galicia and Birgit Vogtenhuber Hamiltonian meander paths and cycles on bichromatic point sets.
Thekla Hamm, Irene Parada and Fabian Klute Extending to 1-plane drawings.
Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing Journal of Automated Reasoning 2019, 1103-1134 , 2019
Irene Parada Efficient segment folding is hard
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco Zaragoza On the 2-colored crossing number
Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmović, Robin Flatland, Matias Korman, Belén Palop, Irene Parada, André van Renssen and Vera Sacristán Reconfiguring edge-connected pivoting modular robots
Alan Arroyo, Martin Derka and Irene Parada Extending simple drawings
Helmut Brunner, Xuelei Zhi, Matthias Mietschnig, Stephen Jones, Su Zhou, Gerald Steinbauer and Mario Hirz Research on Autonomous Driving based on a Highly Flexible Prototype Vehicle
Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener and Franz Röck Synthesizing adaptive test strategies from temporal logic specifications Formal methods in system design 2019, 103-135, 2019
Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor~P.~Fekete [Unknown], Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova and Christiane Schmidt Folding Polyominoes with Holes into a CubeFolding Polyominoes with Holes into a Cube164-170
Oswin Aichholzer, Ruy Fabila-Monroy and Julia Obmann On the Triangle VectorOn the Triangle Vector55-58
Oswin Aichholzer, José Miguel Díaz-Báñez, Thomas Hackl, David Orden Martín, Alexander Pilz, Inmaculada Ventura and Birgit Vogtenhuber Erdos-Szekeres-Type GamesErdos-Szekeres-Type Games23:1-23:7
Oswin Aichholzer, Linda Kleist, Boris Klemz, Felix Schröder and Birgit Vogtenhuber On the Edge-Vertex Ratio of Maximal ThracklesOn the Edge-Vertex Ratio of Maximal Thrackles482-495
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, André van Renssen, Marcel Roeloffzen, Günter Rote and Birgit Vogtenhuber Packing plane spanning graphs with short edges in complete geometric graphs Computational geometry 2019, 1-15, 2019
Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit Vogtenhuber Flip distances between graph orientationsFlip distances between graph orientations120-134
David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit Vogtenhuber Perfect rainbow polygons for colored point sets in the planePerfect rainbow polygons for colored point sets in the plane43-46
David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit Vogtenhuber Perfect rainbow polygons for colored point sets in the planePerfect rainbow polygons for colored point sets in the plane57-58
Matthias Müller and Wolfgang Slany Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit WING-Business 2019, 25-27, 2019
Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia Galicia and Birgit Vogtenhuber Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$ Computational Geometry: Theory and Applications 2019, 51-61, 2019
Clemens Huemer, Deborah Oliveros, Pablo PLantero, Ferran Torra and Birgit Vogtenhuber On weighted sums of numbers of convex polygons in point sets
Matthias Müller, Christian Schindler and Wolfgang Slany Introducing Agile Product Owners in a FLOSS ProjectIntroducing Agile Product Owners in a FLOSS Project38-43
Martin Gebser, Marco Maratea and Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results Theory and Practice of Logic Programming 2019, 2019
Matthias Müller, Christian Schindler and Wolfgang Slany Pocket Code - A Mobile Visual Programming Framework For App DevelopmentPocket Code - A Mobile Visual Programming Framework For App Development
Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub Multi-shot ASP solving with clingo Theory and Practice of Logic Programming 2019, 27-82, 2019
Matthias Müller Managing the Open CathedralManaging the Open Cathedral1176-1179
Franz Wotawa Reasoning from first principles for self-adaptive and autonomous systemsReasoning from first principles for self-adaptive and autonomous systems
Dave Catlin, Martin Kandlhofer, John-John Cabibihan, Julian Angel-Fernandez, Stephanie Holmquist and Andrew Paul Csizmadia, EduRobot TaxonomyEduRobot Taxonomy333-338
Nour Chetouane, Lorenz Klampfl and Franz Wotawa Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural NetworksInvestigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks766-777
Matthias Josef Eder, Michael Reip and Gerald Steinbauer Using Particle Filter and Machine Learning for Accuracy Estimation of Robot LocalizationUsing Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization700-713
Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero and Torsten Schaub plasp 3: Towards Effective ASP Planning Theory and Practice of Logic Programming 2019, 477-504, 2019
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Reactive Systems Using Robustness and Recovery SpecificationsSynthesizing Reactive Systems Using Robustness and Recovery Specifications147-151
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz Wotawa Metric-based Fault Prediction for Spreadsheets IEEE Transactions on Software Engineering 2019, 2019
Thomas Hirsch, Christian Schindler, Matthias Müller, Thomas Schranz and Wolfgang Slany An Approach to Test Classification in Big Android ApplicationsAn Approach to Test Classification in Big Android Applications300-308
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric Wong Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction IEEE Access 2019, 63066 - 63080, 2019
Thomas Schranz, Christian Schindler, Matthias Müller and Wolfgang Slany Contributors' Impact on a FOSS Project's QualityContributors' Impact on a FOSS Project's Quality35-38
Julian Harty and Matthias Müller Better Android Apps using Android VitalsBetter Android Apps using Android Vitals26-32
Daniela Kengyel, Payam Zahadat, Thomas Schmickl and Franz Wotawa Towards swarm level optimisation: The role of different movement patterns in swarm systems International Journal of Parallel, Emergent and Distributed Systems 2019, 241 - 259, 2019
Bernadette Spieler, Maria Grandl, Martin Ebner and 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 technology667-674
Patrick Koch, Birgit Gertraud Hofer and Franz Wotawa On the Refinement of Spreadsheet Smells by means of Structure Information The Journal of Systems and Software 2019, 64 - 85, 2019
Martin Kandlhofer, Gerald Steinbauer, Julia Petra Laßnig, Wilfried Baumann, Sandra Plomer, Aron Ballagi and Istvan Alfoldi Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to SchoolsEnabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca and Torsten Schaub ASP-Core-2 Input Language Format Theory and Practice of Logic Programming 2019, 2019
Martin Kandlhofer, Gerald Steinbauer, Manuel Menzinger, Richard Halatschek, Ferenc Kemeny and Karin Landerl MINT-Robo: Empowering Gifted High School Students with RoboticsMINT-Robo: Empowering Gifted High School Students with Robotics
Yavuz Koroglu and Franz Wotawa Fully automated compiler testing of a reasoning engine via mutated grammar fuzzingFully automated compiler testing of a reasoning engine via mutated grammar fuzzing28-34
Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen and Florian Lorber Time to Learn - Learning Timed Automata from TestsTime to Learn - Learning Timed Automata from Tests216 - 235
Matthias Müller, Christian Schindler and Wolfgang Slany Engaging Students in Open Source: Establishing FOSS Development at a UniversityEngaging Students in Open Source: Establishing FOSS Development at a University7721-7730
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald Thenius Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots
Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version) Formal methods in system design 2019, 416-448, 2019
Gerald Schweiger, Fabian Kuttin and Alfred Posch District heating systems Energies 2019, 2019
Michael Stradner and Gerald Steinbauer Lifting Robot Exploration to 3D Environments
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. Willemsen REcSys'19 joint workshop on interfaces and human decision making for recommender systemsREcSys'19 joint workshop on interfaces and human decision making for recommender systems560-561
Matthias Müller, Wolfgang Vorraber, Michael Herold, Christian Schindler, Wolfgang Slany and Kenji Tanaka Streamlining Value in a FOSS ProjectStreamlining Value in a FOSS Project
Bernhard K. Aichernig and Richard Alexander Schumi Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models Software and Systems Modeling 2019, 889-911, 2019
Gerald Schweiger, Filip Jorissen, Hakan Runvik and Lieve Helsen Equation-based modelling for dynamic optimization of district scale energy systems- A scalability studyEquation-based modelling for dynamic optimization of district scale energy systems- A scalability study
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan Gspandl Constraint-Based Testing of An Industrial Multi-Robot Navigation SystemConstraint-Based Testing of An Industrial Multi-Robot Navigation System129-137
Clemens Huemer, Alexander Pilz and Rodrigo I. Silveira A new lower bound on the maximum number of plane graphs using production matrices Computational Geometry: Theory and Applications 2019, 36-49, 2019
Christian Schindler and Matthias Müller Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of TechnologyGender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology100-104
Eugenio Gaeta, María Eugenia Beltrán-Jaunsaras, Gloria Cea, Bernadette Spieler, Andrew Burton, Rebeca Isabel García-Betances, María Fernanda Cabrera-Umpiérrez, David Brown, Helen Boulton and María T.Arredondo Waldmeyer Evaluation of the create@school game-based learning–teaching approach Sensors (Switzerland) 2019, 2019
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice
Georg Engel Neural Networks to Approximate Solutions of Ordinary Differential EquationsNeural Networks to Approximate Solutions of Ordinary Differential Equations776-784
Ingo Pill and Franz Wotawa Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning
Georg Engel Machine Learning to Approximate Solutions of Ordinary Differential EquationsMachine Learning to Approximate Solutions of Ordinary Differential Equations169-177
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de Kleer Diagnosing Sequential Circuits as Boolean Satisfaction
Zulfiqar Ali, Aiman Mamdouh Ayyal Awwad and Wolfgang Slany Using executable specification and regression testing for broadcast mechanism of visual programming language on smartphones International Journal of Interactive Mobile Technologies 2019, 50-65, 2019
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler and Markus Tranninger Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine LearningLearning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning3-21
Valentin Kassarnig and Franz Wotawa An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational DatabasesAn Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases4932-4939
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision ProcessesL*-Based Learning of Markov Decision Processes651 - 669
Georg Engel Sorption thermal energy storage Energy conversion and management 2019, 466-474, 2019
Ralph Samer, Alexander Felfernig and Martin Stettinger Towards Issue Recommendation for Open Source CommunitiesTowards Issue Recommendation for Open Source Communities164-171
Georg Engel, Ajay S. Chakkaravarthy and Gerald Schweiger A General Method to Compare Different Co-simulation InterfacesA General Method to Compare Different Co-simulation Interfaces351-365
Martin Stettinger, Alexander Felfernig and Ralph Samer Decision Biases in Preference AcquisitionDecision Biases in Preference Acquisition20-21
Alexander Felfernig, Seda Polat Erdeniz, Christoph Uran, Stefan Reiterer, Müslüm Atas, Thi Ngoc Trang Tran, Paolo Azzoni, Csaba Kiraly and Koustabh Dolui An Overview of Recommender Systems in the Internet of Things Journal of Intelligent Information Systems 2019, 285-309, 2019
Müslüm Atas, Ralph Samer, Alexander Felfernig, Trang Tran, Seda Polat Erdeniz and Martin Stettinger Socially-Aware Diagnosis for Constraint-Based RecommendationSocially-Aware Diagnosis for Constraint-Based Recommendation121-129
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas and Ralph Samer Matrix Factorization based Heuristics for Constraint-based RecommendersMatrix Factorization based Heuristics for Constraint-based Recommenders1655-1662
Vesna Krnjic and Bernadette Spieler Code’n’Stitch: Design your own Embroidery Pattern - Codi It - Stitch It
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and T.N.T. Tran Recommender Systems for IoT Enabled Quantified-Self Applications Evolving Systems 2019, 2019
Vesna Krnjic Design it – Code it – Stitch it – Program your Embroidery Desings on Mobile Phones
Seda Polat Erdeniz, Alexander Felfernig and Müslüm Atas Learned Constraint Ordering for Consistency Based Direct DiagnosisLearned Constraint Ordering for Consistency Based Direct Diagnosis347-359
Bernadette Spieler, Vesna Krnjic and Wolfgang Slany Girls Create Games: Lessons Learned
Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Müslüm Atas, Martin Stettinger and Ralph Samer User Interfaces for Counteracting Decision Manipulation in Group Recommender SystemsUser Interfaces for Counteracting Decision Manipulation in Group Recommender Systems93-98
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Viet Man Le, Ralph Samer and Martin Stettinger Towards Social Choice-based Explanations in Group Recommender SystemsTowards Social Choice-based Explanations in Group Recommender Systems13-21
Wolfgang Vorraber and Matthias Müller A Networked Analysis and Engineering Framework for New Business Models Sustainability 2019, 2019
Josip Bozic, Oliver A. Tazl and Franz Wotawa Chatbot testing using AI planningChatbot testing using AI planning37-44
Oliver A. Tazl and Franz Wotawa Using model-based reasoning for enhanced chatbot communicationUsing model-based reasoning for enhanced chatbot communication791-798
Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Müslüm Atas, Martin Stettinger and Ralph Samer User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and Thi Ngoc Trang Tran Recommender systems for IoT enabled quantified‐self applications Evolving Systems 2019, 2019
Josip Bozic and Franz Wotawa Testing Chatbots Using Metamorphic RelationsTesting Chatbots Using Metamorphic Relations41-55
Müslüm Atas, Thi Ngoc Trang Tran, Alexander Felfernig, Seda Polat Erdeniz, Ralph Samer and Martin Stettinger Towards Similarity-Aware Constraint-Based RecommendationTowards Similarity-Aware Constraint-Based Recommendation287-299
Josip Bozic and Franz Wotawa Software Testing: According to Plan!Software Testing: According to Plan!23-31
Ralph Samer, Martin Stettinger, Müslüm Atas, Alexander Felfernig, G. Ruhe and G. Deshpande New Approaches to the Identification of Dependencies between RequirementsNew Approaches to the Identification of Dependencies between Requirements1265-1270
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz Wotawa Weighted Combinatorial Sequence Testing for the TLS ProtocolWeighted Combinatorial Sequence Testing for the TLS Protocol
Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin and Daniel Gruss A Systematic Evaluation of Transient Execution Attacks and DefensesA Systematic Evaluation of Transient Execution Attacks and Defenses249-266
Bernhard Aichernig A Testing Perspective on Algebraic, Denotational, and Operational SemanticsA Testing Perspective on Algebraic, Denotational, and Operational Semantics22-38
2018
Christoph Uran and Alexander Felfernig Lazy Conflict Detection with Genetic AlgorithmsLazy Conflict Detection with Genetic Algorithms175-186
Carme Quer, Xavier Franch, Cristina Palomares, Andreas A. Falkner, Alexander Felfernig, Davide Fucci, Walid Maalej, Jennifer Nerlich, Mikko Raatikainen, Gottfried Schenner, Martin Stettinger and Juha Tiihonen Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems ConstructionReconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems Construction205-220
Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray and Franz Langmayr Wind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisWind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis17-43
Peter Brusilovsky, Marco de Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. Willemsen Recsys'18 joint workshop on interfaces and human decision making for recommender systemsRecsys'18 joint workshop on interfaces and human decision making for recommender systems519-520
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard and Johannes Winter Formal Verification of Masked Hardware Implementations in the Presence of GlitchesFormal Verification of Masked Hardware Implementations in the Presence of Glitches321-353
Muesluem Atas, Stefan Reiterer, Alexander Felfernig, Thi Ngoc Trang Tran and Martin Stettinger Polarization Effects in Group DecisionsPolarization Effects in Group Decisions305-310
Maria Grandl, Martin Ebner, Wolfgang Slany and Stefan Janisch It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contextsIt's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts
Alexander Felfernig and Martin Stettinger Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018
Roxane Koitz-Hristov and Franz Wotawa Applying algorithm selection to abductive diagnostic reasoning Applied Intelligence 2018, 1–19, 2018
Alexander Felfernig and Martijn C. Willemsen Proceedings of the 5th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems, IntRS 2018, co-located with ACM Conference on Recommender Systems (RecSys 2018), Vancouver, Canada, October 7, 2018
Bernhard K. Aichernig and Richard Alexander Schumi How Fast is MQTT? Statistical Model Checking and Testing of IoT ProtocolsHow Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols
Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert Korošec A daily dose of DSL MDE micro injections in practiceA daily dose of DSL MDE micro injections in practice642-651
Bernhard K. Aichernig, Severin Kann and Richard Alexander Schumi Statistical Model Checking of Response Times for Different System DeploymentsStatistical Model Checking of Response Times for Different System Deployments
Hugo A. Akitaya, Maarten Löffler and Irene Parada How to fit a tree in a boxHow to fit a tree in a box361-367
Kirshan Kumar Luhana, Christian Schindler and Wolfgang Slany Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket CodeStreamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code1-6
John Iacono and Birgit Vogtenhuber In pursuit of a dynamic tree decompositionIn pursuit of a dynamic tree decomposition23-25
Matthias Müller Online Game Jams to Attract Specific User Groups
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded Segments Journal of Graph Algorithms and Applications 2018, 273-295, 2018
Bernadette Spieler and Wolfgang Slany Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Dan McQuillan, Bojan Mohar, Petra Mutzel, Pedro Ramos, R. Bruce Richter and Birgit Vogtenhuber Bishellable drawings of $K_n$ SIAM Journal on Discrete Mathematics 2018, 2482-2492, 2018
Bernadette Spieler and Wolfgang Slany Game Development-Based Learning Experience: Gender Differences in Game Design
Wolfgang Slany, Kirshan Kumar Luhana, Matthias Müller, Christian Schindler and Bernadette Spieler Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on SmartphonesRock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on Smartphones104-119
Gerald Schweiger, Richard Heimrath, Basak Falay, Keith O'Donovan, Peter Nageler, Reinhard Pertschy, Georg Engel, Wolfgang Streicher and Ingo Leusbrock District energy systems: Modelling paradigms and general-purpose tools Energy 2018, 1326-1340, 2018
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point sets Computational Geometry: Theory and Applications 2018, 38-49, 2018
Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz and Birgit Vogtenhuber Lombardi Drawings of Knots and LinksLombardi Drawings of Knots and Links113-126
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear transformation distance for bichromatic matchings Computational Geometry: Theory and Applications 2018, 77-88, 2018
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS using planning-based combinatorial methods and execution framework Software quality journal 2018, 1-27, 2018
Ingo Pill and Franz Wotawa Spectrum-Based Fault Localization for Logic-Based ReasoningSpectrum-Based Fault Localization for Logic-Based Reasoning192-199
Ingo Pill and Franz Wotawa Fault detection and localization using modelica and abductive reasoningFault detection and localization using modelica and abductive reasoning45-72
Thorsten Ruprechter, Foaad Khosmood, Toshihiro Kuboi, Alex Dekhtyar and Christian Gütl Gaining efficiency in human assisted transcription and speech annotation in legislative proceedingsGaining efficiency in human assisted transcription and speech annotation in legislative proceedings
Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber The dual diameter of triangulations Computational Geometry: Theory and Applications 2018, 243-252, 2018
Stefan Felsner and Manfred Scheucher Arrangements of pseudocirclesArrangements of pseudocircles127-139
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit Vogtenhuber Holes in 2-convex point setsHoles in 2-convex point sets169-181
Josip Bozic and Franz Wotawa Planning-based security testing of web applicationsPlanning-based security testing of web applications20-26
Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent SystemsA Driving License for Intelligent Systems
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas Schmitz Combining spreadsheet smells for improved fault predictionCombining spreadsheet smells for improved fault prediction25-28
Martin Kandlhofer and Gerald Steinbauer A Driving License for Intelligent Systems
Josip Bozic and Franz Wotawa Security testing for chatbotsSecurity testing for chatbots33-38
Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot TaxonomyEduRobot Taxonomy
Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kyncl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Minimal Geometric Graph Representations of Order Types
Dave Catlin, Martin Kandlhofer and Stephanie Holmquist EduRobot Taxonomy
Hermann Felbinger, Franz Wotawa and Mihai Nica Adapting unit tests by generating combinatorial test dataAdapting unit tests by generating combinatorial test data352-355
Dave Catlin, Martin Kandlhofer, Stephanie Holmquist, Andrew Paul Csizmadia,, Julian Angel-Fernandez and John-John Cabibihan, EduRobot Taxonomy and Papert’s ParadigmEduRobot Taxonomy and Papert’s Paradigm
Kirshan Kumar Luhana Pocket code build variantsPocket code build variants1-6
Matthias Müller, Christian Schindler, Kirshan Kumar Luhana and Wolfgang Slany Enabling Teenagers to Create and Share AppsEnabling Teenagers to Create and Share Apps25-30
Franz Wotawa and Martin Zimmermann Adaptive System for Autonomous DrivingAdaptive System for Autonomous Driving519-525
Franz Wotawa and Yihao Li From Ontologies to Input Models for Combinatorial Testing
Bernhard Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler and Masoumeh Taromirad Model Learning and Model-Based TestingModel Learning and Model-Based Testing74 - 100
Franz Wotawa, Gerhard Friedrich and Artur Andrzejak Software configuration diagnosis? A Survey of existing methods and open challenges
Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler and Johannes Winter Automata Learning for Symbolic ExecutionAutomata Learning for Symbolic Execution130 - 138
Franz Wotawa, Iulia-Dana Nica and Oliver Tazl Chatbot-based tourist recommendations using model-based reasoning
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum and Ufuk Topcu Safe Reinforcement Learning via ShieldingSafe Reinforcement Learning via Shielding2669-2678
Franz Wotawa and Valentin Kassarnig Evolutionary propositionalization of multi-relational data
Ayrat Khalimov, Benedikt Maderbacher and Roderick Bloem Bounded Synthesis of Register TransducersBounded Synthesis of Register Transducers494-510
Ingo Pill and Franz Wotawa On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
Ezio Bartocci, Roderick Bloem, Dejan Nickovic and Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite TracesA Counting Semantics for Monitoring LTL Specifications over Finite Traces547-564
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin Serwe Using LNT Formal Descriptions for Model-Based Diagnosis
Roderick Bloem, Krishnendu Chatterjee and Barbara Jobstmann Graph Games and Reactive SynthesisGraph Games and Reactive Synthesis921-962
Franz Wotawa Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System
Franz Wotawa On the automation of testing a logic-based diagnosis system
Yanick Pencole, Clemens Mühlbacher, Gerald Steinbauer and Louise Trave-Massuyes Diagnosing Discrete Event Systems Using Nominal Models Only
Franz Wotawa and Valentin Kassarnig Evolutionary Propositionalization of Multi- Relational Data International journal of software engineering and knowledge engineering 2018, 1739–1754, 2018
Peter Lorenz and Gerald Steinbauer The RoboCup Rescue Victim Dataset
Ingo Pill and Franz Wotawa Automated generation of (F)LTL oracles for testing and debugging The Journal of Systems and Software 2018, 124-141, 2018
Gerald Steinbauer, Tim Niemueller and Ulrich Karras The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production
Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher and Gerald Steinbauer ​An Autonomous Vehicle for Parcel Delivery in Urban Areas​An Autonomous Vehicle for Parcel Delivery in Urban Areas2961-2967
Marijana Lazić, Igor Konnov, Josef Widder and Roderick Bloem Synthesis of distributed algorithms with parameterized threshold guardsSynthesis of distributed algorithms with parameterized threshold guards
Thomas Lenz and Vesna Krnjic Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity ModelTowards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model1157-1163
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz Wotawa Fragment-based spreadsheet debugging Automated Software Engineering 2018, 2018
Alexander Pilz and Patrick Schnider Extending the Centerpoint Theorem to Multiple PointsExtending the Centerpoint Theorem to Multiple Points53:1-53:13
Matthias Müller Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS ProjectAgile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project1-6
L. Shao, M. Glatz, E. Gergely, M. Müller, D. Munter, S. Papst and T. Schreck Extending Document Exploration with Image Retrieval: Concept and First ResultsExtending Document Exploration with Image Retrieval: Concept and First Results
Oswin Aichholzer, Michael Biro, Erik Demaine, Martin Demaine, David Eppstein, Sándor P. Fekete, Adam Hesterberg, Irina Kostitsyna and Christiane Schmidt Folding Polyominoes into (Poly)Cubes International Journal of Computational Geometry and Applications 2018, 197-226, 2018
Oswin Aichholzer, Nieves Atienza, José M. Díaz-Báñez, Ruy Fabila-Monroy, David Flores-Peñaloza, Pablo Pérez-Lantero, Birgit Vogtenhuber and Jorge Urrutia Galicia Computing Balanced Islands in Two Colored Point Sets in the Plane Information Processing Letters 2018, 28 - 32, 2018
Oswin Aichholzer, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Jorge Urrutia Galicia and Birgit Vogtenhuber Modem Illumination of Monotone Polygons Computational Geometry: Theory and Applications 2018, 101-118, 2018
Oswin Aichholzer, Michael Kerber, István Talata and Birgit Vogtenhuber A Note on Planar Monohedral TilingsA Note on Planar Monohedral Tilings31:1-31:6
Oswin Aichholzer, Wolfgang Mulzer, Partick Schnider and Birgit Vogtenhuber NP-Completeness of Max-Cut for Segment Intersection GraphsNP-Completeness of Max-Cut for Segment Intersection Graphs32:1-32:6
Oswin Aichholzer, Lukas Andritsch, Karin Baur and Birgit Vogtenhuber Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings Graphs and combinatorics 2018, 1333-1346, 2018
Amal Shehadeh, Hector Amado-Salvatierra, Miguel Morales, Rocael Hernandez Rizzardini and Christian Gütl The adoption of cloud-based tools in MOOC settings - advantages and challenges RE@D - Revista de Educação a Distância e Elearning 2018, 23-40, 2018
, , , and Bernadette Spieler Learning to program in a constructionist wayLearning to program in a constructionist way888 - 911
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai Nica Quality assurance methodologies for automated driving e&i - Elektrotechnik und Informationstechnik 2018, 322-327, 2018
Bernadette Spieler Reinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson Learned
Ralph Samer, Müslüm Atas, Alexander Felfernig, Martin Stettinger, Andreas A. Falkner and Gottfried Schenner Group Decision Support for Requirements Management ProcessesGroup Decision Support for Requirements Management Processes19-24
Seda Polat Erdeniz and Alexander Felfernig OCSH: optimized cluster specific heuristics for the university course timetabling problemOCSH: optimized cluster specific heuristics for the university course timetabling problem13-18
Alexander Felfernig, Martin Stettinger, Ludovico Boratto and Marko Tkalcic Group Recommender Systems978-3-319-75067-5
Seda Polat Erdeniz, Ilias Maglogiannis, Andreas Menychtas, Alexander Felfernig and Thi Ngoc Trang Tran Recommender Systems for IoT Enabled m-Health ApplicationsRecommender Systems for IoT Enabled m-Health Applications227-237
Alexander Felfernig, Rouven Walter, Jose Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas and Stefan Reiterer Anytime Diagnosis for Reconfiguration Journal of Intelligent Information Systems 2018, 1-22, 2018
Seda Polat Erdeniz and Alexander Felfernig LearnDiag: A Direct Diagnosis Algorithm Based On Learned HeuristicsLearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics190-197
Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Overview of Recommender Systems in the Healthy Food Domain Journal of Intelligent Information Systems 2018, 501-526, 2018
Seda Polat Erdeniz and Alexander Felfernig CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph ColoringCLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring401-404
Alexander Felfernig, Müslüm Atas, Denis Helic, Thi Ngoc Trang Tran, Martin Stettinger and Ralph Samer Algorithms for Group RecommendationAlgorithms for Group Recommendation27-58
Mikko Raatikainen, Juha Tiihonen, Tomi Männistö, Alexander Felfernig, Martin Stettinger and Ralph Samer Using a Feature Model Configurator for Release PlanningUsing a Feature Model Configurator for Release Planning29-33
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Group Recommender ApplicationsGroup Recommender Applications75-89
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Ralph Samer and Martin Stettinger Investigating Serial Position Effects in Sequential Group Decision MakingInvestigating Serial Position Effects in Sequential Group Decision Making239-243
Alexander Felfernig, Nava Tintarev, Thi Ngoc Trang Tran and Martin Stettinger Explanations for GroupsExplanations for Groups105-126
Alexander Felfernig, Johannes Spöcklberger, Ralph Samer, Martin Stettinger, Müslüm Atas, Juha Tiihonen and Mikko Raatikainen Configuring Release PlansConfiguring Release Plans9-14
Franz Wotawa, Bernhard Peischl and Roxane Koitz Diagnosis as a serviceDiagnosis as a service557-567
Alexander Felfernig, Müslüm Atas, Ralph Samer, Martin Stettinger, Thi Ngoc Trang Tran and Stefan Reiterer Further Choice ScenariosFurther Choice Scenarios129-144
Muesluem Atas, Thi Ngoc Trang Tran, Ralph Samer, Alexander Felfernig, Martin Stettinger and Davide Fucci Liquid Democracy in Group-based Configuration.Liquid Democracy in Group-based Configuration.93-98
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Gerhard Leitner Biases in Group DecisionsBiases in Group Decisions145-155
Muesluem Atas, Thi Ngoc Trang Tran, Alexander Felfernig and Ralph Samer Socially-Aware Recommendation for Over-Constrained ProblemsSocially-Aware Recommendation for Over-Constrained Problems267-278
Alexander Felfernig, Martin Stettinger, Müslüm Atas, Ralph Samer, Jennifer Nerlich, Simon Scholz, Juha Tiihonen and Mikko Raatikainen Towards Utility-Based Prioritization of Requirements in Open Source EnvironmentsTowards Utility-Based Prioritization of Requirements in Open Source Environments406-411
Muesluem Atas, Ralph Samer and Alexander Felfernig Automated Identification of Type-Specific Dependencies between RequirementsAutomated Identification of Type-Specific Dependencies between Requirements688-695
Sara Shafiee, Alexander Felfernig, Lars Hvam, Poorang Piroozfar and Cipriano Forza Cost Benefit Analysis in Product Configuration Systems (short paper)Cost Benefit Analysis in Product Configuration Systems (short paper)37-40
Juha Tiihonen, Iivo Raitahila, Mikko Raatikainen, Alexander Felfernig and Tomi Männistö Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance AssessmentGenerating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment69-76
Marina Zanella, Ingo Pill and Alessandro Cimatti 28th International Workshop on Principles of Diagnosis (DX'17)
Mathias Uta and Alexander Felfernig Towards Knowledge Infrastructure for Highly Variant Voltage Transmission SystemsTowards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems109-118
Ingo Pill and Franz Wotawa Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis ModelModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model248-263
Markus Meyer, Klaus Donsa, Thomas Truskaller, Matthias Frohner, Birgit Pohn, Alexander Felfernig, Frank Sinner and Thomas R. Pieber Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design GuidelinesDevelopment of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines132-139
Davide Fucci, Cristina Palomares, Xavier Franch, Dolors Costal, Mikko Raatikainen, Martin Stettinger, Zijad Kurtanovic, Tero Kojo, Lars Koenig, Andreas A. Falkner, Gottfried Schenner, Fabrizio Brasca, Tomi Männistö, Alexander Felfernig and Walid Maalej Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case studyNeeds and challenges for a platform to support large-scale requirements engineering: a multiple-case study19:1-19:10
2017
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded determinization of timed automata with silent transitions Real-time systems 2017, 291–326, 2017
Martin Kandlhofer Development and Evaluation of Innovative Concepts in Educational Robotics and Education in Artificial Intelligence
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit Vogtenhuber Intersection Graphs of Rays and Grounded SegmentsIntersection Graphs of Rays and Grounded Segments153-166
Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Polygonal DomainsRouting in Polygonal Domains88-89
Bahareh Banyassady, Man-Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Polygonal DomainsRouting in Polygonal Domains10:1-10:13
Birgit Hofer, Andrea Höfler and Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets IEEE Transactions on Reliability 2017, 38-53, 2017
Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr and Birgit Vogtenhuber A Superlinear Lower Bound on the Number of 5-HolesA Superlinear Lower Bound on the Number of 5-Holes8:1-8:16
Aichholzer Oswin, Anja Fischer, Frank Fischer, J. Fabian Meier, Ulrich Pferschy, Alexander Pilz and Rostislav Staněk Minimization and maximization versions of the quadratic travelling salesman problem Optimization 2017, 521-546, 2017
Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo Welzl Packing plane spanning trees and paths in complete geometric graphs Information Processing Letters 2017, 35-41, 2017
Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max Willert Routing in Simple PolygonsRouting in Simple Polygons17-20
Franz Wotawa Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsTesting Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions519-532
Bernhard K. Aichernig and Richard Alexander Schumi Statistical Model Checking Meets Property-Based TestingStatistical Model Checking Meets Property-Based Testing390-400
Bernhard K. Aichernig, Silvio Marcovic and Richard Alexander Schumi Property-Based Testing with External Test-Case GeneratorsProperty-Based Testing with External Test-Case Generators337-346
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer Strichman Synthesizing Non-Vacuous SystemsSynthesizing Non-Vacuous Systems55-72
G. J. Lichtenegger, M. Maier, M. Hackl, J. G. Khinast, W. Goessler, T. Griesser, V. S. Phani Kumar, H. Gruber-Woelfler and P. A. Deshpande Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts Journal of molecular catalysis / A 2017, 39-51, 2017
Martin Ebner, Stefan Janisch, Bettina Höllerbauer, Maria Grandl and Wolfgang Slany Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs fnma-Magazin 2017, 16-19, 2017
Bernhard K. Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata LearningLearning from Faults: Mutation Testing in Active Automata Learning19-34
M. Tappler, B. K. Aichernig and R. Bloem Model-Based Testing IoT Communication via Active Automata LearningModel-Based Testing IoT Communication via Active Automata Learning276-287
Hermann Felbinger, Franz Wotawa and Mihai Nica Mutation Score, Coverage, Model InferenceMutation Score, Coverage, Model Inference171-180
Emanuel Lacic, Dominik Kowald, Markus Reiter-Haas, Valentin Slawicek and Elisabeth Lex Beyond Accuracy Optimization arXiv.org e-Print archive 2017, 2017
Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems
Alexander Pagonis, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Task-Dependent Configuration of Robotics Systems
Konstantin Lassnig, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip An Autonomous Transportation Robot for Urban Environments
Marco Wallner, Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz and Jakob Chrysant Ludwiger A Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Model-Based Testing of An Industrial Multi-Robot Navigation System
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Adapting Edge Weights for Optimal Paths in a Navigation GraphAdapting Edge Weights for Optimal Paths in a Navigation Graph
O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. Vogtenhuber A superlinear lower bound on the number of 5-holesA superlinear lower bound on the number of 5-holes8:1-8:16
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Estimation of the Traversal Time for a Fleet of Industrial Transport RobotsEstimation of the Traversal Time for a Fleet of Industrial Transport Robots
O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. Vogtenhuber A superlinear lower bound on the number of 5-holesA superlinear lower bound on the number of 5-holes69-73
Annemarie Harzl Can FOSS projects benefit from integrating Kanban: a case study Journal of Internet Services and Applications 2017, 7-13, 2017
O. Aichholzer, L. Andritsch, K. Baur and B. Vogtenhuber Perfect $k$-colored matchings and $k+2$-gonal tilingsPerfect $k$-colored matchings and $k+2$-gonal tilings81-84
B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, D. McQuillan, B. Mohar, P. Mutzel, P. Ramos, R.B. Richter and B. Vogtenhuber Bishellable drawings of $K_n$Bishellable drawings of $K_n$17-20
Roxane Koitz, Johannes Lüftenegger and Franz Wotawa 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
Oswin Aichholzer, Florian Ebenführer, Irene Parada, Alexander Pilz and Birgit Vogtenhuber On semi-simple drawings of the complete graphOn semi-simple drawings of the complete graph25-28
Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability CheckingProbabilistic Black-Box Reachability Checking50-67
Richard Alexander Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn and Rupert Schlick Checking Response-Time Properties of Web-Service Applications Under Stochastic User ProfilesChecking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
Maria Grandl, Bettina Höllerbauer, Martin Ebner and Wolfgang Slany Ein offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“ Schule aktiv! 2017, 32-37, 2017
Hermann Felbinger, Ingo Pill and Franz Wotawa A “strength of decision tree equivalence”-taxonomy and its impact on test suite reductionA “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction197-212
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber KI ab dem Kindergarten OCG Journal 2017, 2017
Alexander Felfernig, Andreas Falkner, Müslüm Atas, Seda Polat Erdeniz, Christoph Uran and Paolo Azzoni ASP-based Knowledge Representations for IoT Configuration ScenariosASP-based Knowledge Representations for IoT Configuration Scenarios62-67
Aiman M. Ayyal Awwad, Christian Schindler, Kirshan Kumar Luhana, Bernadette Spieler and Zulfiqar Ali Improving pocket paint usability via material design compliance and internationalization & localization support on application level
Müslüm Atas, Alexander Felfernig, Seda Polat Erdeniz, Stefan Reiterer, Amal Shehadeh and Thi Ngoc Trang Tran Cluster-Based Constraint Ordering for Direct DiagnosisCluster-Based Constraint Ordering for Direct Diagnosis68-71
Bernadette Spieler, Christian Schindler, Wolfgang Slany and Olena Mashkina App Creation in Schools for different Curricula Subjects - Lessons LearnedApp Creation in Schools for different Curricula Subjects - Lessons Learned
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Michael Jeran and Martin Stettinger Cluster-Specific Heuristics for Constraint SolvingCluster-Specific Heuristics for Constraint Solving21-30
Bernadette Spieler, Christian Schindler, Wolfgang Slany, Olena Mashkina, María Eugenia Beltrán, Helen Boulton and David Brown Evaluation of Game Templates to support Programming Activities in SchoolsEvaluation of Game Templates to support Programming Activities in Schools
Alexander Felfernig, Seda Polat Erdeniz, Michael Jeran and Arda Akcay Recommendation Technologies for IoT Edge DevicesRecommendation Technologies for IoT Edge Devices504-509
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger and Kay Uwe Römer Dependable Internet of Things for Networked Cars International Journal of Computing 2017, 226-237, 2017
Amal Shehadeh, Alexander Felfernig, Martin Stettinger, Michael Jeran and Stefan Reiterer Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment International journal of software engineering and knowledge engineering 2017, 1387-1408, 2017
Juha Tiihonen and Alexander Felfernig An Introduction to Personalization and Mass Customization Journal of Intelligent Information Systems 2017, 1-6, 2017
Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn Willemsen RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017)
Amal Shehadeh, Alexander Felfernig, Michael Jeran, Martin Stettinger and Stefan Reiterer Knowledge-based Learning Content Generation in the StudyBattles Environment
Alexander Felfernig, Martin Stettinger, Andreas Falkner, Müslüm Atas, Xavier Franch and Christina Palomares OpenReq: Recommender Systems in Requirements Engineering
Amal Shehadeh, Alexander Felfernig and Müslüm Atas Automated Question Generation from Configuration Knowledge Bases
Birgit Hofer, Iulia Nica and Franz Wotawa Qualitative Deviation Models for Spreadsheet DebuggingQualitative Deviation Models for Spreadsheet Debugging191-198
Birgit Hofer Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet DebuggingRemoving Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging199-206
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz Wotawa Planning-Based Security Testing of the SSL/TLS ProtocolPlanning-Based Security Testing of the SSL/TLS Protocol
Birgit Hofer, Iulia Nica and Franz Wotawa AI for Localizing Faults in SpreadsheetsAI for Localizing Faults in Spreadsheets71-87
Josip Bozic and Franz Wotawa Planning the Attack! Or How to use AI in Security Testing?Planning the Attack! Or How to use AI in Security Testing?
Elisabeth Getzner, Birgit Hofer and Franz Wotawa Improving Spectrum-Based Fault Localization for Spreadsheet DebuggingImproving Spectrum-Based Fault Localization for Spreadsheet Debugging102-113
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS Using Combinatorial Methods and Execution FrameworkTesting TLS Using Combinatorial Methods and Execution Framework
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz Wotawa A decomposition-based approach to spreadsheet testing and debuggingA decomposition-based approach to spreadsheet testing and debugging117-121
Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Martin Stettinger, Seda Polat Erdeniz and Gerhard Leitner An Analysis of Group Recommendation Heuristics for High-and Low-Involvement ItemsAn Analysis of Group Recommendation Heuristics for High-and Low-Involvement Items335-344
Valentin Kassarnig, Andreas Bjerre-Nielsen, Enys Mones, Sune Lehmann and David Dreyer Lassen Class attendance, peer similarity, and academic performance in a large field study PLoS ONE 2017, 2017
Müslüm Atas, Alexander Felfernig, Martin Stettinger and Thi Ngoc Trang Tran Beyond item recommendationBeyond item recommendation368-377
2016
Thomas Ulz, Michael Schwarz, Alexander Felfernig, Sarah Haas, Amal Shehadeh, Stefan Reiterer and Martin Stettinger Human Computation for Constraint-based Recommenders Journal of Intelligent Information Systems 2016, 1-21, 2016
Stefan Nungesser, Wolfgang Eixelsberger, Alexander Felfernig, Martin Stettinger, Stefan Reiterer and Michael Jeran Einsatz von Gruppenempfehlungssystemen Tourismus Wissen Quarterly 2016, 1-4, 2016
Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn Willemsen RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)1-2
Andre Calero-Valdez, Martina Ziefle, Katrien Verbert, Alexander Felfernig and Andreas Holzinger Recommender Systems for Health Informatics: State-of-the-Art and Future Perspectives Lecture notes in computer science 2016, 1-24, 2016
Sara Shafiee, K. Kristjansdottir, Lars Hvam, Alexander Felfernig and A. Myrodia Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial CompaniesAnalysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies1-10
Alexander Felfernig, Müslüm Atas, Trang Tran and Martin Stettinger Towards Group-based ConfigurationTowards Group-based Configuration69-72
Alexander Felfernig, Amal Shehadeh, Michael Jeran, Christian Gütl, Trang Tran, Müslüm Atas, Seda Polat Erdeniz, Martin Stettinger, Arda Akcay and Stefan Reiterer StudyBattles: A Learning Environment for Knowledge-based ConfigurationStudyBattles: A Learning Environment for Knowledge-based Configuration109-116
Alexander Felfernig, Seda Polat Erdeniz, Paolo Azzoni, Michael Jeran, Arda Akcay and Charalampos Doukas Towards Configuration Technologies for IoT GatewaysTowards Configuration Technologies for IoT Gateways73-76
Max Leingartner, Johannes Maurer, Alexander Ferrein and Gerald Steinbauer Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels Journal of field robotics 2016, 1037-1057, 2016
Bernhard K. Aichernig, Florian Lorber and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model CheckingConformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking15-32
Gerhard Leitner, Anton Fercher, Alexander Felfernig, Klaus Isak, Seda Polat Erdeniz, Arda Akcay and Michael Jeran Recommending and Configuring Smart Home InstallationsRecommending and Configuring Smart Home Installations17-22
Clemens Mühlbacher, Michael Reip, Stephan Gspandl and Gerald Steinbauer Improving Dependability of Industrial Transport Robots Using Model-Based Techniques
Alexander Felfernig Application of Constraint-based Technologies in Financial Services Recommendation
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa On the practical performance of minimal hitting set algorithms from a diagnostic perspective International Journal of Prognostics and Health Management 2016, 2016
Bernhard Peischl, Ingo Pill and Franz Wotawa Using modelica programs for deriving propositional horn clause abduction problemsUsing modelica programs for deriving propositional horn clause abduction problems185-191
Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai Nica SIMULTATESIMULTATE168-173
Hermann Felbinger, Franz Wotawa and Mihai Nica Test-Suite Reduction Does Not Necessarily Require Executing the Program under TestTest-Suite Reduction Does Not Necessarily Require Executing the Program under Test23-30
Hermann Felbinger, Ingo Pill and Franz Wotawa Classifying test suite effectiveness via model inference and ROBBDsClassifying test suite effectiveness via model inference and ROBBDs76-93
Oswin Aichholzer, Victor Alvarez, Thomas Hackl, Alexander Pilz, Bettina Speckmann and Birgit Vogtenhuber An improved lower bound on the minimum number of triangulationsAn improved lower bound on the minimum number of triangulations7.1-7.16
Patrick W. Koch, Birgit Hofer and Franz Wotawa Static Spreadsheet AnalysisStatic Spreadsheet Analysis167-174
Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz Wotawa Fragment-Based Diagnosis of SpreadsheetsFragment-Based Diagnosis of Spreadsheets372-387
Ingo Pill and Franz Wotawa An Automated (F) LTL Test Oracle for Testing with RequirementsAn Automated (F) LTL Test Oracle for Testing with Requirements197-204
Marina Zanella and Ingo Pill Pill Minimal hitting set computation via hypothesis explorationMinimal hitting set computation via hypothesis exploration
Bernhard Josef Peischl, Ingo Pill Pill and Franz Wotawa Abductive Diagnosis based on Modelica ModelsAbductive Diagnosis based on Modelica Models
Franz Wotawa Message from the QRS 2016 General ChairMessage from the QRS 2016 General Chairxiii
Gerhard Friedrich, Malte Helmert and Franz Wotawa PrefacePrefaceV-VI
Franz Wotawa Testing Self-Adaptive Systems Using Fault Injection and Combinatorial TestingTesting Self-Adaptive Systems Using Fault Injection and Combinatorial Testing305-310
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin Juhart Testing computer vision applications an experience report on introducing code coverage analysis in the field
Franz Wotawa On the use of qualitative deviation models for diagnosis
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis?
Oswin Aichholzer, G. Araujo-Pardo, N. García-Colín, Thomas Hackl, N. Lara, C. Rubio-Montinel and J. Urrutia Geometric achromatic and pseudoachromatic indices Graphs and combinatorics 2016, 431-451, 2016
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, P. Ramos, M. Balko and Pavel Valtr Holes in two convex point setHoles in two convex point set263-266
Oswin Aichholzer, Thomas Hackl and Manfred Scheucher Planar L-Shaped Point Set Embedding of TreesPlanar L-Shaped Point Set Embedding of Trees51-54
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, V. Alvarez and B. Speckmann An improved lower bound on the number of triangulationsAn improved lower bound on the number of triangulations7:1-7:16
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Matias Korman, Günter Rote, A. van Renssen, Birgit Vogtenhuber and Marcel Roeloffzen Packing Short Plane Spanning Trees in Complete Geometric GraphsPacking Short Plane Spanning Trees in Complete Geometric Graphs9:1--9:12
Clemens Mühlbacher and Gerald Steinbauer Diagnosis makes the difference for a successful execution of high-level robot control programsDiagnosis makes the difference for a successful execution of high-level robot control programs1119-1132
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer and Stavros Vassos Controlling logistics robots with the action-based language YAGIControlling logistics robots with the action-based language YAGI525-537
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer iRobot: Teaching the Basics of Artificial Intelligence in High SchoolsiRobot: Teaching the Basics of Artificial Intelligence in High Schools
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact PointsThe Educational Robotics Landscape Exploring Common Ground and Contact Points
Stefan Janisch, Wolfgang Slany and Martin Ebner Programmieren für Kinder LA-Multimedia 2016, 40-41, 2016
Alexander Felfernig Application of Constraint-based Technologies in Financial Services RecommendationApplication of Constraint-based Technologies in Financial Services Recommendation22-23
Roxane Koitz Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers
Alexander Felfernig Recommendation Technologies for Configurable Products
Alexander Felfernig Recommendation Technologies for Configurable Items
Nicolas Braud-Santoni, Roderick Bloem and Swen Jacobs Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems
Annemarie Harzl Combining FOSS and KanbanCombining FOSS and Kanban71-84
Roxane Koitz and Franz Wotawa On Structural Properties to Improve FMEA-Based Abductive DiagnosisOn Structural Properties to Improve FMEA-Based Abductive Diagnosis
Hermann Felbinger, Franz Wotawa and Mihai Nica Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment
Anja Christin Petri and Bernadette Spieler Engaging and playful activities with smartphones in school contexts
Roxane Koitz and Franz Wotawa Improving Abductive Diagnosis Through Structural Features: A Meta-ApproachImproving Abductive Diagnosis Through Structural Features: A Meta-Approach
Oswin Aichholzer, Thomas Hackl, Pavel Valtr and Birgit Vogtenhuber A Note on the Number of General 4-holes in (Perturbed) GridsA Note on the Number of General 4-holes in (Perturbed) Grids1-12
Roxane Koitz and Franz Wotawa Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.1-7
Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman and Pavel Valtr Reconstructing Point Set Order Types from Radial Orderings International Journal of Computational Geometry and Applications 2016, 167-184, 2016
Roxane Koitz and Franz Wotawa Integration of Failure Assessments into the Diagnostic ProcessIntegration of Failure Assessments into the Diagnostic Process124-135
Stefan Janisch, Martin Ebner and Wolfgang Slany Pocket Code – Freier Online-Kurs für Kinder Schule aktiv! 2016, 43-46, 2016
Roderick Bloem, Robert Könighofer, Ingo Hans Pill and Franz Röck Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz, Marco Wallner and Dino Keskic RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS
Clemens Mühlbacher, Gerald Steinbauer and Stefan Loigge Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots
Clemens Mühlbacher and Gerald Steinbauer Belief Management using the Action History and Consistency-Based-Diagnosis
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education: From Kindergarten to UniversityArtificial Intelligence and Computer Science in Education: From Kindergarten to University
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra Huber Artificial Intelligence and Computer Science in Education
Harald Burgsteiner, Martin Kandlhofer and Gerald Steinbauer iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools Lecture notes in computer science 2016, 218-223, 2016
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald Steinbauer The Educational Robotics Landscape Exploring Common Ground and Contact Points Advances in Intelligent Systems and Computing 2016, 105-111, 2016
Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient reconfiguration of hinged-units modular robotsA new meta-module for efficient reconfiguration of hinged-units modular robots5197-5202
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, test, and trace IT International journal on software tools for technology transfer 2016, 2016
Bernhard K. Aichernig, Elisabeth Jöbstl and Martin Tappler Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. The journal of logic and algebraic programming 2016, 806-823, 2016
Bernhard K. Aichernig and Florian Lukas Lorber On-the-Fly Determinization of Networks of Timed AutomataOn-the-Fly Determinization of Networks of Timed Automata14-21
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig and Martin Stettinger An Extension of CHOICLA User Interfaces for Configurable Products
Bernhard K. Aichernig and Richard Schumi Property-based Testing with FsCheck by Deriving Properties from Business Rule ModelsProperty-based Testing with FsCheck by Deriving Properties from Business Rule Models219-228
Nava Tintarev, John O'Donovan and Alexander Felfernig Human Interaction with Artificial Advice Givers ACM Transactions on Interactive Intelligent Systems 2016, 1-10, 2016
Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran and Martin Stettinger Towards Group-based Configuration
Bernhard K. Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation TestingSymbolic Input-Output Conformance Checking for Model-Based Mutation Testing3-19
Trang Tran, Alexander Felfernig, Amal Shehadeh, Michael Jeran, Christian Gütl, Müslüm Atas, Seda Polat Erdeniz, Martin Stettinger, Arda Akcay and Stefan Reiterer Studybattles: A Learning Environment for Knowledge-based Configuration
Bernhard K. Aichernig and Carlo A. Furia Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Clemens Mühlbacher and Gerald Steinbauer Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy
Gerald Steinbauer, Gerald Christian Lichtenegger and Johannes Maurer Request a Rescue Robot (R-CUBED)
Stefan Imlauer, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael Reip Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots
Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin Horn Dependability for the Internet of Things e&i - Elektrotechnik und Informationstechnik 2016, 304–309, 2016
Bernhard K. Aichernig and Richard Alexander Schumi Towards Integrating Statistical Model Checking into Property-Based TestingTowards Integrating Statistical Model Checking into Property-Based Testing71-76
Bernhard Aichernig, Roderick Bloem, Franz Pernkopf, Franz Röck, Tobias Schrank and Martin Tappler Learning Models of a Network Protocol using Neural Network Language ModelsLearning Models of a Network Protocol using Neural Network Language Models
Anja Christin Petri, Christian Schindler, Wolfgang Slany and Bernadette Spieler Game Design with Pocket Code
Bernadette Spieler and Wolfgang Slany Pocket Code: Learn how to program by creating games/apps directly on your smartphone
Bernadette Spieler, Anja Christin Petri, Wolfgang Slany, Christian Schindler, María Eugenia Beltrán, Jonathan Smith, Eugenio Gaeta and Helen Boulton POCKET CODE: A MOBILE APP FOR GAME JAMS TO FACILITATE CLASSROOM LEARNING THROUGH GAME CREATION
Bernadette Spieler and Magdalena Strauß Skater Alice
Matthias Müller and Bernadette Spieler Pocket Code: Computational Thinking for all
Helen Boulton, Bernadette Spieler, Anja Christin Petri, Christian Schindler, Wolfgang Slany and María Eugenia Beltrán The role of game jams in developing informal learning of computational thinking: a cross-European case study
Nava Tintarev, John O'Donovan and Alexander Felfernig Human Interaction with Artificial Advice Givers ACM Transactions on Interactive Intelligent Systems 2016, 1-10, 2016
Rouven Walter, Wolfgang Küchlin and Alexander Felfernig Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems Journal of Intelligent Information Systems 2016, 1-32, 2016
2015
Mihai Nica, Ingo Hans Pill and Franz Wotawa Testing Diagnostics Components Supervising Functional Safety RequirementsTesting Diagnostics Components Supervising Functional Safety Requirements150-157
Stefan Reiterer, Manfred Wundara and Alexander Felfernig Empfehlungstechnologien in der Öffenlichen Verwaltung eGovernment review 2015, 18-19, 2015
Anthony Jameson, Martijn Willemsen, Alexander Felfernig, Marco deGemmis, Pasquale Lops, Giovanni Semeraro and Li Chen Human Decision Making and Recommender SystemsHuman Decision Making and Recommender Systems619-655
Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai Nica Analyzing the Reduction of Test Suite RedundancyAnalyzing the Reduction of Test Suite Redundancy65-65
Bernhard Aichernig and Florian Lukas Lorber Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed AutomataTowards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata1-6
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentationTest suite coverage measurement and reporting for testing an operating system without instrumentation13-22
Michael Hofbaur, Andreas Müller, Justus Piater, Bernhard Rinner, Gerald Steinbauer, Markus Vincze and Christian Wögerer Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap e&i - Elektrotechnik und Informationstechnik 2015, 237-248, 2015
Alexander Felfernig Learning Games for Configuration and Diagnosis TasksLearning Games for Configuration and Diagnosis Tasks
Alexander Felfernig, Rouven Walter and Stefan Reiterer FlexDiag: AnyTime Diagnosis for ReconfigurationFlexDiag: AnyTime Diagnosis for Reconfiguration
María Eugenia Beltrán, Yolanda Ursa, Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler, Silvia de los Rios, Maria Fernanda Cabrera-Umpierrez and Maria Teresa Arredondo Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left BehindInclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind
Peter Grasch and Alexander Felfernig On the Importance of Subtext in Recommender Systems i-com. Journal for interactive media 2015, 41-52, 2015
Markus Ernst, Stefan Erlachner, Mario Hirz, Jürgen Fabian and Franz Wotawa Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive SoftwareAnalysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software63-68
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Towards Understanding Cognitive Aspects of Configuration Knowledge FormalizationTowards Understanding Cognitive Aspects of Configuration Knowledge Formalization117-124
Tracy Booysen, Marcel Stüttgen, Alexander Ferrein and Gerald Steinbauer The Scarab ProjectThe Scarab Project
Stefan Reiterer, Alexander Felfernig, Martin Stettinger, Manfred Wundara and Wolfgang Eixelsberger A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government DomainA Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain1-10
I. Bárány, Ruy Fabila-Monroy and Birgit Vogtenhuber $(n,m)$-Fold Covers of Spheres Proceedings of the Steklov Institute of Mathematics 2015, 203-208, 2015
Annemarie Harzl, Stephan Fellhofer and Wolfgang Slany Scaling and Internationalizing an Agile FOSS Project: Lessons LearnedScaling and Internationalizing an Agile FOSS Project: Lessons Learned
Roxane Koitz and Franz Wotawa On the Feasibility of Abductive Diagnosis for Practical ApplicationOn the Feasibility of Abductive Diagnosis for Practical Application410-415
John O'Donovan, Alexander Felfernig, Nava Tintarev, Peter Brusilovsky, Giovanni Semeraro and Pasquale Lops RecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15)
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, Alexander Pilz and Birgit Vogtenhuber Monotone Simultaneous Embedding of Upward Planar Digraphs Journal of Graph Algorithms and Applications 2015, 87-110, 2015
Oswin Aichholzer, L. Caraballo, R. Fabila-Monroy, C. Ochoa, Paul Alois Nigsch and J. M. Diaz-Banez Characterization of extremal antipodal polygons Graphs and combinatorics 2015, 321-333, 2015
Jorge Santos Simon, Clemens Mühlbacher and Gerald Steinbauer Automatic Model Generation to Diagnose Autonomous SystemsAutomatic Model Generation to Diagnose Autonomous Systems
Bernhard Aichernig, Dejan Nickovic and Stefan Tiran Scalable Incremental Test-case Generation from Large Behavior ModelsScalable Incremental Test-case Generation from Large Behavior Models1-18
Riaan Stopforth, Alexander Ferrein and Gerald Steinbauer Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics CenterEurope and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center
Irene Parada, Vera Sacristán and Rodrigo I. Silveira A new meta-module for efficient robot reconfiguration
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber and G. Salazar Deciding monotonicity of good drawings of the complete graphDeciding monotonicity of good drawings of the complete graph33-36
Alexander Felfernig, Juha Tiihonen and Paul Blazek 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)
Stefan Kaltner, Jürgen Gugler, Manfred Wonisch and Gerald Steinbauer An Autonomous Forklift for Battery Change in Electrical VehiclesAn Autonomous Forklift for Battery Change in Electrical Vehicles
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graph Graphs and combinatorics 2015, 335-345, 2015
Josip Bozic and Franz Wotawa PURITY: a Planning-based secURITY testing toolPURITY: a Planning-based secURITY testing tool
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon Außerlechner Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco ApproachTesting for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach124-140
Viktoria Pammer-Schindler, Jörg Peter Simon, Karin Wilding, Stephan Keller and Reinhold Scherer Designing for Engaging BCI Training: A Jigsaw PuzzleDesigning for Engaging BCI Training: A Jigsaw Puzzle667-672
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Serial Position Effects in the CHOICLA Group Decision Support EnvironmentCounteracting Serial Position Effects in the CHOICLA Group Decision Support Environment
Florian-Christoph Reinfrank Conflict Management for Constraint-based RecommendationConflict Management for Constraint-based Recommendationnx-ny
Bernhard Peischl, Michaela Ferk and Andreas Holzinger The fine art of user-centered software development Software quality journal 2015, 509-536, 2015
Stefan Tiran Incremental Model-based Mutation TestingIncremental Model-based Mutation Testing1-2
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz Wotawa Focussed Diagnosis for Failing Software TestsFocussed Diagnosis for Failing Software Tests712-721
Oswin Aichholzer, E. Demaine, M. Demaine, S. Fekete, Michael Biro, David Eppstein, Adam Hesterberg, Irina Kostitsyna and Christiane Schmidt Folding Polyominoes into Poly(Cubes)Folding Polyominoes into Poly(Cubes)
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez On the empirical evaluation of similarity coefficients for spreadsheets fault localization Automated Software Engineering 2015, 47-74, 2015
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation
Bernhard Aichernig and Florian Lukas Lorber Killing Bugs in a Black Box with Model-based Testing
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power PlantsAn Abductive Diagnosis and Modeling Concept for Wind Power Plants1-6
Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler and Jonathan Smith Pocket Game Jams: a Constructionist Approach at SchoolsPocket Game Jams: a Constructionist Approach at Schools156-526
Florian-Christoph Reinfrank ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge basesICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge basesnx-ny
Oswin Aichholzer, Andrei Asinowski and Tillmann Miltzow Disjoint compatibility graph of non-crossing matchings of points in convex position The electronic journal of combinatorics 2015, 1-53, 2015
Bernhard Aichernig, Elisabeth Jöbstl and Stefan Tiran Model-Based Mutation Testing via Symbolic Refinement Checking Science of computer programming 2015, 383-404, 2015
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, R. Fabila-Monroy, Hernan Gonzales-Aguilar, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Pavel Valtr On k-Gons and k-Holes in Point Sets Computational geometry 2015, 528-537, 2015
Rouven Walter, Alexander Felfernig and Wolfgang Küchlin Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and PracticeInverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Constraint-based Recommender SystemsConstraint-based Recommender Systems161-191
Roxane Koitz and Franz Wotawa From Theory to Practice: Model-Based Diagnosis in Industrial ApplicationsFrom Theory to Practice: Model-Based Diagnosis in Industrial Applications197-205
Roxane Koitz Diagnosis of Technical Systems
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent TransitionsBounded Determinization of Timed Automata with Silent Transitions288-304
Oswin Aichholzer, Alexander Pilz and Wolfgang Mulzer Flip Distance Between Triangulations of a Simple Polygon is NP-Complete Discrete & computational geometry 2015, 368-389, 2015
Alexander Felfernig, Martin Stettinger and Gerhard Leitner Fostering Knowledge Exchange Using Group RecommendationsFostering Knowledge Exchange Using Group Recommendations
Alexander Felfernig, Thomas Ulz, Sarah Haas, Michael Schwarz, Stefan Reiterer and Martin Stettinger PeopleViews: Human Computation for Constraint-based RecommendationPeopleViews: Human Computation for Constraint-based Recommendation
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point Sets Journal of Graph Algorithms and Applications 2015, 743-759, 2015
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes Robotics and autonomous systems 2015, 679-685, 2015
Roderick Paul Bloem, Daniel Hein, Franz Röck and Richard Alexander Schumi Case Study: Automatic Test Case Generation for a Secure Cache ImplementationCase Study: Automatic Test Case Generation for a Secure Cache Implementation
Roxane Koitz and Franz Wotawa SAT-Based Abductive DiagnosisSAT-Based Abductive Diagnosis167-175
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa Parse Tree Structure in LTL Requirements DiagnosisParse Tree Structure in LTL Requirements Diagnosis100-107
Roxane Koitz and Franz Wotawa On the computational feasibility of abductive diagnosis for practical applications IFAC-PapersOnLine 2015, 410-415, 2015
Roxane Koitz SAT-Based Abductive Diagnosis
Roxane Koitz and Franz Wotawa Diagnosis of Technical SystemsDiagnosis of Technical Systems4375-4376
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan Reiterer Counteracting Anchoring Effects in Group Decision MakingCounteracting Anchoring Effects in Group Decision Making118-130
Roxane Koitz and Franz Wotawa Finding Explanations: an Empirical Evaluation of Abductive Diagnosis AlgorithmsFinding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms1-7
Annemarie Harzl Combining Kanban and FOSS: Can it work?Combining Kanban and FOSS: Can it work?352-353
Florian-Christoph Reinfrank A Goal-Question-Metrics Model for Configuration Knowledge basesA Goal-Question-Metrics Model for Configuration Knowledge basesnx-ny
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan Tiran Killing strategies for model-based mutation testing Software testing, verification & reliability 2015, 716-748, 2015
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Using constraints to diagnose faulty spreadsheets Software quality journal 2015, 297-322, 2015
Irene Maria De Parada Munoz Systematic strategies for 3-dimensional modular robots
Alexander Felfernig and Martin Stettinger Conflict Management in Interactive Financial Service SelectionConflict Management in Interactive Financial Service Selection3-10
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. van Renssen, P. Taslakian and S. Verdonschot Reprint of: Theta-3 is connected Computational geometry 2015, 369-442, 2015
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber and Pavel Valtr A note on the number of general 4-holes in perturbed gridsA note on the number of general 4-holes in perturbed grids68-69
Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler and Franz Wotawa Attack Pattern-Based Combinatorial Testing with Constraints for Web Security TestingAttack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing
Manfred Scheucher Orthogeodesic Point Set Embeddings of Outerplanar Graphs
Florian-Christoph Reinfrank Intelligent Techniques for the Maintainance of Constraint-based systemsIntelligent Techniques for the Maintainance of Constraint-based systemsnx-ny
José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo Silveira New results on stabbing segments with a polygon Computational geometry 2015, 14-29, 2015
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Hans Eck Children discover science: robotics, informatics and artificial intelligence in kindergarten and school
Oswin Aichholzer, Franz Aurenhammer, Wolfgang Aigner, Bert Jüttler, Katerina Dobiásová and G. Rote Triangulations with circular arcs Journal of Graph Algorithms and Applications 2015, 43-65, 2015
Florian-Christoph Reinfrank Maintaining constraint-based Configuration systems: Challenges aheadMaintaining constraint-based Configuration systems: Challenges aheadnx-ny
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Thomas Hackl, Jürgen Pammer, Alexander Pilz, Pedro Ramos, Gelasio Salazar and Birgit Vogtenhuber All Good Drawings of Small Complete GraphsAll Good Drawings of Small Complete Graphs57-60
Georg Franz Heinrich Macher, Müslüm Atas, Eric Armengaud and Christian Josef Kreiner A Model-Based Configuration Approach for Automotive Real-Time Operating Systems SAE International Journal of Passenger Cars / Electronic and Electrical Systems 2015, 270-277, 2015
Ingo Hans Pill and Thomas Quaritsch RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set AlgorithmRC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm78-84
Luis Almeida, Jianmin Ji, Gerald Steinbauer and Sean Luke RoboCup 2015: Robot World Cup XIX978-3-319-29339-4
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha Tiihonen Intelligent Techniques for Configuration Knowledge EvolutionIntelligent Techniques for Configuration Knowledge Evolution51-60
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Karl Krenn, Rupert Schlick and Stefan Tiran MoMuT::UML - model-based mutation testing for UMLMoMuT::UML - model-based mutation testing for UML1-8
Birgit Gertraud Hofer and Franz Wotawa Fault Localization in the Light of Faulty User InputFault Localization in the Light of Faulty User Input282-291
Seema Jehan, Ingo Hans Pill and Franz Wotawa BPEL Integration TestingBPEL Integration Testing
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, T. Biedl, M. Held, S. Huber and P. Palfrader Representing Directed Trees as Straight SkeletonsRepresenting Directed Trees as Straight Skeletons335-347
Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz Wotawa Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security TestingEvaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing
Bernadette Spieler Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy EducationDevelopment and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education182-189
Oswin Aichholzer, Franz Aurenhammer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber and Clemens Huemer 3-Colorability of Pseudo-Triangulations International Journal of Computational Geometry and Applications 2015, 283-298, 2015
Oswin Aichholzer, Alexander Pilz, Wolfgang Mulzer, M. Wettstein and V. Kusters An optimal algorithm for reconstructing point set order types from radial orderingsAn optimal algorithm for reconstructing point set order types from radial orderings505-516
Anja Christin Petri The No One Left behind project
Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions
Alexander Felfernig, Michael Jeran, Martin Stettinger, Thomas Absenger, Thomas Gruber, Sarah Haas, Emanuel Kirchengast, Michael Schwarz, Lukas Skofitsch and Thomas Ulz Human Computation Based Acquisition Of Financial Service Advisory PracticesHuman Computation Based Acquisition Of Financial Service Advisory Practices27-34
Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, Test and Trace ITRequire, Test and Trace IT113-127
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemüller, Gerald Steinbauer and Stavros Vassos Controlling Logistics Robots with the Action-based Language YAGIControlling Logistics Robots with the Action-based Language YAGI
2014
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Alexander Pilz, Günter Rote, Bettina Speckmann and Birgit Vogtenhuber Plane graphs with parity constraints Graphs and combinatorics 2014, 47-69, 2014
Sven Bock, Roland Klöbl, Thomas Hackl, Oswin Aichholzer and Gerald Steinbauer Playing Nine Men's Morris with the Humanoid Robot NaoPlaying Nine Men's Morris with the Humanoid Robot Nao
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holes Computational geometry 2014, 605-613, 2014
Josip Bozic, Dimitris Simos and Franz Wotawa Attack Pattern-Based Combinatorial TestingAttack Pattern-Based Combinatorial Testing1-7
Manfred Scheucher On Order Types, Projective Classes, and Realizations
Lothar Hotz, Alexander Felfernig, Markus Stumptner, Anna Ryabokon, Claire Bagley and Katharina Wolter Configuration Knowledge Representation and ReasoningConfiguration Knowledge Representation and Reasoning41-72
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of robotics in education on pupils' skills and attitudesEvaluating the impact of robotics in education on pupils' skills and attitudes
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic Order Types Algorithmica 2014, 112-128, 2014
Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL ProcessesFunctional Diagnosis of a SOA's BPEL Processes1-8
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes
Stefan Imlauer, Konstantin Lassnig, Johannes Maurer and Gerald Steinbauer Life Sign Detection Based on Sound and Gas MeasurementsLife Sign Detection Based on Sound and Gas Measurements
Bernardo Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Birgit Vogtenhuber Non-Shellable Drawings of Kn with Few CrossingsNon-Shellable Drawings of Kn with Few Crossingsonline-only
Julia Nitsch, Alexander Buchegger, Dorothea Koert, Christian Rose, Johannes Maurer, Stefan Kohlbrecher, Oskar Von Stryk and Gerald Steinbauer Towards Autonomous Manipulation in RoboCup RescueTowards Autonomous Manipulation in RoboCup Rescue
Martin Stettinger, Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan Reiterer Basic Approaches in Recommendation SystemsBasic Approaches in Recommendation Systems15-37
Bernhard Peischl, Michaela Ferk and Andreas Holzinger Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health OrganisationsIntegrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations185-195
Juha Tiihonen, Alexander Felfernig and Monika Mandl Personalized ConfigurationPersonalized Configuration167-179
Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger and Walter Schanil IntelliReq: Intelligent Techniques for Software Requirements EngineeringIntelliReq: Intelligent Techniques for Software Requirements Engineering1161-1166
Johannes Maurer, Gerald Steinbauer, Peter Lepej and Suzana Uran TEDUSAR White Book - State of the Art in Search and Rescue Robots
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Configuration-Related Research ChallengesConfiguration-Related Research Challenges191-195
Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres Ruiz-Vargas, Jorge Urrutia and Birgit Vogtenhuber Order types and cross-sections of line arrangements in R3Order types and cross-sections of line arrangements in R3online-only
Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz Wotawa Tool-supported fault localization in spreadsheets: Limitations of current research practiceTool-supported fault localization in spreadsheets: Limitations of current research practice1-2
Roxane Koitz and Wolfgang Slany Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for TeenagersEmpirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers21-30
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Monotone Simultaneous Embedding of Directed PathsMonotone Simultaneous Embedding of Directed Paths0-0
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power PlantsAn Abductive Diagnosis and Modeling Concept for Wind Power Plants404-409
Nava Tintarev, John O'Donovan, Alexander Felfernig, Peter Brusilovsky, Giovanni Semeraro and Pasquale Lops RecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14)
Clemens Mühlbacher and Gerald Steinbauer Knowledge-Aware Execution of Programs in IndiGologKnowledge-Aware Execution of Programs in IndiGolog
Alexander Felfernig, Cipriano Forza and Albert Haag 16th International Workshop on Configuration
Alexander Felfernig, Claire Bagley, Juha Tiihonen, Lois Wortley and Lothar Hotz Benefits of Configuration SystemsBenefits of Configuration Systems29-33
Bernhard Aichernig, Klaus Hörmaier and Florian Lukas Lorber Debugging with Timed Automata MutationsDebugging with Timed Automata Mutations49-64
Monika Mandl, Alexander Felfernig and Erich Teppan Consumer Decision-Making and Configuration SystemsConsumer Decision-Making and Configuration Systems181-190
Gerald Ninaus, Florian-Christoph Reinfrank, Martin Stettinger and Alexander Felfernig Content-based Recommendation Techniques in Requirements EngineeringContent-based Recommendation Techniques in Requirements Engineering27-34
Roxane Koitz Applied Model-Based Diagnosis
Oswin Aichholzer, Thomas Hackl, Stefan Huber and Birgit Vogtenhuber Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance FunctionsStraight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functionsonline-only
Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-BasesTesting Configuration Knowledge-Bases39-46
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: MotivationKnowledge-based Configuration: Motivation3-7
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA The Journal of Systems and Software 2014, 129-150, 2014
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber 4-Holes in Point Sets Computational geometry 2014, 644-650, 2014
Alexander Pilz Flip Distance Between Triangulations of a Planar Point Set is APX-Hard Computational geometry 2014, 589-604, 2014
Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Stefan Tiran and Didier Simoneau Integration of Requirements Engineering and Test-Case Generation via OSLCIntegration of Requirements Engineering and Test-Case Generation via OSLC117-126
Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Pavel Valtr, Birgit Vogtenhuber and Emo Welzl Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane Discrete Mathematics & Theoretical Computer Science 2014, 317-332, 2014
Oswin Aichholzer, M. Hoffmann, M. van Kreveld and G. Rote Graph Drawings with Relative Edge Length SpecificationsGraph Drawings with Relative Edge Length Specifications---
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar Shellable drawings and the cylindrical crossing number of Kn Discrete & computational geometry 2014, 743-753, 2014
Martin Stettinger, Alexander Felfernig, Stefan Reiterer, Michael Jeran, Gerald Ninaus and Gerhard Leitner Configuring Decision TasksConfiguring Decision Tasks17-21
Birgit Gertraud Hofer and Franz Wotawa On the Usage of Dependency-based Models for Spreadsheet DebuggingOn the Usage of Dependency-based Models for Spreadsheet Debugging1-4
Franz Wotawa Failure Mode and Effect Analysis for Abductive DiagnosisFailure Mode and Effect Analysis for Abductive Diagnosis1-13
Stefan J. Galler and Bernhard Aichernig Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java International journal on software tools for technology transfer 2014, 753-773, 2014
Alexander Felfernig Biases in Decision MakingBiases in Decision Making32-37
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Knowledge-based Configuration: Overview of the BookKnowledge-based Configuration: Overview of the Book35-37
Varvana Myllärniemi, Mikko Raatikainen, Juha Tiihonen and Alexander Felfernig Using Answer Set Programming for Feature Model Representation and ConfigurationUsing Answer Set Programming for Feature Model Representation and Configuration1-8
Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, S. Fekete, A. Lubiw, J. Snoeyink, A. Winslow and M. Hoffmann Covering Folded Shapes Journal of Computational Geometry 2014, 150-168, 2014
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Generation of Relevant Spreadsheet Repair Candidates
Nava Tintarev, John O'Donovan, Peter Brusilovsky, Alexander Felfernig, Giovanni Semeraro and Pasquale Lops RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender SystemsRecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems
Gerald Steinbauer, Johannes Maurer and Andreas Ciossek Field Report: Civil Protection Exercise Gas StorageField Report: Civil Protection Exercise Gas Storage
Johannes Maurer and Gerald Steinbauer Risk-Aware ExplorationRisk-Aware Exploration
Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber Flips in combinatorial pointed pseudo-triangulations with face degree at most four International Journal of Computational Geometry and Applications 2014, 197-224, 2014
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Testing Via Random Paths in BPEL ModelsSOA Testing Via Random Paths in BPEL Models260-263
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test CasesFormal Test-Driven Development with Verified Test Cases626-635
Harald Altinger, Franz Wotawa and Markus Schurius Testing Methods Used in the Automotive Industry: Results from a SurveyTesting Methods Used in the Automotive Industry: Results from a Survey1-6
Lothar Hotz, Alexander Felfernig, Andreas Günter and Juha Tiihonen A Short History of Configuration TechnologiesA Short History of Configuration Technologies9-19
Alexander Felfernig, Sarah Haas, Gerald Ninaus, M. Schwarz, T. Ulz, Martin Stettinger, Klaus Isak, Michael Jeran and Stefan Reiterer RecTurk: Constraint-based Recommendation based on Human ComputationRecTurk: Constraint-based Recommendation based on Human Computation1-6
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault LocalizationComparing Models for Spreadsheet Fault Localization1029-1030
Juha Tiihonen, Tomi Männistö and Alexander Felfernig Sales Configurator Information Systems Design TheorySales Configurator Information Systems Design Theory67-74
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit Vogtenhuber Linear Transformation Distance for Bichromatic MatchingsLinear Transformation Distance for Bichromatic Matchings154-162
Alexander Felfernig, Florian-Christoph Reinfrank, Gerald Ninaus and Paul Blazek Redundancy Detection in Configuration KnowledgeRedundancy Detection in Configuration Knowledge157-165
Matias Korman, Langerman Stefan, Wolfgang Mulzer, Alexander Pilz and Birgit Vogtenhuber Minimum Dual Diameter TriangulationsMinimum Dual Diameter Triangulations0-0
Bernhard Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick and Birgit Vera Schmidt Model-Based Mutation Testing of an Industrial Measurement DeviceModel-Based Mutation Testing of an Industrial Measurement Device1-9
Oswin Aichholzer, Franz Aurenhammer, Thomas Hackl, Ferran Hurtado, Alexander Pilz, Pedro Ramos, Jorge Urrutia, Pavel Valtr and Birgit Vogtenhuber On k-Convex Point Sets Computational geometry 2014, 809-832, 2014
Gerhard Leitner, Alexander Felfernig, Paul Blazek, Florian-Christoph Reinfrank and Gerald Ninaus User Interfaces for Configuration EnvironmentsUser Interfaces for Configuration Environments89-106
Clemens Mühlbacher Active Diagnosis for Agents with Belief Management
Birgit Gertraud Hofer Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization QualitySpectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality263-268
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer and Jorge Urrutia Empty Monochromatic Simplices Discrete & computational geometry 2014, 362-393, 2014
Josip Bozic and Franz Wotawa Security Testing Based on Attack PatternsSecurity Testing Based on Attack Patterns1-8
Gerhard Leitner, Alexander Felfernig, A. J. Fercher and Martin Hitz Disseminating Ambient Assisted Living in the Rural Area Sensors 2014, 13496-13531, 2014
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz Wotawa Generation of Relevant Spreadsheet Repair CandidatesGeneration of Relevant Spreadsheet Repair Candidates1027-1028
Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous AgentsUsing Common Sense Invariants in Belief Management for Autonomous Agents49-59
Josip Bozic and Franz Wotawa Plan It! Automated Security Testing Based on PlanningPlan It! Automated Security Testing Based on Planning48-62
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar Shellable drawings and the cylindrical crossing number of K_n Discrete & computational geometry 2014, 743-573, 2014
Gerald Steinbauer, Johannes Maurer and Heimo Krajnz R^3: Request a Rescue RobotR^3: Request a Rescue Robot
Elisabeth Jöbstl Model-Based Mutation Testing with Constraint and SMT Solvers
Martin Stettinger and Alexander Felfernig Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel DecisionsChoicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions28-32
Stefan Felsner and Alexander Pilz Ham-Sandwich Cuts for Abstract Order TypesHam-Sandwich Cuts for Abstract Order Types726-737
Florian Lukas Lorber, Bernhard Aichernig, Stefan Tiran and Dejan Nickovic Require, Test and Trace IT
Birgit Gertraud Hofer and Franz Wotawa Comparing and improving dependency-based models for fault localization in spreadsheetsComparing and improving dependency-based models for fault localization in spreadsheets1-7
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha Tiihonen Knowledge-based Configuration: From Research to Business Cases
Oswin Aichholzer Reconstructing Point Set Order Types from Radial OrderingsReconstructing Point Set Order Types from Radial Orderings15-26
Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz Wotawa Retaining Consistency for Knowledge-based Security TestingRetaining Consistency for Knowledge-based Security Testing88-97
Keith Andrews and Benedict Wright FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGLFluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL43-47
Clemens Mühlbacher and Gerald Steinbauer Using Common Sense Invariants in Belief Management for Autonomous AgentsUsing Common Sense Invariants in Belief Management for Autonomous Agents
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire Bagley Configuration-Related TopicsConfiguration-Related Topics21-27
Alexander Felfernig, Stefan Reiterer, Paul Blazek, Gerhard Leitner, Florian-Christoph Reinfrank and Gerald Ninaus WeeVisWeeVis297-307
Martin Kandlhofer, Gerald Steinbauer, Johann Eck and Sabine Hirschmugl-Gaisch A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together Journal of automation, mobile robotics & intelligent systems 2014, 2014
Alexander Felfernig, Martin Stettinger, Gerald Ninaus, Stefan Reiterer, Michael Jeran, Andreas Falkner, Juha Tiihonen and Gerhard Leitner Towards Open ConfigurationTowards Open Configuration89-94
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplification International Journal of Computational Geometry and Applications 2014, 307-323, 2014
Clemens Mühlbacher and Gerald Steinbauer Active Diagnosis for Agents with Belief ManagementActive Diagnosis for Agents with Belief Management
Walid Maalej, Zijad Kurtanovic and Alexander Felfernig What Stakeholders Need to Know About RequirementsWhat Stakeholders Need to Know About Requirements1-8
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit Vogtenhuber Embedding Four-directional Paths on Convex Point SetsEmbedding Four-directional Paths on Convex Point Sets355-366
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization
Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo Welzl Packing Plane Spanning Trees and Paths in Complete Geometric GraphsPacking Plane Spanning Trees and Paths in Complete Geometric Graphsonline-only
Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Reprint of: Extreme points and halving edge search in abstract order types Computational geometry 2014, 518-526, 2014
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. Renssen, P. Taslakian and S. Verdonschot Theta-3 is connected Computational geometry 2014, 910-917, 2014
Birgit Gertraud Hofer and Franz Wotawa Why does my spreadsheet compute wrong values?Why does my spreadsheet compute wrong values?112-121
Thomas Quaritsch and Ingo Hans Pill PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo PillPyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill1-5
Oswin Aichholzer Einführung in die angewandte Geometrie978-3-0346-0143-6
Alexander Felfernig, Stefan Reiterer, Florian-Christoph Reinfrank, Gerald Ninaus and Michael Jeran Conflict Detection and Diagnosis in ConfigurationConflict Detection and Diagnosis in Configuration73-87
Martin Stettinger and Alexander Felfernig Choicla: An Intelligent Group Decision Support EnvironmentChoicla: An Intelligent Group Decision Support Environment1-3
2013
Oswin Aichholzer, Thomas Hackl, Vera Sacristán, Birgit Vogtenhuber and Reinhard Wallner Simulating distributed algorithms for lattice agentsSimulating distributed algorithms for lattice agents81-84
Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional SOA testing based on constraintsFunctional SOA testing based on constraints33-39
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic-preserving polygon simplificationGeodesic-preserving polygon simplification11-21
Alexander Felfernig, Gerald Ninaus, Harald Grabner, Florian-Christoph Reinfrank, Leopold Weninger, Denis Pagano and Walid Maalej An Overview of Recommender Systems in Requirements EngineeringAn Overview of Recommender Systems in Requirements Engineering315-332
Josip Bozic and Franz Wotawa XSS Pattern for Attack Modeling in TestingXSS Pattern for Attack Modeling in Testing71-74
Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl, Michael Hoffmann, Kolja Knauer, Stefan Langerman, Michal Lason, Piotr Micek, Günter Rote and Torsten Ueckerdt Coloring hypergraphs induced by dynamic point sets and bottomless rectanglesColoring hypergraphs induced by dynamic point sets and bottomless rectangles73-84
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of K_n. Discrete & computational geometry 2013, 747-777, 2013
Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-completeFlip distance between triangulations of a simple polygon is NP-complete115-118
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms
Birgit Gertraud Hofer and Franz Wotawa Mutation-based spreadsheet debuggingMutation-based spreadsheet debugging132-137
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci and Giovanni Semeraro Human Decision Making and Recommender Systems ACM Transactions on Interactive Intelligent Systems 2013, 1-7, 2013
Wolfgang Slany Catrobat: A mobile visual programming system inspired by ScratchCatrobat: A mobile visual programming system inspired by Scratch0-0
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Driving a Tracked Mobile Robot over Unstructured Terrain and StairsDriving a Tracked Mobile Robot over Unstructured Terrain and Stairs
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Johann Eck A cross-generational robotics project day: Pre-school children, pupils and grandparents learn togetherA cross-generational robotics project day: Pre-school children, pupils and grandparents learn together
Manfred Scheucher Counting Convex 5-Holes
Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained Problems
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis AlgorithmsThe Route to Success - A Performance Comparison of Diagnosis Algorithms1039-1045
Gerald Ninaus IEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generationModel-based mutation testing of reactive systems - from semantics to automated test-case generation23-36
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Proceedings of the 3rd International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'13)
Oswin Aichholzer, L. Caraballo, J. D. Banez, R. Fabila-Monroy, C. Ochoa and Paul Alois Nigsch Extremal antipodal polygons and polytopesExtremal antipodal polygons and polytopes11-20
Alexander Felfernig, Stefan Reiterer, Martin Stettinger, Florian-Christoph Reinfrank, Michael Jeran and Gerald Ninaus Recommender Systems for Configuration Knowledge EngineeringRecommender Systems for Configuration Knowledge Engineering51-54
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany Automated Shift Design and Break SchedulingAutomated Shift Design and Break Scheduling109-127
Iulia-Dana Nica and Franz Wotawa (Re-)configuration of Communication Networks in the Context of M2M Applications(Re-)configuration of Communication Networks in the Context of M2M Applications101-108
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany Pocket Code, A Scratch-like visual programming system for Microsoft Windows Phone 8
Oswin Aichholzer, J. Urrutia and Birgit Vogtenhuber Balanced 6-holes in bichromatic point sets.Balanced 6-holes in bichromatic point sets.5-6
Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan Reiterer Toward the next generation of recommender systems: applications and research challengesToward the next generation of recommender systems: applications and research challenges81-98
Safdar Zaman and Gerald Steinbauer Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic SystemsAutomatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems
Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej and Suzana Uran An integrated Diagnosis and Repair Architecture for ROS-Based Robot SystemsAn integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems
Martin Stettinger, Gerald Ninaus, Michael Jeran, Florian-Christoph Reinfrank and Stefan Reiterer WE-DECIDE: A Decision Support Environment for Groups of UsersWE-DECIDE: A Decision Support Environment for Groups of Users382-391
Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Hans Pill, Marco Schulz and Franz Wotawa The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality MetricsThe Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics45-53
Alexander Felfernig Recommender Systems - An Introduction (chinese edition)978-4-320-12296-3
Florian-Christoph Reinfrank, Alexander Felfernig, David Benavides and José A. Galindo Automated Analysis in Feature Modelling and Product ConfigurationAutomated Analysis in Feature Modelling and Product Configuration160-175
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Time for Mutants —Model-based Mutation Testing with Timed AutomataTime for Mutants —Model-based Mutation Testing with Timed Automata20-38
Oswin Aichholzer, J. Abhau, Bernhard Kornberger, S. Colutto and O. Scherzer Shape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data. Inverse problems and imaging 2013, 125-125, 2013
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar More on the crossing number of $K_n$: Monotone Drawings Electronic Notes in Discrete Mathematics 2013, 411-414, 2013
Alexander Nussbaumer, Gerald Steinbauer, Lisa-Christina Winter and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of Robustness
Roxane Koitz Akzeptanz von Location Based Services im Einzelhandel
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study PlanPurely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan0-0
Oswin Aichholzer, S. Allen, G. Aloupis, L. Barba, P. Bose, J.-L. D. Carfuel, J. Iacono, S. Langerman, D. Souvaine, P. Taslakin and M. Yagnatinsky Sum of squared edges for mst of a point set in a unit square.Sum of squared edges for mst of a point set in a unit square.5-6
Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator LevelBehavioral Diagnosis of LTL Specifications at Operator Level1053-1059
Nysret Musliu, Wolfgang Slany and Johannes Gaertner Automated Test Case Generation in End-User ProgrammingAutomated Test Case Generation in End-User Programming272-277
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Model-based Mutation Testing with Timed Automata
Stefan Tiran On the Effects of UML Modeling Styles in Model-based Mutation Testing
Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui Abreu On the Empirical Evaluation of Fault Localization Techniques for SpreadsheetsOn the Empirical Evaluation of Fault Localization Techniques for Spreadsheets68-82
Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set AlgorithmAnd Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm210-215
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Clemens Huemer, Francisco Santos, Bettina Speckmann and Birgit Vogtenhuber Maximizing maximal angles for plane straight line graphs Computational geometry 2013, 17-28, 2013
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Reconfiguration of Mobile Phone NetworksReconfiguration of Mobile Phone Networks19-1-19-11
Oswin Aichholzer, J. Urrutia and Birgit Vogtenhuber Balanced 6-holes in linearly separable bichromatic point sets. Electronic Notes in Discrete Mathematics 2013, 181-186, 2013
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Grey Box Testing - A Constraint-Based ApproachSOA Grey Box Testing - A Constraint-Based Approach232-237
Franz Wotawa "Trust, But Verify""Trust, But Verify"38-47
Alexander Felfernig, Stefan Schippel, Gerhard Leitner, Florian-Christoph Reinfrank, Klaus Isak, Monika Mandl, Paul Blazek and Gerald Ninaus Automated Repair of Scoring Rules in Constraint-based Recommender Systems AI Communications 2013, 15-27, 2013
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Incremental Refinement Checking for Test Case GenerationIncremental Refinement Checking for Test Case Generation1-19
José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo Silveira New results on stabbing segments with a polygonNew results on stabbing segments with a polygon146-157
Oswin Aichholzer, Wolfgang Mulzer and Alexander Pilz Flip distance between triangulations of a simple polygon is NP-completeFlip distance between triangulations of a simple polygon is NP-complete13-24
Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit Vogtenhuber Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract)Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract)131-134
Oswin Aichholzer, Tillmann Miltzow and Alexander Pilz Extreme points and halving edge search in abstract order types Computational geometry 2013, 970-978, 2013
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany A Scratch-like visual programming system for Microsoft Windows Phone 8A Scratch-like visual programming system for Microsoft Windows Phone 80-0
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis AI Communications 2013, 133-143, 2013
Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael Spörk The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of SpreadsheetsThe Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets139-148
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones
Iris Uitz and Roxane Koitz Consumer Acceptance of Location Based Services in the Retail Environment International Journal of Advanced Computer Science and Applications (IJACSA) 2013, 2013
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, P. Taslakian, M. Korman, A. van Renssen and S. Verdonschot Theta 3 is connected.Theta 3 is connected.205-211
Ingo Hans Pill and Thomas Quaritsch Behavioral Diagnosis of LTL Specifications at Operator Level
Alexander Felfernig, David Benavides, Jose Galindo and Florian-Christoph Reinfrank Towards Anomaly Explanation in Feature ModelsTowards Anomaly Explanation in Feature Models117-124
Peter Grasch, Alexander Felfernig and Florian-Christoph Reinfrank Recomment: Towards Critiquing-based Recommendation with Speech InteractionRecomment: Towards Critiquing-based Recommendation with Speech Interaction157-164
Valentin Constantin Chimisliu and Franz Wotawa Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication DependencesImproving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences125-134
Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Birgit Vogtenhuber and Emo Welzl Cell-paths in mono- and bichromatic line arrangements in the planeCell-paths in mono- and bichromatic line arrangements in the plane169-174
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit Vogtenhuber Empty triangles in good drawings of the complete graphEmpty triangles in good drawings of the complete graph21-29
Safdar Zaman and Gerald Steinbauer Automated Generation of Diagnosis Models for ROS-based Robot SystemsAutomated Generation of Diagnosis Models for ROS-based Robot Systems
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Maintaining consistency in a robot's knowledge-base via diagnostic reasoning AI Communications 2013, 29-38, 2013
Mihai Nica, Simona Alina Nica and Franz Wotawa On the use of mutations and testing for debugging Software : practice & experience 2013, 1121–1142 , 2013
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan Gspandl Improving the ROS Arm Navigation Stack by Using Stochastic Inverse KinematicsImproving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics
Martin Kandlhofer and Gerald Steinbauer Evaluating the impact of RoboCupJunior on pupils' abilitiesEvaluating the impact of RoboCupJunior on pupils' abilities
Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, A. Lubiwk, A. Winslow, S. Fekete, M. Homann and J. Snoeyink Covering folded shapes.Covering folded shapes.73-78
Martin Stettinger Intelligent Services for Group Decision Making
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Workshop on human decision making in recommender systems: Decisions@RecSys'13Workshop on human decision making in recommender systems: Decisions@RecSys'13479-480
Valentin Constantin Chimisliu and Franz Wotawa Using Dependency Relations to Improve Test Case Generation from UML StatechartsUsing Dependency Relations to Improve Test Case Generation from UML Statecharts71-76
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
Max Leingartner, Johannes Maurer, Gerald Steinbauer and Alexander Ferrein Evaluation of Sensors and Mapping Approaches for Disasters in TunnelsEvaluation of Sensors and Mapping Approaches for Disasters in Tunnels
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulations Computational geometry 2013, 154-159, 2013
Ingo Hans Pill and Thomas Quaritsch And Yet Another Variant of Reiter's Hitting Set Algorithm
Ingo Hans Pill and Thomas Quaritsch Exploiting Parse Trees in LTL Specification DiagnosisExploiting Parse Trees in LTL Specification Diagnosis59-64
Gerald Steinbauer, Lisa-Christina Winter, Alexander Nussbaumer and Dietrich Albert Autonomous Robots: Towards A Founded Assessment of RobustnessAutonomous Robots: Towards A Founded Assessment of Robustness
Seema Jehan, Ingo Hans Pill, Franz Wotawa, Marco Schulz, [No Value] Philipp Leitner, [No Value] Waldemar Hummer, [No Value] Stefan Schulte, [No Value] Philipp Hoenisch and [No Value] Schahram Dustdar Fifty Shades of Grey in SOA TestingFifty Shades of Grey in SOA Testing154-157
Johannes Maurer and Gerald Steinbauer Autonomous Risk-Aware ExplorationAutonomous Risk-Aware Exploration
Oswin Aichholzer, Thomas Hackl, David Orden, Pedro Ramos, Günter Rote, André Schulz and Bettina Speckmann Flip Graphs of Bounded-Degree Triangulations Graphs and combinatorics 2013, 1577-1593, 2013
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang Slany Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on SmartphonesComparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones0-0
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Fast Refinement Checking for Test Case Generation
Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases AI Communications 2013, 1-2, 2013
Alexander Felfernig, Monika Schubert and Stefan Reiterer Personalized Diagnosis for Over-Constrained ProblemsPersonalized Diagnosis for Over-Constrained Problems1990-1996
Hans Eck, Sabine Hirschmugl-Gaisch, Alexander Hofmann, Martin Kandlhofer, Sabrina Rubenzer and Gerald Steinbauer Innovative concepts in educational robotics: Robotics projects for kindergartens in AustriaInnovative concepts in educational robotics: Robotics projects for kindergartens in Austria
2012
Wolfgang Slany and Farhan Sahito Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security Human Security Perspectives Journal 2012, 38-66, 2012
Alexander Felfernig, Robin Burke and Pearl Pu Preface to the special issue on User Interfaces for Recommender Systems User Modeling and User-Adapted Interaction 2012, 313-316, 2012
Bernhard Aichernig and Elisabeth Jöbstl Efficient Refinement Checking for Model-Based Mutation TestingEfficient Refinement Checking for Model-Based Mutation Testing21-30
Martin Kandlhofer, Gerald Steinbauer and Astrid Weiss Educational Robotics - Evaluating long-term effects
Simona Alina Nica and Franz Wotawa EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded SystemsEqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems57-62
Bernhard Peischl, Martina Ziefle and Andreas Holzinger A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap ApplicationA Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application217-221
Stefan Tiran The Argos Manual
Andreas Holzinger, Gig Searle, Bernhard Peischl and Matjaz Debevc 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
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Model-based simulation and configuration of mobile phone networks – The SIMOA ApproachModel-based simulation and configuration of mobile phone networks – The SIMOA Approach12-17
Bernhard Peischl, Martina Ziefle and Andreas Holzinger A Mobile Information System für Improved Navigation in Public Transport
Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM EvaluationCreating a Comparative Environment for PIM Evaluation1-5
Raymond Sheh, Tetsuya Kimura, Daniele Nardi, Johannes Pellenz and Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer SchoolThe 2012 Safety, Security, and Rescue Robotics Summer School
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holes Lecture notes in computer science 2012, 1-13, 2012
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Educational Robotics - Evaluating long-term effectsEducational Robotics - Evaluating long-term effects198-199
Florian Ehrentraut, Christian Landschützer, Dominik Lechner, Christian Matt, Wolfgang Pichler, Gerald Steinbauer, bernhard puchinger and daniel wimmer Kombot - An Autonomous Mobile Order Picking RobotKombot - An Autonomous Mobile Order Picking Robot1-7
O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler, K. Dobiásová and G. Rote Triangulations with circular arcsTriangulations with circular arcs296-307
Josip Bozic and Franz Wotawa Model-based Testing - From Safety to SecurityModel-based Testing - From Safety to Security9-16
Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz Debevc B.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability ResearchB.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability Research97-111
Gerald Ninaus Using group recommendation heuristics for the prioritization of requirementsUsing group recommendation heuristics for the prioritization of requirements329-332
Bernhard Aichernig, Frank S. de Boer and Marcello M. Bonsangue Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Integrating model-based testing and analysis tools via test case exchangeIntegrating model-based testing and analysis tools via test case exchange119-126
Stephan Gspandl, Siegfried Podesser, Michael Reip, Gerald Steinbauer and Màtè Wolfram A Dependable Perception-Decision-Execution Cycle for Autonomous RobotsA Dependable Perception-Decision-Execution Cycle for Autonomous Robots
Oswin Aichholzer, Franz Aurenhammer, E. Demaine, F. Hurtado, P.A. Ramos and Jorge Urrutia On k-convex polygons Computational geometry 2012, 73-87, 2012
O. Aichholzer, W. Aigner, F. Aurenhammer and B. Jüttler Exact medial axis computation for triangulated solids with respect to piecewise linear metricsExact medial axis computation for triangulated solids with respect to piecewise linear metrics1-27
Li Chen, Alexander Felfernig, J. Liu and Z.W. Ras Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12)
Gerald Steinbauer and Suzana Uran Proceedings of the Austrian Robotics Workshop 2012
Iulia-Dana Nica and Franz Wotawa The SiMoL Modeling Language for Simulation and (Re-) ConfigurationThe SiMoL Modeling Language for Simulation and (Re-) Configuration661-672
Oswin Aichholzer, Ferran Hurtado and Birgit Vogtenhuber Compatible matchings for bichromatic plane straight-line graphsCompatible matchings for bichromatic plane straight-line graphs257-260
Wolfgang Slany Catroid: a mobile visual programming system for childrenCatroid: a mobile visual programming system for children300-303
Oswin Aichholzer, Günter Rote, André Schulz and Birgit Vogtenhuber Pointed drawings of planar graphs Computational geometry 2012, 482-494, 2012
Wolfgang Slany A mobile visual programming system for Android smartphones and tabletsA mobile visual programming system for Android smartphones and tablets265-266
Gerald Steinbauer and Alexander Kleiner Towards CSP-based mission dispatching in C2/C4I systemsTowards CSP-based mission dispatching in C2/C4I systems
Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro, Martijn Willemsen and Gerald Ninaus Proceedings of the 2nd International Workshop on Human Decision Making and Recommender Systems
Wolfgang Slany Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their FeaturesRecognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their Features507-512
Jörg Weber and Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot Applied Intelligence 2012, 511-528, 2012
Alexander Felfernig and Leopold Weninger Improving Requirements Engineering using Group Decision ToolsImproving Requirements Engineering using Group Decision Tools
Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej Risteski What makes a tree a straight skeleton?What makes a tree a straight skeleton?267-272
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety‐critical systems
Birgit Gertraud Hofer and Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach Advances in Software Engineering 2012, 2012
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana Uran Analysis of Laser Sensor System for a Rescue RobotAnalysis of Laser Sensor System for a Rescue Robot
Oswin Aichholzer, Wolfgang Aigner, Thomas Hackl and Nicola Wolpert Exact Medial Axis Computation for Circular Arc BoundariesExact Medial Axis Computation for Circular Arc Boundaries28-42
Franz Wotawa, Mihai Nica and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case The journal of logic and algebraic programming 2012, 390-407, 2012
Gerald Steinbauer The 2012 Safety, Security, and Rescue Robotics Summer School
Peter Lepej, Johannes Maurer, Gerald Steinbauer, Suzana Uran and Safdar Zaman An integrated Diagnosis and Repair Architecture for ROS-­‐Based Robot SystemsAn integrated Diagnosis and Repair Architecture for ROS-­‐Based Robot Systems
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On complexity reduction of user interfaces for safety-critical systemsOn complexity reduction of user interfaces for safety-critical systems
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber Lower bounds for the number of small convex k-holesLower bounds for the number of small convex k-holes261-266
Gerald Ninaus and Alexander Felfernig Group Recommendation Algorithms for Requirements PrioritizationGroup Recommendation Algorithms for Requirements Prioritization1-4
Alexander Felfernig and Leopold Weninger Gruppenentscheidungsprozesse im Requirements Engineering
Alexander Ferrein, Gerald Steinbauer and Stavros Vassos Action-Based Imperative Programming with YAGIAction-Based Imperative Programming with YAGI
Alexander Felfernig, Gerald Ninaus and Florian-Christoph Reinfrank Eliciting Stakeholder Preferences for Requirements PrioritizationEliciting Stakeholder Preferences for Requirements Prioritization27-31
Michael Reip, Gerald Steinbauer and Alexander Ferrein Improving Belief Management for High-­‐Level Robot Programs by Using Diagnosis TemplatesImproving Belief Management for High-­‐Level Robot Programs by Using Diagnosis Templates
Franz Wotawa Open research challenges of localizing faults in programs using constraintsOpen research challenges of localizing faults in programs using constraints
Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs International journal of software engineering and knowledge engineering 2012, 695-723, 2012
Iulia-Dana Nica and Franz Wotawa ConDiag - Computing minimal diagnoses using a constraint solver
Birgit Gertraud Hofer, Franz Wotawa and Rui Abreu AI for the win: improving spectrum-based fault localizationAI for the win: improving spectrum-based fault localization1-8
Gerald Steinbauer A Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result Dissemination
Simona Alina Nica and Franz Wotawa Using Constraints for Equivalent Mutant DetectionUsing Constraints for Equivalent Mutant Detection
Gerald Steinbauer Community-Driven Development of Standard Software Modules for Search and Rescue Robots
Alexander Felfernig, Monika Schubert and Christoph Zehentner n Efficient Diagnosis Algorithm for Inconsistent Constraint Sets Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2012, 53-62, 2012
Alexander Felfernig, Christoph Zehentner, Gerald Ninaus, Harald Grabner, Walid Maalej, Denis Pagano, Deopold Weninger and Florian-Christoph Reinfrank Group Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation105-116
Alexander Pilz and Tillmann Miltzow Selection of Extreme Points and Halving Edges of a Set by its ChirotopeSelection of Extreme Points and Halving Edges of a Set by its Chirotope85-88
Rui Abreu, André Riboira and Franz Wotawa Constraint-based Debugging of SpreadsheetsConstraint-based Debugging of Spreadsheets
Andreas Holzinger, Peter Treitler and 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
Alexander Pilz Augmentability to Cubic GraphsAugmentability to Cubic Graphs29-32
Valentin Constantin Chimisliu and Franz Wotawa Model Based Test Case Generation for Distributed Embedded SystemsModel Based Test Case Generation for Distributed Embedded Systemsp-p
Alexander Felfernig and Gerald Ninaus Group Recommendation Algorithms for Requirements Prioritization
Gerald Steinbauer A Survey about Faults of Robots used in RoboCupA Survey about Faults of Robots used in RoboCup344-355
Karl Voit, Keith Andrews and Wolfgang Slany Creating a Comparative Environment for PIM Evaluation
Wolfgang Slany Catroid: A mobile visual programming system
Gerald Ninaus Using group recommendation heuristics for the prioritization of requirements
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization
Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej Risteski What makes a tree a straight skeleton?What makes a tree a straight skeleton?137-140
Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in Folders
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault LocalizationSpectrum Enhanced Dynamic Slicing for better Fault Localization420-425
Gerald Steinbauer A Survey about Faults of Robots used in RoboCup
Tobias Gritschacher and Wolfgang Slany Standing on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphonesStanding on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphones264-267
Karl Voit, Keith Andrews and Wolfgang Slany Tagging Might Not Be Slower Than Filing in FoldersTagging Might Not Be Slower Than Filing in Folders2063-2068
Ingo Pribik and Alexander Felfernig Towards Persuasive Technologies for Software Development EnvironmentsTowards Persuasive Technologies for Software Development Environments227-238
Valentin Constantin Chimisliu and Franz Wotawa Category Partition Method and Satisfiability Modulo Theories for Test Case GenerationCategory Partition Method and Satisfiability Modulo Theories for Test Case Generation
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as ConstraintsTowards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints752-757
Wolfgang Slany Mobile Visual Game Programming by ChildrenMobile Visual Game Programming by Children?-?
Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis OBJEKTspektrum / Online Themenspecial 2012, 1-4, 2012
Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, Christina Koeffel, Manfred Tscheligi and Peter Wolkerstorfer Practical Usability in XP Software Development ProcessesPractical Usability in XP Software Development Processes208-217
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
Oswin Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibility Lecture notes in computer science 2012, 98-108, 2012
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement CheckingTowards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking88-102
Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten Connectors as designs: Modeling, refinement and test case generation Science of computer programming 2012, 799-822, 2012
Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Suzana Uran, Peter Lepej, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Raymond Sheh and Johannes Pellenz Community-Driven Development of Standard Software Modules for Search and Rescue RobotsCommunity-Driven Development of Standard Software Modules for Search and Rescue Robots
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems (japanese edition)
Siegfried Podesser, Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-­‐Level Robot ProgramsSelective Belief Management for High-­‐Level Robot Programs
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases
Florian-Christoph Reinfrank, Alexander Felfernig and Gerald Ninaus Resolving Anomalies in Configuration Knowledge BasesResolving Anomalies in Configuration Knowledge Bases311-320
Monika Mandl and Alexander Felfernig Improving the Performance of Unit CritiquingImproving the Performance of Unit Critiquing176-187
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn Willemsen Workshop on human decision making in recommender systems: Decisions@RecSys'12Workshop on human decision making in recommender systems: Decisions@RecSys'12347-348
Erich Teppan and Alexander Felfernig Minimization of Product Utility Estimation Errors in Recommender Result Set Evaluations Web Intelligence and Agent Systems 2012, 385-395, 2012
Bernhard Aichernig Model-Based Mutation Testing: Theory and Application
Ingo Hans Pill and Thomas Quaritsch Optimizations for the Boolean Approach to Computing Minimal Hitting SetsOptimizations for the Boolean Approach to Computing Minimal Hitting Sets648-653
Andreas Holzinger, Christof Stocker, Bernhard Peischl and Klaus-Martin Simonic On Using Entropy for Enhancing Handwriting Preprocessing Entropy 2012, 2324-2350, 2012
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber Geodesic order typesGeodesic order types216-227
Ingo Hans Pill and Thomas Quaritsch An LTL SAT Encoding for Behavioral DiagnosisAn LTL SAT Encoding for Behavioral Diagnosis67-74
Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingAdaptive Autonomous Systems – From the System’s Architecture to Testing76-90
Birgit Gertraud Hofer and Franz Wotawa Reducing the size of dynamic slicing with constraint solvingReducing the size of dynamic slicing with constraint solving41-48
Gerald Ninaus, Alexander Felfernig and Florian-Christoph Reinfrank Anonymous Preference Elicitation for Requirements PrioritizationAnonymous Preference Elicitation for Requirements Prioritization349-356
Rui Abreu, Andrè Riboira and Franz Wotawa Debugging of Spreadsheets: A CSPbased ApproachDebugging of Spreadsheets: A CSPbased Approach159-164
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid Weiss Evaluating the long-term impact of RoboCupJunior: A first investigationEvaluating the long-term impact of RoboCupJunior: A first investigation87-94
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. Salazar The 2-page crossing number of knThe 2-page crossing number of kn397-403
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina Ziefle On Complexity Reduction of User Interfaces for Safety-Critical SystemsOn Complexity Reduction of User Interfaces for Safety-Critical Systems108-122
2011
Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung TU Graz Research 2011, 16-18, 2011
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber On 5-gons and 5-holesOn 5-gons and 5-holes7-10
Alexander Felfernig, Monika Schubert and Florian-Christoph Reinfrank ReAction: Personalized Minimal Repair Adaptations for Customer RequestsReAction: Personalized Minimal Repair Adaptations for Customer Requests13-24
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
Andreas Holzinger, Martin Brugger and Wolfgang Slany Applying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability TestingApplying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability Testing53-56
Safdar Zaman, Wolfgang Slany and Gerald Steinbauer ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant IssuesROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues
Birgit Gertraud Hofer and Franz Wotawa How to combine slicing-hitting-set-computation with spectrum-based fault localizationHow to combine slicing-hitting-set-computation with spectrum-based fault localization114-121
Andreas Holzinger, OIivia Waclick, Frank Kappe, Stephan Lenhart, Gerbert Orasche and Bernhard Peischl Rapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct TimeRapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct Time57-61
Valentin Constantin Chimisliu and Franz Wotawa Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOSAbstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS8-14
Iulia-Dana Nica and Franz Wotawa SiMoL– A Modeling Language for Simulation and (Re-)ConfigurationSiMoL– A Modeling Language for Simulation and (Re-)Configuration40-43
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction (japanese edition)978-4-320-12296-3
Michael Kollar, Harald Altinger and Michael Bader The application of pneumatic actuators in RoboCups' Middle Size LeagueThe application of pneumatic actuators in RoboCups' Middle Size League117-126
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set AlgorithmsFrom Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms203-210
Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems International journal of agricultural and environmental information systems 2011, 63-82, 2011
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn UML in Action: A Two-Layered Interpretation for TestingUML in Action: A Two-Layered Interpretation for Testing1-8
Monika Schubert and Alexander Felfernig BFX: Diagnosing Conflicting Requirements in Constraint-Based Recommendation International journal on artificial intelligence tools 2011, 297-312, 2011
Gerald Steinbauer and Franz Wotawa On the Evaluation and Certification of the Robustness of Autonomous Intelligent SystemsOn the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems167-170
Monika Mandl, Alexander Felfernig, Erich Teppan and Monika Schubert Consumer Decision Making in Knowledge-based Recommendation Journal of Intelligent Information Systems 2011, 1-22, 2011
Oswin Aichholzer, Franz Aurenhammer, Thomas Hackl, Bert Jüttler, Margot Oberneder and Zbynek Sir Computational and structural advantages of circular boundary representation International Journal of Computational Geometry and Applications 2011, 47-69, 2011
Alexander Felfernig, Li Chen and Monika Mandl Proceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11)
Franz Wotawa, Simona Alina Nica and Mihai Nica Constraint-Based Debugging Combining Mutations and Distinguishing Test CasesConstraint-Based Debugging Combining Mutations and Distinguishing Test Cases
Alexander Ferrein, Stephen Marrais, Anet Potgieter and Gerald Steinbauer RoboCupJunior: A Vehicle for S&T Education in Africa?RoboCupJunior: A Vehicle for S&T Education in Africa?
Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Nachmittagskurs
Alexander Felfernig and Monika Schubert Personalized Diagnoses for Inconsistent User Requirements Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2011, 175-183, 2011
Petra Pichler and Daniel Leschinger Robotikworkshop für Einsteiger, Vormittagskurs
Gerhard Leitner, F. Ferrara, Alexander Felfernig and C. Tasso Decision Support in the Smart HomeDecision Support in the Smart Home1-8
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Efficient Mutation Killers in ActionEfficient Mutation Killers in Action120-129
Gerald Steinbauer and Franz Wotawa Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous RobotsEvaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots
Simona Alina Nica On the Improvement of the Mutation Score Using Distinguishing Test CasesOn the Improvement of the Mutation Score Using Distinguishing Test Cases423-426
Andreas Falkner, Alexander Felfernig and Albert Haag Recommendation Technologies for Configurable Products AI Magazine 2011, 99-108, 2011
Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologies
Franz Wotawa Adaptive autonomous systems - From the system's architecture to testingAdaptive autonomous systems - From the system's architecture to testing
Petra Pichler and Gerald Steinbauer Robotikworkshop für Fortgeschrittene
Wolfgang Herzner, Rupert Schlick and Elisabeth Jöbstl Fault-Based Generation of Test Cases from UML-Models – Approach and ExperiencesFault-Based Generation of Test Cases from UML-Models – Approach and Experiences270-283
Stephan Gspandl, Michael Reip, Andreas Hechenblaickner, Gerald Steinbauer, Máté Wolfram and Christoph Zehentner The Ontology Lifecycle in RoboCup: Population From Text and ExecutionThe Ontology Lifecycle in RoboCup: Population From Text and Execution
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational Structures
Simona Alina Nica, Mihai Nica and Franz Wotawa Detecting Equivalent Mutants by Means of Constraint SystemsDetecting Equivalent Mutants by Means of Constraint Systems
Monika Mandl, Alexander Felfernig and Juha Tiihonen Evaluating Design Alternatives for Feature Recommendations in Configuration SystemsEvaluating Design Alternatives for Feature Recommendations in Configuration Systems34-41
Robin Burke, Alexander Felfernig and Mehmet Goeker The Future of Recommender Systems: Research and Applications AI Magazine 2011, 99-108, 2011
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang Slany TagTree: Exploring Tag-Based Navigational StructuresTagTree: Exploring Tag-Based Navigational Structures516-518
Simona Alina Nica, Rudolf Ramler and Franz Wotawa Is Mutation Testing Scalable for Real-World Software Projects?Is Mutation Testing Scalable for Real-World Software Projects?
Birgit Vogtenhuber Combinatorial Aspects of [Colored] Point Sets in the Plane
Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition SystemsCompositional Random Testing Using Extended Symbolic Transition Systems179-194
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald Steinbauer Belief Management for Autonomous Robots using History-Based DiagnosisBelief Management for Autonomous Robots using History-Based Diagnosis
Alexander Felfernig, Christoph Zehentner and Paul Blazek CoreDiag: Eliminating Redundancy in Constraint SetsCoreDiag: Eliminating Redundancy in Constraint Sets219-224
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr and Birgit Vogtenhuber On k-Gons and k-Holes in Point SetsOn k-Gons and k-Holes in Point Sets21-26
Alexander Felfernig and Erich Teppan Decoy Effects in Financial Service E‐Sales SystemsDecoy Effects in Financial Service E‐Sales Systems1-8
Siegfried Podesser Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms
Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model CheckingThe IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking1-10
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 abstract9-11
Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-Finding Files Using Tags
Bernhard Peischl and Franz Wotawa An Abstract Operational Framework for Dependence Models in Software DebuggingAn Abstract Operational Framework for Dependence Models in Software Debugging
Monika Mandl, Alexander Felfernig, Juha Tiihonen and Klaus Isak Status Quo Bias in Configuration SystemsStatus Quo Bias in Configuration Systems105-114
Stefan Janisch, Martin Ebner and Wolfgang Slany Informatische Bildung mithilfe eines MOOC Erziehung & Unterricht 2011, 18-26, 2011
Alexander Felfernig Group Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation27-34
Stephan Gspandl, Ingo Hans Pill, Michael Reip, Gerald Steinbauer and Alexander Ferrein Belief Management for High-Level Robot ProgramsBelief Management for High-Level Robot Programs
O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. Urrutia Convexifying monotone polygons while maintaining internal visibilityConvexifying monotone polygons while maintaining internal visibility35-38
Karl Voit, Keith Andrews and Wolfgang Slany TagTree: Storing and Re-finding Files Using TagsTagTree: Storing and Re-finding Files Using Tags471-481
Christian Stickel, Andreas Holzinger and Alexander Felfernig Measuring Emotions: Towards rapid and low cost methodologiesMeasuring Emotions: Towards rapid and low cost methodologies
Alexander Felfernig and Monika Schubert Personalizing Diagnoses for Inconsistent Constraint SetsPersonalizing Diagnoses for Inconsistent Constraint Sets146-153
Alexander Felfernig, Li Chen and Monika Mandl Workshop on human decision making in recommender systems: Decisions@RecSys'11Workshop on human decision making in recommender systems: Decisions@RecSys'11389-390
Máté Wolfram, Stephan Gspandl, Michael Reip and Gerald Steinbauer Robust Robotics Using History-Based-Diagnosis in IndiGologRobust Robotics Using History-Based-Diagnosis in IndiGolog
Alexander Felfernig, Markus Stumptner and Juha Tiihonen Introduction: Special Issue on Configuration Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2011, 1-4, 2011
Franz Wotawa and Mihai Nica Program debugging using constraints – Is it feasible?Program debugging using constraints – Is it feasible?236-243
Andreas Holzinger, Lamija Basic, Bernhard Peischl and Matjaz Debevc Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysisHandwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis219-227
Oswin Aichholzer, A. García, F. Hurtado and J. Tejel Compatible matchings in geometric graphsCompatible matchings in geometric graphs145-148
Christian Schwarzl and Franz Wotawa Test case generation in practice for communicating embedded systems e&i - Elektrotechnik und Informationstechnik 2011, 240-244, 2011
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, J. Leanos and G. Salazar There is a unique crossing-minimal rectilinear drawing of k18 Electronic Notes in Discrete Mathematics 2011, 547-552, 2011
Safdar Zaman, Wolfgang Slany, Nadeem Ahsan, Farhan Hyder and Farukh Nadeem Neural Network based Clustering using Visual Features of Characters’ Shape in Image International journal of video & image processing and network security 2011, 12-22, 2011
O. Aichholzer, G. Aloupis, E. Demaine, M. Demaine, V. Dujmović, F. Hurtado, A. Lubiw, G. Rote, André Schulz, D. Souvaine and A. Winslow Convexifying polygons without losing visibilitiesConvexifying polygons without losing visibilities229-234
Iulia-Dana Nica and Franz Wotawa Diagnosis-based reconfiguration using the MINION constraint solver
Gerald Steinbauer A Survey on the Nature of Faults of Autonomous Robot SystemsA Survey on the Nature of Faults of Autonomous Robot Systems
Franz Wotawa On the use of constraints in dynamic slicing for program debuggingOn the use of constraints in dynamic slicing for program debugging
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber 4-Holes in Point Sets4-Holes in Point Sets115-118
Alexander Felfernig CoreDiag: Eliminating Redundancy in Constraint Sets
2010
Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz Debevc Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability researchPreferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research14-21
Harald Milchrahm Agile Usability Processes
Oswin Aichholzer, Thomas Hackl and Birgit Vogtenhuber Compatible pointed pseudo-triangulationsCompatible pointed pseudo-triangulations91-94
Monika Schubert, Alexander Felfernig and Monika Mandl FastXplain: Conflict Detection for Constraint-Based Recommendation ProblemsFastXplain: Conflict Detection for Constraint-Based Recommendation Problems621-630
Tim Niemüller, Alexander Ferrein, Gerhard Eckel, David Pirro, Tobias Kellner, Patrick Podbregar, Christof Rath and Gerald Steinbauer Providing ground-truth data for the nao robot platformProviding ground-truth data for the nao robot platform
Alexander Felfernig, Monika Mandl, Juha Tiihonen and Monika Schubert Personalized Product ConfigurationPersonalized Product Configuration2251-2263
Syed Nadeem Ahsan, Muhammad Tanvir Afzal, Safdar Zaman, Christian Gütl and Franz Wotawa Mining Effort Data from the OSS Repository of Developer's Bug Fix Activity Journal of IT in Asia 2010, 67-80, 2010
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard Friedrich Recommender Systems - An Introduction978-0-521-49336-9
Thomas Hackl Relaxing and lifting triangulations
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus Zanker Developing Constraint-based RecommendersDeveloping Constraint-based Recommenders1-29
Oswin Aichholzer, Daniel Detassis, Thomas Hackl, Gerald Steinbauer and Johannes Thonhauser Playing Pylos with an Autonomous RobotPlaying Pylos with an Autonomous Robot2507-2508
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint SetsEfficient Explanations for Inconsistent Constraint Sets1043-1044
Oswin Aichholzer, Franz Aurenhammer, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit Vogtenhuber 3-Colorability of pseudo-triangulations3-Colorability of pseudo-triangulations21-24
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim Comas Environmental decision support systems based on models and model-based reasoning Environmental engineering and management journal 2010, 189-195, 2010
Alexander Felfernig Efficient Explanations for Inconsistent Constraint Sets
Alexander Felfernig, Walid Maalej and Anil Kumar Thurimella Proceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010)
Stefan Galler, Andreas Maller and Franz Wotawa Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data GenerationAutomatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation1-8
Monika Schubert Recommendation and Decision Technologies For Requirements Engineering
Oswin Aichholzer, Wolfgang Aigner, Franz Aurenhammer, Katerina Dobiásová and Bert Jüttler Arc TriangulationsArc Triangulations17-20
Ansgar Bredenfeld, Alexander Hofmann and Gerald Steinbauer Robotics in Education Initiatives in Europe - Status, Shortcomings and Open QuestionsRobotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions
Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases
[No Value] Zahid Hussain and Wolfgang Slany Analyzing real mobile web usage of a multimedia streaming application through log filesAnalyzing real mobile web usage of a multimedia streaming application through log files401-404
Alexander Felfernig, Walid Maalej, Monika Mandl, Francesco Ricci and Monika Schubert Recommendation and Decision Technologies for Requirements EngineeringRecommendation and Decision Technologies for Requirements Engineering1-5
Alexander Felfernig and Juha Tiihonen Towards Recommending Configurable Offerings International journal of mass customisation 2010, 389-406, 2010
Andreas Holzinger and Bernhard Peischl P.52 Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research
Harald Brandl, Martin Weiglhofer and Bernhard Aichernig Automated Conformance Verification of Hybrid SystemsAutomated Conformance Verification of Hybrid Systems3-12
Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous RobotsOn the Way to Automated Belief Repair for Autonomous Robots
Alexander Felfernig, Monika Mandl, Anton Pum and Monika Schubert Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based RecommendersEmpirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based Recommenders631-640
Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set ComputationFault Localization Based On Dynamic Slicing and Hitting-Set Computation
Harald Altinger, Michael Maier and Roland Angerbauer RoboCup Middle Size League
Jörg Weber and Franz Wotawa Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software FailuresCombining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product ConfigurationPersonalized User Interfaces for Product Configuration317-320
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT SolvingWhen BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving479-488
Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Vormittagskurs
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong and Wang Yi Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Electronic Notes in Theoretical Computer Science 2010, 33-48, 2010
Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC
Farukh Nadeem, Stefano Chessa, Erich Leitgeb and Safdar Zaman The Effects of Weather on the Life Time of Wireless Sensor Networks Using FSO/RF Communication Radioengineering 2010, 262-270, 2010
Alexander Nussbaumer, Christian Gütl and Walther Neuper A Methodology for Adaptive Competence Assessment and Learning Path Creation ISACA Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC1-4
Petra Pichler and Norbert Rath Robotikworkshop für Einsteiger, Nachmittagskurs
Christian Schwarzl and Bernhard Peischl Generation of Executable Test Cases Based on Behavioral UML System ModelsGeneration of Executable Test Cases Based on Behavioral UML System Models1-4
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model‐based DiagnosisOn Classification and Modeling Issues in Distributed Model‐based Diagnosis27-32
Werner Schafhauser, Andreas Beer, Johannes Gaertner, Nysret Musliu and Wolfgang Slany TEMPLE - an end-user language for staff scheduling problemsTEMPLE - an end-user language for staff scheduling problems???-???
Franz Wotawa, Mihai Nica and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint SolverGenerating Distinguishing Tests using the MINION Constraint Solver1-6
Stefan Galler, Christoph Zehentner and Franz Wotawa AIana: An AI Planning System for Test Data GenerationAIana: An AI Planning System for Test Data Generation1-8
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz Wotawa From Sketch to PlanFrom Sketch to Plan
Alexander Felfernig, Monika Mandl, Stefan Schippel, Monika Schubert and Erich Teppan Adaptive Utility-based RecommendationAdaptive Utility-based Recommendation641-650
Syed Nadeem Ahsan and Franz Wotawa Impact Analysis of SCRs Using Single and Multi-Label Machine Learning ClassificationImpact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification
Martin Weiglhofer and Bernhard Aichernig Unifying input output conformanceUnifying input output conformance181-201
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Model-Based Mutation Testing of Hybrid SystemsModel-Based Mutation Testing of Hybrid Systems228-249
Mihai Nica, Simona Alina Nica and 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?
Mihai Nica, Simona Alina Nica and Franz Wotawa Using Distinguishing Tests to Reduce the Number of Fault CandidatesUsing Distinguishing Tests to Reduce the Number of Fault Candidates
Wolfgang Slany Mobile Scratch Programming on Android Smart Phones: Usability and New Features
Alexander Felfernig and Monika Schubert Diagnosing Inconsistent RequirementsDiagnosing Inconsistent Requirements15-20
Alexander Felfernig Towards Persuasive Technologies for Improved Software QualityTowards Persuasive Technologies for Improved Software Quality1-7
Alexander Hofmann and Gerald Steinbauer The Regional Center Concept for RoboCupJunior in AustriaThe Regional Center Concept for RoboCupJunior in Austria
Christian Schwarzl and Bernhard Peischl Static- and Dynamic Cosistency Analysis of UML State Chart ModelsStatic- and Dynamic Cosistency Analysis of UML State Chart Models151-165
Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Programming for Resource-Limited Embedded Systems with GologOn the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog229-240
Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan and Richard Seeber RATSY - A new Requirements Analysis Tool with SynthesisRATSY - A new Requirements Analysis Tool with Synthesis425-429
Alexander Ferrein, Nils Siebl and Gerald Steinbauer Hyrid control for autonomous systems - Integrating learning, deliberation and reactive control Robotics and autonomous systems 2010, 1037-1038, 2010
Alexander Ferrein and Gerald Steinbauer On the Way to High-Level Control for Resource-Limited Embedded Systems with GologOn the Way to High-Level Control for Resource-Limited Embedded Systems with Golog
Harald Milchrahm, Wolfgang Slany and Andreas Holzinger Process Patterns for Agile UsabilityProcess Patterns for Agile Usability
Simona Alina Nica, Mihai Nica and Franz Wotawa Improving the Mutation Score by Means of Distinguishing Test CasesImproving the Mutation Score by Means of Distinguishing Test Cases
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit Vogtenhuber Blocking delaunay triangulationsBlocking delaunay triangulations21-24
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problemA hybrid LS-CP solver for the shifts and breaks design problem46-61
Alexander Felfernig and Monika Schubert A Diagnosis Algorithm for Inconsistent Constraint SetsA Diagnosis Algorithm for Inconsistent Constraint Sets0-0
Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schaffhauser and Wolfgang Slany An AI-based break-scheduling system for supervisory personnel IEEE Intelligent Systems 2010, 60-73, 2010
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang Slany A hybrid LS-CP solver for the shifts and breaks design problemA hybrid LS-CP solver for the shifts and breaks design problem490-492
Alexander Felfernig, Monika Schubert, Monika Mandl and Philipp Ghirardini Diagnosing Inconsistent Requirements Preferences in Distributed Software ProjectsDiagnosing Inconsistent Requirements Preferences in Distributed Software Projects495-502
Christian Schwarzl and Bernhard Peischl Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition SystemsTest Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems122-131
Oswin Aichholzer, Wolfgang Aigner, Franz Aurenhammer, Thomas Hackl, [No Value] Jüttler B., [No Value] Pilgerstorfer E. and [No Value] Rabl M. Divide-and conquer for Voronoi diagrams revisited Computational geometry 2010, 688-699, 2010
Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systemsMapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems228-249
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard Aichernig, Frank S. de Boer and Andreas Griesmayer The Credo Methodology - (Extended Version)The Credo Methodology - (Extended Version)41-69
Alexander Felfernig Impacts of Decoy Effects on the Decision Making AbilityImpacts of Decoy Effects on the Decision Making Ability112-119
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich Teppan Efficient Explanations for Inconsistent Constraint SetsEfficient Explanations for Inconsistent Constraint Sets21-26
Wolfgang Aigner Exact medial axis computation for circular arc boundaries
Michael Hofbaur, Mathias Brandstötter, Christoph Schörghuber and Gerald Steinbauer On-line Kinematics Reasoning for Reconfigurable Robot DrivesOn-line Kinematics Reasoning for Reconfigurable Robot Drives5441-5446
Bernhard Aichernig A systematic introduction to mutation testing in unifying theories of programmingA systematic introduction to mutation testing in unifying theories of programming243-287
Andreas Holzinger, Stefan Mayr, Wolfgang Slany and Matjaz Debevc The influence of AJAX on Web UsabilityThe influence of AJAX on Web Usability124-127
Alexander Ferrein, Tim Niemüller and Gerald Steinbauer Team Zadeat 2010 --- Application for ParticipationTeam Zadeat 2010 --- Application for Participation
Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer and Marcel Kyas Resource Modeling for Timed Creol Models Electronic Notes in Theoretical Computer Science 2010, 63-75, 2010
Mihai Nica, Bernhard Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software International journal of mass customisation 2010, 2010
Oswin Aichholzer, Thomas Hackl, Clemens Huemer, Ferran Hurtado and Birgit Vogtenhuber Large bichromatic point sets admit empty monochromatic 4-gons SIAM Journal on Discrete Mathematics 2010, 2147-2155, 2010
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard Leitner Personalized User Interfaces for Product Configuration
Oswin Aichholzer, Sergio Cabello, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Clemens Huemer, Ferran Hurtado and David R. Wood Edge-removal and non-crossing configurations in geometric graphs Discrete Mathematics & Theoretical Computer Science 2010, 75-86, 2010
Stefan Galler, Martin Weiglhofer and Franz Wotawa Synthesize it: from Design by Contract™to Meaningful Test Input DataSynthesize it: from Design by Contract™to Meaningful Test Input Data1-10