Eyad Alkassar
Eyad Alkassar
Unknown affiliation
Verified email at wjpserver.cs.uni-saarland.de
Title
Cited by
Cited by
Year
Automated verification of a small hypervisor
E Alkassar, MA Hillebrand, W Paul, E Petrova
International Conference on Verified Software: Theories, Tools, and …, 2010
1142010
The Verisoft approach to systems verification
E Alkassar, MA Hillebrand, D Leinenbach, NW Schirmer, A Starostin
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
832008
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
International Symposium on Formal Methods, 154-168, 2011
722011
Balancing the load
E Alkassar, MA Hillebrand, DC Leinenbach, NW Schirmer, A Starostin, ...
Journal of Automated Reasoning 42 (2), 389-454, 2009
582009
Pervasive verification of an OS microkernel
E Alkassar, WJ Paul, A Starostin, A Tsyban
International Conference on Verified Software: Theories, Tools, and …, 2010
572010
Formal pervasive verification of a paging mechanism
E Alkassar, N Schirmer, A Starostin
International Conference on Tools and Algorithms for the Construction and …, 2008
572008
Verifying shadow page table algorithms
E Alkassar, E Cohen, M Hillebrand, M Kovalev, WJ Paul
Formal Methods in Computer Aided Design, 267-270, 2010
412010
Formal functional verification of device drivers
E Alkassar, MA Hillebrand
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
312008
Verification of TLB virtualization implemented in C
E Alkassar, E Cohen, M Kovalev, WJ Paul
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
282012
A framework for the verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
Journal of Automated Reasoning 52 (3), 241-273, 2014
272014
Formal device and programming model for a serial interface
E Alkassar, M Hillebrand, S Knapp, R Rusev, S Tverdyshev
Proceedings, 4th International Verification Workshop (VERIFY), Bremen …, 2007
262007
Verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
International Conference on Computer Aided Verification, 67-82, 2011
212011
OS verification extended: on the formal verification of device drivers and the correctness of client/server software
E Alkassar
152009
Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom …, 2011
132011
Invariants, modularity, and rights
E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ...
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
132009
Modular specification and verification of interprocess communication
E Alkassar, E Cohen, M Hillebrand, H Pentchev
Formal Methods in Computer Aided Design, 167-174, 2010
112010
Efficient bit-level model reductions for automated hardware verification
S Tverdyshev, E Alkassar
2008 15th International Symposium on Temporal Representation and Reasoning …, 2008
112008
Formal correctness of an automotive bus controller implementation at gate-level
E Alkassar, P Böhm, S Knapp
IFIP Working Conference on Distributed and Parallel Embedded Systems, 57-67, 2008
102008
Proving the correctness of client/server software
E Alkassar, S Bogan, WJ Paul
Sadhana 34 (1), 145-191, 2009
92009
Correctness of a fault-tolerant real-time scheduler and its hardware implementation
E Alkassar, P Bohm, S Knapp
2008 6th ACM/IEEE International Conference on Formal Methods and Models for …, 2008
92008
The system can't perform the operation now. Try again later.
Articles 1–20