• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2015

Parse Tree Structure in LTL Requirements Diagnosis

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

PeopleViews: Human Computation for Constraint-based Recommendation

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. ., p. 156-526

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
Computer programming languages
Curricula
Students

PURITY: a Planning-based secURITY testing tool

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

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. ., p. 78-84

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

Research output: Book/ReportAnthologyResearch

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. ., p. 335-347

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 369-442

Research output: Contribution to journalArticleResearchpeer-review

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, p. 113-127 (Lecture Notes in Computer Science; vol. 9128).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

RoboCup 2015: Robot World Cup XIX

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

Research output: Book/ReportBookResearch

SAT-Based Abductive Diagnosis

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

SAT-Based Abductive Diagnosis

Koitz, R., 2015.

Research output: Contribution to conferencePosterResearch

Scalable Incremental Test-case Generation from Large Behavior Models

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Scaling and Internationalizing an Agile FOSS Project: Lessons Learned

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Systematic strategies for 3-dimensional modular robots

De Parada Munoz, I. M., 2015

Research output: ThesisMaster's ThesisResearch

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. ., p. 150-157

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, Vol. 9447. p. 124-140 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The fine art of user-centered software development

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

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

The No One Left behind project

Petri, A. C., 2015.

Research output: Contribution to conferencePosterResearch

The Scarab Project

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 . p. 43-65

Research output: Contribution to journalArticleResearchpeer-review

Using constraints to diagnose faulty spreadsheets

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

Research output: Contribution to journalArticleResearchpeer-review

2014

16th International Workshop on Configuration

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

Research output: Book/ReportAnthologyResearch

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, p. 644-650

Research output: Contribution to journalArticleResearchpeer-review

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

Research output: Contribution to journalArticleResearchpeer-review

Active Diagnosis for Agents with Belief Management

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Active Diagnosis for Agents with Belief Management

Mühlbacher, C., 2014.

Research output: Contribution to conferencePosterResearchpeer-review

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. ., p. 404-409 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Applied Model-Based Diagnosis

Koitz, R., 2014.

Research output: Contribution to conferencePosterResearch

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 ed. Elsevier B.V., p. 9-19

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Attack Pattern-Based Combinatorial Testing

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 129-150

Research output: Contribution to journalArticleResearchpeer-review

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 ed. Berlin Heidelberg: Springer, p. 15-37

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Benefits of Configuration Systems

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

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Biases in Decision Making

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 317-332

Research output: Contribution to journalArticleResearchpeer-review

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Comparing Models for Spreadsheet Fault Localization

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

Research output: Contribution to conferencePosterResearch

Comparing Models for Spreadsheet Fault Localization

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Configuration Knowledge Representation and Reasoning

Hotz, L., Felfernig, A., Stumptner, M., Ryabokon, A., Bagley, C. & Wolter, K., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 41-72

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuration-Related Research Challenges

Felfernig, A., Hotz, L., Bagley, C. & Tiihonen, J., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 191-195

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuration-Related Topics

Felfernig, A., Hotz, L., Tiihonen, J. & Bagley, C., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 21-27

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Configuring Decision Tasks

Stettinger, M., Felfernig, A., Reiterer, S., Jeran, M., Ninaus, G. & Leitner, G., 2014, Workshop on Configuration. ., p. 17-21

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Conflict Detection and Diagnosis in Configuration

Felfernig, A., Reiterer, S., Reinfrank, F-C., Ninaus, G. & Jeran, M., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 ed. Elsevier B.V., p. 73-87

Research output: Chapter in Book/Report/Conference proceedingChapterResearch