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

• Creating Digital Twins through Model Learning and Testing

  Bernhard Aichernig (Redner/in)

  4 Okt. 2021

  Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public

• Learning Models for Test Automation Mastering the Complexity of Testing via Explainable AI

  Bernhard Aichernig (Redner/in)

  20 Mai 2021

  Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to public

• 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

• Learning-based Testing: Combining Model Learning and Model-based Testing

  Bernhard Aichernig (Redner/in)

  20 Okt. 2020

  Aktivität: Vortrag oder Präsentation › Invited talk 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

• A Testing Perspective on Algebraic, Denotational, and Operational Semantics

  Bernhard Aichernig (Redner/in)

  8 Okt. 2019

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

• 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 Testing of IoT Protocols - Combining Model Learning and Model-based Testing

  Bernhard Aichernig (Redner/in)

  5 Juni 2018

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

• Smart Black-box Testing

  Bernhard Aichernig (Keynote speaker)

  7 Dez. 2018

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

• Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

  Bernhard Aichernig (Redner/in)

  11 Juni 2018

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

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

  Bernhard Aichernig (Redner/in)

  11 Sep. 2018

  Aktivität: Vortrag oder Präsentation › Gastvortrag › 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

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

  Bernhard Aichernig (Redner/in)

  20 Sep. 2017

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

• Celebration Event for Frank de Boer's 60th Birthday

  Bernhard Aichernig (Redner/in)

  3 Apr. 2016

  Aktivität: Vortrag oder Präsentation › Gastvortrag › 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

• 7th Workshop Computer Science Research Meets Business

  Bernhard Aichernig (Redner/in)

  17 Nov. 2016

  Aktivität: Vortrag oder Präsentation › Gastvortrag › 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

• SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,

  Bernhard Aichernig (Redner/in)

  10 Juni 2015

  Aktivität: Vortrag oder Präsentation › Gastvortrag › 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

• 10th International Conference on Tests & Proofs (Veranstaltung)

  Bernhard Aichernig (Vorsitzende/r)

  24 Juli 2015 → 7 Juli 2016

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 9th International Conference on Tests & Proofs (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  23 Feb. 2015 → 24 Juli 2015

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 20th International Symposium on Formal Methods (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  2 Jan. 2015 → 26 Juni 2015

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 10th International Conference on Tests & Proofs

  Bernhard Aichernig (Organisator/-in)

  24 Juli 2015 → 7 Juli 2016

  Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)

• 13th International Conference on Software Engineering and Formal Methods (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  13 März 2015 → 11 Sep. 2015

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• Doctoral Symposium of Formal Methods 2015, University of Oslo

  Bernhard Aichernig (Organisator/-in)

  22 Juni 2015

  Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)

• 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

• Seminar

  Bernhard Aichernig (Redner/in)

  19 Dez. 2014

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

• Model-Based Testing (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  15 Dez. 2014 → 18 Apr. 2015

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 8th IEEE International Conference on Software Testing, Verification and Validation (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Okt. 2014 → 16 Apr. 2015

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• TAP 2014

  Bernhard Aichernig (Redner/in)

  24 Juli 2014

  Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › 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

• Festschrift Symposium in Honor of He Jifeng

  Bernhard Aichernig (Redner/in)

  2 Sep. 2013

  Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

• Invited Talk at the FP7 PROWESS project meeting

  Bernhard Aichernig (Redner/in)

  17 Apr. 2013

  Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

• AVL Research Community Networking Day

  Bernhard Aichernig (Redner/in)

  30 Jan. 2013

  Aktivität: Vortrag oder Präsentation › Gastvortrag › 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

• 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

• 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

• Model-Based Mutation Testing: From Semantics to Automated Test-Case Generation

  Bernhard Aichernig (Redner/in)

  18 Sep. 2012

  Aktivität: Vortrag oder Präsentation › Öffentlicher Vortrag oder öffentliche Diskussion › Science to public

• 4th International Symposium on Unifying Theories of Programming (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Dez. 2011 → 1 Aug. 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• QSIC 2012: 12th International Conference on Quality Software (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Nov. 2011 → 1 Aug. 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• Mutation Killers in Action: Foundations and Applications of Model-Based Mutation Testing

  Bernhard Aichernig (Redner/in)

  18 März 2011

  Aktivität: Vortrag oder Präsentation › Öffentlicher Vortrag oder öffentliche Diskussion › Science to public

• Seventh Workshop on Model-Based Testing (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Okt. 2011 → 1 März 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• Fourth International Conference on Knowledge and Systems Engineering (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Nov. 2011 → 1 Aug. 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Nov. 2011 → 1 Juli 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 6th International Conference on Tests and Proofs (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Aug. 2011 → 1 Juni 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 10th International Conference on Software Engineering and Formal Methods (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Dez. 2011 → 1 Nov. 2012

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• 12th International Conference on Formal Engineering Methods (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Feb. 2010 → 1 Nov. 2010

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee

• FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects

  Elisabeth Jöbstl (Organisator/-in), Harald Brandl (Organisator/-in) & Bernhard Aichernig (Organisator/-in)

  29 Nov. 2010 → 1 Dez. 2010

  Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)

• 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

• 8th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Sep. 2010 → 1 Aug. 2011

  Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee