| Automated verification of a small hypervisor E Alkassar, MA Hillebrand, W Paul, E Petrova Verified Software: Theories, Tools, Experiments: Third International …, 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 | 102 | 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 | 79 | 2011 |
| 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 | 66 | 2010 |
| 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 | 65 | 2008 |
| 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 | 63 | 2009 |
| Verifying shadow page table algorithms E Alkassar, E Cohen, M Hillebrand, M Kovalev, WJ Paul Formal Methods in Computer Aided Design, 267-270, 2010 | 48 | 2010 |
| Formal functional verification of device drivers E Alkassar, MA Hillebrand Working Conference on Verified Software: Theories, Tools, and Experiments …, 2008 | 39 | 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 | 34 | 2014 |
| 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 | 34 | 2007 |
| Verification of TLB virtualization implemented in C E Alkassar, E Cohen, M Kovalev, WJ Paul Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 31 | 2012 |
| Verification of certifying computations E Alkassar, S Böhme, K Mehlhorn, C Rizkallah Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 25 | 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 | 23 | 2011 |
| OS verification extended: on the formal verification of device drivers and the correctness of client/server software E Alkassar | 15 | 2009 |
| Invariants, modularity, and rights E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ... Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 13 | 2010 |
| Modular specification and verification of interprocess communication E Alkassar, E Cohen, M Hillebrand, H Pentchev Formal Methods in Computer Aided Design, 167-174, 2010 | 12 | 2010 |
| An introduction to certifying algorithms E Alkassar, S Böhme, K Mehlhorn, C Rizkallah, P Schweitzer it-Information Technology 53 (6), 287-293, 2011 | 11 | 2011 |
| 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 |
