E-LIB Suche - Ergebnisse für: Alkassar, Eyad

1

A Framework for the Verification of Certifying Computations:

Alkassar, Eyad ; Böhme, Sascha ; Mehlhorn, Kurt.
Journal of Automated Reasoning. 52 (2013) 3 - p. 241-273 , 2013

Link: https://doi.org/10.1007/..

2

Verisoft XT

Schlussbericht ; Laufzeit 01.07.2007 - 30.06.2010

Alkassar, Eyad , 2010

Link: http://edok01.tib.uni-ha..

3

Verifying shadow page table algorithms:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,

Alkassar, Eyad ; Cohen, Ernie ; Hillebrand, Mark.. - p. 267-270 , 2010

Link: https://dl.acm.org/doi/1..

4

Modular specification and verification of interprocess comm..:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,

Alkassar, Eyad ; Cohen, Ernie ; Hillebrand, Mark. - p. 167-174 , 2010

Link: https://dl.acm.org/doi/1..

5

Balancing the Load: Leveraging a Semantics Stack for System..:

Alkassar, Eyad ; Hillebrand, Mark A. ; Leinenbach, Dirk C....
Journal of Automated Reasoning. 42 (2009) 2-4 - p. 389-454 , 2009

Link: https://doi.org/10.1007/..

6

Proving the correctness of client/server software:

Alkassar, Eyad ; Bogan, Sebastian ; Paul, Wolfgang J.
Sadhana. 34 (2009) 1 - p. 145-191 , 2009

Link: https://doi.org/10.1007/..

7

Correctness of a Fault-Tolerant Real-Time Scheduler and its..:

, In: 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design,

Alkassar, Eyad ; Bohm, Peter ; Knapp, Steffen - p. None , 2008

Link: https://doi.org/10.1109/..

8

Formal Correctness of an Automotive Bus Controller Implemen..:

, In: Distributed Embedded Systems: Design, Middleware and Resources; IFIP – The International Federation for Information Processing,

Alkassar, Eyad ; Böhm, Peter ; Knapp, Steffen - p. 57-67 ,

Link: https://doi.org/10.1007/..

9

A Framework for the Verification of Certifying Computations:

Alkassar, Eyad ; Böhme, Sascha ; Mehlhorn, Kurt.
http://arxiv.org/abs/1301.7462. , 2013

Link: http://arxiv.org/abs/130..

10

OS verification extended : on the formal verification of de..:

Alkassar, Eyad
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-24206. , 2010

Link: http://nbn-resolving.org..

11

An Introduction to Certifying Algorithm:

Alkassar, Eyad ; Bohme, Sascha ; Mehlhorn, Kurt.
1611-2776. ,

Link: http://hdl.handle.net/18..

12

OS verification extended

on the formal verification of device drivers and the correc...

Alkassar, Eyad , 2009

Link: http://nbn-resolving.de/..