Constantin Enea

1. On Reducing Linearizability to State Reachability
   2015/02/24 by Ahmed Bouajjani, Michael Emmi, Bouajjani, Ahmed +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing
2. On the Completeness of Verifying Message Passing Programs under Bounded\n Asynchrony
   2018/04/18 by Ahmed Bouajjani, Bouajjani, Ahmed, Constantin Enea +5 · 3 citations
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification
3. Proving linearizability using forward simulations
   2017/02/09 by Ahmed Bouajjani, Michael Emmi, Bouajjani, Ahmed +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software System Performance and Reliability