Chanwook Oh

Orcid: 0000-0002-8715-4285

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
Computer-Aided Generation of Assurance Cases.
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.
IROS, 2023

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
Proceedings of the Computer Safety, Reliability, and Security, 2022

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2019
Risk-Averse Access Point Selection in Wireless Communication Networks.
IEEE Trans. Control. Netw. Syst., 2019

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019


  Loading...