• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2015

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., 22 Okt 2015.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

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

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

Triangulations with circular arcs

Aichholzer, O., Aurenhammer, F., Aigner, W., Jüttler, B., Dobiásová, K. & Rote, G., 2015, in : Journal of Graph Algorithms and Applications . S. 43-65

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Using constraints to diagnose faulty spreadsheets

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2015, in : Software quality journal. 23, 2, S. 297-322

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

2014

16th International Workshop on Configuration

Felfernig, A. (Hrsg.), Forza, C. (Hrsg.) & Haag, A. (Hrsg.), 2014, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

4-Holes in Point Sets

Aichholzer, O., Fabila-Monroy, R., González-Aguilar, H., Hackl, T., Heredia, M. A., Huemer, C., Urrutia, J. & Vogtenhuber, B., 2014, in : Computational geometry. 47, 6, S. 644-650

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together

Kandlhofer, M., Steinbauer, G., Eck, J. & Hirschmugl-Gaisch, S., 2014, in : Journal of automation, mobile robotics & intelligent systems. 8, 1

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Active Diagnosis for Agents with Belief Management

Mühlbacher, C., 2014.

Publikation: KonferenzbeitragPosterForschungBegutachtung

Active Diagnosis for Agents with Belief Management

Mühlbacher, C. & Steinbauer, G., 2014, (Angenommen/In Druck) International Workshop on Principles of Diagnosis. .

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

An Abductive Diagnosis and Modeling Concept for Wind Power Plants

Gray, C. S., Koitz, R., Psutka, S. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., S. 404-409 6 S.

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

Open Access

Applied Model-Based Diagnosis

Koitz, R., 2014.

Publikation: KonferenzbeitragPosterForschung

A Short History of Configuration Technologies

Hotz, L., Felfernig, A., Günter, A. & Tiihonen, J., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 9-19

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

Attack Pattern-Based Combinatorial Testing

Bozic, J., Simos, D. & Wotawa, F., 2014, International Workshop on Automation of Software Test. ., S. 1-7

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

Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA

Jannach, D., Schmitz, T., Hofer, B. G. & Wotawa, F., 2014, in : The Journal of Systems and Software . 94, S. 129-150

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Basic Approaches in Recommendation Systems

Stettinger, M., Felfernig, A., Jeran, M., Ninaus, G., Reinfrank, F-C. & Reiterer, S., 2014, Recommendation Systems in Software Engineering. 1 Aufl. Berlin Heidelberg: Springer, S. 15-37

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

Benefits of Configuration Systems

Felfernig, A., Bagley, C., Tiihonen, J., Wortley, L. & Hotz, L., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 29-33

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

Biases in Decision Making

Felfernig, A., 2014, Proceedings of the International Workshop on Decision Making and Recommender Systems 2014. CEUR Proceedings, Band ISSN 1613-0073, Vol 1278. S. 32-37 (CEUR Proceedings).

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

Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane

Aichholzer, O., Cardinal, J., Hackl, T., Hurtado, F., Korman, M., Pilz, A., Silveira, R., Uehara, R., Valtr, P., Vogtenhuber, B. & Welzl, E., 2014, in : Discrete Mathematics & Theoretical Computer Science. 16, 3, S. 317-332

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Choicla: An Intelligent Group Decision Support Environment

Stettinger, M. & Felfernig, A., 2014, Proceedings of the International Workshop on Decision Making and Recommender Systems 2014. CEUR Proceedings, S. 1-3

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

Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions

Stettinger, M. & Felfernig, A., 2014, ACM RecSys'14 IntRS Workshop. ., S. 28-32

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

Comparing and improving dependency-based models for fault localization in spreadsheets

Hofer, B. G. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., S. 1-7

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

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014.

Publikation: KonferenzbeitragPosterForschung

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014, European Conference on Artificial Intelligence. ., S. 1029-1030

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