• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2017

Class attendance, peer similarity, and academic performance in a large field study

Kassarnig, V., Bjerre-Nielsen, A., Mones, E., Lehmann, S. & Lassen, D. D., 1 Nov 2017, In : PLoS ONE. 12, 11, e0187078.

Research output: Contribution to journalArticleResearchpeer-review

academic achievement
peers
educational research
Smartphones
Bluetooth

Cluster-Based Constraint Ordering for Direct Diagnosis

Atas, M., Felfernig, A., Polat Erdeniz, S., Reiterer, S., Shehadeh, A. & Tran, T. N. T., 2017, 19 th International Configuration Workshop . p. 68-71 4 p.

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

Cluster-Specific Heuristics for Constraint Solving

Polat Erdeniz, S., Felfernig, A., Atas, M., Tran, T., Jeran, M. & Stettinger, M., 15 Jul 2017, 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2017). p. 21-30 10 p.

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

Combining Models for Improved Fault Localization in Spreadsheets

Hofer, B., Höfler, A. & Wotawa, F., 2017, In : IEEE Transactions on Reliability. 66, 1, p. 38-53 16 p.

Research output: Contribution to journalArticleResearchpeer-review

Spreadsheets
Object oriented programming
Computer programming languages
Computational complexity

Dependable Internet of Things for Networked Cars

Großwindhager, B., Rupp, A., Tappler, M., Tranninger, M., Weiser, S., Aichernig, B., Boano, C. A., Horn, M., Kubin, G., Mangard, S., Steinberger, M. & Römer, K. U., Dec 2017, In : International Journal of Computing. 16, 4, p. 226-237

Research output: Contribution to journalArticleResearchpeer-review

Railroad cars
Testbeds
Trucks
Radio interference
Industrial plants

Ein offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“

Grandl, M., Höllerbauer, B., Ebner, M. & Slany, W., 23 Oct 2017, In : Schule aktiv!. Sonderheft, p. 32-37

Research output: Contribution to journalArticleResearch

Open Access

Estimation of the Traversal Time for a Fleet of Industrial Transport Robots

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

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

Evaluation of Game Templates to support Programming Activities in Schools

Spieler, B., Schindler, C., Slany, W., Mashkina, O., Beltrán, M. E., Boulton, H. & Brown, D., Sep 2017, Proceedings of the 11th European Conference on Games Based Learning. Graz: Academic Publishers, 8 p.

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

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Getzner, E., Hofer, B. & Wotawa, F., 2017, IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE Publications, p. 102-113 12 p.

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

Intersection Graphs of Rays and Grounded Segments

Cardinal, J., Felsner, S., Miltzow, T., Tompkins, C. & Vogtenhuber, B., 2017, Proceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017). Bodlaender, H. & Woeginger, G. (eds.). Springer, Cham, p. 153-166 14 p. (Lecture Notes in Computer Science (LNCS)).

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

KI ab dem Kindergarten

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2017, In : OCG Journal. 01/2017/Jg. 42, 01

Research output: Contribution to journalArticleResearchpeer-review

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

Learning from Faults: Mutation Testing in Active Automata Learning

Aichernig, B. K. & Tappler, M., 2017, NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227).

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

Minimization and maximization versions of the quadratic travelling salesman problem

Oswin, A., Fischer, A., Fischer, F., Meier, J. F., Pferschy, U., Pilz, A. & Staněk, R., 3 Apr 2017, In : Optimization. 66, 4, p. 521-546 26 p.

Research output: Contribution to journalArticleResearchpeer-review

Traveling salesman problem
Travelling salesman problems
Elimination
Metric
Linearization

Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines

Koitz, R., Lüftenegger, J. & Wotawa, F., 2017, Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. Benferhat, S., Tabia, K. & Ali, M. (eds.). Cham: Springer International Publishing AG , p. 440-445 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Wind turbines
Condition monitoring
Industrial applications
Personnel
Feedback

Model-Based Testing IoT Communication via Active Automata Learning

Tappler, M., Aichernig, B. K. & Bloem, R., 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). p. 276-287 12 p.

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

Communication
Testing
Specifications
Servers
Network protocols

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

Model-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)

Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 2017, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017).

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

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites

Felbinger, H., Wotawa, F. & Nica, M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. Institute of Electrical and Electronics Engineers, p. 171-180 10 p. 7899053

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

On semi-simple drawings of the complete graph

Aichholzer, O., Ebenführer, F., Parada, I., Pilz, A. & Vogtenhuber, B., 2017, Proc. XVII Encuentros de Geometría Computacional. Alicante, Spain, p. 25-28 4 p.

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

Packing plane spanning trees and paths in complete geometric graphs

Aichholzer, O., Hackl, T., Korman, M., van Kreveld, M., Löffler, M., Pilz, A., Speckmann, B. & Welzl, E., 1 Aug 2017, In : Information Processing Letters. 124, p. 35-41 7 p.

Research output: Contribution to journalArticleResearchpeer-review

Geometric Graphs
Spanning tree
Complete Graph
Packing
Path

Perfect $k$-colored matchings and $k+2$-gonal tilings

