A Unified Digital Twin Framework for Real-time Monitoring and Evaluation of Smart Manufacturing Systems. - Yassine Qamsane; Chien-Ying Chen; Efe C. Balta; Bin-Chou Kao; Sibin Mohan; James R. Moyne; Dawn M. Tilbury; Kira Barton (CASE, 2019)

Towards Automated Safety Vetting of PLC Code in Real-World Plants. - Mu Zhang 001; Chien-Ying Chen; Bin-Chou Kao; Yassine Qamsane; Yuru Shao; Yikai Lin; Elaine Shi; Sibin Mohan; Kira Barton; James R. Moyne; Z. Morley Mao (IEEE Symposium on Security and Privacy, 2019)