Eyad Alkassar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | Verification of Certifying Computations. | Eyad Alkassar, Sascha Bhme, Kurt Mehlhorn, Christine Rizkallah |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 |
| 2010 | FMCAD | Verifying shadow page table algorithms. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul |
| 2010 | FMCAD | Modular specification and verification of interprocess communication. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev |
| 2008 | MEMOCODE | Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. | Eyad Alkassar, Peter Bhm, Steffen Knapp |
| 2008 | TACAS | Formal Pervasive Verification of a Paging Mechanism. | Eyad Alkassar, Norbert Schirmer, Artem Starostin |
| 2008 | TIME | Efficient Bit-Level Model Reductions for Automated Hardware Verification. | Sergey Tverdyshev, Eyad Alkassar |
| 2007 | CADE | Formal Device and Programming Model for a Serial Interface. | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |