• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Article
2019

Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems

Vorraber, W., Müller, M., Voessner, S. & Slany, W., 1 May 2019, In : IEEE Software. 36, 3, p. 55-60 6 p., 8409423.

Research output: Contribution to journalArticleResearchpeer-review

Ecosystems
Information systems
Engines
Open source software

Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$

Aichholzer, O., Fabila-Monroy, R., Hurtado, F., Perez-Lantero, P., Ruiz-Vargas, A. J., Urrutia Galicia, J. & Vogtenhuber, B., 2019, In : Computational Geometry: Theory and Applications. 77, p. 51-61 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Order Type
Cross section
Configuration
Line
Straight Line

CSPHeuristix: A Learning-based Heuristics Library for Constraint Satisfaction Problems

Polat Erdeniz, S. & Felfernig, A., 2019, (Submitted) In : Journal of Intelligent Information Systems.

Research output: Contribution to journalArticleResearchpeer-review

Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit

Müller, M. & Slany, W., Apr 2019, In : WING-Business. 2019, 1, p. 25-27 3 p.

Research output: Contribution to journalArticleResearch

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, In : Formal methods in system design.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Recommender Systems for IoT Enabled Quantified-Self Applications

Polat Erdeniz, S., Felfernig, A. & Tran, T. N. T., 2019, (Submitted) In : Evolving Systems.

Research output: Contribution to journalArticleResearchpeer-review

2018

An overview of recommender systems in the internet of things

Felfernig, A., Polat Erdeniz, S., Uran, C., Reiterer, S., Atas, M. & Tran, T. N. T., 2018, In : Journal of Intelligent Information Systems. p. 1-25 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Anytime Diagnosis for Reconfiguration

Felfernig, A., Walter, R., Galindo, J., Benavides, D., Polat Erdeniz, S., Atas, M. & Reiterer, S., 1 Jan 2018, In : Journal of Intelligent Information Systems. p. 1-22 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Network management
Telecommunication networks
Scheduling
Robots

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 May 2018, In : Applied Intelligence. p. 1–19 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Failure analysis
Learning systems
Classifiers
Economics
Costs

A Systematic Evaluation of Transient Execution Attacks and Defenses

Canella, C., Bulck, J. V., Schwarz, M., Lipp, M., Berg, B. V., Ortner, P., Piessens, F., Evtyushkin, D. & Gruss, D., 13 Nov 2018, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearch

File
Core meltdown
Firmware
Program processors
Acoustic waves
Industry

Automated generation of (F)LTL oracles for testing and debugging

Pill, I. & Wotawa, F., 2018, In : The Journal of Systems and Software . 139, p. 124-141

Research output: Contribution to journalArticleResearchpeer-review

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., 2018, In : SIAM Journal on Discrete Mathematics. 32, 4, p. 2482-2492 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Computing Balanced Islands in Two Colored Point Sets in the Plane

Aichholzer, O., Atienza, N., Díaz-Báñez, J. M., Fabila-Monroy, R., Flores-Peñaloza, D., Pérez-Lantero, P., Vogtenhuber, B. & Urrutia Galicia, J., 2018, In : Information Processing Letters. 135, p. 28 - 32

Research output: Contribution to journalArticleResearchpeer-review

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 Dec 2018, In : Energy. p. 1326-1340

Research output: Contribution to journalArticleResearchpeer-review

Pipe
Feedback
Carbon
Industry

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Oct 2018, In : Journal of Automated Reasoning. p. 1 - 32 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments

Evolutionary Propositionalization of Multi- Relational Data

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

Research output: Contribution to journalArticleResearchpeer-review

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, p. 197-226 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Fragment-based spreadsheet debugging

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

Research output: Contribution to journalArticleResearchpeer-review

Spreadsheets
Decomposition
Testing

Holes in 2-convex point sets

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

Research output: Contribution to journalArticleResearchpeer-review

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

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, p. 273-295 23 p.

Research output: Contribution to journalArticleResearchpeer-review

Linear transformation distance for bichromatic matchings

