Eingabe löschen

Kopfbereich

Schnellnavigation

Hauptnavigation

Dr. Karl Reiner Lermer

Dr. Karl Reiner Lermer

Dr. Karl Reiner Lermer

ZHAW School of Engineering
Sicherheitskritische Systeme A
Technikumstrasse 9
8400 Winterthur

+41 (0) 58 934 73 38
karl.lermer@zhaw.ch

Arbeit an der ZHAW

Tätigkeit an der ZHAW

Dozent für Mathematik
Projekte aF&E im IAMP (Institut für Angewandte Mathematik und Physik)


www.iamp.zhaw.ch

Aus- und Weiterbildung

Arbeits- und Forschungsschwerpunkte, Spezialkenntnisse

Risiko, Sicherheit und Zuverlässigkeit komplexer technischer programmierbarer Systeme
Formale Methoden (Spezifikations und Verifikationstechniken)

Beruflicher Werdegang

1996 - 2003 Software Verification Research Centre (SVRC), The University of Queensland.
1994 - 1996 Institut für Informatik (IFI), Universität Zürich.
1990 - 1994 Institut für Mathematik, Universität Zürich.

Projekte

Publikationen vor Tätigkeit an der ZHAW

K. Lermer and C. Fidge : Procedure Compilation in the Refinement Calculus, Formal Aspects of Computing, 18(2), pp 152-180, 2006.
K. Lermer, C. Fidge and I. Hayes : A Theory for Execution-Time Derivation in Real-Time Programs, Theoretical Computer Science, Vol. 346, no. 1, pp. 3-27, 2005.
K. Lermer : Rejecting Sequences, Mathematical Reports, (Bucur.) 6(56), no. 1, pp 57-83, 2004.
K. Lermer, C. Fidge and I. Hayes : Linear Approximation of Execution-Time Constraints, Formal Aspects of Computing, 15(4), pp 319-348, 2003.
K. Lermer and C. J. Fidge : A Formal Model of Real-Time Program Compilation, Theoretical Computer Science, Vol. 282, no. 1, pp 151-190, 2002.
K. Lermer and P. Strooper : Refinement and State Machine Abstraction, Theoretical Computer Science, Vol. 266, no. 1-2, pp 195-235, 2001.
I. Hayes, C. Fidge and K. Lermer : Semantic Characterisation of Dead Control-Flow Paths, IEE Proceedings Software, Vol. 148, No. 6, December 2001, pp 175-186.
K. Lermer and P. Strooper : A Single Complete Refinement Rule for Demonic Specifications, International Conference on Theoretical Computer Science IFIP TCS2000, Springer Verlag, LNCS Vol. 1872, pp 564-579.
K. Lermer : The Grothendieck-Pietsch Domination Principle for Nonlinear Summing Integral Operators, Studia Mathematica, Vol. 129, 1998, pp 97-112.
K. Lermer : Characterizations of Banach Space Properties by Nonlinear Integral Operators on C(S,X)-Spaces, Studii Si Cercetari Matematice, Tom. 49, Nr. 3-4, 1997, pp 173-189.
K. Lermer and C. J. Fidge : A Methodology for Compilation of High-Integrity Real-Time Programs, Proc. Euro-Par'97, Springer-Verlag, Lecture Notes in Computer Science, Vol. 1300, August 1997, pp 1274-1281.
K. Lermer : Characterizations of Weakly Compact Nonlinear Integral Operators on C(S)-Spaces, Studii Si Cercetari Matematice, Tom. 48, Nr. 5-6, 1996, pp 365-378.
P. Baumann and K. Lermer : A Framework for the Specification of Reactive and Concurrent Systems in Z, Proc. 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, Lecture Notes in Computer Science 1026, 1995, pp 62-79.