Activities per year
Activities
- 48 results
Search results
-
Using ASP for Model-based Diagnosis
Franz Wotawa (Keynote speaker)
28 Nov 2022Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Verifying and validating AI-based systems during development and operation
Franz Wotawa (Speaker)
12 Jul 2022Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Testing autonomous and automated driving functions? Challenges and potential solutions
Franz Wotawa (Speaker)
5 Jul 2022Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Integrating multiple observation sets into consistency-based diagnosis
Franz Wotawa (Speaker)
13 Sept 2021Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Software configuration diagnosis – A Survey of existing methods and open challenges
Franz Wotawa (Speaker)
28 Sept 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
Franz Wotawa (Speaker)
29 Aug 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System
Franz Wotawa (Speaker)
13 Apr 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
On the automation of testing a logic-based diagnosis system
Franz Wotawa (Speaker)
9 Apr 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Using LNT Formal Descriptions for Model-Based Diagnosis
Franz Wotawa (Speaker)
27 Aug 2018Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Qualitative Reasoning
Franz Wotawa (Speaker)
11 Jul 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Knowledge-based Techniques for Problem Solving and Reasoning
Franz Wotawa (Speaker)
10 Jul 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
InternationalWorkshop on Defeasible and Ampliative Reasoning
Franz Wotawa (Speaker)
29 Aug 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Verification and Validation of Adaptive Systems
Franz Wotawa (Speaker)
2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Defeasible and Ampliative Reasoning
Franz Wotawa (Speaker)
19 Aug 2014Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
The 10th Workshop on Advances in Model Based Testing (A-MOST)
Franz Wotawa (Speaker)
4 Apr 2014Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
IEEE International Workshop on Program Debugging
Franz Wotawa (Speaker)
4 Nov 2013 → 7 Nov 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
IEEE International Workshop on Program Debugging
Franz Wotawa (Speaker)
4 Nov 2013 → 7 Nov 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
9th Workshop on Advances in Model Based Testing (AMOST)
Franz Wotawa (Speaker)
22 Mar 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Configuration
Franz Wotawa (Speaker)
29 Aug 2013 → 30 Aug 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Digitaldialog
Franz Wotawa (Speaker)
5 Mar 2013Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Intelligent Solutions in Embedded Systems
Franz Wotawa (Speaker)
5 Jul 2012 → 6 Jul 2012Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
M2M Workshop at FTW
Franz Wotawa (Speaker)
26 Sept 2012Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
4th Workshop on Constraints in Software Testing, Verification, and Validation
Franz Wotawa (Speaker)
21 Apr 2012Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
3rd IEEE Intl. Workshop on Program Debugging (IWPD)
Franz Wotawa (Speaker)
28 Nov 2012Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Austrian Robotics Workshop
Franz Wotawa (Speaker)
23 May 2011Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
1st International ISOLA Workshop on Software Aspects of Robotics Systems
Franz Wotawa (Speaker)
17 Oct 2011 → 18 Oct 2011Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Franz Wotawa (Speaker)
17 Jul 2011Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
ICST Workshop on Testing and Debugging (TeBug)
Franz Wotawa (Speaker)
25 Mar 2011Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
ICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems
Franz Wotawa (Keynote speaker)
9 May 2011Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
21st International Workshop on the Principles of Diagnosis
Franz Wotawa (Speaker)
13 Oct 2010 → 15 Oct 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
Franz Wotawa (Speaker)
10 Apr 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (I-KBET’2010)
Franz Wotawa (Speaker)
17 Aug 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Dagstuhl Seminars
Franz Wotawa (Speaker)
8 Nov 2010 → 12 Nov 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
21st International Workshop on the Principles of Diagnosis
Franz Wotawa (Speaker)
13 Oct 2010 → 15 Oct 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop on Intelligent Systems for Environmental (Knoweldge) Engineering and EcoInformatics
Franz Wotawa (Speaker)
18 Mar 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Principles of Diagnosis DX-07
Franz Wotawa (Speaker)
31 May 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Institutsseminar
Franz Wotawa (Speaker)
20 Jun 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Principles of Diagnosis DX-07
Franz Wotawa (Speaker)
31 May 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
17th International Workshop on Principles of Diagnosis (DX-06)
Franz Wotawa (Speaker)
26 Jun 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
17th International Workshop on Principles of Diagnosis (DX-06)
Franz Wotawa (Speaker)
28 Jun 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Seminar Testen
Franz Wotawa (Speaker)
24 Nov 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
2nd MONET WOrkshop on Model-Based Systems at IJCAI-05
Franz Wotawa (Speaker)
31 Jul 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
MONET Workshop on Model-Based Systems at ECAI 2004
Franz Wotawa (Speaker)
23 Aug 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Qualitative Reasoning
Franz Wotawa (Speaker)
2 Aug 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Speaker)
23 Jun 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Speaker)
24 Jun 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
International Workshop on Principles of Diagnosis
Franz Wotawa (Speaker)
24 Jun 2004Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003)
Franz Wotawa (Speaker)
10 Sept 2003Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science