EasyChair Smart SlideUser guide
Author: Constantin Enea

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

Proving Consistency using Forward Simulations

Proving Consistency using Forward Simulations

Constantin Enea

Monitoring Weak Consistency

Monitoring Weak Consistency

Michael Emmi and Constantin Enea

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: 4
Copyright © 2002 – 2026 EasyChair