| 2024 | DATE | 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 |
| 2024 | DATE | Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. | Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2023 | DATE | Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2023 | IROS | Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2023 | SAFECOMP | 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 |
| 2022 | ICCAD | Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. | Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2022 | SAFECOMP | ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. | Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo |
| 2019 | DATE | Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. | Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo |