Aktivitäten pro Jahr
Aktivitäten
- 48 Ergebnisse
Suchergebnisse
-
Testing autonomous and automated driving functions? Challenges and potential solutions
Franz Wotawa (Redner/in)
5 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Using ASP for Model-based Diagnosis
Franz Wotawa (Keynote speaker)
28 Nov. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Verifying and validating AI-based systems during development and operation
Franz Wotawa (Redner/in)
12 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Integrating multiple observation sets into consistency-based diagnosis
Franz Wotawa (Redner/in)
13 Sept. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Using LNT Formal Descriptions for Model-Based Diagnosis
Franz Wotawa (Redner/in)
27 Aug. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science 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. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Software configuration diagnosis – A Survey of existing methods and open challenges
Franz Wotawa (Redner/in)
28 Sept. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
On the automation of testing a logic-based diagnosis system
Franz Wotawa (Redner/in)
9 Apr. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System
Franz Wotawa (Redner/in)
13 Apr. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Qualitative Reasoning
Franz Wotawa (Redner/in)
11 Juli 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Verification and Validation of Adaptive Systems
Franz Wotawa (Redner/in)
2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Knowledge-based Techniques for Problem Solving and Reasoning
Franz Wotawa (Redner/in)
10 Juli 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
InternationalWorkshop on Defeasible and Ampliative Reasoning
Franz Wotawa (Redner/in)
29 Aug. 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
The 10th Workshop on Advances in Model Based Testing (A-MOST)
Franz Wotawa (Redner/in)
4 Apr. 2014Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Defeasible and Ampliative Reasoning
Franz Wotawa (Redner/in)
19 Aug. 2014Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
IEEE International Workshop on Program Debugging
Franz Wotawa (Redner/in)
4 Nov. 2013 → 7 Nov. 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
IEEE International Workshop on Program Debugging
Franz Wotawa (Redner/in)
4 Nov. 2013 → 7 Nov. 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Digitaldialog
Franz Wotawa (Redner/in)
5 März 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
9th Workshop on Advances in Model Based Testing (AMOST)
Franz Wotawa (Redner/in)
22 März 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Configuration
Franz Wotawa (Redner/in)
29 Aug. 2013 → 30 Aug. 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
M2M Workshop at FTW
Franz Wotawa (Redner/in)
26 Sept. 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
4th Workshop on Constraints in Software Testing, Verification, and Validation
Franz Wotawa (Redner/in)
21 Apr. 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Intelligent Solutions in Embedded Systems
Franz Wotawa (Redner/in)
5 Juli 2012 → 6 Juli 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
3rd IEEE Intl. Workshop on Program Debugging (IWPD)
Franz Wotawa (Redner/in)
28 Nov. 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
ICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems
Franz Wotawa (Keynote speaker)
9 Mai 2011Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Franz Wotawa (Redner/in)
17 Juli 2011Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
1st International ISOLA Workshop on Software Aspects of Robotics Systems
Franz Wotawa (Redner/in)
17 Okt. 2011 → 18 Okt. 2011Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Austrian Robotics Workshop
Franz Wotawa (Redner/in)
23 Mai 2011Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
ICST Workshop on Testing and Debugging (TeBug)
Franz Wotawa (Redner/in)
25 März 2011Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Dagstuhl Seminars
Franz Wotawa (Redner/in)
8 Nov. 2010 → 12 Nov. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (I-KBET’2010)
Franz Wotawa (Redner/in)
17 Aug. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
21st International Workshop on the Principles of Diagnosis
Franz Wotawa (Redner/in)
13 Okt. 2010 → 15 Okt. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
Franz Wotawa (Redner/in)
10 Apr. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
21st International Workshop on the Principles of Diagnosis
Franz Wotawa (Redner/in)
13 Okt. 2010 → 15 Okt. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Intelligent Systems for Environmental (Knoweldge) Engineering and EcoInformatics
Franz Wotawa (Redner/in)
18 März 2009Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Principles of Diagnosis DX-07
Franz Wotawa (Redner/in)
31 Mai 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Principles of Diagnosis DX-07
Franz Wotawa (Redner/in)
31 Mai 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Institutsseminar
Franz Wotawa (Redner/in)
20 Juni 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
17th International Workshop on Principles of Diagnosis (DX-06)
Franz Wotawa (Redner/in)
26 Juni 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
17th International Workshop on Principles of Diagnosis (DX-06)
Franz Wotawa (Redner/in)
28 Juni 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
2nd MONET WOrkshop on Model-Based Systems at IJCAI-05
Franz Wotawa (Redner/in)
31 Juli 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Seminar Testen
Franz Wotawa (Redner/in)
24 Nov. 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Redner/in)
23 Juni 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
MONET Workshop on Model-Based Systems at ECAI 2004
Franz Wotawa (Redner/in)
23 Aug. 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Redner/in)
24 Juni 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Redner/in)
24 Juni 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
International Workshop on Qualitative Reasoning
Franz Wotawa (Redner/in)
2 Aug. 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003)
Franz Wotawa (Redner/in)
10 Sept. 2003Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science