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

• Programming Behavioral Test Models for SMT Solving in Scala

  Bernhard Aichernig (Speaker)

  22 Apr 2019

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

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

  Bernhard Aichernig (Speaker)

  10 Sep 2018

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• 1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week

  Bernhard Aichernig (Keynote speaker)

  11 Apr 2016

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• A-MOST 2015, the 11th Advances in Model Based Testing workshop

  Bernhard Aichernig (Speaker)

  17 Apr 2015

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems

  Bernhard Aichernig (Speaker)

  23 Jun 2015

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Seminar

  Bernhard Aichernig (Speaker)

  19 Dec 2014

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Seminar at the Department of Computer Science and Engineering

  Bernhard Aichernig (Speaker)

  19 Apr 2013

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Seminar series of UNU-IIST, the United Nations University - International Institute for Software Technology

  Bernhard Aichernig (Speaker)

  9 Jul 2012

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Dagstuhl Seminar on Model-Based Testing in Practice

  Bernhard Aichernig (Speaker)

  19 Oct 2010

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• UML&FM 2010, Third IEEE International workshop UML and Formal Methods, Shanghai, China, 16.11.2010.

  Bernhard Aichernig (Speaker)

  16 Nov 2010

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• MBT 2009: Model-based Testing workshop

  Bernhard Aichernig (Speaker)

  22 Mar 2009

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Concurrency, Verification & Security Seminars

  Bernhard Aichernig (Speaker)

  13 May 2009

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• MBT 2007, Third Workshop on Model-Based Testing, ETAPS 2007

  Bernhard Aichernig (Speaker)

  1 Apr 2007

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• OpenCert 2007, 1st International Workshop on Foundations and Techniques for Open Source Software Certification, Braga, Portugal, 31 March 2007, sattelite event of ETAPS 2007.

  Bernhard Aichernig (Speaker)

  31 Mar 2007

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Refine 2006 - International Refinement Workshop

  Bernhard Aichernig (Speaker)

  31 Oct 2006

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• MBT 2006, Second Workshop on Model Based Testing.

  Bernhard Aichernig (Speaker)

  26 Mar 2006

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• VDM/Overture Workshop

  Bernhard Aichernig (Speaker)

  28 Nov 2006

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• UNU-IIST Seminar

  Bernhard Aichernig (Speaker)

  8 Apr 2005

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Overture Workshop

  Bernhard Aichernig (Speaker)

  18 Jul 2005

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• eMacao Seminar Series

  Bernhard Aichernig (Speaker)

  3 Jan 2005

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Workshop on Software Engineering Tools: Compatibility and Integration, The Monterey Workshop Series

  Bernhard Aichernig (Speaker)

  6 Oct 2004

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Abo Akademi Seminar day

  Bernhard Aichernig (Speaker)

  12 Jun 2003

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• RCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments

  Bernhard Aichernig (Speaker)

  3 Jun 2003

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• REFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop

  Bernhard Aichernig (Speaker)

  20 Jul 2002

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• UNU-IIST Seminar

  Bernhard Aichernig (Speaker)

  10 Jul 2002

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• 1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit

  Bernhard Aichernig (Speaker)

  28 Apr 1999

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• Workshop VDM in Practice! of FM’99, World Congress on Formal Methods

  Bernhard Aichernig (Speaker)

  20 Sep 1999

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

• TIAPS Workshop at IFAD

  Bernhard Aichernig (Speaker)

  28 Nov 1996

  Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science