Follow
Chanwook Oh
Title
Cited by
Cited by
Year
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
222018
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
102019
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
52022
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
42023
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
12023
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
12023
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
12023
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
12022
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
The system can't perform the operation now. Try again later.
Articles 1–9