Eyad Alkassar

Eyad Alkassar

Universität des Saarlandes - Saarbrücken / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1783313
Saarland University
person_outline Eyad Alkassar's MOST POPULAR ARTICLES
1-) Automated verification of a small hypervisorE Alkassar, MA Hillebrand, W Paul, E PetrovaInternational Conference on Verified Software: Theories, Tools, and …, 20101202010
2-) The Verisoft approach to systems verificationE Alkassar, MA Hillebrand, D Leinenbach, NW Schirmer, A StarostinWorking Conference on Verified Software: Theories, Tools, and Experiments …, 2008892008
3-) The 1st verified software competition: Experience reportV Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...International Symposium on Formal Methods, 154-168, 2011762011
4-) Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devicesE Alkassar, WJ Paul, A Starostin, A TsybanVerified Software: Theories, Tools, Experiments: Third International …, 2010662010
5-) Formal pervasive verification of a paging mechanismE Alkassar, N Schirmer, A StarostinTools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008652008