Ivan Ruchkin

According to our database, Ivan Ruchkin authored at least 34 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers.

Yuang Geng, Souradeep Dutta, Ivan Ruchkin

CoRR, 2023

Repairing Learning-Enabled Controllers While Preserving What Works.

Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin

CoRR, 2023

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare.

Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer

CoRR, 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.

Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

CoRR, 2023

How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy.

Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin

CoRR, 2023

Conservative Safety Monitors of Stochastic Dynamical Systems.

Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Causal Repair of Learning-Enabled Cyber-Physical Systems.

Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Multi-paradigm modeling for cyber-physical systems: A systematic mapping review.

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

J. Syst. Softw., 2022

Evaluating Alarm Classifiers with High-confidence Data Programming.

Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer

ACM Trans. Comput. Heal., 2022

Confidence Composition for Monitors of Verification Assumptions.

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.

Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

Data Generation With Prospect: A Probability Specification Tool.

Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu

Proceedings of the Winter Simulation Conference, 2021

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

Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2021

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.

Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee

Proceedings of the Formal Methods in Outer Space, 2021

Six Software Engineering Principles for Smarter Cyber-Physical Systems.

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

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.

Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Hybrid Planning Using Learning and Model Checking for Autonomous Systems.

Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Integration of Modeling Methods for Cyber-Physical Systems.

Ivan Ruchkin

PhD thesis, 2019

Model-Based Adaptation for Robotics Software.

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

IEEE Softw., 2019

2018

Scalable platforms and advanced algorithms for IoT and cyber-enabled applications.

Xiaokang Zhou, Guangquan Xu, Jianhua Ma, Ivan Ruchkin

J. Parallel Distributed Comput., 2018

Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications.

Xiaokang Zhou, Albert Y. Zomaya, Weimin Li, Ivan Ruchkin

Future Gener. Comput. Syst., 2018

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.

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

ACM SIGSOFT Softw. Eng. Notes, 2017

Towards a Formal Framework for Hybrid Planning in Self-Adaptation.

Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016

Challenges in physical modeling for adaptation of cyber-physical systems.

Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2015

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.

Ivan Ruchkin, Bradley R. Schmerl, David Garlan

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Towards Integration of Modeling Methods for Cyber-Physical Systems.

Ivan Ruchkin

Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), 2015

Architectural and Analytic Integration of Cyber-Physical System Models.

Ivan Ruchkin

Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, 2015

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.

Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

Architectural Abstractions for Hybrid Programs.

Ivan Ruchkin, Bradley R. Schmerl, David Garlan

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

Supporting Heterogeneity in Cyber-Physical Systems Architectures.

Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl

IEEE Trans. Autom. Control., 2014

Contract-based integration of cyber-physical analyses.

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan

Proceedings of the 2014 International Conference on Embedded Software, 2014

2012

Single-window Integrated Development Environment

Ivan Ruchkin, Vladimir Prus

CoRR, 2012

Foundations and Tools for End-User Architecting.

David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012