Aktivitäten pro Jahr
Aktivitäten
- 39 Ergebnisse
Suchergebnisse
-
10th International Conference on Tests & Proofs (Veranstaltung)
Bernhard Aichernig (Vorsitzende/r)
24 Juli 2015 → 7 Juli 2016Aktivitä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
-
20th International Symposium on Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
2 Jan. 2015 → 26 Juni 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
13th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
13 März 2015 → 11 Sep. 2015Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
15 Dez. 2014 → 18 Apr. 2015Aktivitä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
-
4th International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
QSIC 2012: 12th International Conference on Quality Software (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Seventh Workshop on Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2011 → 1 März 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Fourth International Conference on Knowledge and Systems Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Aug. 2012Aktivitä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
-
10th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Nov. 2012Aktivitä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
-
8th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sep. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
5th International Conference on Tests & Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sep. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Scenarios 2011 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sep. 2010 → 1 Feb. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Institut für Softwaretechnologie (7160) (Organisation)
Bernhard Aichernig (Vorsitzende/r)
1 Jan. 2010 → 1 Dez. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
9th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sep. 2010 → 1 Nov. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
4th International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sep. 2009 → 1 Juli 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
7th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Juli 2009 → 1 Sep. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
TTSS 2009 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2009 → 1 Aug. 2009Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Workshop on Model Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2009 → 1 März 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
8th IEEE International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2009 → 1 Sep. 2010Aktivitä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
-
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
-
Third International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2008 → 1 Okt. 2009Aktivitä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
-
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
-
2nd International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
10 Dez. 2007 → 10 Sep. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Fourth Workshop on Model-Based Testing (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
-
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
-
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
-
15th International Symposium on Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
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
-
Third Workshop on Model-Based Testing, ETAPS 2007 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee