Alexandra Tsyban

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal Verification of a Framework for Microkernel Programmes

Alexandra Tsyban (2009)

CVM – A Verified Framework for Microkernel Programmers

Tom In der Rieden and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV

Correct Microkernel Primitives

Artem Starostin and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV

Verified Process-Context Switch for C-Programmed Kernels

Artem Starostin and others (2008) · Lecture notes in computer science · Springer Science+Business Media