• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
Artikel
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 Mai 2019, in : IEEE Software. 36, 3, S. 55-60 6 S., 8409423.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 51-61 11 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Order Type
Cross section
Configuration
Line
Straight Line

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Probabilistic black-box reachability checking (extended version)

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Recommender Systems for IoT Enabled Quantified-Self Applications

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 1-25 15 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 1-22 22 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Network management
Telecommunication networks
Scheduling
Robots

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 Mai 2018, in : Applied Intelligence. S. 1–19 19 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Datei
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, S. 124-141

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 2482-2492 11 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

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

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

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

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

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

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

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

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

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

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
2017

An Introduction to Personalization and Mass Customization

Tiihonen, J. & Felfernig, A., 15 Mär 2017, in : Journal of Intelligent Information Systems. S. 1-6 6 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Students
Recommender systems

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

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

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

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

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

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

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

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

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

2016

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

Walter, R., Küchlin, W. & Felfernig, A., 31 Dez 2016, in : Journal of Intelligent Information Systems. 1, 1, S. 1-32 32 S., 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 806-823 18 S., 85:5,Part 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Einsatz von Gruppenempfehlungssystemen

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 1037-1057

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 431-451

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Human Computation for Constraint-based Recommenders

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung