Eyad Alkassar

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

A Framework for the Verification of Certifying Computations.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah

J. Autom. Reason., 2014

2012

Verification of TLB Virtualization Implemented in C.

Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

An Introduction to Certifying Algorithms.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer

it Inf. Technol., 2011

The 1st Verified Software Competition: Experience Report.

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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ß

Proceedings of the FM 2011: Formal Methods, 2011

Verification of Certifying Computations.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah

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

2010

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2010

Automated Verification of a Small Hypervisor.

Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova

Proceedings of the Verified Software: Theories, 2010

Modular specification and verification of interprocess communication.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Verifying shadow page table algorithms.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul

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.

Eyad Alkassar

PhD thesis, 2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

Invariants, Modularity, and Rights.

Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

2008

The Verisoft Approach to Systems Verification.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin

Proceedings of the Verified Software: Theories, 2008

Formal Functional Verification of Device Drivers.

Eyad Alkassar, Mark A. Hillebrand

Proceedings of the Verified Software: Theories, 2008

Efficient Bit-Level Model Reductions for Automated Hardware Verification.

Sergey Tverdyshev, Eyad Alkassar

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Formal Pervasive Verification of a Paging Mechanism.

Eyad Alkassar, Norbert Schirmer, Artem Starostin

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.

Eyad Alkassar, Peter Böhm, Steffen Knapp

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.

Eyad Alkassar, Peter Böhm, Steffen Knapp

Proceedings of the Distributed Embedded Systems: Design, 2008

2007

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007