• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2018

Cost Benefit Analysis in Product Configuration Systems (short paper)

Shafiee, S., Felfernig, A., Hvam, L., Piroozfar, P. & Forza, C., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. S. 37-40 4 S.

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

Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines

Meyer, M., Donsa, K., Truskaller, T., Frohner, M., Pohn, B., Felfernig, A., Sinner, F. & Pieber, T. R., 2018, Health Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018. S. 132-139 8 S.

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

Diagnosing Discrete Event Systems Using Nominal Models Only

Pencole, Y., Mühlbacher, C., Steinbauer, G. & Trave-Massuyes, L., 6 Jan 2018, S. 169-183.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access

Diagnosis as a service

Wotawa, F., Peischl, B. & Koitz, R., 2018, Digital Marketplaces Unleashed. Springer Berlin - Heidelberg, S. 557-567 11 S.

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

Monitoring
Electronic data interchange
Wind turbines
Large scale systems
Industry

District energy systems: Modelling paradigms and general-purpose tools

Schweiger, G., Heimrath, R., Falay, B., O'Donovan, K., Nageler, P., Pertschy, R., Engel, G., Streicher, W. & Leusbrock, I., 1 Dez 2018, in : Energy. S. 1326-1340

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Pipe
Feedback
Carbon
Industry

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018.

Publikation: KonferenzbeitragPosterForschungBegutachtung

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018, Robotics in Education 2018.

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

EduRobot Taxonomy and Papert’s Paradigm

Catlin, D., Kandlhofer, M., Holmquist, S., Csizmadia, A. P., Angel-Fernandez, J. & Cabibihan, J-J., 2018, Constructionism 2018.

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

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Okt 2018, in : Journal of Automated Reasoning. S. 1 - 32 32 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Testing
Costs
Experiments

Enabling Teenagers to Create and Share Apps

Müller, M., Schindler, C., Luhana, K. K. & Slany, W., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, S. 25-30 6 S. 5

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

Evolutionary propositionalization of multi-relational data

Wotawa, F. & Kassarnig, V., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Evolutionary Propositionalization of Multi- Relational Data

Wotawa, F. & Kassarnig, V., 2018, in : International journal of software engineering and knowledge engineering. S. 1739–1754

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Extending Document Exploration with Image Retrieval: Concept and First Results

Shao, L., Glatz, M., Gergely, E., Müller, M., Munter, D., Papst, S. & Schreck, T., 2018, Poster at IEEE/VGTC Conference on Visualization (EuroVis).

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

Extending the Centerpoint Theorem to Multiple Points

Pilz, A. & Schnider, P., 2018, Proc. 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Band 123. S. 53:1-53:13 13 S. 53

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

Fault detection and localization using modelica and abductive reasoning

Pill, I. & Wotawa, F., 8 Mär 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer International Publishing AG , S. 45-72 28 S.

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

Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments

Spieler, B. & Slany, W., Aug 2018, S. 625 - 636. 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

coding
learning environment
gender
teaching
decision making leeway

Folding Polyominoes into (Poly)Cubes

Aichholzer, O., Biro, M., Demaine, E., Demaine, M., Eppstein, D., Fekete, S. P., Hesterberg, A., Kostitsyna, I. & Schmidt, C., 2018, in : International Journal of Computational Geometry and Applications. 28, 3, S. 197-226 30 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

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

Open Access
Datei

Fragment-based spreadsheet debugging

Jannach, D., Schmitz, T., Hofer, B., Schekotihin, K., Koch, P. & Wotawa, F., 22 Dez 2018, in : Automated Software Engineering.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Spreadsheets
Decomposition
Testing

From Ontologies to Input Models for Combinatorial Testing

Wotawa, F. & Li, Y., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings

Ruprechter, T., Khosmood, F., Kuboi, T., Dekhtyar, A. & Gütl, C., 30 Mai 2018, Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, DG.O 2018. Association of Computing Machinery, a117

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

Transcription

Game Development-Based Learning Experience: Gender Differences in Game Design

Spieler, B. & Slany, W., 3 Okt 2018, S. 616-625. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Application programs
Curricula
Mechanics
Testing

Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment

Tiihonen, J., Raitahila, I., Raatikainen, M., Felfernig, A. & Männistö, T., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. S. 69-76 8 S.

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

Graph Games and Reactive Synthesis

Bloem, R., Chatterjee, K. & Jobstmann, B., 2018, Handbook of Model Checking. Clark, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (Hrsg.). Cham: Springer, S. 921-962 42 S.

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

Group Decision Support for Requirements Management Processes

Samer, R., Atas, M., Felfernig, A., Stettinger, M., Falkner, A. A. & Schenner, G., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. S. 19-24 6 S.

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

Group Recommender Systems: An Introduction

Felfernig, A., Stettinger, M., Boratto, L. & Tkalcic, M., 15 Mär 2018, (Angenommen/In Druck) Springer US. 183 S. (Springer Briefs in Electrical and Computer Engineering)

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)ForschungBegutachtung

Holes in 2-convex point sets

Aichholzer, O., Balko, M., Hackl, T., Pilz, A., Ramos, P., Valtr, P. & Vogtenhuber, B., 1 Okt 2018, in : Computational Geometry: Theory and Applications. 74, S. 38-49 12 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

Holes in 2-convex point sets

Aichholzer, O., Balko, M., Hackl, T., Pilz, A., Ramos, P., Valtr, P. & Vogtenhuber, B., 1 Jan 2018, Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers. Springer Verlag Heidelberg, Band 10765. S. 169-181 13 S. (Lecture Notes in Computer Science ; Band 10765 ).

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

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols

Aichernig, B. K. & Schumi, R. A., 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer

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

Model checking
Network protocols
Testing
Chemical analysis
Internet of things

How to fit a tree in a box

Akitaya, H. A., Löffler, M. & Parada, I., 1 Jan 2018, Graph Drawing and Network Visualization - 26th International Symposium, GD 2018, Proceedings. Springer Verlag Heidelberg, S. 361-367 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11282 LNCS).

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

Binary trees
Binary Tree
Grid
Straight Line
NP-complete problem

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