2 citations · 6 across the 4 of their papers we have counts for
4 papers
A Domain Specific Language for Testing Consensus Implementations
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra +1
Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with…
Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, Alexandru Militaru +1
Synchronous computation models simplify the design and the verification of fault-tolerant distributed systems. For efficiency reasons such systems are designed and implemented usin…
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea +2
We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks. The…
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
Cezara Dragoi, Gheorghe Stefanescu
Interactive systems with registers and voices (shortly, "rv-systems") are a model for interactive computing obtained closing register machines with respect to a space-time duality…