• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2017

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites

Felbinger, H., Wotawa, F. & Nica, M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. Institute of Electrical and Electronics Engineers, S. 171-180 10 S. 7899053

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

On semi-simple drawings of the complete graph

Aichholzer, O., Ebenführer, F., Parada, I., Pilz, A. & Vogtenhuber, B., 2017, Proc. XVII Encuentros de Geometría Computacional. Alicante, Spain, S. 25-28 4 S.

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

OpenReq: Recommender Systems in Requirements Engineering

Felfernig, A., Stettinger, M., Falkner, A., Atas, M., Franch, X. & Palomares, C., 15 Okt 2017, S. 1-4. 4 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

engineering
telecommunication
software
project
decision

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., 1 Aug 2017, in : Information Processing Letters. 124, S. 35-41 7 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Geometric Graphs
Spanning tree
Complete Graph
Packing
Path

Perfect $k$-colored matchings and $k+2$-gonal tilings

Aichholzer, O., Andritsch, L., Baur, K. & Vogtenhuber, B., 2017, Proc. $33^rd$ European Workshop on Computational Geometry EuroCG '17. Malmö, Sweden, S. 81-84 4 S.

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

Planning-Based Security Testing of the SSL/TLS Protocol

Bozic, J., Kleine, K., Simos, D. E. & Wotawa, F., 2017, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

Planning
Testing
Insurance
Specifications
Defects

Planning the Attack! Or How to use AI in Security Testing?

Bozic, J. & Wotawa, F., 2017, First International Workshop on AI in Security (IWAIse).

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

Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs

Ebner, M., Janisch, S., Höllerbauer, B., Grandl, M. & Slany, W., 3 Apr 2017, fnma-Magazin, 01/2017, S. 16-19.

Publikation: Beitrag in Zeitung/MagazinArtikelForschung

Probabilistic Black-Box Reachability Checking

Aichernig, B. & Tappler, M., Sep 2017, Runtime Verification, 17th International Conference. Springer International Publishing AG , S. 50-67 18 S. (Lecture Notes in Computer Science; Band 10548).

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

Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models

Aichernig, B. K. & Schumi, R. A., 2017, in : Software and Systems Modeling.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Business Rules
Web services
Web Services
Testing
Industry

Property-Based Testing with External Test-Case Generators

Aichernig, B. K., Marcovic, S. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, S. 337-346

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

Testing
World Wide Web
Web services

Qualitative Deviation Models for Spreadsheet Debugging

Hofer, B., Nica, I. & Wotawa, F., 2017, 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops. IEEE Computer Society, S. 191-198 8 S.

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

Open Access

Recommendation Technologies for IoT Edge Devices

Felfernig, A., Polat Erdeniz, S., Jeran, M. & Akcay, A., 2017, International Workshop on Internet of Things: Networking Applications and Technologies. S. 504-509 6 S.

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

Gateways (computer networks)
Network protocols
Internet of things

RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017)

Brusilovsky, P., Felfernig, A., Lops, P., O'Donovan, J., Semeraro, G., Tintarev, N. & Willemsen, M., 10 Okt 2017, S. 1-2. 2 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, S. 199-206 8 S.

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

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, S. 88-89 2 S.

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

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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 92. S. 10:1-10:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Labels
Visibility

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, S. 17-20 4 S.

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

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, S. 390-400

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

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, S. 39-51

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Synthesizing Non-Vacuous Systems

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

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

Specifications
Model checking
Hardware

Task-Dependent Configuration of Robotics Systems

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

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

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

Testing TLS Using Combinatorial Methods and Execution Framework

Simos, D. E., Bozic, J., Duan, F., Garn, B., Kleine, K., Lei, Y. & Wotawa, F., 2017, IFIP International Conference on Testing Software and Systems (ICTSS'17).

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

2016

Abductive Diagnosis based on Modelica Models

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

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

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

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

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

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, S. 197-204 8 S.

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

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, S. 5197-5202

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

An extension of CHOICLA User Interfaces for Configurable Products

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

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

Datei
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, Band 51. S. 7.1-7.16

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

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 Aufl. S. 7:1-7:16

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

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. (Hrsg.). Springer, Cham, Band 9943. S. 1-12 12 S. (Lecture Notes in Computer Science (LNCS)).

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

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

Felfernig, A., 19 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

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, S. 22-23 2 S.

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

Artificial Intelligence and Computer Science in Education

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

Publikation: KonferenzbeitragAbstractForschungBegutachtung

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.

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

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, S. 707-740 34 S., 7390282.

Publikation: Beitrag in einer FachzeitschriftReview eines Fachbereichs (Review article)ForschungBegutachtung

Program debugging

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, Band 9762. S. 76-93 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9762).

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

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, Band 472. S. 71-84 14 S. (IFIP Advances in Information and Communication Technology; Band 472).

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

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, Band 9660. S. 15-32 18 S. (Lecture Notes in Computer Science).

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

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

Walter, R., Küchlin, W. & Felfernig, A., 31 Dez 2016, in : Journal of Intelligent Information Systems. 1, 1, S. 1-32 32 S., 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 525-537 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9834).

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

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, Band 302. S. 1119-1132 14 S. (Advances in Intelligent Systems and Computing; Band 302).

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

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, S. 806-823 18 S., 85:5,Part 2.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Einsatz von Gruppenempfehlungssystemen

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Engaging and playful activities with smartphones in school contexts

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

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

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, S. 1037-1057

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung