Fedor Shmarov
Scholar

Fedor Shmarov

Google Scholar ID: Yh91CZMAAAAJ
School of Computing, Newcastle University
Formal VerificationModel CheckingSoftware VerificationStochastic Hybrid Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
237
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
1 items
Floating-Point Neural Network Verification at the Software Level
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)