Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. - Chanwook Oh; Eunsuk Kang; Shinichi Shiraishi; Pierluigi Nuzzo 002 (DATE, 2019)

Risk-Averse Access Point Selection in Wireless Communication Networks. - Wann-Jiun Ma; Chanwook Oh; Yang Liu 115; Darinka Dentcheva; Michael M. Zavlanos (IEEE Trans. Control. Netw. Syst., 2019)

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. - Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (ICCAD, 2022)

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. - Chanwook Oh; Nikhil Naik 001; Zamira Daw; Timothy E. Wang; Pierluigi Nuzzo 002 (SAFECOMP, 2022)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (DATE, 2023)

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (IROS, 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 002 (SAFECOMP Workshops, 2023)

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. - Michele Lora; Sebastiano Gaiardelli; Chanwook Oh; Stefano Spellini; Pierluigi Nuzzo 002; Franco Fummi (DATE, 2024)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. - Yifeng Xiao; Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (DATE, 2024)