Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

Graz University of Technology, Institute of Software Technology (7160)
Graz University of Technology, Faculty of Computer Science and Biomedical Engineering (7000)

Research activity per year

If you made any changes in Pure these will be visible here soon.

19 results
- Title
- Start date(ascending)

Filter

Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Speaker)
10 Oct 2019
Activity: Talk or presentation › Talk at conference or symposium › Science to science
Festschrift Symposium in Honor of Jose Nuno Oliveira
Bernhard Aichernig (Speaker)
26 Sep 2015
Activity: Talk or presentation › Talk at conference or symposium › Science to science
TAP 2014
Bernhard Aichernig (Speaker)
24 Jul 2014
Activity: 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 2012
Activity: Talk or presentation › Talk at conference or symposium › Science to science
CBSoft/SBLP 2012: Brazilian Symposium on Programming Languages
Bernhard Aichernig (Keynote speaker)
27 Sep 2012
Activity: 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 2010
Activity: Talk or presentation › Talk at conference or symposium › Science to science
Public Defence of Johannes Erikssons Doctoral Thesis
Bernhard Aichernig (Speaker)
17 Aug 2010
Activity: 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 2008
Activity: Talk or presentation › Talk at conference or symposium › Science to science
Public Defence of the Dissertation by Anders Hessel
Bernhard Aichernig (Speaker)
21 May 2007
Activity: Talk or presentation › Talk at conference or symposium › Science to science
CREDO Project Meeting on Testing
Bernhard Aichernig (Speaker)
26 Feb 2007
Activity: Talk or presentation › Talk at conference or symposium › Science to science
CREDO Project Meeting
Bernhard Aichernig (Speaker)
18 Sep 2006
Activity: Talk or presentation › Talk at conference or symposium › Science to science
QSIC 2OO5, Fifth International Conference on Quality Software
Bernhard Aichernig (Speaker)
19 Sep 2005
Activity: 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 2003
Activity: 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 2001
Activity: 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 Sep 2001
Activity: 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 Sep 1999
Activity: 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 Sep 1999
Activity: 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 1998
Activity: 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 Sep 1997
Activity: Talk or presentation › Talk at conference or symposium › Science to science

Search results