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

• Step-wise Development of Provably Correct Actor Systems

  Bernhard Aichernig (Redner/in)

  25 Okt. 2021

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Predicting and Testing Latencies with Deep Learning: an IoT Case Study

  Bernhard Aichernig (Redner/in)

  10 Okt. 2019

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Festschrift Symposium in Honor of Jose Nuno Oliveira

  Bernhard Aichernig (Redner/in)

  26 Sep. 2015

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• TAP 2014

  Bernhard Aichernig (Redner/in)

  24 Juli 2014

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages

  Bernhard Aichernig (Keynote speaker)

  27 Sep. 2012

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• The Sixth International Symposium on Theoretical Aspects of Software Engineering 4-6 July 2012,Beijing, China

  Bernhard Aichernig (Redner/in)

  5 Juli 2012

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Public Defence of Johannes Erikssons Doctoral Thesis

  Bernhard Aichernig (Redner/in)

  17 Aug. 2010

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• FMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.

  Bernhard Aichernig (Redner/in)

  30 Nov. 2010

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008

  Bernhard Aichernig (Redner/in)

  23 Okt. 2008

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Public Defence of the Dissertation by Anders Hessel

  Bernhard Aichernig (Redner/in)

  21 Mai 2007

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• CREDO Project Meeting on Testing

  Bernhard Aichernig (Redner/in)

  26 Feb. 2007

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• CREDO Project Meeting

  Bernhard Aichernig (Redner/in)

  18 Sep. 2006

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• QSIC 2OO5, Fifth International Conference on Quality Software

  Bernhard Aichernig (Redner/in)

  19 Sep. 2005

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium

  Bernhard Aichernig (Redner/in)

  26 Aug. 2003

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity

  Bernhard Aichernig (Redner/in)

  16 März 2001

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Formal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas

  Bernhard Aichernig (Redner/in)

  18 Sep. 2001

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• short presentation in a panel discussion at the FM’99, World Congress on Formal Methods

  Bernhard Aichernig (Redner/in)

  23 Sep. 1999

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99

  Bernhard Aichernig (Redner/in)

  28 Sep. 1999

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• International Symposium on Software Reliability Engineering

  Bernhard Aichernig (Redner/in)

  4 Nov. 1998 → 7 Nov. 1998

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

• FME’97: Industrial Applications and Strengthened Foundations of Formal Methods

  Bernhard Aichernig (Redner/in)

  18 Sep. 1997

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science