Chanwook Oh

According to our database, Chanwook Oh authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Computer-Aided Generation of Assurance Cases.

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo

IROS, 2023

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses.

Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.

Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security, 2022

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.

Chanwook Oh, Michele Lora, Pierluigi Nuzzo

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2019

Risk-Averse Access Point Selection in Wireless Communication Networks.

Wann-Jiun Ma, Chanwook Oh, Yang Liu, Darinka Dentcheva, Michael M. Zavlanos

IEEE Trans. Control. Netw. Syst., 2019

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.

Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019