• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2018

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018

Felfernig, A. (ed.), Tiihonen, J., Hotz, L. & Stettinger, M. (ed.), 2018, CEUR-WS.org. (CEUR Workshop Proceedings)

Research output: Book/ReportAnthologyResearchpeer-review

Proceedings of the 5th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems, IntRS 2018, co-located with ACM Conference on Recommender Systems (RecSys 2018), Vancouver, Canada, October 7, 2018

Brusilovsky, P., Gemmis, M. D., Felfernig, A. (ed.), Lops, P., O'Donovan, J., Semeraro, G. & Willemsen, M. C. (ed.), 2018, CEUR-WS.org. (CEUR Workshop Proceedings)

Research output: Book/ReportAnthologyResearchpeer-review

Quality assurance methodologies for automated driving

Klück, F. S., Wotawa, F., Peischl, B. & Nica, M., 10 Jul 2018, e&i - Elektrotechnik und Informationstechnik, 135, 4-5, p. 322-327 6 p.

Research output: Contribution to specialist publicationArticleResearchpeer-review

Open Access

Recommender Systems for IoT Enabled m-Health Applications

Polat Erdeniz, S., Felfernig, A. & Tran, T. N. T., May 2018, IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI'18). p. 227-237 11 p.

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

Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems Construction

Quer, C., Franch, X., Palomares, C., Falkner, A. A., Felfernig, A., Fucci, D., Maalej, W., Nerlich, J., Raatikainen, M., Schenner, G., Stettinger, M. & Tiihonen, J., 2018, The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings. p. 205-220 16 p.

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

Recsys'18 joint workshop on interfaces and human decision making for recommender systems

Brusilovsky, P., Gemmis, M. D., Felfernig, A., Lops, P., O'Donovan, J., Semeraro, G. & Willemsen, M. C., 2018, Proceedings of the 12th ACM Conference on Recommender Systems, RecSys 2018, Vancouver, BC, Canada, October 2-7, 2018. p. 519-520 2 p.

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

Reinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson Learned

Spieler, B., May 2018, (In preparation). 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on Smartphones

Slany, W., Luhana, K. K., Müller, M., Schindler, C. & Spieler, B., Aug 2018, Constructionism 2018, Vilnius: Constructionism, Computational Thinking and Educational Innovation. Dagienè, V. & Jasutè, E. (eds.). p. 104-119

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

Safe Reinforcement Learning via Shielding

Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S. & Topcu, U., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. p. 2669-2678 10 p.

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

Security testing for chatbots

Bozic, J. & Wotawa, F., 1 Jan 2018, Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings. Springer Verlag Heidelberg, p. 33-38 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11146 LNCS).

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

Testing
Mobile Applications
Web Application
Vulnerability
Social Networks

Socially-Aware Recommendation for Over-Constrained Problems

Atas, M., Tran, T. N. T., Felfernig, A. & Samer, R., 2018, Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings. p. 267-278 12 p.

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

Software configuration diagnosis? A Survey of existing methods and open challenges

Wotawa, F., Friedrich, G. & Andrzejak, A., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Special section of Tests and Proofs 2016

Aichernig, B. K., Furia, C. A., Gaudel, M. C. & Hierons, R., 1 Nov 2018, In : Formal aspects of computing. 30, 6, p. 627-628 2 p.

Research output: Contribution to journalEditorialResearchpeer-review

Spectrum-Based Fault Localization for Logic-Based Reasoning

Pill, I. & Wotawa, F., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. Institute of Electrical and Electronics Engineers, p. 192-199 8 p. 8539195

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

Systems analysis
Formal verification

Statistical Model Checking of Response Times for Different System Deployments

Aichernig, B. K., Kann, S. & Schumi, R. A., 2018, Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018. Springer

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

Model checking
Load testing
Testing
Hardware
Statistical Models

Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code

Luhana, K. K., Schindler, C. & Slany, W., 11 Jun 2018, 2018 IEEE International Conference on Innovative Research and Development (ICIRD). IEEE Xplore, p. 1-6 6 p.

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

Open Access
File
Application programs
Acceptance tests
Paint
Byproducts
Servers

Synthesis of distributed algorithms with parameterized threshold guards

Lazić, M., Konnov, I., Widder, J. & Bloem, R., 1 Mar 2018, 21st International Conference on Principles of Distributed Systems, OPODIS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 95. 32

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

Parallel algorithms
Specifications
Model checking

Testing TLS using planning-based combinatorial methods and execution framework

Simos, D. E., Bozic, J., Garn, B., Leithner, M., Duan, F., Kleine, K., Lei, Y. & Wotawa, F., 1 Jun 2018, In : Software quality journal. p. 1-27 27 p.

Research output: Contribution to journalArticleResearchpeer-review

Network protocols
Planning
Testing
Internet
Communication

The adoption of cloud-based tools in MOOC settings - advantages and challenges

Shehadeh, A., Amado-Salvatierra, H., Morales, M., Hernandez Rizzardini, R. & Gütl, C., 2018, In : RE@D - Revista de Educação a Distância e Elearning. 1, 1, p. 23-40 18 p.

Research output: Contribution to journalArticleResearchpeer-review

The dual diameter of triangulations

Korman, M., Langerman, S., Mulzer, W., Pilz, A., Saumell, M. & Vogtenhuber, B., 1 Mar 2018, In : Computational Geometry: Theory and Applications. 68, p. 243-252 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Triangulation
Dual Graph
Simple Polygon
Maximise
Face

The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production

Steinbauer, G., Niemueller, T. & Karras, U., 20 Aug 2018.

Research output: Contribution to conferencePosterResearchpeer-review

The RoboCup Rescue Victim Dataset

Lorenz, P. & Steinbauer, G., 20 Sep 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access

Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model

Lenz, T. & Krnjic, V., 6 Sep 2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). IEEE Computer Society, p. 1157-1163

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

Identification (control systems)

Towards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems

Uta, M. & Felfernig, A., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 109-118 10 p.

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

Towards Utility-Based Prioritization of Requirements in Open Source Environments

Felfernig, A., Stettinger, M., Atas, M., Samer, R., Nerlich, J., Scholz, S., Tiihonen, J. & Raatikainen, M., 2018, 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018. p. 406-411 6 p.

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

Using a Feature Model Configurator for Release Planning

Raatikainen, M., Tiihonen, J., Männistö, T., Felfernig, A., Stettinger, M. & Samer, R., 2018, Proceedings of the 22Nd International Systems and Software Product Line Conference - Volume 2. New York, NY, USA: ACM SIGGRAPH, p. 29-33 5 p. (SPLC '18).

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

Using LNT Formal Descriptions for Model-Based Diagnosis

Wotawa, F., Hofer, B. G., Mateescu, R. & Serwe, W., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis

Koitz, R., Wotawa, F., Lüftenegger, J., Gray, C. S. & Langmayr, F., 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Sayed-Mouchaweh, M. (ed.). Cham: Springer International Publishing AG , p. 17-43 27 p.

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

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