EasyChair Smart SlideDocs/Log in
Author: Ahmed Bouajjani

This page shows all presentations of this author published in EasyChair Smart Slide.

Reasoning About TSO Programs Using Reduction and Abstraction

Reasoning About TSO Programs Using Reduction and Abstraction

Suha Orhun Mutluergil, Constantin Enea, Ahmed Bouajjani and Serdar Tasiran

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

Ahmed Bouajjani, Constantin Enea, Kailiang Ji and Shaz Qadeer

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair