Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

Filter
Invited talk

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
11 Sep 2018

Activity: Talk or presentationInvited talkScience to science

7th Workshop Computer Science Research Meets Business

Bernhard Aichernig (Speaker)
17 Nov 2016

Activity: Talk or presentationInvited talkScience to science

Celebration Event for Frank de Boer's 60th Birthday

Bernhard Aichernig (Speaker)
3 Apr 2016

Activity: Talk or presentationInvited talkScience 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 presentationInvited talkScience to science

AVL Research Community Networking Day

Bernhard Aichernig (Speaker)
30 Jan 2013

Activity: Talk or presentationInvited talkScience to science

Festschrift Symposium in Honor of He Jifeng

Bernhard Aichernig (Speaker)
2 Sep 2013

Activity: Talk or presentationInvited talkScience to science

Invited Talk at the FP7 PROWESS project meeting

Bernhard Aichernig (Speaker)
17 Apr 2013

Activity: Talk or presentationInvited talkScience to science

SYANCO Winterschool

Bernhard Aichernig (Speaker)
11 Feb 2010

Activity: Talk or presentationInvited talkScience to science

FMCO 2008: International Symposium on Formal Methods for Components and Objects

Bernhard Aichernig (Speaker)
5 Nov 2009

Activity: Talk or presentationInvited talkScience 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 presentationInvited talkScience to science

PURE Project Workshop 2003, Univ. of Minho

Bernhard Aichernig (Speaker)
3 Jul 2003

Activity: Talk or presentationInvited talkScience to science

UNU-IIST: Transfering Software Technology to Developing Countries

Bernhard Aichernig (Speaker)
19 Oct 2002

Activity: Talk or presentationInvited talkScience 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 presentationInvited talkScience to science