Bernhard Aichernig

Activities

Activities per year 1996 2020

• 39 Membership in Programm Committee
• 28 Talk at workshop, seminar or course
• 19 Talk at conference or symposium
• 13 Invited talk
• 26 More
  • 8 Research at external institution
  • 6 Invited talk at conference or symposium
  • 3 Conference or symposium (Participation in/Organisation of)
  • 3 Editorial activity
  • 2 Membership of research network or expert group
  • 2 Public lecture or debate
  • 1 External examination
  • 1 Membership of examination board

Activities per year

Search results

• 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

• Invited Talk at the FP7 PROWESS project meeting

  Bernhard Aichernig (Speaker)

  17 Apr 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

• 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