• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2017

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

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, S. 25-28 4 S.

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

OpenReq: Recommender Systems in Requirements Engineering

Felfernig, A., Stettinger, M., Falkner, A., Atas, M., Franch, X. & Palomares, C., 15 Okt 2017, S. 1-4. 4 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 35-41 7 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 81-84 4 S.

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

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, S. 16-19.

Publikation: Beitrag in Zeitung/MagazinArtikelForschung

Probabilistic Black-Box Reachability Checking

Aichernig, B. & Tappler, M., Sep 2017, Runtime Verification, 17th International Conference. Springer International Publishing AG , S. 50-67 18 S. (Lecture Notes in Computer Science; Band 10548).

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

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 337-346

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

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, S. 191-198 8 S.

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

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. S. 504-509 6 S.

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

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 Okt 2017, S. 1-2. 2 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

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

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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 92. S. 10:1-10:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

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, S. 88-89 2 S.

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

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

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

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, S. 390-400

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

Model checking
Testing
Stochastic models
Statistical Models
Computer programming languages

Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts

Lichtenegger, G. J., Maier, M., Hackl, M., Khinast, J. G., Goessler, W., Griesser, T., Kumar, V. S. P., Gruber-Woelfler, H. & Deshpande, P. A., Jan 2017, in : Journal of molecular catalysis / A. 426, S. 39-51

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Task-Dependent Configuration of Robotics Systems

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

Wotawa, F., 2017, Automated Driving. Horn, M. & Watzenig, D. (Hrsg.). Springer, S. 519-532

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

2016

Abductive Diagnosis based on Modelica Models

Peischl, B. J., Pill, I. P. & Wotawa, F., 2016, 27th International Workshop on Principles of Diagnosis. 8 S.

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

Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies

Shafiee, S., Kristjansdottir, K., Hvam, L., Felfernig, A. & Myrodia, A., 31 Dez 2016, IEEE International Conference on Industrial Engineering and Engineering Management. IEEE Computer Society, S. 1-10 10 S.

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

An Automated (F) LTL Test Oracle for Testing with Requirements

Pill, I. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, S. 197-204 8 S.

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

A new meta-module for efficient reconfiguration of hinged-units modular robots

De Parada Munoz, I. M., Sacristán, V. & Silveira, R. I., 2016, Proceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016). Institute of Electrical and Electronics Engineers, S. 5197-5202

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

An extension of CHOICLA User Interfaces for Configurable Products

Tran, T., Atas, M., Stettinger, M. & Felfernig, A., 31 Dez 2016, RS-BDA'16 Workshop. Graz

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

Datei
User interfaces
Decision making

An improved lower bound on the minimum number of triangulations

Aichholzer, O., Alvarez, V., Hackl, T., Pilz, A., Speckmann, B. & Vogtenhuber, B., 1 Jun 2016, 32nd International Symposium on Computational Geometry, SoCG 2016. Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Band 51. S. 7.1-7.16

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

Triangulation