Activities per year
Activities
Search results
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)11 Sep 2018Activity: 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
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)3 Apr 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
-
AVL Research Community Networking Day
Bernhard Aichernig (Speaker)30 Jan 2013Activity: 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 Sep 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 Sep 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