default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Ruchkin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Zhen Lu, Imran Afridi, Hong Jin Kang, Ivan Ruchkin, Xi Zheng:
Surveying neuro-symbolic approaches for reliable artificial intelligence of things. J. Reliab. Intell. Environ. 10(3): 257-279 (2024)- [c23]Yuang Geng
, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin:
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. FM (1) 2024: 381-402 - [c22]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c21]Sydney Pugh, Ivan Ruchkin, James Weimer, Insup Lee:
Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems. ICCPS 2024: 212-223 - [c20]Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin:
How safe am I given what I see? Calibrated prediction of safety chances for image-controlled autonomy. L4DC 2024: 1370-1387 - [i13]Zhenjiang Mao, Siqi Dai, Yuang Geng, Ivan Ruchkin:
Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models. CoRR abs/2404.00462 (2024) - [i12]Zhenjiang Mao, Dong-You Jhong, Ao Wang, Ivan Ruchkin:
Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving. CoRR abs/2405.01691 (2024) - 2023
- [c19]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10 - [c18]Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM 2023: 140-156 - [i11]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR abs/2301.11330 (2023) - [i10]Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR abs/2304.02813 (2023) - [i9]Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin:
How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy. CoRR abs/2308.12252 (2023) - [i8]Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR abs/2308.14815 (2023) - [i7]Sydney Pugh, Ivan Ruchkin, Insup Lee, James Weimer:
Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare. CoRR abs/2309.00543 (2023) - [i6]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR abs/2311.03477 (2023) - [i5]Yuang Geng, Souradeep Dutta, Ivan Ruchkin:
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. CoRR abs/2311.04843 (2023) - 2022
- [j8]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
Evaluating Alarm Classifiers with High-confidence Data Programming. ACM Trans. Comput. Heal. 3(4): 43:1-43:24 (2022) - [j7]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:
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review. J. Syst. Softw. 183: 111081 (2022) - [c17]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. ICCPS 2022: 1-12 - [c16]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS 2022: 92-103 - 2021
- [c15]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:
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 2021: 198-203 - [c14]Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space 2021: 137-146 - [c13]Sydney Pugh, Ivan Ruchkin, Christopher P. Bonafide, Sara B. DeMauro, Oleg Sokolsky, Insup Lee, James Weimer:
High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. CHASE 2021: 70-81 - [c12]Alan Ismaiel, Ivan Ruchkin, Oleg Sokolsky, Insup Lee, Jason Shu:
Data Generation With Prospect: A Probability Specification Tool. WSC 2021: 1-12 - [i4]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR abs/2111.03781 (2021) - [i3]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. CoRR abs/2111.03782 (2021) - 2020
- [j6]Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee:
Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3288-3299 (2020) - [c11]Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS 2020: 55-64
2010 – 2019
- 2019
- [b1]Ivan Ruchkin:
Integration of Modeling Methods for Cyber-Physical Systems. Carnegie Mellon University, USA, 2019 - [j5]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:
Model-Based Adaptation for Robotics Software. IEEE Softw. 36(2): 83-90 (2019) - 2018
- [j4]Xiaokang Zhou, Albert Y. Zomaya, Weimin Li, Ivan Ruchkin:
Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications. Future Gener. Comput. Syst. 79: 350-353 (2018) - [j3]Xiaokang Zhou, Guangquan Xu, Jianhua Ma, Ivan Ruchkin:
Scalable platforms and advanced algorithms for IoT and cyber-enabled applications. J. Parallel Distributed Comput. 118(Part): 1-4 (2018) - [c10]Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan:
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM 2018: 165-184 - 2017
- [j2]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:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 42(2): 19-24 (2017) - [c9]Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara:
Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE 2017: 109-115 - 2016
- [c8]Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan:
Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT 2016: 210-215 - 2015
- [c7]Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Architectural Abstractions for Hybrid Programs. CBSE 2015: 65-74 - [c6]Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan:
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS 2015: 11-22 - [c5]Ivan Ruchkin:
Towards Integration of Modeling Methods for Cyber-Physical Systems. MoDELS (Doctoral Symposium) 2015 - [c4]Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. ACES-MB&WUCOR@MoDELS 2015: 3-10 - [c3]Ivan Ruchkin:
Architectural and Analytic Integration of Cyber-Physical System Models. SRC@MoDELS 2015: 35-40 - 2014
- [j1]Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl:
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59(12): 3178-3193 (2014) - [c2]Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan:
Contract-based integration of cyber-physical analyses. EMSOFT 2014: 23:1-23:10 - 2012
- [c1]David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. Monterey Workshop 2012: 157-182 - [i2]Ivan Ruchkin, Vladimir Prus:
Single-window Integrated Development Environment. CoRR abs/1207.1493 (2012) - [i1]David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley R. Schmerl:
Foundations and Tools for End-User Architecting. CoRR abs/1210.4981 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
