• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2016

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, International Conference on Robotics in Education 2016.

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

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 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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

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

BPEL Integration Testing

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

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

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

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

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

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, S. 321-333

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Combining Kanban and FOSS: Can it work?

Harzl, A., 2015, Agile Processes, in Software Engineering, and Extreme Programming. ., S. 352-353

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

Conflict Management for Constraint-based Recommendation

Reinfrank, F-C., 2015, IJCAI 2015, Workshop on Intelligent Personalization. ., S. nx-ny

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

Conflict Management in Interactive Financial Service Selection

Felfernig, A. & Stettinger, M., 2015, 1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15). CEUR Proceedings, S. 3-10

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

Constraint-based Recommender Systems

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2015, Recommender Systems Handbook. 2nd Edition Aufl. Springer, S. 161-191

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

Controlling Logistics Robots with the Action-based Language YAGI

Ferrein, A., Maier, C., Mühlbacher, C., Niemüller, T., Steinbauer, G. & Vassos, S., 2015, (Angenommen/In Druck) IROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing. .

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

Counteracting Anchoring Effects in Group Decision Making

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, User Modeling, Adaptation and Personalization. Springer, Band 9146. S. 118-130 (Lecture notes in computer science).

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

Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment

Stettinger, M., Felfernig, A., Leitner, G. & Reiterer, S., 2015, (Angenommen/In Druck) ACM Conference on Intelligent User Interfaces. Association of Computing Machinery

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

Deciding monotonicity of good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Vogtenhuber, B. & Salazar, G., 2015, Encuentros de Geometría Computacional. ., S. 33-36

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

Designing for Engaging BCI Training: A Jigsaw Puzzle

Pammer-Schindler, V., Simon, J. P., Wilding, K., Keller, S. & Scherer, R., 2015, CHI PLAY '15. New York, NY: Association of Computing Machinery, S. 667-672

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

Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education

Spieler, B., 2015, Studies in Health Technology and Informatics. IOS Press, Band Volume 212. S. 182-189 (eHealth2015 – Health Informatics Meets eHealth).

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

Diagnosis of Technical Systems

Koitz, R. & Wotawa, F., 2015, Proceedings of the International Joint Conference on Artificial Intelligence 2015. ., S. 4375-4376

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

Diagnosis of Technical Systems

Koitz, R., 2015.

Publikation: KonferenzbeitragPosterForschung

Disjoint compatibility graph of non-crossing matchings of points in convex position

Aichholzer, O., Asinowski, A. & Miltzow, T., 2015, in : The electronic journal of combinatorics. 22, 1, S. 1-53 Paper #P1.65.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Embedding Four-directional Paths on Convex Point Sets

Aichholzer, O., Hackl, T., Lutteropp, S., Mchedlidze, T. & Vogtenhuber, B., 2015, in : Journal of Graph Algorithms and Applications . 19, 2, S. 743-759

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Empfehlungstechnologien in der Öffenlichen Verwaltung

Reiterer, S., Wundara, M. & Felfernig, A., 2015, in : eGovernment review. S. 18-19

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Empty triangles in good drawings of the complete graph

Aichholzer, O., Hackl, T., Pilz, A., Ramos, P., Sacristán, V. & Vogtenhuber, B., 2015, in : Graphs and combinatorics. 31, 2, S. 335-345

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung