Activities per year
Activities
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)11 Sep 2018
Activity: Talk or presentation › Invited talk › Science to science
7th Workshop Computer Science Research Meets Business
Bernhard Aichernig (Speaker)17 Nov 2016
Activity: Talk or presentation › Invited talk › Science to science
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)3 Apr 2016
Activity: 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 2015
Activity: Talk or presentation › Invited talk › Science to science
AVL Research Community Networking Day
Bernhard Aichernig (Speaker)30 Jan 2013
Activity: Talk or presentation › Invited talk › Science to science
Festschrift Symposium in Honor of He Jifeng
Bernhard Aichernig (Speaker)2 Sep 2013
Activity: Talk or presentation › Invited talk › Science to science
Invited Talk at the FP7 PROWESS project meeting
Bernhard Aichernig (Speaker)17 Apr 2013
Activity: Talk or presentation › Invited talk › Science to science
SYANCO Winterschool
Bernhard Aichernig (Speaker)11 Feb 2010
Activity: Talk or presentation › Invited talk › Science to science
FMCO 2008: International Symposium on Formal Methods for Components and Objects
Bernhard Aichernig (Speaker)5 Nov 2009
Activity: 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 2007
Activity: Talk or presentation › Invited talk › Science to science
PURE Project Workshop 2003, Univ. of Minho
Bernhard Aichernig (Speaker)3 Jul 2003
Activity: Talk or presentation › Invited talk › Science to science
UNU-IIST: Transfering Software Technology to Developing Countries
Bernhard Aichernig (Speaker)19 Oct 2002
Activity: 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 1998
Activity: Talk or presentation › Invited talk › Science to science