• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2016

Pocket Code – Freier Online-Kurs für Kinder

Janisch, S., Ebner, M. & Slany, W., 13 Okt 2016, Schule aktiv!, S. 43-46.

Publikation: Beitrag in Zeitung/MagazinArtikelForschung

Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools

Burgsteiner, H., Kandlhofer, M. & Steinbauer, G., 2016.

Publikation: KonferenzbeitragPosterForschungBegutachtung

Preface

Friedrich, G., Helmert, M. & Wotawa, F., 2016, Proceedings of the 28th International Conference on Testing Software and Systems. Springer, Band 9904 LNAI. S. V-VI

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschungBegutachtung

Programmieren für Kinder

Janisch, S., Slany, W. & Ebner, M., 20 Mai 2016, in : LA-Multimedia. 2, 2016, S. 40-41

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Property-based Testing with FsCheck by Deriving Properties from Business Rule Models

Aichernig, B. K. & Schumi, R., 2016, Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, S. 219-228 10 S.

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

Recommendation Technologies for Configurable Items: none

Felfernig, A., 1 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Recommendation Technologies for Configurable Products: none

Felfernig, A., 1 Jun 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Recommender Systems for Health Informatics: State-of-the-Art and Future Perspectives

Calero-Valdez, A., Ziefle, M., Verbert, K., Felfernig, A. & Holzinger, A., 31 Dez 2016, in : Lecture notes in computer science. 9605, S. 1-24 24 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Recommending and Configuring Smart Home Installations

Leitner, G., Fercher, A., Felfernig, A., Isak, K., Polat Erdeniz, S., Akcay, A. & Jeran, M., 31 Dez 2016, International Workshop on Configuration 2016 (ConfWS'16): none. Toulouse, S. 17-22 6 S.

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

Reconstructing Point Set Order Types from Radial Orderings

Aichholzer, O., Cardinal, J., Kusters, V., Langerman, S. & Valtr, P., 2016, in : International Journal of Computational Geometry and Applications. 26, 3/4, S. 167-184 18 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)

Brusilovsky, P., Felfernig, A., Lops, P., O'Donovan, J., Semeraro, G., Tintarev, N. & Willemsen, M., 31 Dez 2016, ACM RecSys 2016 Workshops. S. 1-2 2 S.

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

Request a Rescue Robot (R-CUBED)

Steinbauer, G., Lichtenegger, G. C. & Maurer, J., 2016, Graz: .

Publikation: Buch/Bericht/KonferenzbandBericht für AuftraggeberForschung

Open Access
Datei

Require, test, and trace IT

Aichernig, B. K., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 29 Nov 2016, in : International journal on software tools for technology transfer.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS

Mühlbacher, C., Steinbauer, G., Haas, S., Ulz, T., Wallner, M. & Keskic, D., 29 Feb 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Pill, I., Rubil, I., Wotawa, F. & Nica, M., 1 Aug 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers, S. 168-173 6 S. 7528959

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

Testing
Security systems
Chemical activation
Availability
Industry

Skater Alice: Wie kann Medienbildung im Schulalltag gelingen?

Spieler, B. & Strauß, M., Nov 2016.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschungBegutachtung

Static Spreadsheet Analysis

Koch, P. W., Hofer, B. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops: International Workshop on Program Debugging (IWPD). S. 167-174 8 S.

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

StudyBattles: A Learning Environment for Knowledge-based Configuration

Felfernig, A., Shehadeh, A., Jeran, M., Gütl, C., Tran, T., Atas, M., Polat Erdeniz, S., Stettinger, M., Akcay, A. & Reiterer, S., 31 Dez 2016, International Workshop on Configuration 2016: none. Toulouse, S. 109-116 8 S.

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

E-learning
Sales
Engineers

Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots

Mühlbacher, C., Steinbauer, G. & Loigge, S., Aug 2016, S. 298-300.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. S. 3-19 17 S. (Electronic Notes in Theoretical Computer Science; Band 320).

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

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

Braud-Santoni, N., Bloem, R. & Jacobs, S., 17 Jun 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access
Datei
Parallel algorithms
Stabilization
Temporal logic
Specifications
Formal specification

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, S. 17-24. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Temporal logic
Specifications
Testing

Testing computer vision applications an experience report on introducing code coverage analysis in the field

