I agree that this site is using cookies. You can find further informations here.
X
Ruchkin, Ivan
65  results:
Search for persons X
?
1

Repairing Learning-Enabled Controllers While Preserving Wha..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Lu, Pengyuan ; Cleaveland, Matthew ; Sokolsky, Oleg.. - p. 1-11 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Curating Naturally Adversarial Datasets for Learning-Enable..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Pugh, Sydney ; Ruchkin, Ivan ; Weimer, James. - p. 212-223 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Causal Repair of Learning-Enabled Cyber-Physical Systems:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),
Lu, Pengyuan ; Ruchkin, Ivan ; Cleaveland, Matthew.. - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Conservative Safety Monitors of Stochastic Dynamical System:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Cleaveland, Matthew ; Sokolsky, Oleg ; Lee, Insup. - p. 140-156 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Monotonic Safety for Scalable and Data-Efficient Probabilis..:

, In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS),
Cleaveland, Matthew ; Ruchkin, Ivan ; Sokolsky, Oleg. - p. 92-103 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Confidence Composition for Monitors of Verification Assumpt..:

, In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS),
Ruchkin, Ivan ; Cleaveland, Matthew ; Ivanov, Radoslav... - p. 1-12 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Evaluating Alarm Classifiers with High-confidence Data Prog..:

Pugh, Sydney ; Ruchkin, Ivan ; Bonafide, Christopher...
ACM Transactions on Computing for Healthcare.  3 (2022)  4 - p. 1-24 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Multi-paradigm modeling for cyber–physical systems: A syste..:

Barišić, Ankica ; Ruchkin, Ivan ; Savić, Dušan...
Journal of Systems and Software.  183 (2022)  - p. 111081 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Data generation with prospect : a probability specificat..:

, In: Proceedings of the Winter Simulation Conference,
Ismaiel, Alan ; Ruchkin, Ivan ; Sokolsky, Oleg.. - p. 1-12 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

High-Confidence Data Programming for Evaluating Suppression..:

, In: 2021 IEEE/ACM Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE),
Pugh, Sydney ; Ruchkin, Ivan ; Bonafide, Christopher P.... - p. 70-81 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Data Generation With Prospect: A Probability Specification ..:

, In: 2021 Winter Simulation Conference (WSC),
Ismaiel, Alan ; Ruchkin, Ivan ; Sokolsky, Oleg.. - p. 1-12 , 2021
Link: https://doi.org/10.1109/..
 
?
12

Confidence Monitoring and Composition for Dynamic Assurance..:

, In: Formal Methods in Outer Space; Lecture Notes in Computer Science,
Ruchkin, Ivan ; Cleaveland, Matthew ; Sokolsky, Oleg. - p. 137-146 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Hybrid Planning Using Learning and Model Checking for Auton..:

, In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS),
Pandey, Ashutosh ; Ruchkin, Ivan ; Schmerl, Bradley. - p. 55-64 , 2020
Link: https://doi.org/10.1109/..
 
?
14

Model-Based Adaptation for Robotics Software:

Aldrich, Jonathan ; Garlan, David ; Kaestner, Christian...
IEEE Software.  36 (2019)  2 - p. 83-90 , 2019
Link: https://doi.org/10.1109/..
 
?
15

Scalable platforms and advanced algorithms for IoT and cybe..:

Zhou, Xiaokang ; Xu, Guangquan ; Ma, Jianhua.
Journal of Parallel and Distributed Computing.  118 (2018)  - p. 1-4 , 2018
Link: https://doi.org/10.1016/..
 
1-15