Eyad Alkassar

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Venues

VSTTE

CoRR

J. Autom. Reason.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations. J. Autom. Reason. 52 (3) (2014)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
A Framework for the Verification of Certifying Computations CoRR (2013)
Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
Verification of TLB Virtualization Implemented in C. VSTTE (2012)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer
An Introduction to Certifying Algorithms. it Inf. Technol. 53 (6) (2011)
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
Verification of Certifying Computations. CAV (2011)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
Verifying shadow page table algorithms. FMCAD (2010)
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE (2010)
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
Automated Verification of a Small Hypervisor. VSTTE (2010)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev
Modular specification and verification of interprocess communication. FMCAD (2010)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Eyad Alkassar, Mark A. Hillebrand
Formal Functional Verification of Device Drivers. VSTTE (2008)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE (2008)
Sergey Tverdyshev, Eyad Alkassar
Efficient Bit-Level Model Reductions for Automated Hardware Verification. TIME (2008)
Eyad Alkassar, Norbert Schirmer, Artem Starostin
Formal Pervasive Verification of a Paging Mechanism. TACAS (2008)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
The Verisoft Approach to Systems Verification. VSTTE (2008)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES (2008)
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
Formal Device and Programming Model for a Serial Interface. VERIFY (2007)

Eyad Alkassar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eyad Alkassar