• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2017

App Creation in Schools for different Curricula Subjects - Lessons Learned

Spieler, B., Schindler, C., Slany, W. & Mashkina, O., Jul 2017, EDULEARN17 Proceedings: 9th International Conference on Education and New Learning Technologies. Barcelona: International Academy of Technology, Education and Development

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

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

Research output: Contribution to conferencePaperResearchpeer-review

ASP-based Knowledge Representations for IoT Configuration Scenarios

Felfernig, A., Falkner, A., Atas, M., Polat Erdeniz, S., Uran, C. & Azzoni, P., 10 Oct 2017, 19th International Configuration Workshop. p. 62-67 6 p.

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

Knowledge representation
Internet of things

A superlinear lower bound on the number of 5-holes

Aichholzer, O., Balko, M., Hackl, T., Kyncl, J., Parada, I., Scheucher, M., Valtr, P. & Vogtenhuber, B., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Brisbane, Australia: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 77. p. 8:1-8:16 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

A superlinear lower bound on the number of 5-holes

Aichholzer, O., Balko, M., Hackl, T., Kyncl, J., Parada, I., Scheucher, M., Valtr, P. & Vogtenhuber, B., 2017, Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG '17). Malmö, Sweden, p. 69-73 5 p.

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

Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment

Shehadeh, A., Felfernig, A., Stettinger, M., Jeran, M. & Reiterer, S., Nov 2017, In : International journal of software engineering and knowledge engineering. 27, 9/10, p. 1387-1408 21 p.

Research output: Contribution to journalArticleResearchpeer-review

Automated Question Generation from Configuration Knowledge Bases

Shehadeh, A., Felfernig, A. & Atas, M., 10 Oct 2017, p. 54-61. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction

Felbinger, H., Pill, I. & Wotawa, F., 2017, Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings. Springer Verlag, Vol. 10533 LNCS. p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10533 LNCS).

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

Taxonomies
Decision trees
Taxonomy
Fault detection
Decision tree

Beyond Accuracy Optimization: On the Value of Item Embeddings for Student Job Recommendations

Lacic, E., Kowald, D., Reiter-Haas, M., Slawicek, V. & Lex, E., 21 Nov 2017, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearchpeer-review

Students
Recommender systems

Beyond item recommendation: Using recommendations to stimulate knowledge sharing in group decisions

Atas, M., Felfernig, A., Stettinger, M. & Tran, T. N. T., 2017, Social Informatics - 9th International Conference, SocInfo 2017, Proceedings. Springer Verlag Wien, Vol. 10540 LNCS. p. 368-377 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10540 LNCS).

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

Group Decision
Knowledge Sharing
Recommendations
Students
Domain Knowledge

Bishellable drawings of $K_n$

Ábrego, B. M., Aichholzer, O., Fernández-Merchant, S., McQuillan, D., Mohar, B., Mutzel, P., Ramos, P., Richter, R. B. & Vogtenhuber, B., 2017, Proc. XVII Encuentros de Geometría Computacional. Alicante, Spain, p. 17-20 4 p.

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

Bounded determinization of timed automata with silent transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., May 2017, In : Real-time systems. 53, 3, p. 291–326

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Timed Automata
Observability
Testing
Automata
Model-based Testing

Can FOSS projects benefit from integrating Kanban: a case study

Harzl, A., 7 Jun 2017, In : Journal of Internet Services and Applications. 8, 1, p. 7-13 1 p.

Research output: Contribution to journalArticleResearchpeer-review

Software engineering
Students
Open source software
Feedback
Communication

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

Schumi, R. A., Lang, P., Aichernig, B. K., Krenn, W. & Schlick, R., 2017, 29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017). Springer Verlag

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

Web services
Model checking
Load testing
Testing
Statistical Models

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., 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 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 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