Andreea Costea
Cited by
Cited by
Towards a session logic for communication protocols
F Craciun, T Kiss, A Costea
2015 20th International Conference on Engineering of Complex Computer …, 2015
Certified reasoning with infinity
A Sharma, S Wang, A Costea, A Hobor, WN Chin
International Symposium on Formal Methods, 496-513, 2015
Concise read-only specifications for better synthesis of programs with pointers
A Costea, A Zhu, N Polikarpova, I Sergey
European Symposium on Programming, 141-168, 2020
HIPimm: verifying granular immutability guarantees
A Costea, A Sharma, C David
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014
Automated modular verification for relaxed communication protocols
A Costea, WN Chin, S Qin, F Craciun
Asian Symposium on Programming Languages and Systems, 284-305, 2018
Confirmed child patient with Covid-19 infection, operated for associated surgical pathology–first pediatric case in Romania
DO Costea, FD Enache, R Baz, AP Suceveanu, AI Suceveanu, ...
Rom Biotechnol Lett 25 (6), 2107-2110, 2020
A session logic for relaxed communication protocols
A Costea
PhD dissertation, School of Computing, National University of Singapore, 2017
HIPPODROME: Data Race Repair using Static Analysis Summaries
A Costea, A Tiwari, S Chianasta, A Roychoudhury, I Sergey
arXiv preprint arXiv:2108.02490, 2021
Outcomes of Diabetic Retinopathy Post-Bariatric Surgery in Patients with Type 2 Diabetes Mellitus
AM Dascalu, AP Stoian, AP Cherecheanu, D Serban, DO Costea, ...
Journal of clinical medicine 10 (16), 3736, 2021
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers--Extended Version
A Costea, A Zhu, N Polikarpova, I Sergey
arXiv preprint arXiv:2001.10723, 2020
A Session Logic for Communication Protocols
F Craciun, WN Chin, A Costea
Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017
The system can't perform the operation now. Try again later.
Articles 1–11