Activities per year
Activities
- 20 results
Search results
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Speaker)
10 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Festschrift Symposium in Honor of Jose Nuno Oliveira
Bernhard Aichernig (Speaker)
26 Sept 2015Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
TAP 2014
Bernhard Aichernig (Speaker)
24 Jul 2014Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
The Sixth International Symposium on Theoretical Aspects of Software Engineering 4-6 July 2012,Beijing, China
Bernhard Aichernig (Speaker)
5 Jul 2012Activity: Talk or presentation › Talk at conference or symposium › 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
-
Public Defence of Johannes Erikssons Doctoral Thesis
Bernhard Aichernig (Speaker)
17 Aug 2010Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
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
-
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
-
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
-
CREDO Project Meeting on Testing
Bernhard Aichernig (Speaker)
26 Feb 2007Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
CREDO Project Meeting
Bernhard Aichernig (Speaker)
18 Sept 2006Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
QSIC 2OO5, Fifth International Conference on Quality Software
Bernhard Aichernig (Speaker)
19 Sept 2005Activity: 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
-
Formal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas
Bernhard Aichernig (Speaker)
18 Sept 2001Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity
Bernhard Aichernig (Speaker)
16 Mar 2001Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
short presentation in a panel discussion at the FM’99, World Congress on Formal Methods
Bernhard Aichernig (Speaker)
23 Sept 1999Activity: Talk or presentation › Talk at conference or symposium › 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
-
International Symposium on Software Reliability Engineering
Bernhard Aichernig (Speaker)
4 Nov 1998 → 7 Nov 1998Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
FME’97: Industrial Applications and Strengthened Foundations of Formal Methods
Bernhard Aichernig (Speaker)
18 Sept 1997Activity: Talk or presentation › Talk at conference or symposium › Science to science