Andreea Costea
Title
Cited by
Cited by
Year
Towards a session logic for communication protocols
F Craciun, T Kiss, A Costea
2015 20th International Conference on Engineering of Complex Computer …, 2015
62015
Certified reasoning with infinity
A Sharma, S Wang, A Costea, A Hobor, WN Chin
International Symposium on Formal Methods, 496-513, 2015
62015
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
42018
HIPimm: verifying granular immutability guarantees
A Costea, A Sharma, C David
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014
42014
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
22020
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
12020
A session logic for relaxed communication protocols
A Costea
PhD dissertation, School of Computing, National University of Singapore, 2017
12017
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
2020
A Session Logic for Communication Protocols
F Craciun, WN Chin, A Costea
Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–9