• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2015

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

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

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 Aufl. Elsevier B.V., S. 41-72

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

Configuration-Related Research Challenges

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

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

Configuration-Related Topics

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

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

Configuring Decision Tasks

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

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

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 Aufl. Elsevier B.V., S. 73-87

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

Consumer Decision-Making and Configuration Systems

Mandl, M., Felfernig, A. & Teppan, E., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 181-190

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

Content-based Recommendation Techniques in Requirements Engineering

Ninaus, G., Reinfrank, F-C., Stettinger, M. & Felfernig, A., 2014, First International Workshop on Artificial Intelligence for Requirements Engineering. ., S. 27-34

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

Covering Folded Shapes

Aichholzer, O., Aloupis, G., Demaine, E., Demaine, M., Fekete, S., Lubiw, A., Snoeyink, J., Winslow, A. & Hoffmann, M., 2014, in : Journal of Computational Geometry . 5, 1, S. 150-168

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Debugging with Timed Automata Mutations

Aichernig, B., Hörmaier, K. & Lorber, F. L., 2014, Computer Safety, Reliability, and Security. Bondavalli, A. & Di Giandomenico, F. (Hrsg.). Springer International Publishing AG , Band 8666. S. 49-64 (Lecture Notes in Computer Science).

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

Disseminating Ambient Assisted Living in the Rural Area

Leitner, G., Felfernig, A., Fercher, A. J. & Hitz, M., 2014, in : Sensors . 14, 8, S. 13496-13531

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Einführung in die angewandte Geometrie

Aichholzer, O., 2014, 1 Aufl. Basel: Bikhäuser. (Mathematik Kompakt)

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Embedding Four-directional Paths on Convex Point Sets

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2014, Proc. 22nd International Symposium on Graph Drawing (GD 2014). ., Band 8871. S. 355-366 (Lecture Notes in Computer Science (LNCS)).

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

Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers

Koitz, R. & Slany, W., 2014, PLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools. New York, NY, USA: Association of Computing Machinery, S. 21-30

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

Empty Monochromatic Simplices

Aichholzer, O., Fabila-Monroy, R., Hackl, T., Huemer, C. & Urrutia, J., 2014, in : Discrete & computational geometry. 52, 2, S. 362-393

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Evaluating the impact of robotics in education on pupils' skills and attitudes

Kandlhofer, M. & Steinbauer, G., 2014, Robotics in Education 2014. .

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

Failure Mode and Effect Analysis for Abductive Diagnosis

Wotawa, F., 2014, International Workshop on Defeasible and Ampliative Reasoning. ., S. 1-13

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

Field Report: Civil Protection Exercise Gas Storage

Steinbauer, G., Maurer, J. & Ciossek, A., 2014, (Angenommen/In Druck) IEEE International Symposium on Safety Security and Rescue Robotics. Institute of Electrical and Electronics Engineers

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

Flip Distance Between Triangulations of a Planar Point Set is APX-Hard

Pilz, A., 2014, in : Computational geometry. 47, S. 589-604

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Flips in combinatorial pointed pseudo-triangulations with face degree at most four

Aichholzer, O., Hackl, T., Orden, D., Pilz, A., Saumell, M. & Vogtenhuber, B., 2014, in : International Journal of Computational Geometry and Applications. 24, 3, S. 197-224

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL

Andrews, K. & Wright, B., 2014, Proc. Eurographics Conference on Visualization (EuroVis 2014). Eurographics, S. 43-47

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

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S., 2014, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, S. 626-635

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