Chanwook Oh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Subgraph Isomorphism

Customer Orders

Design Space Exploration

Wireless Communication

Top Venues

SAFECOMP Workshops

IEEE Trans. Control. Netw. Syst.

Publications

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. DATE (2024)
Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE (2024)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. CoRR (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. IROS (2023)
Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. DATE (2023)
Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. SAFECOMP (2022)
Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. ICCAD (2022)
Wann-Jiun Ma, Chanwook Oh, Yang Liu, Darinka Dentcheva, Michael M. Zavlanos
Risk-Averse Access Point Selection in Wireless Communication Networks. IEEE Trans. Control. Netw. Syst. 6 (1) (2019)
Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE (2019)