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
Publications
1 items
A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance
2026
Cited
0
Co-authors
5 total
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Yushan Chen
Boston University
Rong Su
Nanyang Technological University
Javier Esparza
Professor of Computer Science, Technical University of Munich
Anca Muscholl
LaBRI, Univ. of Bordeaux
