Counterexample computation in compositional nonblocking verification

by Malik, Robi, Ware, Simon
Published 2018

An application of incremental scheduling to a cluster photolithography tool

by Ware, Simon, Su, Rong
Published 2020

An efficient method of matrix multiplication for heaps of pieces

by Ware, Simon, Yang, Fajun, Zhu, Yuting, Su, Rong, Lin, Liyong
Published 2018

A discrete event formulation for multi-robot collision avoidance on pre-planned trajectories

by Deplano, Diego, Franceschelli, Mauro, Ware, Simon, Rong, Su, Giua, Alessandro
Published 2021

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis

by Lin, Liyong, Zhu, Yuting, Tai, Ruochen, Ware, Simon, Su, Rong
Published 2022

Synchronous composition of finite interval automata

by Lin, Liyong, Su, Rong, Brandin, Bertil A., Ware, Simon, Zhu, Yuting, Sun, Yajuan
Published 2020

Efficient approach to scheduling of transient processes for time-constrained single-arm cluster tools with parallel chambers

by Yang, Fajun, Qiao, Yan, Gao, Kaizhou, Wu, Naiqi, Zhu, Yuting, Ware, Simon Ian, Su, Rong
Published 2020