• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2016

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

Koitz, R. & Wotawa, F., 2016, (In Vorbereitung) Proceedings of the 27th International Workshop on Principles of Diagnosis (DX). S. 1-7 7 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers

Koitz, R., 28 Apr 2016, 170 S.

Publikation: StudienabschlussarbeitMasterarbeitForschung

Computer programming languages
Education
Computer science
Chemical analysis
Smartphones

Fragment-Based Diagnosis of Spreadsheets

Schmitz, T., Hofer, B., Jannach, D. & Wotawa, F., 2016, Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop). 9946 Aufl. Band Lecture Notes in Computer Science. S. 372-387 16 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Geometric achromatic and pseudoachromatic indices

Aichholzer, O., Araujo-Pardo, G., García-Colín, N., Hackl, T., Lara, N., Rubio-Montinel, C. & Urrutia, J., 2016, in : Graphs and combinatorics. S. 431-451

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Holes in two convex point set

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Ramos, P., Balko, M. & Valtr, P., 2016, Proceedings of European Workshop on Computational Geometry 2016. S. 263-266

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Human Computation for Constraint-based Recommenders

Ulz, T., Schwarz, M., Felfernig, A., Haas, S., Shehadeh, A., Reiterer, S. & Stettinger, M., 31 Dez 2016, in : Journal of Intelligent Information Systems. 1, 1, S. 1-21 21 S., 1.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Human Interaction with Artificial Advice Givers: no subtitle

Tintarev, N., O'Donovan, J. & Felfernig, A., 31 Dez 2016, in : ACM Transactions on Interactive Intelligent Systems. 6, 4, S. 1-10 10 S., 6.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Human Interaction with Artificial Advice Givers

Tintarev, N., O'Donovan, J. & Felfernig, A., 2 Jul 2016, in : ACM Transactions on Interactive Intelligent Systems. 6, 4, S. 1-10 10 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach

Koitz, R. & Wotawa, F., 13 Sep 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR WS Proceedings, Band Vol-1626. 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Structural properties
Computational complexity
Classifiers
Experiments

Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Integration of Failure Assessments into the Diagnostic Process

Koitz, R. & Wotawa, F., 2016, (In Vorbereitung) Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016. S. 124-135 12 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016, in : Lecture notes in computer science. 9904, 2016, S. 218-223

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

iRobot: Teaching the Basics of Artificial Intelligence in High Schools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016, AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. Phoenix, USA

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Learning Models of a Network Protocol using Neural Network Language Models

Aichernig, B., Bloem, R., Pernkopf, F., Röck, F., Schrank, T. & Tappler, M., 2016, IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Message from the QRS 2016 General Chair

Wotawa, F., 12 Okt 2016, Proceedings of the IEEE International Conference on Quality, Reliability, and Security. Institute of Electrical and Electronics Engineers, S. xiii 1 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschung

Minimal hitting set computation via hypothesis exploration

Zanella, M. & Pill, I. P., 2016, 27th International Workshop on Principles of Diagnosis. 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On Structural Properties to Improve FMEA-Based Abductive Diagnosis

Koitz, R. & Wotawa, F., 10 Jul 2016, Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning. New York City, USA: CEUR WS Proceedings, Band Vol-1648. 7 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Structural properties

On-the-Fly Determinization of Networks of Timed Automata

Aichernig, B. K. & Lorber, F. L., 2016, Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, S. 14-21 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On the practical performance of minimal hitting set algorithms from a diagnostic perspective

Pill, I. H., Quaritsch, T. & Wotawa, F., 2016, in : International Journal of Prognostics and Health Management. 7, 2

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Program debugging
Data storage equipment
Planning

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Packing Short Plane Spanning Trees in Complete Geometric Graphs

Aichholzer, O., Hackl, T., Pilz, A., Korman, M., Rote, G., van Renssen, A., Vogtenhuber, B. & Roeloffzen, M., 2016, Proceedings of the 27th Internationel Symposium on Algorithms and Computation. 64 Aufl. S. 9:1--9:12

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Planar L-Shaped Point Set Embedding of Trees

