Scholar
Alin Stefanescu
Google Scholar ID: TX7hWtAAAAAJ
Professor of Computer Science, University of Bucharest, Romania
formal methods
security
software engineering
industrial research
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,325
H-index
19
i10-index
34
Publications
20
Co-authors
33
list available
Contact
No contact links provided.
Publications
1 items
A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance
2026
Cited
0
Resume (English only)
Co-authors
33 total
Co-author 1
Co-author 2
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Yushan Chen
Boston University
Co-author 5
Co-author 6
Co-author 7
Co-author 8