• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2020

Filter
Talk at workshop, seminar or course

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Speaker)
9 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
10 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System

Franz Wotawa (Speaker)
13 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Speaker)
18 Jul 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Research vehicle for autonomous inner-city goods transport

Helmut Brunner (Speaker), Mario Hirz (Speaker), Gerald Steinbauer (Speaker)
18 May 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

Workshop IMAGINE / ICT2018

Bernadette Spieler (Contributor)
Dec 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Software configuration diagnosis – A Survey of existing methods and open challenges

Franz Wotawa (Speaker)
28 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Speaker)
27 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser (Speaker)
20 Nov 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

SchülerInnen Konferenz "Ich bin online" WKO Steiermark

Bernadette Spieler (Speaker)
18 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

A superlinear lower bound on the number of 5-holes

Birgit Vogtenhuber (Speaker)
13 Apr 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Birgit Gertraud Hofer (Speaker)
26 Jul 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

SchülerInnenkonferenz „DIGITALISIERUNG- Wer geht den Weg mit uns?“

Bernadette Spieler (Speaker)
31 Oct 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

V-Net 2.1Adv "Intelligente und vernetzte Systeme*"

Christian Josef Kreiner (Speaker), Gerald Steinbauer (Speaker)
6 Jul 20177 Jul 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Pocket Code - Computational Thinking for all

Matthias Müller (Speaker)
14 Sep 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Qualitative deviation models vs. quantitative models for fault localization in spreadsheets

Birgit Gertraud Hofer (Speaker)
21 Aug 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

Birgit Gertraud Hofer (Speaker)
23 Oct 2017

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Knowledge-based Techniques for Problem Solving and Reasoning

Franz Wotawa (Speaker)
10 Jul 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Qualitative Reasoning

Franz Wotawa (Speaker)
11 Jul 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

7th IEEE International Workshop on Program Debugging

Ingo Hans Pill (Speaker)
2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

39th German Conference on Artificial Intelligence

Martin Kandlhofer (Speaker)
27 Sep 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Verification and Validation of Adaptive Systems

Franz Wotawa (Speaker)
2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

7th IEEE International Workshop on Program Debugging

Birgit Gertraud Hofer (Speaker)
24 Oct 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

InternationalWorkshop on Defeasible and Ampliative Reasoning

Franz Wotawa (Speaker)
29 Aug 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week

Bernhard Aichernig (Keynote speaker)
11 Apr 2016

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

FinRec'15 Workshop

Alexander Felfernig (Speaker)
16 Apr 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Speaker)
23 Jun 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

A-MOST 2015, the 11th Advances in Model Based Testing workshop

Bernhard Aichernig (Speaker)
17 Apr 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Crossing Number Workshop 2015

Thomas Hackl (Keynote speaker)
21 May 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Vamos 2015 Workshop

Alexander Felfernig (Speaker)
21 Jan 201523 Jan 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems

Bernhard Aichernig (Speaker)
23 Jun 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Vamos 2015 Workshop

Alexander Felfernig (Speaker)
21 Jan 201523 Jan 2015

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Configuation 2014

Alexander Felfernig (Keynote speaker)
26 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Graz Discrete Mathematics and Optimization Seminar

Birgit Vogtenhuber (Speaker)
28 Jan 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Seminar

Bernhard Aichernig (Speaker)
19 Dec 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Software Engineering Methods in Spreadsheets

Birgit Gertraud Hofer (Speaker)
2 Jul 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Crossing Number Workshop 2014: "Combinatorial optimization approaches to graph crossing numbers"

Oswin Aichholzer (Speaker)
11 Jun 201415 Jun 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Software Engineering Methods in Spreadsheets

Birgit Gertraud Hofer (Speaker)
2 Jul 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Fifth International Workshop on Security Testing (SECTEST'14)

Josip Bozic (Speaker)
31 Mar 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Crossing Number Workshop 2014

Alexander Pilz (Speaker)
15 Jul 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

International Workshop on Decision Making and Recommender Systems 2014

Alexander Felfernig (Speaker)
18 Sep 201419 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

30th European Workshop on Computational Geometry

Birgit Vogtenhuber (Speaker)
3 Mar 20145 Mar 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

25th International Workshop on Principles of Diagnosis

Birgit Gertraud Hofer (Speaker)
9 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

The 10th Workshop on Advances in Model Based Testing (A-MOST)

Franz Wotawa (Speaker)
4 Apr 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

AIM Workshop on Exact crossing numbers

Oswin Aichholzer (Speaker)
28 Apr 20142 May 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

4.International Workshop on Cognitive Robotics

Clemens Mühlbacher (Speaker)
8 Sep 201411 Sep 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop on Evaluation and Usability of Programming Languages and Tools

Roxane Koitz (Speaker)
21 Oct 2014

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science