• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings

Aichholzer, O., Andritsch, L., Baur, K. & Vogtenhuber, B., 2018, in : Graphs and combinatorics. 34, 6, S. 1333-1346 14 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Planning-based security testing of web applications

Bozic, J. & Wotawa, F., 28 Mai 2018, Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018. IEEE Computer Society, 1998, S. 20-26 7 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Planning
Testing
Defects
Authentication
Scheduling

Pocket code build variants

Luhana, K. K., 8 Jun 2018, 2018 IEEE International Conference on Innovative Research and Development, ICIRD 2018. Institute of Electrical and Electronics Engineers, S. 1-6 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Flavors
Application programs
Visual Languages
Brick
Computer programming languages

Polarization Effects in Group Decisions

Atas, M., Reiterer, S., Felfernig, A., Tran, T. N. T. & Stettinger, M., 2018, Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization, UMAP 2018, Singapore, July 08-11, 2018. S. 305-310 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

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

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

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. (Hrsg.), Lops, P., O'Donovan, J., Semeraro, G. & Willemsen, M. C. (Hrsg.), 2018, CEUR-WS.org. (CEUR Workshop Proceedings)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

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, S. 322-327 6 S.

Publikation: Beitrag in Zeitung/MagazinArtikelForschungBegutachtung

Open Access

Recommender Systems for IoT Enabled m-Health Applications

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 205-220 16 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 519-520 2 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Spieler, B., Mai 2018, (In Vorbereitung). 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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. (Hrsg.). S. 104-119

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 2669-2678 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 33-38 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11146 LNCS).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 267-278 12 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 627-628 2 S.

Publikation: Beitrag in einer FachzeitschriftEditorialForschungBegutachtung

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, S. 192-199 8 S. 8539195

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 1-6 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
Application programs
Acceptance tests
Paint
Byproducts
Servers

Synthesis of distributed algorithms with parameterized threshold guards

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 1-27 27 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 23-40 18 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

The dual diameter of triangulations

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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.

Publikation: KonferenzbeitragPosterForschungBegutachtung

The RoboCup Rescue Victim Dataset

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 1157-1163

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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.. S. 109-118 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 406-411 6 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 29-33 5 S. (SPLC '18).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Using LNT Formal Descriptions for Model-Based Diagnosis

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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. (Hrsg.). Cham: Springer International Publishing AG , S. 17-43 27 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

2017

Adapting Edge Weights for Optimal Paths in a Navigation Graph

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 117-121 5 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

AI for Localizing Faults in Spreadsheets

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 335-344. 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

heuristics
aggregation
Group
apartment
voting

An Autonomous Transportation Robot for Urban Environments

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

An Introduction to Personalization and Mass Customization

Tiihonen, J. & Felfernig, A., 15 Mär 2017, in : Journal of Intelligent Information Systems. S. 1-6 6 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 1-25 25 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

ASP-based Knowledge Representations for IoT Configuration Scenarios

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). Brisbane, Australia: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 77. S. 8:1-8:16 (Leibniz International Proceedings in Informatics (LIPIcs)).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 69-73 5 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 1387-1408 21 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Automated Question Generation from Configuration Knowledge Bases

Shehadeh, A., Felfernig, A. & Atas, M., 10 Okt 2017, S. 54-61. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, Band 10533 LNCS. S. 197-212 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10533 LNCS).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Students
Recommender systems