| 2019 | CAV | Communication-Closed Asynchronous Protocols. | Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder |
| 2016 | POPL | PSync: a partially synchronous language for fault-tolerant distributed algorithms. | Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey |
| 2014 | VMCAI | A Logic-Based Framework for Verifying Consensus Algorithms. | Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey |
| 2013 | CAV | Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. | Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger |
| 2013 | SAS | Local Shape Analysis for Overlaid Data Structures. | Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | ATVA | Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | VMCAI | Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2011 | PLDI | On inter-procedural analysis of programs with lists and data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2010 | CAV | Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
| 2009 | CONCUR | A Logic-Based Framework for Reasoning about Composite Data Structures. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2008 | SOFSEM | On Compiling Structured Interactive Programs with Registers and Voices. | Cezara Dragoi, Gheorghe Stefanescu |