• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2020

Filter
Talk at conference or symposium

EDLRIS - European Driving License for Robots and Intelligent Systems: Enabling the Creation of Intelligent Things

Martin Kandlhofer (Speaker)
25 Jun 2019

Activity: Talk or presentationTalk at conference or symposiumScience to public

A Note on Planar Monohedral Tilings

Birgit Vogtenhuber (Speaker)
21 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Enabling the Creation of Intelligent Things; Project EDLRIS: Artificial Intelligence

Martin Kandlhofer (Speaker)
22 Nov 2018

Activity: Talk or presentationTalk at conference or symposiumScience to public

Statistical Model Checking of Response Times for Different System Deployments

Richard Alexander Schumi (Speaker)
6 Sep 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

NP-Completeness of Max-Cut for Segment Intersection Graphs

Birgit Vogtenhuber (Speaker)
22 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

The RoboCup Rescue Victim Dataset

Peter Lorenz (Speaker), Gerald Steinbauer (Contributor)
Aug 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Speaker)
1 Oct 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence

Martin Kandlhofer (Speaker)
Feb 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

European Driving License for Robotics and Intelligent Systems

Martin Kandlhofer (Speaker)
Jan 2018

Activity: Talk or presentationTalk at conference or symposiumScience to public

Predicting and Testing System Response-Times

Richard Alexander Schumi (Speaker)
27 Sep 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Planar 3-SAT with a Clause/Variable Cycle

Alexander Pilz (Speaker)
2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Towards Understanding and Managing Co-Creative Communities

Matthias Müller (Speaker), Wolfgang Vorraber (Speaker), Wolfgang Slany (Speaker)
27 Jun 201828 Jun 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

Ingo Pill (Speaker)
26 Sep 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

Property-Based Testing with External Test-Case Generators, ICST Workshops 2017

Richard Alexander Schumi (Speaker)
17 Mar 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

Lombardi Drawings of Knots and Links

Birgit Vogtenhuber (Speaker)
17 Feb 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

Statistical Model Checking Meets Property-Based Testing, ICST 2017

Richard Alexander Schumi (Speaker)
16 Mar 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles, ICTSS 2017

Richard Alexander Schumi (Speaker)
9 Oct 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

27th International Workshop on Principles of Diagnosis

Roxane Koitz (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

IEEE Conference on Frontiers in Education (FIE) 2016

Martin Kandlhofer (Speaker)
16 Oct 2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016

Richard Alexander Schumi (Speaker)
18 Nov 2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

Annual Conference of the Prognostics and Health Management Society 2016

Roxane Koitz (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

Annual Conference of the Prognostics and Health Management Society 2016

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence

Martin Kandlhofer (Speaker)
13 Feb 201614 Feb 2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

39th German Conference on Artificial Intelligence

Franz Wotawa (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

27th International Workshop on Principles of Diagnosis

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016

Richard Alexander Schumi (Speaker)
11 Apr 2016

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Conference on Tests And Proofs

Elisabeth Jöbstl (Speaker)
22 Jul 201524 Jul 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Scratch Creative Communities

Bernadette Spieler (Speaker)
12 Aug 201515 Aug 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Joint Conference on Artificial Intelligence

Roxane Koitz (Speaker)
27 Jul 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Scratch Conference 2015 - Creative Communities

Christian Schindler (Speaker)
12 Aug 201515 Aug 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Symposium on Software Reliability Engineering

Ingo Hans Pill (Speaker)
2 Nov 20155 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Annual Conference of the Prognostics and Health Management Society

Roxane Koitz (Speaker)
20 Oct 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Festschrift Symposium in Honor of Jose Nuno Oliveira

Bernhard Aichernig (Speaker)
26 Sep 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015, PhD Symposium

Stefan Tiran (Speaker)
15 Apr 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Annual Conference of the Prognostics and Health Management Society

Ingo Hans Pill (Speaker)
18 Oct 201522 Oct 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

European Robotics Forum 2015

Martin Kandlhofer (Speaker)
11 Mar 201513 Mar 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Conference on Software Quality, Reliability and Security

Birgit Gertraud Hofer (Speaker)
4 Aug 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Florian Lukas Lorber (Speaker)
2 Sep 20154 Sep 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Symposium on Software Reliability Engineering

Birgit Gertraud Hofer (Speaker)
5 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes

Roxane Koitz (Speaker)
2 Sep 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

TAP

Stefan Tiran (Speaker)
22 Jul 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Tardes de Álgebra, Combinatoria y Optimización

Birgit Vogtenhuber (Speaker)
11 Sep 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

A Model-based Combinatorial Testing Approach of Web Applications

Josip Bozic (Speaker)
3 Sep 20145 Sep 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

IEEE International Symposium on Safety Security and Rescue Robotics

Gerald Steinbauer (Speaker)
27 Oct 201430 Oct 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

International Conference on Computer Safety, Reliability and Security

Florian Lukas Lorber (Speaker)
12 Sep 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems

Clemens Mühlbacher (Speaker)
3 Jun 20146 Jun 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

Colloquium - Technische Universität Wien

Franz Wotawa (Speaker)
9 Jan 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science

SPLASH-E

Roxane Koitz (Speaker)
21 Oct 2014

Activity: Talk or presentationTalk at conference or symposiumScience to science