Concepedia

Alexandra Tsyban

AT

Statistics

Publications

5

Citations

138

H-Index

5

Active since

2008

Affiliations

Saarland University(Current)

German Research Centre for Artificial Intelligence

Alexandra Tsyban is an author at Saarland University specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceVerificationSystem SoftwareFormal VerificationComputer EngineeringFormal MethodsProgram AnalysisOperating SystemsSoftware Analysis

Publications per year

2008–2010

5

Publications

5

Balancing the Load

Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach et al. · Journal of Automated Reasoning · 2009 · 51 citations

Load Balancing (Computing), Line Balancing, Engineering +6

CVM – A Verified Framework for Microkernel Programmers

Tom In der Rieden, Alexandra Tsyban · Electronic Notes in Theoretical Computer Science · 2008 · 30 citations · Full text

Engineering, Verification, Software Engineering +18

Pervasive verification of an OS microkernel: inline assembly, memory consumption, concurrent devices

Eyad Alkassar, Wolfgang J. Paul, A. N. Starostin et al. · 2010 · 27 citations

Hardware Security, Engineering, Operating Systems +15

Correct Microkernel Primitives

A. N. Starostin, Alexandra Tsyban · Electronic Notes in Theoretical Computer Science · 2008 · 19 citations · Full text

Miniaturization, Program Checking, Engineering +19

Formal Verication of a Framework for Microkernel Programmers

Alexandra Tsyban · 2009 · 11 citations

Engineering, Hardware Verification Language, Verification +23

1–5 of 5