Activities per year
Activities
- 1 - 50 out of 128 results
Search results
-
1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit
Bernhard Aichernig (Speaker)
28 Apr 1999Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
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
-
10th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Dec 2011 → 1 Nov 2012Activity: Membership › Membership in Programm Committee
-
10th International Conference on Tests & Proofs
Bernhard Aichernig (Organiser)
24 Jul 2015 → 7 Jul 2016Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
10th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Chair)
24 Jul 2015 → 7 Jul 2016Activity: 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
-
13th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
13 Mar 2015 → 11 Sept 2015Activity: 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
-
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
-
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
-
1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week
Bernhard Aichernig (Keynote speaker)
11 Apr 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
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
-
20th International Symposium on Formal Methods (Event)
Bernhard Aichernig (Member)
2 Jan 2015 → 26 Jun 2015Activity: 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
-
2nd International Conference on Tests and Proofs (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
-
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
-
4th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2009 → 1 Jul 2010Activity: 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
-
5th International Conference on Tests & Proofs (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: 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
-
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
-
6th International Conference on Tests and Proofs (Event)
Bernhard Aichernig (Member)
1 Aug 2011 → 1 Jun 2012Activity: 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
-
7th Workshop Computer Science Research Meets Business
Bernhard Aichernig (Speaker)
17 Nov 2016Activity: 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
-
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
-
8th International Colloquium on Theoretical Aspects of Computing (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Aug 2011Activity: 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
-
9th International Conference on Software Engineering and Formal Methods (Event)
Bernhard Aichernig (Member)
1 Sept 2010 → 1 Nov 2011Activity: Membership › Membership in Programm Committee
-
Abo Akademi Seminar day
Bernhard Aichernig (Speaker)
12 Jun 2003Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
A-MOST 2015, the 11th Advances in Model Based Testing workshop
Bernhard Aichernig (Speaker)
17 Apr 2015Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)
8 Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
AVL Research Community Networking Day
Bernhard Aichernig (Speaker)
30 Jan 2013Activity: Talk or presentation › Invited talk › Science to science
-
CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages
Bernhard Aichernig (Keynote speaker)
27 Sept 2012Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)
3 Apr 2016Activity: Talk or presentation › Invited talk › Science to science
-
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99
Bernhard Aichernig (Speaker)
28 Sept 1999Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Concurrency, Verification & Security Seminars
Bernhard Aichernig (Speaker)
13 May 2009Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Speaker)
4 Oct 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
CREDO Project Meeting
Bernhard Aichernig (Speaker)
18 Sept 2006Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
CREDO Project Meeting on Testing
Bernhard Aichernig (Speaker)
26 Feb 2007Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
Bernhard Aichernig (Speaker)
26 Aug 2003Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Dagstuhl Seminar on Model-Based Testing in Practice
Bernhard Aichernig (Speaker)
19 Oct 2010Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Doctoral Symposium of Formal Methods 2015, University of Oslo
Bernhard Aichernig (Organiser)
22 Jun 2015Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
Eindhoven
Bernhard Aichernig (Visitor)
2 Nov 2009 → 7 Nov 2009Activity: Visiting an external academic institution › Research at external institution
-
Electronic Notes in Theoretical Computer Science (Journal)
Bernhard Aichernig (Editor)
1 Jan 2006 → 1 Jul 2007Activity: Publication peer-review or editorial work › Editorial activity
-
eMacao Seminar Series
Bernhard Aichernig (Speaker)
3 Jan 2005Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
EPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)
Bernhard Aichernig (Speaker)
9 Mar 1998Activity: Talk or presentation › Invited talk › Science to science
-
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
-
Festschrift Symposium in Honor of He Jifeng
Bernhard Aichernig (Speaker)
2 Sept 2013Activity: Talk or presentation › Invited talk › Science to science