EneaConstantin

On inter-procedural analysis of programs with lists and data

BouajjaniAhmed, DrăgoiCezara, EneaConstantin, 2011 .

Monitoring refinement via symbolic reasoning

EneaConstantin, EmmiMichael, HamzaJad, 2015 .

Verifying eventual consistency of optimistic replication systems

BouajjaniAhmed, EneaConstantin, HamzaJad, 2014 .

Testing consensus implementations using communication closure

DrăgoiCezara, EneaConstantin, MajumdarRupak, 2020 .

Sound, complete, and tractable linearizability monitoring for concurrent collections

EneaConstantin, EmmiMichael, 2017 .