• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
Paper
2019

Diagnosing Sequential Circuits as Boolean Satisfaction

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Girls Create Games: Lessons Learned

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Lifting Robot Exploration to 3D Environments

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Towards Similarity-Aware Constraint-Based Recommendation

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

2018

Chatbot-based tourist recommendations using model-based reasoning

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Diagnosing Discrete Event Systems Using Nominal Models Only

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access

Evolutionary propositionalization of multi-relational data

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

coding
learning environment
gender
teaching
decision making leeway

From Ontologies to Input Models for Combinatorial Testing

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

Spieler, B. & Slany, W., 3 Okt 2018, S. 616-625. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Application programs
Curricula
Mechanics
Testing

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

Spieler, B., Mai 2018, (In Vorbereitung). 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

The RoboCup Rescue Victim Dataset

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access

Using LNT Formal Descriptions for Model-Based Diagnosis

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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 Mai 2017.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 335-344. 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

heuristics
aggregation
Group
apartment
voting

An Autonomous Transportation Robot for Urban Environments

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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 Mai 2017.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Automated Question Generation from Configuration Knowledge Bases

Shehadeh, A., Felfernig, A. & Atas, M., 10 Okt 2017, S. 54-61. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 1-12. 12 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

OpenReq: Recommender Systems in Requirements Engineering

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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 Okt 2017, S. 1-2. 2 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Task-Dependent Configuration of Robotics Systems

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

2016

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Fungi
Robots
Communication

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 111 - 118. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access
Datei
school
Austria
learning
pupil
learning environment

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 61 - 79. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access
Datei
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, S. 17-24. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 15-21. 7 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

2008

Automatic Wrapper Induction from Hidden-Web Sources with Domain Knowledge

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

Publikation: KonferenzbeitragPaperForschungBegutachtung