Aktivitäten pro Jahr
Aktivitäten
- 50 – 100 von 128 Ergebnissen
Suchergebnisse
-
UML&FM 2010, Third IEEE International workshop UML and Formal Methods, Shanghai, China, 16.11.2010.
Bernhard Aichernig (Redner/in)
16 Nov. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Institut für Softwaretechnologie (7160) (Organisation)
Bernhard Aichernig (Vorsitzende/r)
1 Jan. 2010 → 1 Dez. 2010Aktivitä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
-
12th International Conference on Formal Engineering Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2010 → 1 Nov. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
FMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.
Bernhard Aichernig (Redner/in)
30 Nov. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
SYANCO Winterschool
Bernhard Aichernig (Redner/in)
11 Feb. 2010Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Public Defence of Johannes Erikssons Doctoral Thesis
Bernhard Aichernig (Redner/in)
17 Aug. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
8th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Scenarios 2011 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Feb. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Ausführende/r)
17 Aug. 2010Aktivität: Prüfungs- oder Betreuungstätigkeit › Externe Prüfungstätigkeit
-
TTSS 2009 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2009 → 1 Aug. 2009Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Gast)
10 Feb. 2009 → 20 Feb. 2009Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Eindhoven
Bernhard Aichernig (Gast)
2 Nov. 2009 → 7 Nov. 2009Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
7th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Juli 2009 → 1 Sept. 2010Aktivitä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
-
MBT 2009: Model-based Testing workshop
Bernhard Aichernig (Redner/in)
22 März 2009Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
FMCO 2008: International Symposium on Formal Methods for Components and Objects
Bernhard Aichernig (Redner/in)
5 Nov. 2009Aktivitä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
-
Workshop on Model Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2009 → 1 März 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
FMCO 2008, Symposium on Formal Methods for Components and Objects, 2008
Bernhard Aichernig (Redner/in)
23 Okt. 2008Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Gast)
12 März 2008 → 29 März 2008Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
5th Workshop on Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2008 → 1 Okt. 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
-
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
-
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
-
Uppsala Universitet (Externe Organisation)
Bernhard Aichernig (Mitglied)
21 Mai 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Prüfungskommission
-
2nd International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
10 Dez. 2007 → 10 Sept. 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
-
Federal University of Pernambuco, Centre of Informatics
Bernhard Aichernig (Gast)
3 Dez. 2007 → 7 Dez. 2007Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
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
-
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
-
Fourth Workshop on Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
2nd International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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 (Redner/in)
31 März 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
MBT 2007, Third Workshop on Model-Based Testing, ETAPS 2007
Bernhard Aichernig (Redner/in)
1 Apr. 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Public Defence of the Dissertation by Anders Hessel
Bernhard Aichernig (Redner/in)
21 Mai 2007Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Software and Systems Modeling (Fachzeitschrift)
Bernhard Aichernig (Herausgeber/in)
1 Juli 2007 → 1 Juli 2008Aktivität: Peer review oder Herausgebertätigkeit › Herausgebertätigkeit
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Gast)
18 Sept. 2007 → 28 Sept. 2007Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
Festschrift Symposium in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th Birthdays
Bernhard Aichernig (Redner/in)
24 Sept. 2007Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
15th International Symposium on Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2007 → 1 Nov. 2008Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
VDM/Overture Workshop
Bernhard Aichernig (Redner/in)
28 Nov. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
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
-
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
-
Third Workshop on Model-Based Testing, ETAPS 2007 (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 (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
MBT 2006, Second Workshop on Model Based Testing.
Bernhard Aichernig (Redner/in)
26 März 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
CREDO Project Meeting
Bernhard Aichernig (Redner/in)
18 Sept. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
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