Chanwook Oh

According to our database, Chanwook Oh authored at least 9 papers between 2019 and 2024.

Collaborative distances:

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

2024

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo

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

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project.

Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi

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

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