Alexandra Tsyban

According to our database, Alexandra Tsyban authored at least 6 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

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

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2010

2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

Invariants, Modularity, and Rights.

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

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Correct Microkernel Primitives.

Artem Starostin, Alexandra Tsyban

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

CVM - A Verified Framework for Microkernel Programmers.

Thomas In der Rieden, Alexandra Tsyban

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Verified Process-Context Switch for C-Programmed Kernels.

Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2008