• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2017

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

Hofer, B., 2017, 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops. IEEE Computer Society, p. 199-206 8 p.

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

Routing in Polygonal Domains

Banyassady, B., Chiu, M-K., Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, 28th International Symposium on Algorithms and Computation (ISAAC 2017). Okamoto, Y. & Tokuyama, T. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 92. p. 10:1-10:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Labels
Visibility

Routing in Polygonal Domains

Banyassady, B., Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, Proceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017). Tokyo, Japan, p. 88-89 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Routing in Simple Polygons

Korman, M., Mulzer, W., Renssen, A. V., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B. & Willert, M., 2017, Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017). Malmö, Sweden, p. 17-20 4 p.

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

Labels
Distributed computer systems
Routing algorithms

Statistical Model Checking Meets Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). IEEE Computer Society, p. 390-400

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

Model checking
Testing
Stochastic models
Statistical Models
Computer programming languages

Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts

Lichtenegger, G. J., Maier, M., Hackl, M., Khinast, J. G., Goessler, W., Griesser, T., Kumar, V. S. P., Gruber-Woelfler, H. & Deshpande, P. A., Jan 2017, In : Journal of molecular catalysis / A. 426, p. 39-51

Research output: Contribution to journalArticleResearchpeer-review

Synthesizing Non-Vacuous Systems

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation. Bouajjani, A. & Monniaux, D. (eds.). Cham: Springer International Publishing AG , p. 55-72 18 p.

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

Specifications
Model checking
Hardware

Task-Dependent Configuration of Robotics Systems

Pagonis, A., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

Wotawa, F., 2017, Automated Driving. Horn, M. & Watzenig, D. (eds.). Springer, p. 519-532

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2016

Abductive Diagnosis based on Modelica Models

Peischl, B. J., Pill, I. P. & Wotawa, F., 2016, 27th International Workshop on Principles of Diagnosis. 8 p.

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

Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies

Shafiee, S., Kristjansdottir, K., Hvam, L., Felfernig, A. & Myrodia, A., 31 Dec 2016, IEEE International Conference on Industrial Engineering and Engineering Management. IEEE Computer Society, p. 1-10 10 p.

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

An Automated (F) LTL Test Oracle for Testing with Requirements

Pill, I. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, p. 197-204 8 p.

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

A new meta-module for efficient reconfiguration of hinged-units modular robots

De Parada Munoz, I. M., Sacristán, V. & Silveira, R. I., 2016, Proceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016). Institute of Electrical and Electronics Engineers, p. 5197-5202

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

An extension of CHOICLA User Interfaces for Configurable Products

Tran, T., Atas, M., Stettinger, M. & Felfernig, A., 31 Dec 2016, RS-BDA'16 Workshop. Graz

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

File
User interfaces
Decision making

An improved lower bound on the minimum number of triangulations

Aichholzer, O., Alvarez, V., Hackl, T., Pilz, A., Speckmann, B. & Vogtenhuber, B., 1 Jun 2016, 32nd International Symposium on Computational Geometry, SoCG 2016. Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Vol. 51. p. 7.1-7.16

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

Triangulation

An improved lower bound on the number of triangulations

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Alvarez, V. & Speckmann, B., 2016, Proceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics. 51 ed. p. 7:1-7:16

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., Valtr, P. & Vogtenhuber, B., 2016, Discrete and Computational Geometry and Graphs. JCDCGG 2015.. Akiyama, J., Ito, H., Sakai, T. & Uno, Y. (eds.). Springer, Cham, Vol. 9943. p. 1-12 12 p. (Lecture Notes in Computer Science (LNCS)).

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

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 19 Jun 2016.

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

Application of Constraint-based Technologies in Financial Services Recommendation: none

Felfernig, A., 1 Jun 2016, 2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16): none. Bari, p. 22-23 2 p.

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

Artificial Intelligence and Computer Science in Education

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016.

Research output: Contribution to conferenceAbstractResearchpeer-review

Artificial Intelligence and Computer Science in Education: From Kindergarten to University

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Huber, P., 2016, IEEE Conference on Frontiers in Education (FIE) 2016.

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

A survey on software fault localization

Wong, W. E., Gao, R., Li, Y., Abreu, R. & Wotawa, F., 1 Aug 2016, In : IEEE Transactions on Software Engineering. 42, 8, p. 707-740 34 p., 7390282.

Research output: Contribution to journalReview articleResearchpeer-review

Program debugging

Belief Management using the Action History and Consistency-Based-Diagnosis

Mühlbacher, C. & Steinbauer, G., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Classifying test suite effectiveness via model inference and ROBBDs

Felbinger, H., Pill, I. & Wotawa, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag Italia, Vol. 9762. p. 76-93 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

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

Boolean functions
Binary decision diagrams
Learning systems
Boolean Functions
Specifications

Combining FOSS and Kanban: An action research

