Foundations and Tools for End-User Architecting. - David Garlan; Vishal Dwivedi; Ivan Ruchkin; Bradley R. Schmerl (Monterey Workshop, 2012)

Single-window Integrated Development Environment - Ivan Ruchkin; Vladimir Prus (CoRR, 2012)

Contract-based integration of cyber-physical analyses. - Ivan Ruchkin; Dionisio de Niz; Sagar Chaki; David Garlan (EMSOFT, 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)

Architectural Abstractions for Hybrid Programs. - Ivan Ruchkin; Bradley R. Schmerl; David Garlan (CBSE, 2015)

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. - Ivan Ruchkin; Ashwini Rao; Dionisio de Niz; Sagar Chaki; David Garlan (CPS-SPC@CCS, 2015)

Architectural and Analytic Integration of Cyber-Physical System Models. - Ivan Ruchkin (SRC@MoDELS, 2015)

Towards Integration of Modeling Methods for Cyber-Physical Systems. - Ivan Ruchkin (MoDELS (Doctoral Symposium), 2015)

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. - Ivan Ruchkin; Bradley R. Schmerl; David Garlan (ACES-MB&WUCOR@MoDELS, 2015)

Challenges in physical modeling for adaptation of cyber-physical systems. - Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Amanda Rico; David Garlan (WF-IoT, 2016)

Towards a Formal Framework for Hybrid Planning in Self-Adaptation. - Ashutosh Pandey 002; Ivan Ruchkin; Bradley R. Schmerl; Javier Cámara 001 (SEAMS@ICSE, 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; et al. (ACM SIGSOFT Softw. Eng. Notes, 2017)

IPL: An Integration Property Language for Multi-model Cyber-physical Systems. - Ivan Ruchkin; Joshua Sunshine; Grant Iraci; Bradley R. Schmerl; David Garlan (FM, 2018)

Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications. - Xiaokang Zhou; Albert Y. Zomaya; Weimin Li 001; Ivan Ruchkin (Future Gener. Comput. Syst., 2018)

Scalable platforms and advanced algorithms for IoT and cyber-enabled applications. - Xiaokang Zhou; Guangquan Xu; Jianhua Ma 002; Ivan Ruchkin (J. Parallel Distributed Comput., 2018)

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; et al. (IEEE Softw., 2019)

Integration of Modeling Methods for Cyber-Physical Systems. - Ivan Ruchkin (2019)

Hybrid Planning Using Learning and Model Checking for Autonomous Systems. - Ashutosh Pandey 002; Ivan Ruchkin; Bradley R. Schmerl; David Garlan (ACSOS, 2020)

Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. - Ivan Ruchkin; Oleg Sokolsky; James Weimer; Tushar Hedaoo; Insup Lee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

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 (ACSOS-C, 2021)

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. - Ivan Ruchkin; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (Formal Methods in Outer Space, 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 001; James Weimer (CHASE, 2021)

Data Generation With Prospect: A Probability Specification Tool. - Alan Ismaiel; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001; Jason Shu (WSC, 2021)

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. - Matthew Cleaveland; Ivan Ruchkin; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

Confidence Composition for Monitors of Verification Assumptions. - Ivan Ruchkin; Matthew Cleaveland; Radoslav Ivanov; Pengyuan Lu; Taylor J. Carpenter; Oleg Sokolsky; Insup Lee 001 (ICCPS, 2022)

Evaluating Alarm Classifiers with High-confidence Data Programming. - Sydney Pugh; Ivan Ruchkin; Christopher P. Bonafide; Sara B. DeMauro; Oleg Sokolsky; Insup Lee 001; James Weimer (ACM Trans. Comput. Heal., 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)

Causal Repair of Learning-Enabled Cyber-Physical Systems. - Pengyuan Lu; Ivan Ruchkin; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001 (ICAA, 2023)

Conservative Safety Monitors of Stochastic Dynamical Systems. - Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (NFM, 2023)

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. - Sydney Pugh; Ivan Ruchkin; Insup Lee 001; James Weimer (CoRR, 2023)

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. - Yuang Geng; Souradeep Dutta; Ivan Ruchkin (CoRR, 2023)

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. - Yuang Geng; Jake Brandon Baldauf; Souradeep Dutta; Chao Huang 015; Ivan Ruchkin (FM (1), 2024)

Repairing Learning-Enabled Controllers While Preserving What Works. - Pengyuan Lu; Matthew Cleaveland; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (ICCPS, 2024)

Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. - Sydney Pugh; Ivan Ruchkin; James Weimer; Insup Lee 001 (ICCPS, 2024)

How safe am I given what I see? Calibrated prediction of safety chances for image-controlled autonomy. - Zhenjiang Mao; Carson Sobolewski; Ivan Ruchkin (L4DC, 2024)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models. - Zhenjiang Mao; Siqi Dai; Yuang Geng; Ivan Ruchkin (CoRR, 2024)

Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving. - Zhenjiang Mao; Dong-You Jhong; Ao Wang; Ivan Ruchkin (CoRR, 2024)

Towards Physically Interpretable World Models: Meaningful Weakly Supervised Representations for Visual Trajectory Prediction. - Zhenjiang Mao; Ivan Ruchkin (CoRR, 2024)

Surveying neuro-symbolic approaches for reliable artificial intelligence of things. - Zhen Lu; Imran Afridi; Hong Jin Kang; Ivan Ruchkin; Xi Zheng 001 (J. Reliab. Intell. Environ., 2024)

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 001 (HSCC, 2025)

Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation. - Pengyuan Lu; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (ICCPS, 2025)

Four Principles for Physically Interpretable World Models. - Jordan Peper; Zhenjiang Mao; Yuang Geng; Siyuan Pan; Ivan Ruchkin (NeuS, 2025)

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems. - Thomas Waite; Yuang Geng; Trevor Turnquist; Ivan Ruchkin; Radoslav Ivanov (NeuS, 2025)

NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. - Xi Zheng 001; Ziyang Li; Ivan Ruchkin; Ruzica Piskac; Miroslav Pajic (SIGSOFT FSE Companion, 2025)

Modelling sustainability in cyber-physical systems: A systematic mapping study. - Ankica Barisic; Jácome Cunha; Ivan Ruchkin; Ana Moreira 001; João Araújo 001; Moharram Challenger; Dusan Savic; Vasco Amaral 001 (Sustain. Comput. Informatics Syst., 2025)

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. - Xi Zheng 001; Ziyang Li; Ivan Ruchkin; Ruzica Piskac; Miroslav Pajic (CoRR, 2025)

Generalizable Image Repair for Robust Visual Autonomous Racing. - Carson Sobolewski; Zhenjiang Mao; Kshitij Maruti Vejre; Ivan Ruchkin (CoRR, 2025)

Conservative Perception Models for Probabilistic Model Checking. - Matthew Cleaveland; Pengyuan Lu; Oleg Sokolsky; Insup Lee 001; Ivan Ruchkin (CoRR, 2025)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic. - Zhenjiang Mao; Artem Bisliouk; Rohith Reddy Nama; Ivan Ruchkin (CoRR, 2025)

How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy. - Zhenjiang Mao; Mrinall Eashaan Umasudhan; Ivan Ruchkin (CoRR, 2025)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. - Jordan Peper; Yan Miao; Sayan Mitra; Ivan Ruchkin (CoRR, 2025)