Risk-averse access point selection in wireless communication networks WJ Ma, C Oh, Y Liu, D Dentcheva, MM Zavlanos IEEE Transactions on Control of Network Systems 6 (1), 24-36, 2018 | 22 | 2018 |
Optimizing assume-guarantee contracts for cyber-physical system design C Oh, E Kang, S Shiraishi, P Nuzzo 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 246-251, 2019 | 10 | 2019 |
Arachne: Automated validation of assurance cases with stochastic contract networks C Oh, N Naik, Z Daw, TE Wang, P Nuzzo International Conference on Computer Safety, Reliability, and Security, 65-81, 2022 | 5 | 2022 |
Computer-aided generation of assurance cases TE Wang, C Oh, M Low, I Amundson, Z Daw, A Pinto, ML Chiodo, G Wang, ... International Conference on Computer Safety, Reliability, and Security, 135-148, 2023 | 4 | 2023 |
Computer-Aided Evaluation for Argument-Based Certification Z Daw, T Wang, C Oh, M Low, I Amundson, G Wang, R Melville, P Nuzzo 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
Aace: Automated assurance case environment for aerospace certification Z Daw, C Oh, M Low, T Wang, I Amundson, A Pinto, M Chiodo, G Wang, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses C Leet, C Oh, M Lora, S Koenig, P Nuzzo 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | 1 | 2023 |
Quantitative verification and design space exploration under uncertainty with parametric stochastic contracts C Oh, M Lora, P Nuzzo Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | 1 | 2022 |
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads C Leet, C Oh, M Lora, S Koenig, P Nuzzo 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023 | | 2023 |