BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × The Netherlands
Collaborated with:
T.Santen W.J.Paul E.Petrova
Talks about:
hypervisor (1) microsoft (1) implement (1) correctn (1) generat (1) verifi (1) toward (1) formal (1) compil (1) verif (1)

Person: Dirk Leinenbach

DBLP DBLP: Leinenbach:Dirk

Contributed to:

FM 20092009
SEFM 20052005

Wrote 2 papers:

FM-2009-LeinenbachS #verification
Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
SEFM-2005-LeinenbachPP #code generation #compilation #implementation #towards #verification
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.