Formal Device and Programming Model for a Serial Interface. - Eyad Alkassar; Mark A. Hillebrand; Steffen Knapp; Rostislav Rusev; Sergey Tverdyshev (VERIFY, 2007)

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. - Eyad Alkassar; Peter Böhm; Steffen Knapp (DIPES, 2008)

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. - Eyad Alkassar; Peter Böhm; Steffen Knapp (MEMOCODE, 2008)

Formal Pervasive Verification of a Paging Mechanism. - Eyad Alkassar; Norbert Schirmer; Artem Starostin (TACAS, 2008)

Efficient Bit-Level Model Reductions for Automated Hardware Verification. - Sergey Tverdyshev; Eyad Alkassar (TIME, 2008)

Formal Functional Verification of Device Drivers. - Eyad Alkassar; Mark A. Hillebrand (VSTTE, 2008)

The Verisoft Approach to Systems Verification. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin (VSTTE, 2008)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

Balancing the Load. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban (J. Autom. Reason., 2009)

OS verification extended: on the formal verification of device drivers and the correctness of client-server software. - Eyad Alkassar (2009)

Verifying shadow page table algorithms. - Eyad Alkassar; Ernie Cohen; Mark A. Hillebrand; Mikhail Kovalev; Wolfgang J. Paul (FMCAD, 2010)

Modular specification and verification of interprocess communication. - Eyad Alkassar; Ernie Cohen; Mark A. Hillebrand; Hristo Pentchev (FMCAD, 2010)

Automated Verification of a Small Hypervisor. - Eyad Alkassar; Mark A. Hillebrand; Wolfgang J. Paul; Elena Petrova (VSTTE, 2010)

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. - Eyad Alkassar; Wolfgang J. Paul; Artem Starostin; Alexandra Tsyban (VSTTE, 2010)

Verification of Certifying Computations. - Eyad Alkassar; Sascha Böhme; Kurt Mehlhorn; Christine Rizkallah (CAV, 2011)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

An Introduction to Certifying Algorithms. - Eyad Alkassar; Sascha Böhme; Kurt Mehlhorn; Christine Rizkallah; Pascal Schweitzer (it Inf. Technol., 2011)

Verification of TLB Virtualization Implemented in C. - Eyad Alkassar; Ernie Cohen; Mikhail Kovalev; Wolfgang J. Paul (VSTTE, 2012)

A Framework for the Verification of Certifying Computations. - Eyad Alkassar; Sascha Böhme; Kurt Mehlhorn; Christine Rizkallah (J. Autom. Reason., 2014)