| Automated verification of a small hypervisor E Alkassar, MA Hillebrand, W Paul, E Petrova International Conference on Verified Software: Theories, Tools, and …, 2010 | 126 | 2010 |
| The Verisoft approach to systems verification E Alkassar, MA Hillebrand, D Leinenbach, NW Schirmer, A Starostin Verified Software: Theories, Tools, Experiments: Second International …, 2008 | 101 | 2008 |
| 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 | 83 | 2011 |
| Pervasive verification of an OS microkernel: Inline assembly, memory consumption, concurrent devices E Alkassar, WJ Paul, A Starostin, A Tsyban International Conference on Verified Software: Theories, Tools, and …, 2010 | 68 | 2010 |
| 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 | 64 | 2009 |
| Formal pervasive verification of a paging mechanism E Alkassar, N Schirmer, A Starostin International Conference on Tools and Algorithms for the Construction and …, 2008 | 64 | 2008 |
| Verifying shadow page table algorithms E Alkassar, E Cohen, M Hillebrand, M Kovalev, WJ Paul Formal Methods in Computer Aided Design, 267-270, 2010 | 47 | 2010 |
| Formal functional verification of device drivers E Alkassar, MA Hillebrand Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008 | 42 | 2008 |
| 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 | 36 | 2014 |
| Formal Device and Programming Model for a Serial Interface. E Alkassar, MA Hillebrand, S Knapp, R Rusev, S Tverdyshev VERIFY 2007, 4-20, 2007 | 36 | 2007 |
| Verification of TLB virtualization implemented in C E Alkassar, E Cohen, M Kovalev, WJ Paul International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 31 | 2012 |
| Verification of certifying computations E Alkassar, S Böhme, K Mehlhorn, C Rizkallah International Conference on Computer Aided Verification, 67-82, 2011 | 27 | 2011 |
| 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 | 24 | 2011 |
| OS verification extended: on the formal verification of device drivers and the correctness of client/server software E Alkassar | 16 | 2009 |
| Invariants, modularity, and rights E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ... International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 14 | 2009 |
| An introduction to certifying algorithms E Alkassar, S Böhme, K Mehlhorn, C Rizkallah, P Schweitzer it-Information Technology 53 (6), 287-293, 2011 | 12 | 2011 |
| Modular specification and verification of interprocess communication E Alkassar, E Cohen, M Hillebrand, H Pentchev Formal Methods in Computer Aided Design, 167-174, 2010 | 11 | 2010 |
| Efficient bit-level model reductions for automated hardware verification S Tverdyshev, E Alkassar 2008 15th International Symposium on Temporal Representation and Reasoning …, 2008 | 11 | 2008 |
| 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 | 10 | 2008 |
| Proving the correctness of client/server software E Alkassar, S Bogan, WJ Paul Sadhana 34, 145-191, 2009 | 9 | 2009 |
