• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2015

Analyzing the Reduction of Test Suite Redundancy

Pill, I. H., Jehan, S., Wotawa, F. & Nica, M., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 65-65

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

An Autonomous Forklift for Battery Change in Electrical Vehicles

Kaltner, S., Gugler, J., Wonisch, M. & Steinbauer, G., 2015, (Accepted/In press) Austrian Robotics Workshop. .

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

A new meta-module for efficient robot reconfiguration

Parada, I., Sacristán, V. & Silveira, R. I., 2015, Abstracts XVI Spanish Meeting on Computational Geometry. ., p. 49-52

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

Open Access
File

An optimal algorithm for reconstructing point set order types from radial orderings

Aichholzer, O., Pilz, A., Mulzer, W., Wettstein, M. & Kusters, V., 2015, An optimal algorithm for reconstructing point set order types from radial orderings. ., p. 505-516

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

A note on the number of general 4-holes in perturbed grids

Aichholzer, O., Hackl, T., Vogtenhuber, B. & Valtr, P., 2015, A note on the number of general 4-holes in perturbed grids. ., p. 68-69

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

Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing

Bozic, J., Garn, B., Kapsalis, I., Simos, D. E., Winkler, S. & Wotawa, F., 2015, (Accepted/In press) Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15), 2015.. .

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

Open Access
File

Automatic Model Generation to Diagnose Autonomous Systems

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

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

A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain

Reiterer, S., Felfernig, A., Stettinger, M., Wundara, M. & Eixelsberger, W., 2015, 3rd Workshop on PErsonalization in eGOVernment and Smart Cities: Smart Services for Smart Territories. ., p. 1-10

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

Bounded Determinization of Timed Automata with Silent Transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Vol. 9268. p. 288-304 (Lecture Notes in Computer Science; vol. 9268).

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

Bounded Determinization of Timed Automata with Silent Transitions

Rosenmann, A., Lorber, F. L., Nickovic, D. & Aichernig, B., 2015, .

Research output: Book/ReportOther reportResearch

Open Access
File

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .

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

Case Study: Automatic Test Case Generation for a Secure Cache Implementation

Bloem, R. P., Hein, D., Röck, F. & Schumi, R. A., 2015, (Accepted/In press) International Conference on Tests And Proofs. .

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

Characterization of extremal antipodal polygons

Aichholzer, O., Caraballo, L., Fabila-Monroy, R., Ochoa, C., Nigsch, P. A. & Diaz-Banez, J. M., 2015, In : Graphs and combinatorics. 31, p. 321-333

Research output: Contribution to journalArticleResearchpeer-review

Children discover science: robotics, informatics and artificial intelligence in kindergarten and school

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, H., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Combining Kanban and FOSS: Can it work?

Harzl, A., 2015, Agile Processes, in Software Engineering, and Extreme Programming. ., p. 352-353

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

Conflict Management for Constraint-based Recommendation

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

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

Conflict Management in Interactive Financial Service Selection

Felfernig, A. & Stettinger, M., 2015, 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15). CEUR Proceedings, p. 3-10

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

Constraint-based Recommender Systems

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2015, Recommender Systems Handbook. 2nd Edition ed. Springer, p. 161-191

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Controlling Logistics Robots with the Action-based Language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemüller, T., Steinbauer, G. & Vassos, S., 2015, (Accepted/In press) IROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing. .

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

Counteracting Anchoring Effects in Group Decision Making

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, User Modeling, Adaptation and Personalization. Springer, Vol. 9146. p. 118-130 (Lecture notes in computer science).

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

Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, (Accepted/In press) ACM Conference on Intelligent User Interfaces. Association of Computing Machinery

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

Deciding monotonicity of good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B. & Salazar, G., 2015, Encuentros de Geometría Computacional. ., p. 33-36

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

Designing for Engaging BCI Training: A Jigsaw Puzzle

Pammer-Schindler, V., Simon, J. P., Wilding, K., Keller, S. & Scherer, R., 2015, CHI PLAY '15. New York, NY: Association of Computing Machinery, p. 667-672

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

Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education

Spieler, B., 2015, Studies in Health Technology and Informatics. IOS Press, Vol. Volume 212. p. 182-189 (eHealth2015 – Health Informatics Meets eHealth).

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

Diagnosis of Technical Systems

Koitz, R. & Wotawa, F., 2015, Proceedings of the International Joint Conference on Artificial Intelligence 2015. ., p. 4375-4376

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

Diagnosis of Technical Systems

Koitz, R., 2015.

Research output: Contribution to conferencePosterResearch

Disjoint compatibility graph of non-crossing matchings of points in convex position

Aichholzer, O., Asinowski, A. & Miltzow, T., 2015, In : The electronic journal of combinatorics. 22, 1, p. 1-53 Paper #P1.65.

Research output: Contribution to journalArticleResearchpeer-review

Embedding Four-directional Paths on Convex Point Sets

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2015, In : Journal of Graph Algorithms and Applications . 19, 2, p. 743-759

Research output: Contribution to journalArticleResearchpeer-review

Empfehlungstechnologien in der Öffenlichen Verwaltung

Reiterer, S., Wundara, M. & Felfernig, A., 2015, In : eGovernment review. p. 18-19

Research output: Contribution to journalArticleResearch

Empty triangles in good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Ramos, P., Sacristán, V. & Vogtenhuber, B., 2015, In : Graphs and combinatorics. 31, 2, p. 335-345

Research output: Contribution to journalArticleResearchpeer-review

Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center

Stopforth, R., 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

Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing

Bozic, J., Garn, B., Simos, D. E. & Wotawa, F., 2015, (Accepted/In press) Eighth International Conference on Software Testing, Verification and Validation Workshops. .

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

Open Access
File

Fault Localization in the Light of Faulty User Input

Hofer, B. G. & Wotawa, F., 2015, Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15). ., p. 282-291

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

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms

Koitz, R. & Wotawa, F., 2015, Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning. ., p. 1-7

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

FlexDiag: AnyTime Diagnosis for Reconfiguration

Felfernig, A., Walter, R. & Reiterer, S., 2015, (Accepted/In press) International Workshop on Configuration. .

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

Flip Distance Between Triangulations of a Simple Polygon is NP-Complete

Aichholzer, O., Pilz, A. & Mulzer, W., 2015, In : Discrete & computational geometry. 2;54, p. 368-389

Research output: Contribution to journalArticleResearchpeer-review

Focussed Diagnosis for Failing Software Tests

Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., p. 712-721

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

Folding Polyominoes into Poly(Cubes)

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

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

Fostering Knowledge Exchange Using Group Recommendations

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

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

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). ., p. 197-205

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

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, p. 27-34

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

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 ed. Springer, p. 619-655

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

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

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

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

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

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

Incremental Model-based Mutation Testing

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

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

Intelligent Techniques for Configuration Knowledge Evolution

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

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

Intelligent Techniques for the Maintainance of Constraint-based systems

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

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

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

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

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

Killing Bugs in a Black Box with Model-based Testing

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

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