Ivan Ruchkin - RankMe

71 papers A 2B 3Misc 2Journal 39Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning. CoRR Zhenjiang Mao, Anirudhh Venkat, Artem Bisliouk, Akshat Kothiyal, Sindhura Kumbakonam Subramanian, Saithej Singhu, Ivan Ruchkin
2026	J	`jnl`	MLE-UVAD: Minimal Latent Entropy Autoencoder for Fully Unsupervised Video Anomaly Detection. CoRR Yuang Geng, Junkai Zhou, Kang Yang, Pan He, Zhuoyang Zhou, José C. Príncipe, Joel B. Harley, Ivan Ruchkin
2025	—	`conf`	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. ICCPS Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	J	`jnl`	Conservative Perception Models for Probabilistic Model Checking. CoRR Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	J	`jnl`	Deterministic World Models for Verification of Closed-loop Vision-based Systems. CoRR Yuang Geng, Zhuoyang Zhou, Zhongzheng Zhang, Siyuan Pan, Hoang-Dung Tran, Ivan Ruchkin
2025	—	`conf`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. HSCC Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Evaluating Robustness of Learning-Enabled Medical Cyber-Physical Systems with Naturally Adversarial Datasets. ACM Trans. Cyber Phys. Syst. Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2025	—	`conf`	Four Principles for Physically Interpretable World Models. NeuS Jordan Peper, Zhenjiang Mao, Yuang Geng, Siyuan Pan, Ivan Ruchkin
2025	J	`jnl`	Four Principles for Physically Interpretable World Models. CoRR Jordan Peper, Zhenjiang Mao, Yuang Geng, Siyuan Pan, Ivan Ruchkin
2025	J	`jnl`	Generalizable Image Repair for Robust Visual Autonomous Racing. CoRR Carson Sobolewski, Zhenjiang Mao, Kshitij Maruti Vejre, Ivan Ruchkin
2025	A	`conf`	Generalizable Image Repair for Robust Visual Control. IROS Carson Sobolewski, Zhenjiang Mao, Kshitij Maruti Vejre, Ivan Ruchkin
2025	J	`jnl`	How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy. CoRR Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin
2025	J	`jnl`	Modelling sustainability in cyber-physical systems: A systematic mapping study. Sustain. Comput. Informatics Syst. Ankica Barisic, Jácome Cunha, Ivan Ruchkin, Ana Moreira, João Araújo, Moharram Challenger, Dusan Savic, Vasco Amaral
2025	—	`conf`	NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. SIGSOFT FSE Companion Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	J	`jnl`	NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. CoRR Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	J	`jnl`	Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing. CoRR Christopher Oeltjen, Carson Sobolewski, Saleh Faghfoorian, Lorant Domokos, Giancarlo Vidal, Ivan Ruchkin
2025	—	`conf`	State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. NeuS Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov
2025	J	`jnl`	State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. CoRR Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin, Radoslav Ivanov
2025	J	`jnl`	Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction. CoRR Yuang Geng, Thomas Waite, Trevor Turnquist, Radoslav Ivanov, Ivan Ruchkin
2025	J	`jnl`	Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic. CoRR Zhenjiang Mao, Artem Bisliouk, Rohith Reddy Nama, Ivan Ruchkin
2025	B	`conf`	Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. ATVA Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin
2025	J	`jnl`	Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. CoRR Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin
2025	A	`conf`	Unsupervised Anomaly Detection Improves Imitation Learning for Autonomous Racing. IROS Yuang Geng, Yang Zhou, Yuyang Zhang, Zhongzheng Ren Zhang, Kang Yang, Tyler Ruble, Giancarlo Vidal, Ivan Ruchkin
2025	J	`jnl`	What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems. CoRR Chengyu Li, Saleh Faghfoorian, Ivan Ruchkin
2024	—	`conf`	Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. FM (1) Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin
2024	—	`conf`	Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee
2024	—	`conf`	How safe am I given what I see? Calibrated prediction of safety chances for image-controlled autonomy. L4DC Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin
2024	J	`jnl`	Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving. CoRR Zhenjiang Mao, Dong-You Jhong, Ao Wang, Ivan Ruchkin
2024	—	`conf`	Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2024	J	`jnl`	Surveying neuro-symbolic approaches for reliable artificial intelligence of things. J. Reliab. Intell. Environ. Zhen Lu, Imran Afridi, Hong Jin Kang, Ivan Ruchkin, Xi Zheng
2024	J	`jnl`	Towards Physically Interpretable World Models: Meaningful Weakly Supervised Representations for Visual Trajectory Prediction. CoRR Zhenjiang Mao, Ivan Ruchkin
2024	J	`jnl`	Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models. CoRR Zhenjiang Mao, Siqi Dai, Yuang Geng, Ivan Ruchkin
2023	J	`jnl`	Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. CoRR Yuang Geng, Souradeep Dutta, Ivan Ruchkin
2023	—	`conf`	Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Causal Repair of Learning-enabled Cyber-physical Systems. CoRR Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	—	`conf`	Conservative Safety Monitors of Stochastic Dynamical Systems. NFM Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer
2023	J	`jnl`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy. CoRR Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin
2023	J	`jnl`	Repairing Learning-Enabled Controllers While Preserving What Works. CoRR Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2022	—	`conf`	Confidence Composition for Monitors of Verification Assumptions. ICCPS Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2022	—	`conf`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Multi-paradigm modeling for cyber-physical systems: A systematic mapping review. J. Syst. Softw. Ankica Barisic, Ivan Ruchkin, Dusan Savic, Mustafa Abshir Mohamed, Rima Al Ali, Letitia W. Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio Cicchetti
2021	J	`jnl`	Confidence Composition for Monitors of Verification Assumptions. CoRR Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2021	Misc	`conf`	Data Generation With Prospect: A Probability Specification Tool. WSC Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu
2021	B	`conf`	High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer
2021	J	`jnl`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl
2020	J	`jnl`	Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee
2020	—	`conf`	Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2019	—	`—`	Integration of Modeling Methods for Cyber-Physical Systems. Ivan Ruchkin
2019	J	`jnl`	Model-Based Adaptation for Robotics Software. IEEE Softw. Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi
2018	J	`jnl`	Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications. Future Gener. Comput. Syst. Xiaokang Zhou, Albert Y. Zomaya, Weimin Li, Ivan Ruchkin
2018	B	`conf`	IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
2018	J	`jnl`	Scalable platforms and advanced algorithms for IoT and cyber-enabled applications. J. Parallel Distributed Comput. Xiaokang Zhou, Guangquan Xu, Jianhua Ma, Ivan Ruchkin
2017	J	`jnl`	Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos
2017	—	`conf`	Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara
2016	—	`conf`	Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan
2015	—	`conf`	Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. ACES-MB&WUCOR@MoDELS Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2015	—	`conf`	Architectural Abstractions for Hybrid Programs. CBSE Ivan Ruchkin, Bradley R. Schmerl, David Garlan
2015	—	`conf`	Architectural and Analytic Integration of Cyber-Physical System Models. SRC@MoDELS Ivan Ruchkin
2015	—	`conf`	Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan
2015	—	`conf`	Towards Integration of Modeling Methods for Cyber-Physical Systems. MoDELS (Doctoral Symposium) Ivan Ruchkin
2014	Misc	`conf`	Contract-based integration of cyber-physical analyses. EMSOFT Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan
2014	J	`jnl`	Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
2012	J	`jnl`	Foundations and Tools for End-User Architecting CoRR David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl
2012	—	`conf`	Foundations and Tools for End-User Architecting. Monterey Workshop David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl
2012	J	`jnl`	Single-window Integrated Development Environment CoRR Ivan Ruchkin, Vladimir Prus