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
Co-authors
4 total
David Garlan
David Garlan
Professor of Computer Science, Carnegie Mellon University
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Oleg Sokolsky
Oleg Sokolsky
University of Pennsylvania
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology