A. Tsyban

Balancing the Load

Mark A. Hillebrand, Norbert Schirmer, Eyad Alkassar, 2009, Journal of Automated Reasoning.

Invariants, Modularity, and Rights

Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.

Formal Verication of a Framework for Microkernel Programmers

Alexandra Tsyban, A. Tsyban, 2009 .

Balancing the Load

Mark A. Hillebrand, Alexandra Tsyban, Artem Starostin, 2009, Journal of Automated Reasoning.

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices

Wolfgang J. Paul, Alexandra Tsyban, Artem Starostin, 2010, VSTTE.

CVM - A Verified Framework for Microkernel Programmers

Thomas In der Rieden, Alexandra Tsyban, A. Tsyban, 2008, SSV.