Bernhard Aichernig

Aktivitäten

Aktivitäten pro Jahr 1996 2006 2007 2009 2010 2015 2021

• 39 Mitgliedschaft in Programmkomitee
• 29 Vortrag bei Workshop, Seminar oder Kurs
• 20 Vortrag bei Konferenz oder Fachtagung
• 14 Gastvortrag
• 26 Mehr
  • 7 Invited talk bei Konferenz oder Fachtagung
  • 7 Forschungstätigkeit an einer externen Einrichtung
  • 3 Konferenz oder Fachtagung (Teilnahme an/Organisation von)
  • 3 Herausgebertätigkeit
  • 2 Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
  • 2 Öffentlicher Vortrag oder öffentliche Diskussion
  • 1 Externe Prüfungstätigkeit
  • 1 Mitgliedschaft in Prüfungskommission

Aktivitäten pro Jahr

Suchergebnisse

• Programming Behavioral Test Models for SMT Solving in Scala

  Bernhard Aichernig (Redner/in)

  22 Apr. 2019

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  10 Sep. 2018

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › 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

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  17 Apr. 2015

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  23 Juni 2015

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Seminar

  Bernhard Aichernig (Redner/in)

  19 Dez. 2014

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Seminar at the Department of Computer Science and Engineering

  Bernhard Aichernig (Redner/in)

  19 Apr. 2013

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  9 Juli 2012

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Dagstuhl Seminar on Model-Based Testing in Practice

  Bernhard Aichernig (Redner/in)

  19 Okt. 2010

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Model-based Mutation Testing: Foundations and Applications

  Bernhard Aichernig (Redner/in)

  7 Feb. 2010 → 13 Feb. 2010

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  16 Nov. 2010

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• MBT 2009: Model-based Testing workshop

  Bernhard Aichernig (Redner/in)

  22 März 2009

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Concurrency, Verification & Security Seminars

  Bernhard Aichernig (Redner/in)

  13 Mai 2009

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  1 Apr. 2007

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › 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 (Redner/in)

  31 März 2007

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Refine 2006 - International Refinement Workshop

  Bernhard Aichernig (Redner/in)

  31 Okt. 2006

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• MBT 2006, Second Workshop on Model Based Testing.

  Bernhard Aichernig (Redner/in)

  26 März 2006

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• VDM/Overture Workshop

  Bernhard Aichernig (Redner/in)

  28 Nov. 2006

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Overture Workshop

  Bernhard Aichernig (Redner/in)

  18 Juli 2005

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• eMacao Seminar Series

  Bernhard Aichernig (Redner/in)

  3 Jan. 2005

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• UNU-IIST Seminar

  Bernhard Aichernig (Redner/in)

  8 Apr. 2005

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  6 Okt. 2004

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• Abo Akademi Seminar day

  Bernhard Aichernig (Redner/in)

  12 Juni 2003

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  3 Juni 2003

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• UNU-IIST Seminar

  Bernhard Aichernig (Redner/in)

  10 Juli 2002

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  20 Juli 2002

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  28 Apr. 1999

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

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

  Bernhard Aichernig (Redner/in)

  20 Sep. 1999

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

• TIAPS Workshop at IFAD

  Bernhard Aichernig (Redner/in)

  28 Nov. 1996

  Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science