• 8010

    Inffeldgasse 16b Graz

    Österreich

Aktivitäten 1996 2020

Filter
Vortrag bei Workshop, Seminar oder Kurs

Creative, engaging and playful activities with smartphones for interdisciplinary school projects

Vesna Krnjic (Redner/in), Bernadette Spieler (Redner/in)
24 Aug 2019

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Bernhard Aichernig (Redner/in)
10 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Redner/in)
27 Aug 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Research vehicle for autonomous inner-city goods transport

Helmut Brunner (Redner/in), Mario Hirz (Redner/in), Gerald Steinbauer (Redner/in)
18 Mai 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to public

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

Franz Wotawa (Redner/in)
13 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Franz Wotawa (Redner/in)
28 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Redner/in)
9 Apr 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

SchülerInnen Konferenz "Ich bin online" WKO Steiermark

Bernadette Spieler (Redner/in)
18 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to public

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Redner/in)
18 Jul 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser (Redner/in)
20 Nov 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Beitragende/r)
Dez 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Franz Wotawa (Redner/in)
29 Aug 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Pocket Code - Computational Thinking for all

Matthias Müller (Redner/in)
14 Sep 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Birgit Gertraud Hofer (Redner/in)
21 Aug 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Birgit Gertraud Hofer (Redner/in)
23 Okt 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Christian Josef Kreiner (Redner/in), Gerald Steinbauer (Redner/in)
6 Jul 20177 Jul 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Bernadette Spieler (Redner/in)
31 Okt 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to public

A superlinear lower bound on the number of 5-holes

Birgit Vogtenhuber (Redner/in)
13 Apr 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Birgit Gertraud Hofer (Redner/in)
26 Jul 2017

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

7th IEEE International Workshop on Program Debugging

Birgit Gertraud Hofer (Redner/in)
24 Okt 2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Workshop on Verification and Validation of Adaptive Systems

Franz Wotawa (Redner/in)
2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

7th IEEE International Workshop on Program Debugging

Ingo Hans Pill (Redner/in)
2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

InternationalWorkshop on Defeasible and Ampliative Reasoning

Franz Wotawa (Redner/in)
29 Aug 2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

International Workshop on Qualitative Reasoning

Franz Wotawa (Redner/in)
11 Jul 2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience 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

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Workshop on Knowledge-based Techniques for Problem Solving and Reasoning

Franz Wotawa (Redner/in)
10 Jul 2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

39th German Conference on Artificial Intelligence

Martin Kandlhofer (Redner/in)
27 Sep 2016

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

FinRec'15 Workshop

Alexander Felfernig (Redner/in)
16 Apr 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Redner/in)
23 Jun 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Crossing Number Workshop 2015

Thomas Hackl (Keynote speaker)
21 Mai 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Vamos 2015 Workshop

Alexander Felfernig (Redner/in)
21 Jan 201523 Jan 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Bernhard Aichernig (Redner/in)
23 Jun 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Vamos 2015 Workshop

Alexander Felfernig (Redner/in)
21 Jan 201523 Jan 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Bernhard Aichernig (Redner/in)
17 Apr 2015

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

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

Oswin Aichholzer (Redner/in)
11 Jun 201415 Jun 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Seminar

Bernhard Aichernig (Redner/in)
19 Dez 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Graz Discrete Mathematics and Optimization Seminar

Birgit Vogtenhuber (Redner/in)
28 Jan 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Fifth International Workshop on Security Testing (SECTEST'14)

Josip Bozic (Redner/in)
31 Mär 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Workshop on Configuation 2014

Alexander Felfernig (Keynote speaker)
26 Sep 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

International Workshop on Software Engineering Methods in Spreadsheets

Birgit Gertraud Hofer (Redner/in)
2 Jul 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS

Johannes Maurer (Redner/in)
16 Jun 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Crossing Number Workshop 2014

Alexander Pilz (Redner/in)
15 Jul 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

9th International Workshop on Automation of Software Test (AST'14)

Josip Bozic (Redner/in)
31 Mai 20141 Jun 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

International Workshop on Software Engineering Methods in Spreadsheets

Birgit Gertraud Hofer (Redner/in)
2 Jul 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

International Workshop on Decision Making and Recommender Systems 2014

Alexander Felfernig (Redner/in)
18 Sep 201419 Sep 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Workshop on Configuration

Ingo Hans Pill (Redner/in)
25 Sep 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

30th European Workshop on Computational Geometry

Birgit Vogtenhuber (Redner/in)
3 Mär 20145 Mär 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

25th International Workshop on Principles of Diagnosis

Birgit Gertraud Hofer (Redner/in)
9 Sep 2014

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science