Alexandra Tsyban

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE (2010)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Artem Starostin, Alexandra Tsyban
Verified Process-Context Switch for C-Programmed Kernels. VSTTE (2008)
Artem Starostin, Alexandra Tsyban
Correct Microkernel Primitives. Electron. Notes Theor. Comput. Sci. 217 (2008)
Thomas In der Rieden, Alexandra Tsyban
CVM - A Verified Framework for Microkernel Programmers. Electron. Notes Theor. Comput. Sci. 217 (2008)