2008 |
7 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES 2008: 57-67 |
6 | EE | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE 2008: 175-186 |
5 | EE | Eyad Alkassar,
Norbert Schirmer,
Artem Starostin:
Formal Pervasive Verification of a Paging Mechanism.
TACAS 2008: 109-123 |
4 | EE | Sergey Tverdyshev,
Eyad Alkassar:
Efficient Bit-Level Model Reductions for Automated Hardware Verification.
TIME 2008: 164-172 |
3 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
2 | EE | Eyad Alkassar,
Mark A. Hillebrand:
Formal Functional Verification of Device Drivers.
VSTTE 2008: 225-239 |
2007 |
1 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Steffen Knapp,
Rostislav Rusev,
Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface.
VERIFY 2007 |