Harzl, A., 2016, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 472. p. 71-84 14 p. (IFIP Advances in Information and Communication Technology; vol. 472).

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

Open source software
Kanban
Agile software development
Software

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).

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

Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems: no subtitle

Walter, R., Küchlin, W. & Felfernig, A., 31 Dec 2016, In : Journal of Intelligent Information Systems. 1, 1, p. 1-32 32 p., 2.

Research output: Contribution to journalArticleResearchpeer-review

Controlling logistics robots with the action-based language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemueller, T., Steinbauer, G. & Vassos, S., 2016, Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag, p. 525-537 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9834).

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

Logistics
Robot
Robots
Programming
Reactive Oxygen Species
Electromagnetic waves
Redundancy
Internet of things
Hot Temperature

Diagnosis makes the difference for a successful execution of high-level robot control programs

Mühlbacher, C. & Steinbauer, G., 2016, Intelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 2014. Springer Verlag, Vol. 302. p. 1119-1132 14 p. (Advances in Intelligent Systems and Computing; vol. 302).

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

Robots
Fault tolerance
Repair

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, In : The journal of logic and algebraic programming. 85, 5, Part 2, p. 806-823 18 p., 85:5,Part 2.

Research output: Contribution to journalArticleResearchpeer-review

Einsatz von Gruppenempfehlungssystemen

Nungesser, S., Eixelsberger, W., Felfernig, A., Stettinger, M., Reiterer, S. & Jeran, M., 31 Dec 2016, In : Tourismus Wissen Quarterly. 5, p. 1-4 4 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment

Felbinger, H., Wotawa, F. & Nica, M., 2016. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

Engaging and playful activities with smartphones in school contexts

Petri, A. C. & Spieler, B., 5 Aug 2016.

Research output: Contribution to conference(Old data) Lecture or PresentationResearchpeer-review

Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels

Leingartner, M., Maurer, J., Ferrein, A. & Steinbauer, G., 2016, In : Journal of field robotics. 33, 8, p. 1037-1057

Research output: Contribution to journalArticleResearchpeer-review

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

Koitz, R. & Wotawa, F., 2016, (In preparation) Proceedings of the 27th International Workshop on Principles of Diagnosis (DX). p. 1-7 7 p.

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

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016, p. 330. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Fungi
Robots
Communication

Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers

Koitz, R., 28 Apr 2016, 170 p.

Research output: ThesisMaster's ThesisResearch

Computer programming languages
Education
Computer science
Chemical analysis
Smartphones

Fragment-Based Diagnosis of Spreadsheets

Schmitz, T., Hofer, B., Jannach, D. & Wotawa, F., 2016, Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop). 9946 ed. Vol. Lecture Notes in Computer Science. p. 372-387 16 p.

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

FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis?

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Game Design with Pocket Code: Providing a Constructionist Environment for Girls in the School Context

Petri, A. C., Schindler, C., Slany, W. & Spieler, B., Feb 2016, p. 111 - 118. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
school
Austria
learning
pupil
learning environment

Geometric achromatic and pseudoachromatic indices

Aichholzer, O., Araujo-Pardo, G., García-Colín, N., Hackl, T., Lara, N., Rubio-Montinel, C. & Urrutia, J., 2016, In : Graphs and combinatorics. p. 431-451

Research output: Contribution to journalArticleResearchpeer-review

Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy

Mühlbacher, C. & Steinbauer, G., 16 May 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots

Imlauer, S., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 14 Jun 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Holes in two convex point set

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B., Ramos, P., Balko, M. & Valtr, P., 2016, Proceedings of European Workshop on Computational Geometry 2016. p. 263-266

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

Human Computation for Constraint-based Recommenders

Ulz, T., Schwarz, M., Felfernig, A., Haas, S., Shehadeh, A., Reiterer, S. & Stettinger, M., 31 Dec 2016, In : Journal of Intelligent Information Systems. 1, 1, p. 1-21 21 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Human Interaction with Artificial Advice Givers

Tintarev, N., O'Donovan, J. & Felfernig, A., 2 Jul 2016, In : ACM Transactions on Interactive Intelligent Systems. 6, 4, p. 1-10 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Human Interaction with Artificial Advice Givers: no subtitle

Tintarev, N., O'Donovan, J. & Felfernig, A., 31 Dec 2016, In : ACM Transactions on Interactive Intelligent Systems. 6, 4, p. 1-10 10 p., 6.

Research output: Contribution to journalArticleResearchpeer-review

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach

Koitz, R. & Wotawa, F., 13 Sep 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR WS Proceedings, Vol. Vol-1626. 9 p.

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

Open Access
Structural properties
Computational complexity
Classifiers
Experiments

Improving Dependability of Industrial Transport Robots Using Model-Based Techniques

Mühlbacher, C., Reip, M., Gspandl, S. & Steinbauer, G., 16 May 2016.

Research output: Contribution to conferencePaperResearchpeer-review