Aktivitäten pro Jahr
Aktivitäten
- 1 – 50 von 128 Ergebnissen
Suchergebnisse
-
1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit
Bernhard Aichernig (Redner/in)
28 Apr. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
10th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Nov. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
10th International Conference on Tests & Proofs
Bernhard Aichernig (Organisator/-in)
24 Juli 2015 → 7 Juli 2016Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
10th International Conference on Tests & Proofs (Veranstaltung)
Bernhard Aichernig (Vorsitzende/r)
24 Juli 2015 → 7 Juli 2016Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
12th International Conference on Formal Engineering Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2010 → 1 Nov. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
13th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
13 März 2015 → 11 Sept. 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
15th International Symposium on Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
19th IFIP International Conference on Testing of Communicating Systems, 7th International Workshop on Formal Approaches to Testing of Software (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
1st International Workshop on Foundations and Techniques for Open Source Software Certification (Veranstaltung)
Bernhard Aichernig (Vorsitzende/r)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
1st International Workshop on Foundations and Techniques for Open Source Software Certification (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week
Bernhard Aichernig (Keynote speaker)
11 Apr. 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
20th IFIP International Conference on Testing of Communicating Systems, 8th International Workshop on Formal Approaches to Testing of Software (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
20th International Symposium on Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
2 Jan. 2015 → 26 Juni 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
2nd International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
2nd International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
10 Dez. 2007 → 10 Sept. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2008 → 1 Juli 2009Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
4th International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2009 → 1 Juli 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
4th International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
5th International Conference on Tests & Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
5th Workshop on Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2008 → 1 Okt. 2009Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Juli 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
6th International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Aug. 2011 → 1 Juni 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
7th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Juli 2009 → 1 Sept. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
7th Workshop Computer Science Research Meets Business
Bernhard Aichernig (Redner/in)
17 Nov. 2016Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
8th IEEE International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2009 → 1 Sept. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
8th IEEE International Conference on Software Testing, Verification and Validation (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2014 → 16 Apr. 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
8th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
9th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Nov. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
9th International Conference on Tests & Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
23 Feb. 2015 → 24 Juli 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Abo Akademi Seminar day
Bernhard Aichernig (Redner/in)
12 Juni 2003Aktivitä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. 2015Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Redner/in)
8 Okt. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
AVL Research Community Networking Day
Bernhard Aichernig (Redner/in)
30 Jan. 2013Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages
Bernhard Aichernig (Keynote speaker)
27 Sept. 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Redner/in)
3 Apr. 2016Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99
Bernhard Aichernig (Redner/in)
28 Sept. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Concurrency, Verification & Security Seminars
Bernhard Aichernig (Redner/in)
13 Mai 2009Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Redner/in)
4 Okt. 2021Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
CREDO Project Meeting
Bernhard Aichernig (Redner/in)
18 Sept. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
CREDO Project Meeting on Testing
Bernhard Aichernig (Redner/in)
26 Feb. 2007Aktivitä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. 2003Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Dagstuhl Seminar on Model-Based Testing in Practice
Bernhard Aichernig (Redner/in)
19 Okt. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Doctoral Symposium of Formal Methods 2015, University of Oslo
Bernhard Aichernig (Organisator/-in)
22 Juni 2015Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
Eindhoven
Bernhard Aichernig (Gast)
2 Nov. 2009 → 7 Nov. 2009Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Electronic Notes in Theoretical Computer Science (Zeitschrift)
Bernhard Aichernig (Herausgeber/in)
1 Jan. 2006 → 1 Juli 2007Aktivität: Peer review oder Herausgebertätigkeit › Herausgebertätigkeit
-
eMacao Seminar Series
Bernhard Aichernig (Redner/in)
3 Jan. 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science