dblp.uni-trier.dewww.uni-trier.de

Eyad Alkassar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Peter Böhm [6] [7]
2Mark A. Hillebrand [1] [2] [3]
3Steffen Knapp [1] [6] [7]
4Dirk Leinenbach [3]
5Rostislav Rusev [1]
6Norbert Schirmer [3] [5]
7Artem Starostin [3] [5]
8Sergey Tverdyshev [1] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)