Get started
Author

Corina S. Pasareanu

Observed names: C.S. Pãsãreanu, Corina Păsăreanu, Pasareanu, Corina S.
ORCID: 0000-0002-5579-6961
Observed ORCID: 0000-0002-5579-6961
OpenAlex ID: A5111692410
Agentic AI Software Engineers: Programming with Trust
2026 · Abhik Roychoudhury, Corina Păsăreanu, et al. · Communications of the ACM · 4
Automated compositional verification
2010 · D. Giannakopoulou, C.S. Pãsãreanu · IET Software · 1
Agentic Planning for Symbolic Execution
2026 · Yang, Daniel Koh Ji, Noller, Yannic, et al. · arXiv (Cornell University)
PDF
SecCodePRM: A Process Reward Model for Code Security
2026 · Yu, Weichen, Mangal, Ravi, et al. · arXiv (Cornell University)
PDF
Works count: 4
Citation count: 5
H-index: 1
I10-index:
Year
Topic
Type