Ivan Ruchkin
Scholar

Ivan Ruchkin

Google Scholar ID: 2c00FlAAAAAJ
Assistant Professor, Department of Electrical and Computer Engineering, University of Florida
Safe Autonomous SystemsCyber-Physical SystemsAssuranceVerificationMonitoring
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
489
 
H-index
10
 
i10-index
12
 
Publications
20
 
Co-authors
8
list available
Contact
TwitterOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
20 items
Cyber-Physical Digital Factory Architecture as the Enabler of Disembodied Work
2026
Cited
0
$S^3$: A Smooth Simulation Surrogate for Optimizing Discrete Abstractions of Dynamical Systems
2026
Cited
0
A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems
2026
Cited
0
Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
2026
Cited
0
Anomaly-Informed Confidence Calibration for Vision-Based Safety Prediction
2026
Cited
0
Finite-Sample Analysis of Elimination in Active Hypothesis Testing
2026
Cited
0
TEACar: An Open-Source Autonomous Driving Platform
2026
Cited
0
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
2026
Cited
0
Resume (English only)
Co-authors
8 total
David Garlan
David Garlan
Professor of Computer Science, Carnegie Mellon University
Co-author 2
Co-author 2
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Oleg Sokolsky
Oleg Sokolsky
University of Pennsylvania
Co-author 5
Co-author 5
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Co-author 7
Co-author 7
Co-author 8
Co-author 8