Aichholzer, O., Barba, L., Hackl, T., Pilz, A. & Vogtenhuber, B., 1 Mar 2018, In : Computational Geometry: Theory and Applications. 68, p. 77-88 12 p.

Research output: Contribution to journalArticleResearchpeer-review

Linear transformations
Graph Transformation
Linear transformation
Joining
Perfect Matching

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

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

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

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
2017

An Introduction to Personalization and Mass Customization

Tiihonen, J. & Felfernig, A., 15 Mar 2017, In : Journal of Intelligent Information Systems. p. 1-6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

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. p. 1-25 25 p.

Research output: Contribution to journalArticleResearchpeer-review

Recommender systems
Medical problems

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, p. 1387-1408 21 p.

Research output: Contribution to journalArticleResearchpeer-review

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.

Research output: Contribution to journalArticleResearchpeer-review

Students
Recommender systems

Bounded determinization of timed automata with silent transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., May 2017, In : Real-time systems. 53, 3, p. 291–326

Research output: Contribution to journalArticleResearchpeer-review

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

Research output: Contribution to journalArticleResearchpeer-review

Software engineering
Students
Open source software
Feedback
Communication

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.

Research output: Contribution to journalArticleResearchpeer-review

academic achievement
peers
educational research
Smartphones
Bluetooth

Combining Models for Improved Fault Localization in Spreadsheets

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

Research output: Contribution to journalArticleResearchpeer-review

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., Dec 2017, In : International Journal of Computing. 16, 4, p. 226-237

Research output: Contribution to journalArticleResearchpeer-review

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 Oct 2017, In : Schule aktiv!. Sonderheft, p. 32-37

Research output: Contribution to journalArticleResearch

Open Access

KI ab dem Kindergarten

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

Research output: Contribution to journalArticleResearchpeer-review

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

Research output: Contribution to journalArticleResearchpeer-review

Traveling salesman problem
Travelling salesman problems
Elimination
Metric
Linearization

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

Research output: Contribution to journalArticleResearchpeer-review

Geometric Graphs
Spanning tree
Complete Graph
Packing
Path

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

Research output: Contribution to specialist publicationArticleResearch

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.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Business Rules
Web services
Web Services
Testing
Industry

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, p. 39-51

Research output: Contribution to journalArticleResearchpeer-review

2016

Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle

Walter, R., Küchlin, W. & Felfernig, A., 31 Dec 2016, In : Journal of Intelligent Information Systems. 1, 1, p. 1-32 32 p., 2.

Research output: Contribution to journalArticleResearchpeer-review

Electromagnetic waves
Redundancy
Internet of things
Hot Temperature

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, In : The journal of logic and algebraic programming. 85, 5, Part 2, p. 806-823 18 p., 85:5,Part 2.

Research output: Contribution to journalArticleResearchpeer-review

Einsatz von Gruppenempfehlungssystemen

Nungesser, S., Eixelsberger, W., Felfernig, A., Stettinger, M., Reiterer, S. & Jeran, M., 31 Dec 2016, In : Tourismus Wissen Quarterly. 5, p. 1-4 4 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels

Leingartner, M., Maurer, J., Ferrein, A. & Steinbauer, G., 2016, In : Journal of field robotics. 33, 8, p. 1037-1057

Research output: Contribution to journalArticleResearchpeer-review

Geometric achromatic and pseudoachromatic indices

Aichholzer, O., Araujo-Pardo, G., García-Colín, N., Hackl, T., Lara, N., Rubio-Montinel, C. & Urrutia, J., 2016, In : Graphs and combinatorics. p. 431-451

Research output: Contribution to journalArticleResearchpeer-review

Human Computation for Constraint-based Recommenders

Ulz, T., Schwarz, M., Felfernig, A., Haas, S., Shehadeh, A., Reiterer, S. & Stettinger, M., 31 Dec 2016, In : Journal of Intelligent Information Systems. 1, 1, p. 1-21 21 p., 1.

Research output: Contribution to journalArticleResearchpeer-review