• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2014

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

Functional Diagnosis of a SOA's BPEL Processes

Jehan, S., Hofer, B. G., Pill, I. H. & Wotawa, F., 2014.

Publikation: KonferenzbeitragPosterForschung

Functional Diagnosis of a SOA's BPEL Processes

Hofer, B. G., Jehan, S., Pill, I. H. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., S. 1-8

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

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2014.

Publikation: KonferenzbeitragPosterForschung

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Abreu, R., Perez, A. & Wotawa, F., 2014, European Conference on Artificial Intelligence. ., S. 1027-1028

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

Geodesic Order Types

Aichholzer, O., Korman, M., Pilz, A. & Vogtenhuber, B., 2014, in : Algorithmica. 70, S. 112-128

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Geodesic-preserving polygon simplification

Aichholzer, O., Hackl, T., Korman, M., Pilz, A. & Vogtenhuber, B., 2014, in : International Journal of Computational Geometry and Applications. 24, 4, S. 307-323

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Graph Drawings with Relative Edge Length Specifications

Aichholzer, O., Hoffmann, M., van Kreveld, M. & Rote, G., 2014, Canadian Conference on Computational Geometry. ., S. ---

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

Ham-Sandwich Cuts for Abstract Order Types

Felsner, S. & Pilz, A., 2014, International Symposium on Algorithms and Computation. Springer, Band 8889. S. 726-737 (Lecture Notes in Computer Science).

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

Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations

Peischl, B., Ferk, M. & Holzinger, A., 2014, International Joint Conference on e-Business and Telecommunications. ., S. 185-195

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

Open Access
Datei

Integration of Requirements Engineering and Test-Case Generation via OSLC

Aichernig, B., Hörmaier, K., Lorber, F., Nickovic, D., Schlick, R., Tiran, S. & Simoneau, D., 2014, 2014 14th International Conference on Quality Software. ., S. 117-126

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

IntelliReq: Intelligent Techniques for Software Requirements Engineering

Ninaus, G., Felfernig, A., Stettinger, M., Reiterer, S., Leitner, G., Weninger, L. & Schanil, W., 2014, Prestigious Applications of Intelligent Systems (PAIS). ., S. 1161-1166

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

Knowledge-Aware Execution of Programs in IndiGolog

Mühlbacher, C. & Steinbauer, G., 2014, (Angenommen/In Druck) International Workshop on Cognitive Robotics. .

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

Knowledge-based Configuration: From Research to Business Cases

Felfernig, A. (Hrsg.), Hotz, L. (Hrsg.), Bagley, C. (Hrsg.) & Tiihonen, J. (Hrsg.), 2014, 1 Aufl. Elsevier B.V.

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)Forschung

Knowledge-based Configuration: Motivation

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

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

Knowledge-based Configuration: Overview of the Book

Felfernig, A., Hotz, L., Tiihonen, J. & Bagley, C., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. ., S. 35-37

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

Life Sign Detection Based on Sound and Gas Measurements

Imlauer, S., Lassnig, K., Maurer, J. & Steinbauer, G., 2014, (Angenommen/In Druck) Austrian Robotics Workshop. .

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

Open Access
Datei

Linear Transformation Distance for Bichromatic Matchings

Aichholzer, O., Barba, L., Hackl, T., Pilz, A. & Vogtenhuber, B., 2014, Proceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14). ., S. 154-162

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

Lower bounds for the number of small convex k-holes

Aichholzer, O., Fabila-Monroy, R., Hackl, T., Huemer, C., Pilz, A. & Vogtenhuber, B., 2014, in : Computational geometry. 47, 5, S. 605-613

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Minimum Dual Diameter Triangulations

Korman, M., Stefan, L., Mulzer, W., Pilz, A. & Vogtenhuber, B., 2014, European Workshop on Computational Geometry. ., S. 0-0

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

Model-Based Mutation Testing of an Industrial Measurement Device

Aichernig, B., Auer, J., Jöbstl, E., Korosec, R., Krenn, W., Schlick, R. & Schmidt, B. V., 2014, Tests and Proofs. Springer, Band 8570. S. 1-9 (Lecture Notes in Computer Science).

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

Model-Based Mutation Testing with Constraint and SMT Solvers

Jöbstl, E., 2014

Publikation: StudienabschlussarbeitDissertationForschung

Open Access
Datei

Monotone Simultaneous Embedding of Directed Paths

Aichholzer, O., Hackl, T., Pilz, A., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2014, Collection of Abstracts of the 30th European Workshop on Computational Geometry 2014. ., S. 0-0

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

Non-Shellable Drawings of Kn with Few Crossings

Ábrego, B., Aichholzer, O., Fernández-Merchant, S., Ramos, P. & 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

On k-Convex Point Sets

Aichholzer, O., Aurenhammer, F., Hackl, T., Hurtado, F., Pilz, A., Ramos, P., Urrutia, J., Valtr, P. & Vogtenhuber, B., 2014, in : Computational geometry. 47, 8, S. 809-832

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On Order Types, Projective Classes, and Realizations

Scheucher, M., 2014

Publikation: StudienabschlussarbeitBachelorarbeitForschung

Open Access
Datei

On the Usage of Dependency-based Models for Spreadsheet Debugging

Hofer, B. G. & Wotawa, F., 2014, International Workshop on Software Engineering Methods in Spreadsheets. ., S. 1-4

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

Order types and cross-sections of line arrangements in R3

Aichholzer, O., Fabila-Monroy, R., Hurtado, F., Perez-Lantero, P., Ruiz-Vargas, A., Urrutia, J. & Vogtenhuber, B., 2014, (Kopie von) Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., S. online-only

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

Packing Plane Spanning Trees and Paths in Complete Geometric Graphs

Aichholzer, O., Hackl, T., Korman, M., van Kreveld, M., Löffler, M., Pilz, A., Speckmann, B. & Welzl, E., 2014, Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014. ., S. online-only

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

Personalized Configuration

Tiihonen, J., Felfernig, A. & Mandl, M., 2014, Knowledge-based Configuration: From Research to Business Cases. 1 Aufl. Elsevier B.V., S. 167-179

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

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