Activities per year
Activities
- 50 - 100 out of 128 results
Search results
-
UML&FM 2010, Third IEEE International workshop UML and Formal Methods, Shanghai, China, 16.11.2010.
Bernhard Aichernig (Speaker)
16 Nov 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Institute of Software Technology (7160) (Organisational unit)
Bernhard Aichernig (Chair)
1 Jan 2010 → 1 Dec 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
-
12th International Conference on Formal Engineering Methods (Event)
Bernhard Aichernig (Member)
1 Feb 2010 → 1 Nov 2010Activity: Membership › Membership in Programm Committee
-
FMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.
Bernhard Aichernig (Speaker)
30 Nov 2010Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
SYANCO Winterschool
Bernhard Aichernig (Speaker)
11 Feb 2010Activity: Talk or presentation › Invited talk › Science to science
-
Public Defence of Johannes Erikssons Doctoral Thesis
Bernhard Aichernig (Speaker)
17 Aug 2010Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Agent)
17 Aug 2010Activity: Examination or supervision › External examination
-
8th International Colloquium on Theoretical Aspects of Computing (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: Membership › Membership in Programm Committee
-
Scenarios 2011 (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Feb 2011Activity: 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
-
TTSS 2009 (Event)
Bernhard Aichernig (Member)
1 Feb 2009 → 1 Aug 2009Activity: Membership › Membership in Programm Committee
-
Concurrency, Verification & Security Seminars
Bernhard Aichernig (Speaker)
13 May 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Visitor)
10 Feb 2009 → 20 Feb 2009Activity: Visiting an external academic institution › Research at external institution
-
Eindhoven
Bernhard Aichernig (Visitor)
2 Nov 2009 → 7 Nov 2009Activity: Visiting an external academic institution › Research at external institution
-
4th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2009 → 1 Jul 2010Activity: Membership › Membership in Programm Committee
-
MBT 2009: Model-based Testing workshop
Bernhard Aichernig (Speaker)
22 Mar 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
FMCO 2008: International Symposium on Formal Methods for Components and Objects
Bernhard Aichernig (Speaker)
5 Nov 2009Activity: Talk or presentation › Invited talk › Science to science
-
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
-
Workshop on Model Based Testing (Event)
Bernhard Aichernig (Member)
1 Oct 2009 → 1 Mar 2010Activity: Membership › Membership in Programm Committee
-
FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008
Bernhard Aichernig (Speaker)
23 Oct 2008Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Visitor)
12 Mar 2008 → 29 Mar 2008Activity: Visiting an external academic institution › Research at external institution
-
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
-
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
-
Uppsala Universitet (External organisation)
Bernhard Aichernig (Member)
21 May 2007Activity: Membership › Membership of examination board
-
2nd International Symposium on Unifying Theories of Programming (Event)
Bernhard Aichernig (Member)
10 Dec 2007 → 10 Sept 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
-
Federal University of Pernambuco, Centre of Informatics
Bernhard Aichernig (Visitor)
3 Dec 2007 → 7 Dec 2007Activity: Visiting an external academic institution › Research at external institution
-
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
-
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
-
Fourth Workshop on Model-Based Testing (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: Membership › Membership in Programm Committee
-
CREDO Project Meeting on Testing
Bernhard Aichernig (Speaker)
26 Feb 2007Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
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.
Bernhard Aichernig (Speaker)
31 Mar 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
MBT 2007, Third Workshop on Model-Based Testing, ETAPS 2007
Bernhard Aichernig (Speaker)
1 Apr 2007Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Public Defence of the Dissertation by Anders Hessel
Bernhard Aichernig (Speaker)
21 May 2007Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Software and Systems Modeling (Journal)
Bernhard Aichernig (Editor)
1 Jul 2007 → 1 Jul 2008Activity: Publication peer-review or editorial work › Editorial activity
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Visitor)
18 Sept 2007 → 28 Sept 2007Activity: Visiting an external academic institution › Research at external institution
-
Festschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays
Bernhard Aichernig (Speaker)
24 Sept 2007Activity: Talk or presentation › Invited talk › Science to science
-
15th International Symposium on Formal Methods (Event)
Bernhard Aichernig (Member)
1 Nov 2007 → 1 Nov 2008Activity: 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
-
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
-
Electronic Notes in Theoretical Computer Science (Journal)
Bernhard Aichernig (Editor)
1 Jan 2006 → 1 Jul 2007Activity: Publication peer-review or editorial work › Editorial activity
-
VDM/Overture Workshop
Bernhard Aichernig (Speaker)
28 Nov 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
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 (Member)
1 Nov 2006 → 1 Nov 2007Activity: Membership › Membership of research network or expert group
-
MBT 2006, Second Workshop on Model Based Testing.
Bernhard Aichernig (Speaker)
26 Mar 2006Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
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
-
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