• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2015

Folding Polyominoes into Poly(Cubes)

Aichholzer, O., Demaine, E., Demaine, M., Fekete, S., Biro, M., Eppstein, D., Hesterberg, A., Kostitsyna, I. & Schmidt, C., 2015, (Angenommen/In Druck) Canadian Conference on Computational Geometry. .

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

Fostering Knowledge Exchange Using Group Recommendations

Felfernig, A., Stettinger, M. & Leitner, G., 2015, (Angenommen/In Druck) ACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender Systems. .

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

From Theory to Practice: Model-Based Diagnosis in Industrial Applications

Koitz, R. & Wotawa, F., 2015, Proceedings of the Annual Conference of the PHM Society (PHM). ., S. 197-205

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

Human Computation Based Acquisition Of Financial Service Advisory Practices

Felfernig, A., Jeran, M., Stettinger, M., Absenger, T., Gruber, T., Haas, S., Kirchengast, E., Schwarz, M., Skofitsch, L. & Ulz, T., 2015, 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15). CEUR Proceedings, S. 27-34

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

Human Decision Making and Recommender Systems

Jameson, A., Willemsen, M., Felfernig, A., deGemmis, M., Lops, P., Semeraro, G. & Chen, L., 2015, Recommender Systems Handbook. 2nd Edition Aufl. Springer, S. 619-655

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

ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases

Reinfrank, F-C., 2015, IJCAI 2015, Workshop on Intelligent Personalization. ., S. nx-ny

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

Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind

Beltrán, M. E., Ursa, Y., Petri, A. C., Schindler, C., Slany, W., Spieler, B., de los Rios, S., Cabrera-Umpierrez, M. F. & Arredondo, M. T., Jul 2015, 4th International Conference, DUXU 2015. Switzerland: Springer International Publishing AG

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

Incremental Model-based Mutation Testing

Tiran, S., 2015, IEEE International Conference on Software Testing, Verification and Validation. ., S. 1-2

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

Intelligent Techniques for Configuration Knowledge Evolution

Felfernig, A., Reiterer, S., Stettinger, M. & Tiihonen, J., 2015, Vamos. Association of Computing Machinery, S. 51-60

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

Intelligent Techniques for the Maintainance of Constraint-based systems

Reinfrank, F-C., 2015, Workshop on Configuration. ., S. nx-ny

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

Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice

Walter, R., Felfernig, A. & Küchlin, W., 2015, (Angenommen/In Druck) International Workshop on Configuration. .

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

Killing Bugs in a Black Box with Model-based Testing

Aichernig, B. & Lorber, F. L., 10 Jun 2015.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Killing strategies for model-based mutation testing

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, in : Software testing, verification & reliability. 25, 8, S. 716-748

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Learning Games for Configuration and Diagnosis Tasks

Felfernig, A., 2015, (Angenommen/In Druck) International Workshop on Configuration. .

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

Maintaining constraint-based Configuration systems: Challenges ahead

Reinfrank, F-C., 2015, Workshop on Configuration. ., S. nx-ny

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

Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap

Hofbaur, M., Müller, A., Piater, J., Rinner, B., Steinbauer, G., Vincze, M. & Wögerer, C., 2015, in : e&i - Elektrotechnik und Informationstechnik. 132, 4-5, S. 237-248

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Model-Based Mutation Testing via Symbolic Refinement Checking

Aichernig, B., Jöbstl, E. & Tiran, S., 2015, in : Science of computer programming. 97, Part 4, S. 383-404

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

MoMuT::UML - model-based mutation testing for UML

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8

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

Monotone Simultaneous Embedding of Upward Planar Digraphs

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T., Pilz, A. & Vogtenhuber, B., 2015, in : Journal of Graph Algorithms and Applications . 19, 1, S. 87-110

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

New results on stabbing segments with a polygon

Díaz-Báñez, J. M., Korman, M., Pérez-Lantero, P., Pilz, A., Seara, C. & Silveira, R., 2015, in : Computational geometry. 48, S. 14-29

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On k-Gons and k-Holes in Point Sets

Aichholzer, O., Hackl, T., Vogtenhuber, B., Fabila-Monroy, R., Gonzales-Aguilar, H., Heredia, M. A., Huemer, C., Urrutia, J. & Valtr, P., 2015, in : Computational geometry. 48, S. 528-537

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On the computational feasibility of abductive diagnosis for practical applications

Koitz, R. & Wotawa, F., 1 Sep 2015, in : IFAC-PapersOnLine. 28, 21, S. 410-415 6 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Polynomials
Costs

On the empirical evaluation of similarity coefficients for spreadsheets fault localization

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2015, in : Automated Software Engineering. 22, 1, S. 47-74

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On the Feasibility of Abductive Diagnosis for Practical Application