Aichholzer, O., Andritsch, L., Baur, K. & Vogtenhuber, B., 2017, Proc. $33^rd$ European Workshop on Computational Geometry EuroCG '17. Malmö, Sweden, p. 81-84 4 p.

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

Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs

Ebner, M., Janisch, S., Höllerbauer, B., Grandl, M. & Slany, W., 3 Apr 2017, fnma-Magazin, 01/2017, p. 16-19.

Research output: Contribution to specialist publicationArticleResearch

Probabilistic Black-Box Reachability Checking

Aichernig, B. & Tappler, M., Sep 2017, Runtime Verification, 17th International Conference. Springer International Publishing AG , p. 50-67 18 p. (Lecture Notes in Computer Science; vol. 10548).

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

Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models

Aichernig, B. K. & Schumi, R. A., 2017, In : Software and Systems Modeling.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Business Rules
Web services
Web Services
Testing
Industry

Property-Based Testing with External Test-Case Generators

Aichernig, B. K., Marcovic, S. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, p. 337-346

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

Testing
World Wide Web
Web services

Qualitative Deviation Models for Spreadsheet Debugging

Hofer, B., Nica, I. & Wotawa, F., 2017, 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops. IEEE Computer Society, p. 191-198 8 p.

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

Open Access

Recommendation Technologies for IoT Edge Devices

Felfernig, A., Polat Erdeniz, S., Jeran, M. & Akcay, A., 2017, International Workshop on Internet of Things: Networking Applications and Technologies. p. 504-509 6 p.

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

Gateways (computer networks)
Network protocols
Internet of things

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

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

Hofer, B., 2017, 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops. IEEE Computer Society, p. 199-206 8 p.

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

Routing in Polygonal Domains

Banyassady, B., Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, Proceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017). Tokyo, Japan, p. 88-89 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Routing in Polygonal Domains

Banyassady, B., Chiu, M-K., Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, 28th International Symposium on Algorithms and Computation (ISAAC 2017). Okamoto, Y. & Tokuyama, T. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 92. p. 10:1-10:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Labels
Visibility

Routing in Simple Polygons

Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017). Malmö, Sweden, p. 17-20 4 p.

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

Labels
Distributed computer systems
Routing algorithms

Statistical Model Checking Meets Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). IEEE Computer Society, p. 390-400

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

Model checking
Testing
Stochastic models
Statistical Models
Computer programming languages

Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts

Lichtenegger, G. J., Maier, M., Hackl, M., Khinast, J. G., Goessler, W., Griesser, T., Kumar, V. S. P., Gruber-Woelfler, H. & Deshpande, P. A., Jan 2017, In : Journal of molecular catalysis / A. 426, p. 39-51

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

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

Wotawa, F., 2017, Automated Driving. Horn, M. & Watzenig, D. (eds.). Springer, p. 519-532

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2016

Abductive Diagnosis based on Modelica Models

Peischl, B. J., Pill, I. P. & Wotawa, F., 2016, 27th International Workshop on Principles of Diagnosis. 8 p.

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

Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies

Shafiee, S., Kristjansdottir, K., Hvam, L., Felfernig, A. & Myrodia, A., 31 Dec 2016, IEEE International Conference on Industrial Engineering and Engineering Management. IEEE Computer Society, p. 1-10 10 p.

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

An Automated (F) LTL Test Oracle for Testing with Requirements

Pill, I. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, p. 197-204 8 p.

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

A new meta-module for efficient reconfiguration of hinged-units modular robots

De Parada Munoz, I. M., Sacristán, V. & Silveira, R. I., 2016, Proceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016). Institute of Electrical and Electronics Engineers, p. 5197-5202

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

An extension of CHOICLA User Interfaces for Configurable Products

Tran, T., Atas, M., Stettinger, M. & Felfernig, A., 31 Dec 2016, RS-BDA'16 Workshop. Graz

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

File
User interfaces
Decision making

An improved lower bound on the minimum number of triangulations

Aichholzer, O., Alvarez, V., Hackl, T., Pilz, A., Speckmann, B. & Vogtenhuber, B., 1 Jun 2016, 32nd International Symposium on Computational Geometry, SoCG 2016. Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Vol. 51. p. 7.1-7.16

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

Triangulation

An improved lower bound on the number of triangulations

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Alvarez, V. & Speckmann, B., 2016, Proceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics. 51 ed. p. 7:1-7:16

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

A Note on the Number of General 4-holes in (Perturbed) Grids

Aichholzer, O., Hackl, T., Valtr, P. & Vogtenhuber, B., 2016, Discrete and Computational Geometry and Graphs. JCDCGG 2015.. Akiyama, J., Ito, H., Sakai, T. & Uno, Y. (eds.). Springer, Cham, Vol. 9943. p. 1-12 12 p. (Lecture Notes in Computer Science (LNCS)).

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

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 1 Jun 2016, 2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16): none. Bari, p. 22-23 2 p.

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

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 19 Jun 2016.

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

Artificial Intelligence and Computer Science in Education

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016.

Research output: Contribution to conferenceAbstractResearchpeer-review