Constantin Enea

On verifying causal consistency

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui et al. · 2016 · 53 citations · Full text

Engineering, Verification, Software Engineering +22

Verifying eventual consistency of optimistic replication systems

Ahmed Bouajjani, Constantin Enea, Jad Hamza · 2014 · 46 citations

Model Checking Problems, Data Consistency, Engineering +12

Tractable Refinement Checking for Concurrent Objects

Ahmed Bouajjani, Michael Emmi, Constantin Enea et al. · 2014 · 46 citations

Tractable Refinement Checking, Engineering, Verification +17

An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking

Dimitar P. Guelev, Cătălin Dima, Constantin Enea · Journal of Applied Non-Classical Logics · 2011 · 39 citations

Applied Logic, Engineering, Verification +17

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

Cătălin Dima, Constantin Enea, Dimitar P. Guelev · Electronic Proceedings in Theoretical Computer Science · 2010 · 29 citations · Full text

Engineering, Game Theory, Verification +22