Koitz, R. & Wotawa, F., 2015, Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. ., S. 410-415 6 S.

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

Open Access

On the Importance of Subtext in Recommender Systems

Grasch, P. & Felfernig, A., 2015, in : i-com. Journal for interactive media. 14, 1, S. 41-52

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Orthogeodesic Point Set Embeddings of Outerplanar Graphs

Scheucher, M., 2015

Publikation: StudienabschlussarbeitMasterarbeitForschung

Parse Tree Structure in LTL Requirements Diagnosis

Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., S. 100-107

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

PeopleViews: Human Computation for Constraint-based Recommendation

Felfernig, A., Ulz, T., Haas, S., Schwarz, M., Reiterer, S. & Stettinger, M., 2015, (Angenommen/In Druck) ACM Recommender Systems 2015 CrowdRec Workshop. .

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

Pocket Game Jams: a Constructionist Approach at Schools

Petri, A. C., Schindler, C., Slany, W., Spieler, B. & Smith, J., 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. ., S. 156-526

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

Open Access
Datei
Computer programming languages
Curricula
Students

PURITY: a Planning-based secURITY testing tool

Bozic, J. & Wotawa, F., 2015, (Angenommen/In Druck) Workshop on Trustworthy Computing. .

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

Open Access
Datei

RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., S. 78-84

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

RecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15)

O'Donovan, J. (Hrsg.), Felfernig, A. (Hrsg.), Tintarev, N. (Hrsg.), Brusilovsky, P. (Hrsg.), Semeraro, G. (Hrsg.) & Lops, P. (Hrsg.), 2015, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Representing Directed Trees as Straight Skeletons

Aichholzer, O., Hackl, T., Vogtenhuber, B., Biedl, T., Held, M., Huber, S. & Palfrader, P., 2015, International Symposium on Graph Drawing. ., S. 335-347

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

Reprint of: Theta-3 is connected

Aichholzer, O., Bae, S. W., Barba, L., Bose, P., Korman, M., van Renssen, A., Taslakian, P. & Verdonschot, S., 2015, in : Computational geometry. 48, S. 369-442

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Require, Test and Trace IT

Aichernig, B., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 2015, Formal Methods for Industrial Critical Systems. Cham: Springer, S. 113-127 (Lecture Notes in Computer Science; Band 9128).

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

RoboCup 2015: Robot World Cup XIX

Almeida, L., Ji, J., Steinbauer, G. & Luke, S., 2015, 1 Aufl. Springer. (Lecture Notes in Artificial Intelligence)

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

SAT-Based Abductive Diagnosis

Koitz, R., 2015.

Publikation: KonferenzbeitragPosterForschung

SAT-Based Abductive Diagnosis

Koitz, R. & Wotawa, F., 2015, Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). ., S. 167-175

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

Scalable Incremental Test-case Generation from Large Behavior Models

Aichernig, B., Nickovic, D. & Tiran, S., 2015, Tests and Proofs. Springer, Band 9154. S. 1-18 (LNCS).

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

Scaling and Internationalizing an Agile FOSS Project: Lessons Learned

Harzl, A., Fellhofer, S. & Slany, W., 2015, (Angenommen/In Druck) Open Source Systems: Adoption and Impact. .

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

Systematic strategies for 3-dimensional modular robots

De Parada Munoz, I. M., 2015

Publikation: StudienabschlussarbeitMasterarbeitForschung

Testing Diagnostics Components Supervising Functional Safety Requirements

Nica, M., Pill, I. H. & Wotawa, F., 2015, Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015. ., S. 150-157

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

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach

Hofer, B. G., Wotawa, F., Abreu, R. & Außerlechner, S., 2015, Testing Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings. Springer, Band 9447. S. 124-140 (Lecture Notes in Computer Science).

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

Test suite coverage measurement and reporting for testing an operating system without instrumentation

Felbinger, H., Sherrill, J., Bloom, G. & Wotawa, F., 2015, Proceedings of the 17th Real-Time Linux Workshop. ., S. 13-22

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

Test suite coverage measurement and reporting for testing an operating system without instrumentation

Felbinger, H., Sherrill, J., Bloom, G. & Wotawa, F., 22 Okt 2015.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

The fine art of user-centered software development

Peischl, B., Ferk, M. & Holzinger, A., 2015, in : Software quality journal. 23, 3, S. 509-536

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Datei

The No One Left behind project

Petri, A. C., 2015.

Publikation: KonferenzbeitragPosterForschung

The Scarab Project

Booysen, T., Stüttgen, M., Ferrein, A. & Steinbauer, G., 2015, (Angenommen/In Druck) Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015). .

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

Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. ., S. 1-6

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

Open Access
Datei

Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization

Felfernig, A., Reiterer, S., Stettinger, M. & Tiihonen, J., 2015, Vamos. Association of Computing Machinery, S. 117-124

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