Eyad Alkassar

According to our database1, Eyad Alkassar authored at least 19 papers between 2007 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A Framework for the Verification of Certifying Computations.
J. Autom. Reason., 2014

2012
Verification of TLB Virtualization Implemented in C.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011
An Introduction to Certifying Algorithms.
it Inf. Technol., 2011


Verification of Certifying Computations.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.
Proceedings of the Verified Software: Theories, 2010

Automated Verification of a Small Hypervisor.
Proceedings of the Verified Software: Theories, 2010

Modular specification and verification of interprocess communication.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Verifying shadow page table algorithms.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
OS verification extended: on the formal verification of device drivers and the correctness of client-server software.
PhD thesis, 2009

Balancing the Load.
J. Autom. Reason., 2009


2008
The Verisoft Approach to Systems Verification.
Proceedings of the Verified Software: Theories, 2008

Formal Functional Verification of Device Drivers.
Proceedings of the Verified Software: Theories, 2008

Efficient Bit-Level Model Reductions for Automated Hardware Verification.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Formal Pervasive Verification of a Paging Mechanism.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
Proceedings of the Distributed Embedded Systems: Design, 2008

2007
Formal Device and Programming Model for a Serial Interface.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007


  Loading...