• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2015

Maintaining constraint-based Configuration systems: Challenges ahead

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

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

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, p. 237-248

Research output: Contribution to journalArticleResearchpeer-review

Model-Based Mutation Testing via Symbolic Refinement Checking

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

Research output: Contribution to journalArticleResearchpeer-review

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

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

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, p. 87-110

Research output: Contribution to journalArticleResearchpeer-review

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, p. 14-29

Research output: Contribution to journalArticleResearchpeer-review

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, p. 528-537

Research output: Contribution to journalArticleResearchpeer-review

On the computational feasibility of abductive diagnosis for practical applications

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

Research output: Contribution to journalArticleResearchpeer-review

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, p. 47-74

Research output: Contribution to journalArticleResearchpeer-review

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

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

Open Access

On the Importance of Subtext in Recommender Systems

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

Research output: Contribution to journalArticleResearch

Orthogeodesic Point Set Embeddings of Outerplanar Graphs

Scheucher, M., 2015

Research output: ThesisMaster's ThesisResearch

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

Research output: Contribution to conferencePosterResearch

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

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