• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2018

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

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, Band 10540 LNCS. S. 368-377 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10540 LNCS).

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

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, S. 17-20 4 S.

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

Bounded determinization of timed automata with silent transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., Mai 2017, in : Real-time systems. 53, 3, S. 291–326

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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 . S. 68-71 4 S.

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

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). S. 21-30 10 S.

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

Combining Models for Improved Fault Localization in Spreadsheets

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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., Dez 2017, in : International Journal of Computing. 16, 4, S. 226-237

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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 Okt 2017, in : Schule aktiv!. Sonderheft, S. 32-37

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

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.

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

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

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

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 102-113 12 S.

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

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. (Hrsg.). Springer, Cham, S. 153-166 14 S. (Lecture Notes in Computer Science (LNCS)).

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

KI ab dem Kindergarten

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Knowledge-based Learning Content Generation in the StudyBattles Environment

Shehadeh, A., Felfernig, A., Jeran, M., Stettinger, M. & Reiterer, S., 15 Jul 2017, S. 1-12. 12 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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 , S. 19-34 16 S. (Lecture Notes in Computer Science; Band 10227).

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

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, S. 521-546 26 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. (Hrsg.). Cham: Springer International Publishing AG , S. 440-445 6 S.

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

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). S. 276-287 12 S.

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

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

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, S. 171-180 10 S. 7899053

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