AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. - Cezara Dragoi; Gheorghe Stefanescu (FInCo@ETAPS, 2007)

Accepting Networks of Evolutionary Processors with Filtered Connections. - Cezara Dragoi; Florin Manea; Victor Mitrana (J. Univers. Comput. Sci., 2007)

On Compiling Structured Interactive Programs with Registers and Voices. - Cezara Dragoi; Gheorghe Stefanescu (SOFSEM, 2008)

A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices - Cezara Dragoi; Gheorghe Stefanescu (CoRR, 2008)

On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. - Cezara Dragoi; Florin Manea (Int. J. Found. Comput. Sci., 2008)

A Logic-Based Framework for Reasoning about Composite Data Structures. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (CONCUR, 2009)

Rewriting Systems over Nested Data Words. - Ahmed Bouajjani; Cezara Dragoi; Yan Jurski; Mihaela Sighireanu (MEMICS, 2009)

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Yan Jurski; Mihaela Sighireanu (Log. Methods Comput. Sci., 2009)

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Ahmed Rezine; Mihaela Sighireanu (CAV, 2010)

On inter-procedural analysis of programs with lists and data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (PLDI, 2011)

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (ATVA, 2012)

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (VMCAI, 2012)

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. - Cezara Dragoi; Ashutosh Gupta 001; Thomas A. Henzinger (CAV, 2013)

Local Shape Analysis for Overlaid Data Structures. - Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (SAS, 2013)

A Logic-Based Framework for Verifying Consensus Algorithms. - Cezara Dragoi; Thomas A. Henzinger; Helmut Veith; Josef Widder; Damien Zufferey (VMCAI, 2014)

The Need for Language Support for Fault-Tolerant Distributed Systems. - Cezara Dragoi; Thomas A. Henzinger; Damien Zufferey (SNAPL, 2015)

PSync: a partially synchronous language for fault-tolerant distributed algorithms. - Cezara Dragoi; Thomas A. Henzinger; Damien Zufferey (POPL, 2016)

Reducing asynchrony to synchronized rounds. - Cezara Dragoi; Josef Widder (CoRR, 2018)

Communication-Closed Asynchronous Protocols. - Andrei Damian; Cezara Dragoi; Alexandru Militaru; Josef Widder (CAV (2), 2019)

Shape Analysis. - Bor-Yuh Evan Chang; Cezara Dragoi; Roman Manevich; Noam Rinetzky; Xavier Rival (Found. Trends Program. Lang., 2020)

Testing consensus implementations using communication closure. - Cezara Dragoi; Constantin Enea; Burcu Kulahcioglu Ozkan; Rupak Majumdar; Filip Niksic (Proc. ACM Program. Lang., 2020)

Programming at the edge of synchrony. - Cezara Dragoi; Josef Widder; Damien Zufferey (Proc. ACM Program. Lang., 2020)

A Sequentialization Procedure for Fault-Tolerant Protocols. - Cezara Dragoi; Patricio Inzaghi Pronesti (VSTTE, 2022)

A Domain Specific Language for Testing Consensus Implementations. - Cezara Dragoi; Constantin Enea; Srinidhi Nagendra; Mandayam Srivas (CoRR, 2023)

A Domain Specific Language for Testing Distributed Protocol Implementations. - Cezara Dragoi; Srinidhi Nagendra; Mandayam Srivas (NETYS, 2024)