Aichholzer, O., Hackl, T. & Scheucher, M., 2016, Proceedings of the European Workshop on Computational Geometry 2016. S. 51-54

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Pocket Code: Computational Thinking for all

Müller, M. & Spieler, B., Dez 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Pocket Code: Learn how to program by creating games/apps directly on your smartphone

Spieler, B. & Slany, W., 20 Apr 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Pocket Code – Freier Online-Kurs für Kinder

Janisch, S., Ebner, M. & Slany, W., 13 Okt 2016, Schule aktiv!, S. 43-46.

Publikation: Beitrag in Zeitung/MagazinArtikelForschung

Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016.

Publikation: KonferenzbeitragPosterForschungBegutachtung

Preface

Friedrich, G., Helmert, M. & Wotawa, F., 2016, Proceedings of the 28th International Conference on Testing Software and Systems. Springer, Band 9904 LNAI. S. V-VI

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschungBegutachtung

Programmieren für Kinder

Janisch, S., Slany, W. & Ebner, M., 20 Mai 2016, in : LA-Multimedia. 2, 2016, S. 40-41

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Property-based Testing with FsCheck by Deriving Properties from Business Rule Models

Aichernig, B. K. & Schumi, R., 2016, Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, S. 219-228 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Recommendation Technologies for Configurable Items: none

Felfernig, A., 1 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Recommendation Technologies for Configurable Products: none

Felfernig, A., 1 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Recommender Systems for Health Informatics: State-of-the-Art and Future Perspectives

Calero-Valdez, A., Ziefle, M., Verbert, K., Felfernig, A. & Holzinger, A., 31 Dez 2016, in : Lecture notes in computer science. 9605, S. 1-24 24 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Recommending and Configuring Smart Home Installations

Leitner, G., Fercher, A., Felfernig, A., Isak, K., Polat Erdeniz, S., Akcay, A. & Jeran, M., 31 Dez 2016, International Workshop on Configuration 2016 (ConfWS'16): none. Toulouse, S. 17-22 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Reconstructing Point Set Order Types from Radial Orderings

Aichholzer, O., Cardinal, J., Kusters, V., Langerman, S. & Valtr, P., 2016, in : International Journal of Computational Geometry and Applications. 26, 3/4, S. 167-184 18 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)

Brusilovsky, P., Felfernig, A., Lops, P., O'Donovan, J., Semeraro, G., Tintarev, N. & Willemsen, M., 31 Dez 2016, ACM RecSys 2016 Workshops. S. 1-2 2 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Request a Rescue Robot (R-CUBED)

Steinbauer, G., Lichtenegger, G. C. & Maurer, J., 2016, Graz: .

Publikation: Buch/Bericht/KonferenzbandBericht für AuftraggeberForschung

Open Access
Datei

Require, test, and trace IT

Aichernig, B. K., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 29 Nov 2016, in : International journal on software tools for technology transfer.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Pill, I., Rubil, I., Wotawa, F. & Nica, M., 1 Aug 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers, S. 168-173 6 S. 7528959

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing
Security systems
Chemical activation
Availability
Industry

Skater Alice: Wie kann Medienbildung im Schulalltag gelingen?

Spieler, B. & Strauß, M., Nov 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Static Spreadsheet Analysis

Koch, P. W., Hofer, B. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops: International Workshop on Program Debugging (IWPD). S. 167-174 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

StudyBattles: A Learning Environment for Knowledge-based Configuration

Felfernig, A., Shehadeh, A., Jeran, M., Gütl, C., Tran, T., Atas, M., Polat Erdeniz, S., Stettinger, M., Akcay, A. & Reiterer, S., 31 Dez 2016, International Workshop on Configuration 2016: none. Toulouse, S. 109-116 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

E-learning
Sales
Engineers

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

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. S. 3-19 17 S. (Electronic Notes in Theoretical Computer Science; Band 320).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung