Aktivitäten pro Jahr
Aktivitäten
- 1 – 50 von 128 Ergebnissen
Suchergebnisse
-
TIAPS Workshop at IFAD
Bernhard Aichernig (Redner/in)
28 Nov. 1996Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
FME’97: Industrial Applications and Strengthened Foundations of Formal Methods
Bernhard Aichernig (Redner/in)
18 Sept. 1997Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
International Symposium on Software Reliability Engineering
Bernhard Aichernig (Redner/in)
4 Nov. 1998 → 7 Nov. 1998Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
EPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)
Bernhard Aichernig (Redner/in)
9 März 1998Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
1. Oesterreichischer ISA-EUNET Workshop of the Austrian Computer Society, Arbeitskreis Software Qualit¨at und Verl¨asslichkeit
Bernhard Aichernig (Redner/in)
28 Apr. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop VDM in Practice! of FM’99, World Congress on Formal Methods
Bernhard Aichernig (Redner/in)
20 Sept. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
short presentation in a panel discussion at the FM’99, World Congress on Formal Methods
Bernhard Aichernig (Redner/in)
23 Sept. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99
Bernhard Aichernig (Redner/in)
28 Sept. 1999Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Journal of universal computer science (Zeitschrift)
Bernhard Aichernig (Herausgeber/in)
1 Jan. 2001 → 28 Aug. 2001Aktivität: Peer review oder Herausgebertätigkeit › Herausgebertätigkeit
-
Formal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas
Bernhard Aichernig (Redner/in)
18 Sept. 2001Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity
Bernhard Aichernig (Redner/in)
16 März 2001Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
UNU-IIST: Transfering Software Technology to Developing Countries
Bernhard Aichernig (Redner/in)
19 Okt. 2002Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
REFINE’02, the British Computer Society - Formal Aspects of Computing refinement workshop
Bernhard Aichernig (Redner/in)
20 Juli 2002Aktivitä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)
1 März 2002 → 28 Feb. 2006Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
UNU-IIST Seminar
Bernhard Aichernig (Redner/in)
10 Juli 2002Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
RCS’03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments
Bernhard Aichernig (Redner/in)
3 Juni 2003Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium
Bernhard Aichernig (Redner/in)
26 Aug. 2003Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
PURE Project Workshop 2003, Univ. of Minho
Bernhard Aichernig (Redner/in)
3 Juli 2003Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Abo Akademi Seminar day
Bernhard Aichernig (Redner/in)
12 Juni 2003Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop on Software Engineering Tools: Compatibility and Integration, The Monterey Workshop Series
Bernhard Aichernig (Redner/in)
6 Okt. 2004Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Formal Methods Europe (Externe Organisation)
Bernhard Aichernig (Vorsitzende/r)
4 Apr. 2004Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
QSIC 2OO5, Fifth International Conference on Quality Software
Bernhard Aichernig (Redner/in)
19 Sept. 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Overture Workshop
Bernhard Aichernig (Redner/in)
18 Juli 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
UNU-IIST Seminar
Bernhard Aichernig (Redner/in)
8 Apr. 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
eMacao Seminar Series
Bernhard Aichernig (Redner/in)
3 Jan. 2005Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
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
-
United Nations University, International Institute for Software Technology
Bernhard Aichernig (Gast)
26 Okt. 2006 → 5 Nov. 2006Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
CREDO Project Meeting
Bernhard Aichernig (Redner/in)
18 Sept. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
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
-
VDM/Overture Workshop
Bernhard Aichernig (Redner/in)
28 Nov. 2006Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
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
-
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 (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
Third Workshop on Model-Based Testing, ETAPS 2007 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2006 → 1 Nov. 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Refine 2006 - International Refinement Workshop
Bernhard Aichernig (Redner/in)
31 Okt. 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
-
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
-
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
-
Fourth Workshop on Model-Based Testing (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
-
Software and systems modeling (Zeitschrift)
Bernhard Aichernig (Herausgeber/in)
1 Juli 2007 → 1 Juli 2008Aktivität: Peer review oder Herausgebertätigkeit › Herausgebertätigkeit
-
Uppsala Universitet (Externe Organisation)
Bernhard Aichernig (Mitglied)
21 Mai 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Prüfungskommission
-
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
-
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 Sept. 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
-
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
-
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
-
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
-
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