Activities per year
Activities
- 39 results
Search results
-
13th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
13 Mar 2015 → 11 Sept 2015Activity: Membership › Membership in Programm Committee
-
20th International Symposium on Formal Methods (Event)
Bernhard Aichernig (Member)
2 Jan 2015 → 26 Jun 2015Activity: Membership › Membership in Programm Committee
-
International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
23 Feb 2015 → 24 Jul 2015Activity: Membership › Membership in Programm Committee
-
10th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Chair)
24 Jul 2015 → 7 Jul 2016Activity: Membership › Membership in Programm Committee
-
8th IEEE International Conference on Software Testing, Verification and Validation (Event)
Bernhard Aichernig (Member)
1 Oct 2014 → 16 Apr 2015Activity: Membership › Membership in Programm Committee
-
Model-Based Testing (Event)
Bernhard Aichernig (Member)
15 Dec 2014 → 18 Apr 2015Activity: Membership › Membership in Programm Committee
-
6th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Aug 2011 → 1 Jun 2012Activity: Membership › Membership in Programm Committee
-
QSIC 2012: 12th International Conference on Quality Software (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
Fourth International Conference on Knowledge and Systems Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
4th International Symposium on Unifying Theories of Programming (Event)
Bernhard Aichernig (Member)
1 Dec 2011 → 1 Aug 2012Activity: Membership › Membership in Programm Committee
-
10th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Dec 2011 → 1 Nov 2012Activity: Membership › Membership in Programm Committee
-
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2011 → 1 Jul 2012Activity: Membership › Membership in Programm Committee
-
Seventh Workshop on Model-Based Testing (MBT) (Event)
Bernhard Aichernig (Member)
1 Oct 2011 → 1 Mar 2012Activity: Membership › Membership in Programm Committee
-
Scenarios 2011 (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Feb 2011Activity: Membership › Membership in Programm Committee
-
9th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Nov 2011Activity: Membership › Membership in Programm Committee
-
12th International Conference on Formal Engineering Methods (Event)
Bernhard Aichernig (Member)
1 Feb 2010 → 1 Nov 2010Activity: Membership › Membership in Programm Committee
-
5th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: Membership › Membership in Programm Committee
-
8th International Colloquium on Theoretical Aspects of Computing (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: Membership › Membership in Programm Committee
-
Institute of Software Technology (7160) (Organisational unit)
Bernhard Aichernig (Chair)
1 Jan 2010 → 1 Dec 2010Activity: Membership › Membership in Programm Committee
-
8th IEEE International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Nov 2009 → 1 Sept 2010Activity: Membership › Membership in Programm Committee
-
TTSS 2009 (Event)
Bernhard Aichernig (Member)
1 Feb 2009 → 1 Aug 2009Activity: Membership › Membership in Programm Committee
-
7th International Colloquium on Theoretical Aspects of Computing (Event)
Bernhard Aichernig (Member)
1 Jul 2009 → 1 Sept 2010Activity: Membership › Membership in Programm Committee
-
Workshop on Model Based Testing (Event)
Bernhard Aichernig (Member)
1 Oct 2009 → 1 Mar 2010Activity: Membership › Membership in Programm Committee
-
4th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2009 → 1 Jul 2010Activity: Membership › Membership in Programm Committee
-
5th Workshop on Model-Based Testing (Event)
Bernhard Aichernig (Member)
1 Oct 2008 → 1 Oct 2009Activity: Membership › Membership in Programm Committee
-
International Conference on Tests And Proofs (Event)
Bernhard Aichernig (Member)
1 Oct 2008 → 1 Oct 2009Activity: Membership › Membership in Programm Committee
-
3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (Event)
Bernhard Aichernig (Member)
1 Oct 2008 → 1 Jul 2009Activity: Membership › Membership in Programm Committee
-
Fourth Workshop on Model-Based Testing (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
15th International Symposium on Formal Methods (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
2nd International Symposium on Unifying Theories of Programming (Event)
Bernhard Aichernig (Member)
10 Dec 2007 → 10 Sept 2008Activity: Membership › Membership in Programm Committee
-
10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
20th IFIP International Conference on Testing of Communicating Systems, 8th International Workshop on Formal Approaches to Testing of Software (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
2nd International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
OpenCert 2007, 1st International Workshop on Foundations and Techniques for Open Source Software Certification, Braga, Portugal, 31 March 2007, sattelite event of ETAPS 2007. (Event)
Bernhard Aichernig (Chair)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership in Programm Committee
-
19th IFIP International Conference on Testing of Communicating Systems, 7th International Workshop on Formal Approaches to Testing of Software (Event)
Bernhard Aichernig (Member)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership in Programm Committee
-
MBT 2007, Third Workshop on Model-Based Testing, ETAPS 2007 (Event)
Bernhard Aichernig (Member)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership in Programm Committee
-
1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (Event)
Bernhard Aichernig (Member)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership in Programm Committee