Aktivitäten pro Jahr
Aktivitäten
- 50 – 100 von 128 Ergebnissen
Suchergebnisse
-
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
-
Uppsala Universitet (Externe Organisation)
Bernhard Aichernig (Mitglied)
21 Mai 2007Aktivität: Mitgliedschaft › Mitgliedschaft in Prüfungskommission
-
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
-
Third International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2008 → 1 Okt. 2009Aktivitä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
-
5th Workshop on Model-Based Testing (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
-
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
-
Workshop on Model Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2009 → 1 März 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
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
-
4th International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2009 → 1 Juli 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
TTSS 2009 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2009 → 1 Aug. 2009Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Eindhoven
Bernhard Aichernig (Gast)
2 Nov. 2009 → 7 Nov. 2009Aktivität: Besuch einer externen akademischen Einrichtung › Forschungstätigkeit an einer externen Einrichtung
-
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
-
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
-
7th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Juli 2009 → 1 Sept. 2010Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
9th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Nov. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
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
-
12th International Conference on Formal Engineering Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Feb. 2010 → 1 Nov. 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
-
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
-
Tool-Supported Invariant-Based Programming
Bernhard Aichernig (Ausführende/r)
17 Aug. 2010Aktivität: Prüfungs- oder Betreuungstätigkeit › Externe Prüfungstätigkeit
-
Dagstuhl Seminar on Model-Based Testing in Practice
Bernhard Aichernig (Redner/in)
19 Okt. 2010Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
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
-
SYANCO Winterschool
Bernhard Aichernig (Redner/in)
11 Feb. 2010Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Scenarios 2011 (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Feb. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
8th International Colloquium on Theoretical Aspects of Computing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Sept. 2010 → 1 Aug. 2011Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
FMCO 2010: Software Technologies Concertation on Formal Methods for Components and Objects
Elisabeth Jöbstl (Organisator/-in), Harald Brandl (Organisator/-in) & Bernhard Aichernig (Organisator/-in)
29 Nov. 2010 → 1 Dez. 2010Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
Model-based Mutation Testing: Foundations and Applications
Bernhard Aichernig (Redner/in)
7 Feb. 2010 → 13 Feb. 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
-
10th International Conference on Software Engineering and Formal Methods (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Nov. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
QSIC 2012: 12th International Conference on Quality Software (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
6th International Conference on Tests and Proofs (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Aug. 2011 → 1 Juni 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Seventh Workshop on Model-Based Testing (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Okt. 2011 → 1 März 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Mutation Killers in Action: Foundations and Applications of Model-Based Mutation Testing
Bernhard Aichernig (Redner/in)
18 März 2011Aktivität: Vortrag oder Präsentation › Öffentlicher Vortrag oder öffentliche Diskussion › Science to public
-
4th International Symposium on Unifying Theories of Programming (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Dez. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Fourth International Conference on Knowledge and Systems Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Aug. 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
6th IEEE International Symposium on Theoretical Aspects of Software Engineering (Veranstaltung)
Bernhard Aichernig (Mitglied)
1 Nov. 2011 → 1 Juli 2012Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Seminar series of UNU-IIST, the United Nations University - International Institute for Software Technology
Bernhard Aichernig (Redner/in)
9 Juli 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
The Sixth International Symposium on Theoretical Aspects of Software Engineering 4-6 July 2012,Beijing, China
Bernhard Aichernig (Redner/in)
5 Juli 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Model-Based Mutation Testing: From Semantics to Automated Test-Case Generation
Bernhard Aichernig (Redner/in)
18 Sept. 2012Aktivität: Vortrag oder Präsentation › Öffentlicher Vortrag oder öffentliche Diskussion › Science to public
-
CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages
Bernhard Aichernig (Keynote speaker)
27 Sept. 2012Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
AVL Research Community Networking Day
Bernhard Aichernig (Redner/in)
30 Jan. 2013Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Seminar at the Department of Computer Science and Engineering
Bernhard Aichernig (Redner/in)
19 Apr. 2013Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Invited Talk at the FP7 PROWESS project meeting
Bernhard Aichernig (Redner/in)
17 Apr. 2013Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Festschrift Symposium in Honor of He Jifeng
Bernhard Aichernig (Redner/in)
2 Sept. 2013Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
Seminar
Bernhard Aichernig (Redner/in)
19 Dez. 2014Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
TAP 2014
Bernhard Aichernig (Redner/in)
24 Juli 2014Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science