• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2018

In pursuit of a dynamic tree decomposition

Iacono, J. & Vogtenhuber, B., 2018, Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018). Manila, Philippines, S. 23-25 3 S.

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

Intersection Graphs of Rays and Grounded Segments

Cardinal, J., Felsner, S., Miltzow, T., Tompkins, C. & Vogtenhuber, B., 2018, in : Journal of Graph Algorithms and Applications . 22, 2, S. 273-295 23 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Investigating Serial Position Effects in Sequential Group Decision Making

Tran, T. N. T., Atas, M., Felfernig, A., Samer, R. & Stettinger, M., 2018, Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization, UMAP 2018, Singapore, July 08-11, 2018. S. 239-243 5 S.

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

It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts

Grandl, M., Ebner, M., Slany, W. & Janisch, S., 27 Apr 2018, Conference Proceeding Open Education Global Conference. Delft, 9 S.

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

Open Access

Lazy Conflict Detection with Genetic Algorithms

Uran, C. & Felfernig, A., 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. 175-186 12 S.

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

LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics

Polat Erdeniz, S. & Felfernig, A., 2018, Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18). S. 190-197 8 S.

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

Learning to program in a constructionist way

Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo & Spieler, B., 22 Aug 2018, Constructionism: Constructionism, Computational thinking and Educational Innovation. S. 888 - 911 23 S.

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

Linear transformation distance for bichromatic matchings

Aichholzer, O., Barba, L., Hackl, T., Pilz, A. & Vogtenhuber, B., 1 Mär 2018, in : Computational Geometry: Theory and Applications. 68, S. 77-88 12 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Linear transformations
Graph Transformation
Linear transformation
Joining
Perfect Matching

Liquid Democracy in Group-based Configuration

Atas, M., Tran, T. N. T., Samer, R., Felfernig, A., Stettinger, M. & Fucci, D., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. S. 93-98 6 S.

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

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. (Hrsg.). Boston, MA, USA: Springer, Cham, S. 113-126 14 S.

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

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

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

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, S. 248-263 16 S. (Kalpa Publications in Computing; Band 4).

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

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. (Hrsg.). Cham: Springer Nature, S. 74 - 100 27 S. (Lecture Notes in Computer Science; Band 11026).

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

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, S. 101-118 18 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 19:1-19:10

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

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

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

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

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

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

Online Game Jams to Attract Specific User Groups

Müller, M., 26 Jul 2018.

Publikation: KonferenzbeitragPosterForschung

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

On the superiority of conflict-driven search in MUs enumeration

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

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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