Folgen
Eyad Alkassar
Eyad Alkassar
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei wjpserver.cs.uni-saarland.de
Titel
Zitiert von
Zitiert von
Jahr
Automated verification of a small hypervisor
E Alkassar, MA Hillebrand, W Paul, E Petrova
Verified Software: Theories, Tools, Experiments: Third International …, 2010
1242010
The Verisoft approach to systems verification
E Alkassar, MA Hillebrand, D Leinenbach, NW Schirmer, A Starostin
Verified Software: Theories, Tools, Experiments: Second International …, 2008
972008
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
772011
Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devices
E Alkassar, WJ Paul, A Starostin, A Tsyban
Verified Software: Theories, Tools, Experiments: Third International …, 2010
632010
Balancing the load: Leveraging a semantics stack for systems verification
E Alkassar, MA Hillebrand, DC Leinenbach, NW Schirmer, A Starostin, ...
Journal of Automated Reasoning 42 (2), 389-454, 2009
622009
Formal pervasive verification of a paging mechanism
E Alkassar, N Schirmer, A Starostin
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
622008
Verifying shadow page table algorithms
E Alkassar, E Cohen, M Hillebrand, M Kovalev, WJ Paul
Formal Methods in Computer Aided Design, 267-270, 2010
472010
Formal functional verification of device drivers
E Alkassar, MA Hillebrand
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008
382008
A framework for the verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
Journal of Automated Reasoning 52, 241-273, 2014
342014
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
322007
Verification of TLB virtualization implemented in C
E Alkassar, E Cohen, M Kovalev, WJ Paul
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
302012
Verification of certifying computations
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
242011
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
232011
OS verification extended: on the formal verification of device drivers and the correctness of client/server software
E Alkassar
152009
Invariants, modularity, and rights
E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ...
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
132010
Modular specification and verification of interprocess communication
E Alkassar, E Cohen, M Hillebrand, H Pentchev
Formal Methods in Computer Aided Design, 167-174, 2010
122010
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
Distributed Embedded Systems: Design, Middleware and Resources, 57-67, 2008
102008
An introduction to certifying algorithms
E Alkassar, S Böhme, K Mehlhorn, C Rizkallah, P Schweitzer
it-Information Technology 53 (6), 287-293, 2011
92011
Proving the correctness of client/server software
E Alkassar, S Bogan, WJ Paul
Sadhana 34, 145-191, 2009
92009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20