| 2026 | ACL | Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning. | Zhenjiang Mao, Anirudhh Venkat, Artem Bisliouk, Sindhura Kumbakonam Subramanian, Akshat Kothiyal, Saithej Singhu, Ivan Ruchkin |
| 2025 | ATVA | Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. | Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin |
| 2025 | IROS | Unsupervised Anomaly Detection Improves Imitation Learning for Autonomous Racing. | Yuang Geng, Yang Zhou, Yuyang Zhang, Zhongzheng Ren Zhang, Kang Yang, Tyler Ruble, Giancarlo Vidal, Ivan Ruchkin |
| 2025 | IROS | Generalizable Image Repair for Robust Visual Control. | Carson Sobolewski, Zhenjiang Mao, Kshitij Maruti Vejre, Ivan Ruchkin |
| 2024 | FM | Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. | Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin |
| 2021 | CHASE | High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. | Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer |
| 2021 | WSC | Data Generation With Prospect: A Probability Specification Tool. | Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu |
| 2018 | FM | IPL: An Integration Property Language for Multi-model Cyber-physical Systems. | Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
| 2017 | ICSE | Towards a Formal Framework for Hybrid Planning in Self-Adaptation. | Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cmara |
| 2015 | CCS | Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. | Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2015 | MODELS | Architectural and Analytic Integration of Cyber-Physical System Models. | Ivan Ruchkin |
| 2015 | MODELS | Towards Integration of Modeling Methods for Cyber-Physical Systems. | Ivan Ruchkin |
| 2015 | MODELS | Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. | Ivan Ruchkin, Bradley R. Schmerl, David Garlan |
| 2014 | EMSOFT | Contract-based integration of cyber-physical analyses. | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |