• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2018

Lombardi Drawings of Knots and Links

Kindermann, P., Kobourov, S., Löffler, M., Nöllenburg, M., Schulz, A. & Vogtenhuber, B., 2018, Proceedings of the 25th International Symposium on Graph Drawing (GD 2017). Frati, F. & Ma, K-L. (eds.). Boston, MA, USA: Springer, Cham, p. 113-126 14 p.

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

Minimal Geometric Graph Representations of Order Types

Aichholzer, O., Balko, M., Hoffmann, M., Kyncl, J., Mulzer, W., Parada, I., Pilz, A., Scheucher, M., Valtr, P., Vogtenhuber, B. & Welzl, E., 2018, 34th European Workshop on Computational Geometry (EuroCG '18): Extended Abstracts. Berlin, Germany, p. 21:1-21:6

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

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

Pill, I. & Wotawa, F., 6 Jan 2018, 28th International Workshop on Principles of Diagnosis (DX'17). EasyChair Ltd, p. 248-263 16 p. (Kalpa Publications in Computing; vol. 4).

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

Open Access

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Jul 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026).

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

Testing

Modem Illumination of Monotone Polygons

Aichholzer, O., Fabila-Monroy, R., Flores-Peñaloza, D., Hackl, T., Urrutia Galicia, J. & Vogtenhuber, B., 2018, In : Computational Geometry: Theory and Applications. 68, p. 101-118 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study

Fucci, D., Palomares, C., Franch, X., Costal, D., Raatikainen, M., Stettinger, M., Kurtanovic, Z., Kojo, T., Koenig, L., Falkner, A. A., Schenner, G., Brasca, F., Männistö, T., Felfernig, A. & Maalej, W., 2018, Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018. p. 19:1-19:10

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

NP-Completeness of Max-Cut for Segment Intersection Graphs

Aichholzer, O., Mulzer, W., Schnider, P. & Vogtenhuber, B., 2018, Proc. $34^th$ European Workshop on Computational Geometry EuroCG '18. Berlin, Germany, p. 32:1-32:6

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

OCSH: optimized cluster specific heuristics for the university course timetabling problem

Polat Erdeniz, S. & Felfernig, A., Mar 2018, 8th International Conference on Information Systems and Technologies, ACM (ISST'18). p. 13-18 6 p.

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

Online Game Jams to Attract Specific User Groups

Müller, M., 26 Jul 2018.

Research output: Contribution to conferencePosterResearch

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

On the superiority of conflict-driven search in MUs enumeration

Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, In : CEUR Workshop Proceedings. 2289

Research output: Contribution to journalConference articleResearchpeer-review

Model checking
Set theory

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

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

Research output: Contribution to journalArticleResearchpeer-review

Planning-based security testing of web applications

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

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

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

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

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. p. 305-310 6 p.

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

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