• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2016

Recommendation Technologies for Configurable Items: none

Felfernig, A., 1 Jun 2016.

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

Recommendation Technologies for Configurable Products: none

Felfernig, A., 1 Jun 2016.

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

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

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

Research output: Contribution to journalArticleResearchpeer-review

Recommending and Configuring Smart Home Installations

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

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

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, p. 167-184 18 p.

Research output: Contribution to journalArticleResearchpeer-review

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 Dec 2016, ACM RecSys 2016 Workshops. p. 1-2 2 p.

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

Request a Rescue Robot (R-CUBED)

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

Research output: Book/ReportCommissioned reportResearch

Open Access
File

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.

Research output: Contribution to journalArticleResearchpeer-review

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.

Research output: Contribution to conferencePaperResearchpeer-review

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, p. 168-173 6 p. 7528959

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

Testing
Security systems
Chemical activation
Availability
Industry

Skater Alice: Wie kann Medienbildung im Schulalltag gelingen?

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

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

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). p. 167-174 8 p.

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

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 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 109-116 8 p.

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

E-learning
Sales
Engineers

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

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

Research output: Contribution to conferencePaperResearchpeer-review

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. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

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

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
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, p. 17-24. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

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, p. 15-21. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

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, p. 305-310 6 p. 7573762

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

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. (ed.) & Furia, C. A. (ed.), 2016, Springer Verlag. (Lecture Notes in Computer Science)

Research output: Book/ReportAnthologyResearchpeer-review

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, p. 23-30 8 p. 7573720

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

Software testing
Fault detection
Redundancy

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.

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

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, p. 105-111

Research output: Contribution to journalArticleResearchpeer-review

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.

Research output: Contribution to conferencePaperResearchpeer-review

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 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 73-76 4 p.

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

Towards Group-based Configuration: no subtitle

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

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

File
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, p. 71-76 6 p.

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

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, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

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

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, p. 203-208 6 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

Research output: Book/ReportAnthologyResearch

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. p. 283-298

Research output: Contribution to journalArticleResearchpeer-review

A Goal-Question-Metrics Model for Configuration Knowledge bases

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

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

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. ., p. 57-60

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

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, p. 270-277

Research output: Contribution to journalArticleResearchpeer-review

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. ., p. 1-6

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

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. ., p. 63-68

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

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

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

An Autonomous Forklift for Battery Change in Electrical Vehicles

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

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

A new meta-module for efficient robot reconfiguration

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

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

Open Access
File

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

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

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

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

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

Open Access
File

Automatic Model Generation to Diagnose Autonomous Systems

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

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

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

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

Bounded Determinization of Timed Automata with Silent Transitions

Rosenmann, A., Lorber, F. L., Nickovic, D. & Aichernig, B., 2015, .

Research output: Book/ReportOther reportResearch

Open Access
File

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

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

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .

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

Case Study: Automatic Test Case Generation for a Secure Cache Implementation

Bloem, R. P., Hein, D., Röck, F. & Schumi, R. A., 2015, (Accepted/In press) International Conference on Tests And Proofs. .

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

Characterization of extremal antipodal polygons

Aichholzer, O., Caraballo, L., Fabila-Monroy, R., Ochoa, C., Nigsch, P. A. & Diaz-Banez, J. M., 2015, In : Graphs and combinatorics. 31, p. 321-333

Research output: Contribution to journalArticleResearchpeer-review

Children discover science: robotics, informatics and artificial intelligence in kindergarten and school

Kandlhofer, M., Steinbauer, G., Hirschmugl-Gaisch, S. & Eck, H., 2015.

Research output: Contribution to conferencePaperResearchpeer-review