• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2014

Plane graphs with parity constraints

Aichholzer, O., Hackl, T., Hoffmann, M., Pilz, A., Rote, G., Speckmann, B. & Vogtenhuber, B., 2014, in : Graphs and combinatorics. 30, 1, S. 47-69

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Plan It! Automated Security Testing Based on Planning

Bozic, J. & Wotawa, F., 2014, International Conference on Testing Software and Systems. ., S. 48-62

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

Playing Nine Men's Morris with the Humanoid Robot Nao

Bock, S., Klöbl, R., Hackl, T., Aichholzer, O. & Steinbauer, G., 2014, (Angenommen/In Druck) Austrian Robotics Workshop. .

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

PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill

Quaritsch, T. & Pill, I. H., 2014, International Workshop on Principles of Diagnosis. ., S. 1-5

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

R^3: Request a Rescue Robot

Steinbauer, G., Maurer, J. & Krajnz, H., 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

Reconstructing Point Set Order Types from Radial Orderings

Aichholzer, O., 2014, International Symposium on Algorithms and Computation. ., S. 15-26

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

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

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

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems

Tintarev, N., O'Donovan, J., Brusilovsky, P., Felfernig, A., Semeraro, G. & Lops, P., 2014, (Angenommen/In Druck) Proceedings of the ACM Conference on Recommender Systems. .

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

RecTurk: Constraint-based Recommendation based on Human Computation

Felfernig, A., Haas, S., Ninaus, G., Schwarz, M., Ulz, T., Stettinger, M., Isak, K., Jeran, M. & Reiterer, S., 2014, ACM RecSys'14 CrowdRec Workshop. ., S. 1-6

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

Redundancy Detection in Configuration Knowledge

Felfernig, A., Reinfrank, F-C., Ninaus, G. & Blazek, P., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. ., S. 157-165

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

Reprint of: Extreme points and halving edge search in abstract order types

Aichholzer, O., Miltzow, T. & Pilz, A., 2014, in : Computational geometry. S. 518-526

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Require, Test and Trace IT

Lorber, F. L., Aichernig, B., Tiran, S. & Nickovic, D., 2014, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

Retaining Consistency for Knowledge-based Security Testing

Bernauer, A., Bozic, J., Simos, D., Winkler, S. & Wotawa, F., 2014, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., S. 88-97

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

Risk-Aware Exploration

Maurer, J. & Steinbauer, G., 2014, (Angenommen/In Druck) euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS. .

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

Sales Configurator Information Systems Design Theory

Tiihonen, J., Männistö, T. & Felfernig, A., 2014, Workshop on Configuration. ., S. 67-74

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

Security Testing Based on Attack Patterns

Bozic, J. & Wotawa, F., 2014, The 5th International Workshop on Security Testing (SECTEST). ., S. 1-8

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

Shellable drawings and the cylindrical crossing number of K_n

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, in : Discrete & computational geometry. 52, 4, S. 743-573

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Shellable drawings and the cylindrical crossing number of Kn

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, in : Discrete & computational geometry. 52, S. 743-753

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

SOA Testing Via Random Paths in BPEL Models

Jehan, S., Pill, I. H. & Wotawa, F., 2014, IEEE International Conference on Software Testing, Verification and Validation. ., S. 260-263

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

Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality

Hofer, B. G., 2014, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops. ., S. 263-268

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

Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions

Aichholzer, O., Hackl, T., Huber, S. & Vogtenhuber, B., 2014, Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., S. online-only

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

Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java

Galler, S. J. & Aichernig, B., 2014, in : International journal on software tools for technology transfer. 16, 6, S. 753-773

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

TEDUSAR White Book - State of the Art in Search and Rescue Robots

Maurer, J., Steinbauer, G., Lepej, P. & Uran, S., 2014, .

Publikation: Buch/Bericht/KonferenzbandBericht für AuftraggeberForschung

Open Access
Datei

Testing Configuration Knowledge-Bases

Wotawa, F. & Pill, I. H., 2014, Proceedings of the 16th International Configuration Workshop. ., S. 39-46

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

Testing Methods Used in the Automotive Industry: Results from a Survey

Altinger, H., Wotawa, F. & Schurius, M., 2014, The second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14). ., S. 1-6

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

Theta-3 is connected

Aichholzer, O., Bae, S. W., Barba, L., Bose, P., Korman, M., Renssen, A., Taslakian, P. & Verdonschot, S., 2014, in : Computational geometry. 47, 9, S. 910-917

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Tool-supported fault localization in spreadsheets: Limitations of current research practice

