• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2016

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

Recommendation Technologies for Configurable Items: none

Felfernig, A., 1 Jun 2016.

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

Recommendation Technologies for Configurable Products: none

Felfernig, A., 1 Jun 2016.

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

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

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

Research output: Contribution to journalArticleResearchpeer-review

Recommending and Configuring Smart Home Installations

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

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

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, p. 167-184 18 p.

Research output: Contribution to journalArticleResearchpeer-review

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 Dec 2016, ACM RecSys 2016 Workshops. p. 1-2 2 p.

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

Request a Rescue Robot (R-CUBED)

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

Research output: Book/ReportCommissioned reportResearch

Open Access
File

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.

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

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, p. 168-173 6 p. 7528959

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

Testing
Security systems
Chemical activation
Availability
Industry

Skater Alice: Wie kann Medienbildung im Schulalltag gelingen?

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

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

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). p. 167-174 8 p.

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

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 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 109-116 8 p.

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

E-learning
Sales
Engineers

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

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. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

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

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

Wotawa, F., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, p. 305-310 6 p. 7573762

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

Adaptive systems
Testing

Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Aichernig, B. K. (ed.) & Furia, C. A. (ed.), 2016, Springer Verlag. (Lecture Notes in Computer Science)

Research output: Book/ReportAnthologyResearchpeer-review

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test

Felbinger, H., Wotawa, F. & Nica, M., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, p. 23-30 8 p. 7573720

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

Software testing
Fault detection
Redundancy

The Educational Robotics Landscape Exploring Common Ground and Contact Points

Lammer, L., Vincze, M., Kandlhofer, M. & Steinbauer, G., 2016, International Conference on Robotics in Education 2016.

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

The Educational Robotics Landscape Exploring Common Ground and Contact Points

Lammer, L., Vincze, M., Kandlhofer, M. & Steinbauer, G., 2016, In : Advances in Intelligent Systems and Computing. 457, p. 105-111

Research output: Contribution to journalArticleResearchpeer-review

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

Towards Configuration Technologies for IoT Gateways

Felfernig, A., Polat Erdeniz, S., Azzoni, P., Jeran, M., Akcay, A. & Doukas, C., 31 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 73-76 4 p.

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

Towards Group-based Configuration: no subtitle

Felfernig, A., Atas, M., Tran, T. & Stettinger, M., 31 Dec 2016, International Workshop on Configuration 2016: no subtitle. Tououse, p. 69-72 4 p.

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

File
Planning

Towards Integrating Statistical Model Checking into Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2016, 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, p. 71-76 6 p.

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

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

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

Modelica
Horn clause
Abduction
Fault
Deviation
2015

$(n,m)$-Fold Covers of Spheres

Bárány, I., Fabila-Monroy, R. & Vogtenhuber, B., 2015, In : Proceedings of the Steklov Institute of Mathematics. 288, p. 203-208 6 p.

Research output: Contribution to journalArticleResearchpeer-review

1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)

Felfernig, A. (ed.), Tiihonen, J. (ed.) & Blazek, P. (ed.), 2015, .

Research output: Book/ReportAnthologyResearch