• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Paper
2019

Diagnosing Sequential Circuits as Boolean Satisfaction

Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Pill, I. & Wotawa, F., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Girls Create Games: Lessons Learned

Spieler, B., Krnjic, V. & Slany, W., 3 Oct 2019.

Research output: Contribution to conferencePaperResearchpeer-review

Lifting Robot Exploration to 3D Environments

Stradner, M. & Steinbauer, G., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Towards Similarity-Aware Constraint-Based Recommendation

Atas, M., Tran, T. N. T., Felfernig, A., Polat Erdeniz, S., Samer, R. & Stettinger, M., 2019, p. 287-299. 12 p.

Research output: Contribution to conferencePaperResearchpeer-review

2018

Chatbot-based tourist recommendations using model-based reasoning

Wotawa, F., Nica, I-D. & Tazl, O., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Diagnosing Discrete Event Systems Using Nominal Models Only

Pencole, Y., Mühlbacher, C., Steinbauer, G. & Trave-Massuyes, L., 6 Jan 2018, p. 169-183.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access

Evolutionary propositionalization of multi-relational data

Wotawa, F. & Kassarnig, V., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments

Spieler, B. & Slany, W., Aug 2018, p. 625 - 636. 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

coding
learning environment
gender
teaching
decision making leeway

From Ontologies to Input Models for Combinatorial Testing

Wotawa, F. & Li, Y., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Game Development-Based Learning Experience: Gender Differences in Game Design

Spieler, B. & Slany, W., 3 Oct 2018, p. 616-625. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Application programs
Curricula
Mechanics
Testing

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

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

Spieler, B., May 2018, (In preparation). 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

Software configuration diagnosis? A Survey of existing methods and open challenges

Wotawa, F., Friedrich, G. & Andrzejak, A., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

The RoboCup Rescue Victim Dataset

Lorenz, P. & Steinbauer, G., 20 Sep 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access

Using LNT Formal Descriptions for Model-Based Diagnosis

Wotawa, F., Hofer, B. G., Mateescu, R. & Serwe, W., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

2017

A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems

Loigge, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

An Analysis of Group Recommendation Heuristics for High- and Low-Involvement Items

Felfernig, A., Atas, M., Tran, T., Stettinger, M., Polat Erdeniz, S. & Leitner, G., 15 Aug 2017, p. 335-344. 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

heuristics
aggregation
Group
apartment
voting

An Autonomous Transportation Robot for Urban Environments

Lassnig, K., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

A Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0

Wallner, M., Mühlbacher, C., Steinbauer, G., Haas, S., Ulz, T. & Ludwiger, J. C., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Automated Question Generation from Configuration Knowledge Bases

Shehadeh, A., Felfernig, A. & Atas, M., 10 Oct 2017, p. 54-61. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Improving pocket paint usability via material design compliance and internationalization & localization support on application level

Awwad, A. M. A., Schindler, C., Luhana, K. K., Spieler, B. & Ali, Z., Sep 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Paint
Painting
Compliance

Knowledge-based Learning Content Generation in the StudyBattles Environment

Shehadeh, A., Felfernig, A., Jeran, M., Stettinger, M. & Reiterer, S., 15 Jul 2017, p. 1-12. 12 p.

Research output: Contribution to conferencePaperResearchpeer-review

Model-Based Testing of An Industrial Multi-Robot Navigation System

Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017.

Research output: Contribution to conferencePaperResearchpeer-review

OpenReq: Recommender Systems in Requirements Engineering

Felfernig, A., Stettinger, M., Falkner, A., Atas, M., Franch, X. & Palomares, C., 15 Oct 2017, p. 1-4. 4 p.

Research output: Contribution to conferencePaperResearchpeer-review

engineering
telecommunication
software
project
decision

RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017)

Brusilovsky, P., Felfernig, A., Lops, P., O'Donovan, J., Semeraro, G., Tintarev, N. & Willemsen, M., 10 Oct 2017, p. 1-2. 2 p.

Research output: Contribution to conferencePaperResearchpeer-review

Task-Dependent Configuration of Robotics Systems

Pagonis, A., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

2016

Belief Management using the Action History and Consistency-Based-Diagnosis

Mühlbacher, C. & Steinbauer, G., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment

Felbinger, H., Wotawa, F. & Nica, M., 2016. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016, p. 330. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Fungi
Robots
Communication

FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis?

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Game Design with Pocket Code: Providing a Constructionist Environment for Girls in the School Context

Petri, A. C., Schindler, C., Slany, W. & Spieler, B., Feb 2016, p. 111 - 118. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
school
Austria
learning
pupil
learning environment

Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy

Mühlbacher, C. & Steinbauer, G., 16 May 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots

Imlauer, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 14 Jun 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

Mühlbacher, C., Reip, M., Gspandl, S. & Steinbauer, G., 16 May 2016.

Research output: Contribution to conferencePaperResearchpeer-review

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

POCKET CODE: A MOBILE APP FOR GAME JAMS TO FACILITATE CLASSROOM LEARNING THROUGH GAME CREATION

Spieler, B., Petri, A. C., Slany, W., Schindler, C., Beltrán, M. E., Smith, J., Gaeta, E. & Boulton, H., Sep 2016, p. 61 - 79. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS

Mühlbacher, C., Steinbauer, G., Haas, S., Ulz, T., Wallner, M. & Keskic, D., 29 Feb 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots

Mühlbacher, C., Steinbauer, G. & Loigge, S., Aug 2016, p. 298-300.

Research output: Contribution to conferencePaperResearchpeer-review

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

Braud-Santoni, N., Bloem, R. & Jacobs, S., 17 Jun 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Parallel algorithms
Stabilization
Temporal logic
Specifications
Formal specification

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, p. 17-24. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Temporal logic
Specifications
Testing

Testing computer vision applications an experience report on introducing code coverage analysis in the field

Nica, I., Wotawa, F., Jakob, G. & Juhart, K., 2016, p. 15-21. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

Computer vision
Testing
Quality assurance
Software engineering

The role of game jams in developing informal learning of computational thinking: a cross-European case study

Boulton, H., Spieler, B., Petri, A. C., Schindler, C., Slany, W. & Beltrán, M. E., Jul 2016.

Research output: Contribution to conferencePaperResearchpeer-review

informal learning
experience
learning
learning situation
programming language
2015

Children discover science: robotics, informatics and artificial intelligence in kindergarten and school

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, H., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

2008

Automatic Wrapper Induction from Hidden-Web Sources with Domain Knowledge

Muschick, D., Gilleron, R., Tommasi, M., Senellart, P. & Mittal, A., Oct 2008.

Research output: Contribution to conferencePaperResearchpeer-review