Hofer, B. G., Jannach, D., Schmitz, T., Shchekotykhin, K. & Wotawa, F., 2014, International Workshop on Software Engineering Methods in Spreadsheets. ., S. 1-2

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

Towards Autonomous Manipulation in RoboCup Rescue

Nitsch, J., Buchegger, A., Koert, D., Rose, C., Maurer, J., Kohlbrecher, S., Von Stryk, O. & Steinbauer, G., 2014, (Angenommen/In Druck) 18th annual RoboCup International Symposium. .

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

Towards Open Configuration

Felfernig, A., Stettinger, M., Ninaus, G., Reiterer, S., Jeran, M., Falkner, A., Tiihonen, J. & Leitner, G., 2014, Workshop on Configuration. ., S. 89-94

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

User Interfaces for Configuration Environments

Leitner, G., Felfernig, A., Blazek, P., Reinfrank, F-C. & Ninaus, G., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 89-106

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

Using Answer Set Programming for Feature Model Representation and Configuration

Myllärniemi, V., Raatikainen, M., Tiihonen, J. & Felfernig, A., 2014, Workshop on Configuration. ., S. 1-8

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, (Angenommen/In Druck) AAAI Spring Symposium Series. .

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

Using Common Sense Invariants in Belief Management for Autonomous Agents

Mühlbacher, C. & Steinbauer, G., 2014, Modern Advances in Applied Intelligence. ., S. 49-59 (Lecture notes in computer science; Band 8481).

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

WeeVis

Felfernig, A., Reiterer, S., Blazek, P., Leitner, G., Reinfrank, F-C. & Ninaus, G., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 297-307

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

What Stakeholders Need to Know About Requirements

Maalej, W., Kurtanovic, Z. & Felfernig, A., 2014, 4th IEEE International Workshop on Empirical Requirements Engineering. ., S. 1-8

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

Why does my spreadsheet compute wrong values?

Hofer, B. G. & Wotawa, F., 2014, International Symposium on Software Reliability Engineering. ., S. 112-121

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

2013

(Re-)configuration of Communication Networks in the Context of M2M Applications

Nica, I-D. & Wotawa, F., 2013, Proceedings of the International Configuration Workshop. ., S. 101-108

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

A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, J., 2013, Robotics in Education 2013. .

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

Akzeptanz von Location Based Services im Einzelhandel

Koitz, R., 2013

Publikation: StudienabschlussarbeitDiplomarbeitForschung

And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013, International Workshop on Principles of Diagnosis. ., S. 210-215

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

And Yet Another Variant of Reiter's Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013.

Publikation: KonferenzbeitragPosterForschung

An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems

Zaman, S., Steinbauer, G., Maurer, J., Lepej, P. & Uran, S., 2013, (Angenommen/In Druck) International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers

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

An Overview of Recommender Systems in Requirements Engineering

Felfernig, A., Ninaus, G., Grabner, H., Reinfrank, F-C., Weninger, L., Pagano, D. & Maalej, W., 2013, Managing Requirements Knowledge. 1 Aufl. Springer, S. 315-332

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

A Scratch-like visual programming system for Microsoft Windows Phone 8

Harzl, A., Neidhöfer, P., Rock, V., Schafzahl, M. & Slany, W., 2013, Promoto ’13. ., S. 0-0

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

Automated Analysis in Feature Modelling and Product Configuration

Reinfrank, F-C., Felfernig, A., Benavides, D. & Galindo, J. A., 2013, Safe and Secure Software Reuse. Springer, S. 160-175

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

Automated Generation of Diagnosis Models for ROS-based Robot Systems

Zaman, S. & Steinbauer, G., 2013, (Angenommen/In Druck) International Workshop on Principles of Diagnosis. .

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

Automated Repair of Scoring Rules in Constraint-based Recommender Systems

Felfernig, A., Schippel, S., Leitner, G., Reinfrank, F-C., Isak, K., Mandl, M., Blazek, P. & Ninaus, G., 2013, in : AI Communications. 26, 2, S. 15-27

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Automated Shift Design and Break Scheduling

Di Gaspero, L., Gaertner, J., Musliu, N., Schaerf, A., Schafhauser, W. & Slany, W., 2013, Automated Scheduling and Planning. 1 Aufl. Springer, Band 505. S. 109-127 (Studies in Computational Intelligence).

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

Automated Test Case Generation in End-User Programming

Musliu, N., Slany, W. & Gaertner, J., 2013, End-User Development - 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings. Springer, S. 272-277

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

Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems

Zaman, S. & Steinbauer, G., 2013, (Angenommen/In Druck) Austrian Robotics Workshop. .

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