Nica, I., Wotawa, F., Jakob, G. & Juhart, K., 2016, S. 15-21. 7 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Computer vision
Testing
Quality assurance
Software engineering

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

Wotawa, F., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, S. 305-310 6 S. 7573762

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

Adaptive systems
Testing

Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Aichernig, B. K. (Hrsg.) & Furia, C. A. (Hrsg.), 2016, Springer Verlag. (Lecture Notes in Computer Science)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test

Felbinger, H., Wotawa, F. & Nica, M., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, S. 23-30 8 S. 7573720

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

Software testing
Fault detection
Redundancy

The Educational Robotics Landscape Exploring Common Ground and Contact Points

Lammer, L., Vincze, M., Kandlhofer, M. & Steinbauer, G., 2016, in : Advances in Intelligent Systems and Computing. 457, S. 105-111

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

The Educational Robotics Landscape Exploring Common Ground and Contact Points

Lammer, L., Vincze, M., Kandlhofer, M. & Steinbauer, G., 2016, International Conference on Robotics in Education 2016.

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

The role of game jams in developing informal learning of computational thinking: a cross-European case study

Boulton, H., Spieler, B., Petri, A. C., Schindler, C., Slany, W. & Beltrán, M. E., Jul 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

informal learning
experience
learning
learning situation
programming language

Towards Configuration Technologies for IoT Gateways

Felfernig, A., Polat Erdeniz, S., Azzoni, P., Jeran, M., Akcay, A. & Doukas, C., 31 Dez 2016, International Workshop on Configuration 2016: none. Toulouse, S. 73-76 4 S.

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

Towards Group-based Configuration: no subtitle

Felfernig, A., Atas, M., Tran, T. & Stettinger, M., 31 Dez 2016, International Workshop on Configuration 2016: no subtitle. Tououse, S. 69-72 4 S.

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

Datei
Planning

Towards Integrating Statistical Model Checking into Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2016, 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, S. 71-76 6 S.

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

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Band 9904 LNAI. S. 185-191 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9904 LNAI).

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

Modelica
Horn clause
Abduction
Fault
Deviation
2015

$(n,m)$-Fold Covers of Spheres

Bárány, I., Fabila-Monroy, R. & Vogtenhuber, B., 2015, in : Proceedings of the Steklov Institute of Mathematics. 288, S. 203-208 6 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)

Felfernig, A. (Hrsg.), Tiihonen, J. (Hrsg.) & Blazek, P. (Hrsg.), 2015, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

3-Colorability of Pseudo-Triangulations

Aichholzer, O., Aurenhammer, F., Hackl, T., Pilz, A., Vogtenhuber, B. & Huemer, C., 2015, in : International Journal of Computational Geometry and Applications. S. 283-298

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

A Goal-Question-Metrics Model for Configuration Knowledge bases

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

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

All Good Drawings of Small Complete Graphs

Ábrego, B. M., Aichholzer, O., Fernández-Merchant, S., Hackl, T., Pammer, J., Pilz, A., Ramos, P., Salazar, G. & Vogtenhuber, B., 2015, Collection of Abstracts of the 31st European Workshop on Computational Geometry 2015. ., S. 57-60

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

A Model-Based Configuration Approach for Automotive Real-Time Operating Systems

Macher, G. F. H., Atas, M., Armengaud, E. & Kreiner, C. J., 2015, in : SAE International Journal of Passenger Cars / Electronic and Electrical Systems. 8, 2, S. 270-277

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

An Abductive Diagnosis and Modeling Concept for Wind Power Plants

Gray, C. S., Koitz, R., Psutka, S. & Wotawa, F., 2015, Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. ., S. 1-6

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

Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software

Ernst, M., Erlachner, S., Hirz, M., Fabian, J. & Wotawa, F., 2015, Volume II. ., S. 63-68

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

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. ., S. 65-65

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

An Autonomous Forklift for Battery Change in Electrical Vehicles

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

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

A new meta-module for efficient robot reconfiguration

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

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

Open Access
Datei

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. ., S. 505-516

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., Vogtenhuber, B. & Valtr, P., 2015, A note on the number of general 4-holes in perturbed grids. ., S. 68-69

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

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, (Angenommen/In Druck) Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15), 2015.. .

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

Open Access
Datei

Automatic Model Generation to Diagnose Autonomous Systems

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

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

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. ., S. 1-10

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

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, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

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