Activities per year
Activities
- 34 results
Search results
-
Testing Autonomous Driving Functions - Current Research, Challenges, and Limitations
Franz Wotawa (Speaker)
10 Aug 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
How to make autonomous driving solutions safe
Franz Wotawa (Speaker)
12 Jul 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Testing autonomous systems - challenges, results, and trends
Franz Wotawa (Speaker)
18 Sept 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Plane Structures in Drawings of Complete Graphs
Birgit Vogtenhuber (Speaker)
28 Feb 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Plane Structures in Drawings of Complete Graphs
Birgit Vogtenhuber (Speaker)
28 Feb 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Effective Modeling in Answer Set Programming modulo Theories
Martin Gebser (Speaker)
31 Jul 2022Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Plane Structures in Simple Drawings and Twisted Ways to Find Them
Birgit Vogtenhuber (Speaker)
3 Jun 2022Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Empty Triangles in Generalized Twisted Drawings of K_n
Alexandra Weinberger (Speaker)
Sept 2022Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Where Difference Logic Makes The Difference: Applications of ASP modulo DL
Martin Gebser (Speaker)
21 Sept 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Speaker)
4 Oct 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
On the use of ontologies for automated test suite generation
Franz Wotawa (Speaker)
25 Jun 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Security Testing using Artificial Intelligence Methods and Techniques
Franz Wotawa (Keynote speaker)
24 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Crossing Numbers of $K_n$ for Geometric and Topological Drawings - A short survey
Oswin Aichholzer (Speaker)
11 Dec 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Ontology-based verification of autonomous driving & ADAS
Franz Wotawa (Keynote speaker)
3 Sept 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Verifying autonomous systems using ontology-based testing
Franz Wotawa (Keynote speaker)
24 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Keynote: AI-based AI-testing
Franz Wotawa (Speaker)
8 Apr 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Herr oder Diener des Menschen? Der Aufstieg der künstlichen Intelligenz
Martin Gebser (Speaker)
21 Nov 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Grundkompetenz KI und das Projekt EDLRIS
Martin Kandlhofer (Speaker)
21 Nov 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
AI Literacy
Martin Kandlhofer (Speaker)
Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
AI Literacy - Projekt EDLRIS
Martin Kandlhofer (Speaker)
Nov 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
A.I. (Artificial Intelligence) Literacy - Künstliche Intelligenz als Grundkompetenz
Martin Kandlhofer (Speaker)
May 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Training in Robotics and AI Enabling the Creation of Intelligent Things
Martin Kandlhofer (Speaker)
Nov 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Testing AI-based systems
Franz Wotawa (Speaker)
17 Sept 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)
8 Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Ist Künstliche Intelligenz eine Kulturtechnik?
Martin Kandlhofer (Speaker)
Mar 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Superhirne und starke Helfer - Educational Robotics in Kindergarten und Hort
Martin Kandlhofer (Speaker)
Sept 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
5 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)
7 Dec 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Künstliche Intelligenz & Robotik in Schule und Universität
Martin Kandlhofer (Speaker)
Sept 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Bernhard Aichernig (Speaker)
11 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
EDLRIS - A European Driving License for Robots and Intelligent Systems
Martin Kandlhofer (Speaker)
10 Nov 2017Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Sept 2017Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Perfect k-colored Matchings and k+2-gonal Tilings
Birgit Vogtenhuber (Speaker)
12 Jun 2017Activity: Talk or presentation › Invited talk at conference or symposium › Science to science