• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2016

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, In : Advances in Intelligent Systems and Computing. 457, p. 105-111

Research output: Contribution to journalArticleResearchpeer-review

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

Adapting Edge Weights for Optimal Paths in a Navigation Graph

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

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

A decomposition-based approach to spreadsheet testing and debugging

Schmitz, T., Jannach, D., Hofer, B., Koch, P. W., Schekotihin, K. & Wotawa, F., 2017, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE Computer Society, p. 117-121 5 p.

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

AI for Localizing Faults in Spreadsheets

Hofer, B., Nica, I. & Wotawa, F., 2017, 29th International Conference on Testing Software and Systems (ICTSS). Springer, Vol. 10533. p. 71-87 17 p. (Lecture Notes in Computer Science).

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

A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems

Loigge, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

An Analysis of Group Recommendation Heuristics for High- and Low-Involvement Items

Felfernig, A., Atas, M., Tran, T., Stettinger, M., Polat Erdeniz, S. & Leitner, G., 15 Aug 2017, p. 335-344. 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

heuristics
aggregation
Group
apartment
voting

An Autonomous Transportation Robot for Urban Environments

Lassnig, K., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

An Introduction to Personalization and Mass Customization

Tiihonen, J. & Felfernig, A., 15 Mar 2017, In : Journal of Intelligent Information Systems. p. 1-6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

An Overview of Recommender Systems in the Healthy Food Domain

Tran, T., Atas, M., Felfernig, A. & Stettinger, M., 15 Jun 2017, In : Journal of Intelligent Information Systems. p. 1-25 25 p.

Research output: Contribution to journalArticleResearchpeer-review

Recommender systems
Medical problems

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

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

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