Cezara Dragoi
发表
Cezara Dragoi,
Cezara Dragoi,
2011
.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2015,
SNAPL.
Cezara Dragoi,
G. Cluzel,
2019
.
Josef Widder,
Cezara Dragoi,
2019
.
Cezara Dragoi,
2017
.
Thomas A. Henzinger,
Helmut Veith,
Damien Zufferey,
2014,
VMCAI.
Damien Zufferey,
Josef Widder,
Cezara Drăgoi,
2020,
Proc. ACM Program. Lang..
Rupak Majumdar,
Constantin Enea,
Filip Niksic,
2020,
Proc. ACM Program. Lang..
Josef Widder,
Cezara Dragoi,
Josef Widder,
2018,
ArXiv.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2016,
POPL.
Constantin Enea,
Ahmed Bouajjani,
Yan Jurski,
2007,
Log. Methods Comput. Sci..
Gheorghe Stefanescu,
Cezara Dragoi,
Gheorghe Stefanescu,
2008,
FInCo@ETAPS.
Gheorghe Ştefănescu,
Cezara Drăgoi,
Gheorghe Stefanescu,
2006
.
Victor Mitrana,
Florin Manea,
Remco Loos,
2009,
J. Univers. Comput. Sci..
M. Srivas,
C. Enea,
Cezara Dragoi,
2023,
ArXiv.
Josef Widder,
Cezara Drăgoi,
Marijana Lazić,
2018
.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2009,
CONCUR.
Constantin Enea,
Mihaela Sighireanu,
Cezara Dragoi,
2013,
SAS.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
VMCAI.
Constantin Enea,
Ahmed Rezine,
Ahmed Bouajjani,
2010,
CAV.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2011,
PLDI '11.
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
pdf
Gheorghe Stefanescu,
Cezara Dragoi,
Gheorghe Stefanescu,
2008,
ArXiv.
Implementation and verification of ring termination detection protocols using structured rv-programs
Gheorghe Ştefănescu,
Cezara Drăgoi,
Gheorghe Stefanescu,
2006
.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
ATVA.