| 2015 | HealthCom | Reliability analysis of healthcare information systems: State of the art and future directions. | Amjad Gawanmeh, Hussam M. N. Al Hamadi, Mahmoud Al-Qutayri, Shiu-Kai Chin, Kashif Saleem |
| 1999 | FM | Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. | Dan Zhou, Shiu-Kai Chin |
| 1998 | FMCAD | An Instruction Set Process Calculus. | Shiu-Kai Chin, Jang Dae Kim |
| 1996 | ICECCS | Formal Methods Applied to Secure Network Engineering. | Shiu-Kai Chin, John Faust, Joseph Giordano |
| 1996 | ICECCS | Hardware Composition with Hardware Flowcharts and Process Algebras. | Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin |
| 1996 | ISSTA | Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | ICCD | Extending VLSI design with higher-order logic. | Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu |
| 1995 | ICECCS | Formal specification and verification of communication protocols using automated tools . | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | ICECCS | Integrating formal methods tools to support system design. | Shiu-Kai Chin, John Faust, Joseph Giordano |
| 1988 | ICCD | Verifiable and executable theories of design for synthesizing correct hardware. | Shiu-Kai Chin, Kevin J. Greene |