• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2016

Artificial Intelligence and Computer Science in Education: From Kindergarten to University

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016, IEEE Conference on Frontiers in Education (FIE) 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A survey on software fault localization

Wong, W. E., Gao, R., Li, Y., Abreu, R. & Wotawa, F., 1 Aug 2016, In : IEEE Transactions on Software Engineering. 42, 8, p. 707-740 34 p., 7390282.

Research output: Contribution to journalReview articleResearchpeer-review

Program debugging

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

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

Research output: Contribution to conferencePaperResearchpeer-review

Classifying test suite effectiveness via model inference and ROBBDs

Felbinger, H., Pill, I. & Wotawa, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag Italia, Vol. 9762. p. 76-93 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Boolean functions
Binary decision diagrams
Learning systems
Boolean Functions
Specifications

Combining FOSS and Kanban: An action research

Harzl, A., 2016, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 472. p. 71-84 14 p. (IFIP Advances in Information and Communication Technology; vol. 472).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open source software
Kanban
Agile software development
Software

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle

Walter, R., Küchlin, W. & Felfernig, A., 31 Dec 2016, In : Journal of Intelligent Information Systems. 1, 1, p. 1-32 32 p., 2.

Research output: Contribution to journalArticleResearchpeer-review

Controlling logistics robots with the action-based language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemueller, T., Steinbauer, G. & Vassos, S., 2016, Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag, p. 525-537 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9834).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Logistics
Robot
Robots
Programming
Reactive Oxygen Species
Electromagnetic waves
Redundancy
Internet of things
Hot Temperature

Diagnosis makes the difference for a successful execution of high-level robot control programs

Mühlbacher, C. & Steinbauer, G., 2016, Intelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 2014. Springer Verlag, Vol. 302. p. 1119-1132 14 p. (Advances in Intelligent Systems and Computing; vol. 302).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Robots
Fault tolerance
Repair

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, In : The journal of logic and algebraic programming. 85, 5, Part 2, p. 806-823 18 p., 85:5,Part 2.

Research output: Contribution to journalArticleResearchpeer-review

Einsatz von Gruppenempfehlungssystemen

Nungesser, S., Eixelsberger, W., Felfernig, A., Stettinger, M., Reiterer, S. & Jeran, M., 31 Dec 2016, In : Tourismus Wissen Quarterly. 5, p. 1-4 4 p., 1.

Research output: Contribution to journalArticleResearchpeer-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

Engaging and playful activities with smartphones in school contexts

Petri, A. C. & Spieler, B., 5 Aug 2016.

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels

Leingartner, M., Maurer, J., Ferrein, A. & Steinbauer, G., 2016, In : Journal of field robotics. 33, 8, p. 1037-1057

Research output: Contribution to journalArticleResearchpeer-review

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

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

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

Research output: ThesisMaster's ThesisResearch

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 ed. Vol. Lecture Notes in Computer Science. p. 372-387 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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. p. 431-451

Research output: Contribution to journalArticleResearchpeer-review

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

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. p. 263-266

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Human Computation for Constraint-based Recommenders

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

Research output: Contribution to journalArticleResearchpeer-review

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, p. 1-10 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Human Interaction with Artificial Advice Givers: no subtitle

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

Research output: Contribution to journalArticleResearchpeer-review

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, Vol. Vol-1626. 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 May 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Integration of Failure Assessments into the Diagnostic Process

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 218-223

Research output: Contribution to journalArticleResearchpeer-review

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Message from the QRS 2016 General Chair

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

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearch

Minimal hitting set computation via hypothesis exploration

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, Vol. Vol-1648. 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 14-21 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Research output: Contribution to journalArticleResearchpeer-review

Program debugging
Data storage equipment
Planning

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

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 ed. p. 9:1--9:12

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Planar L-Shaped Point Set Embedding of Trees

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

Pocket Code: Computational Thinking for all

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

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

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

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

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

Pocket Code – Freier Online-Kurs für Kinder

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

Research output: Contribution to specialist publicationArticleResearch

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

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

Research output: Contribution to conferencePosterResearchpeer-review

Preface

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

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearchpeer-review

Programmieren für Kinder

Janisch, S., Slany, W. & Ebner, M., 20 May 2016, In : LA-Multimedia. 2, 2016, p. 40-41

Research output: Contribution to journalArticleResearch

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, p. 219-228 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review