Activities per year
Activities
- 14 results
Search results
-
Learning Models for Test Automation Mastering the Complexity of Testing via Explainable AI
Bernhard Aichernig (Speaker)
20 May 2021Activity: Talk or presentation › Invited talk › Science to public
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
11 Sept 2018Activity: Talk or presentation › Invited talk › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)
3 Apr 2016Activity: Talk or presentation › Invited talk › Science to science
-
7th Workshop Computer Science Research Meets Business
Bernhard Aichernig (Speaker)
17 Nov 2016Activity: Talk or presentation › Invited talk › Science to science
-
SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,
Bernhard Aichernig (Speaker)
10 Jun 2015Activity: Talk or presentation › Invited talk › Science to science
-
Invited Talk at the FP7 PROWESS project meeting
Bernhard Aichernig (Speaker)
17 Apr 2013Activity: Talk or presentation › Invited talk › Science to science
-
Festschrift Symposium in Honor of He Jifeng
Bernhard Aichernig (Speaker)
2 Sept 2013Activity: Talk or presentation › Invited talk › Science to science
-
AVL Research Community Networking Day
Bernhard Aichernig (Speaker)
30 Jan 2013Activity: Talk or presentation › Invited talk › Science to science
-
SYANCO Winterschool
Bernhard Aichernig (Speaker)
11 Feb 2010Activity: Talk or presentation › Invited talk › Science to science
-
FMCO 2008: International Symposium on Formal Methods for Components and Objects
Bernhard Aichernig (Speaker)
5 Nov 2009Activity: Talk or presentation › Invited talk › Science to science
-
Festschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays
Bernhard Aichernig (Speaker)
24 Sept 2007Activity: Talk or presentation › Invited talk › Science to science
-
PURE Project Workshop 2003, Univ. of Minho
Bernhard Aichernig (Speaker)
3 Jul 2003Activity: Talk or presentation › Invited talk › Science to science
-
UNU-IIST: Transfering Software Technology to Developing Countries
Bernhard Aichernig (Speaker)
19 Oct 2002Activity: Talk or presentation › Invited talk › Science to science
-
EPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)
Bernhard Aichernig (Speaker)
9 Mar 1998Activity: Talk or presentation › Invited talk › Science to science