(True) Polymorphism in SPARK2000. - Tse-Min Lin; John A. McDermid (Ada-Europe, 2000)

Adding Temporal Annotations and Associated Verification to Ravenscar Profile. - Alan Burns 001; Tse-Min Lin (Ada-Europe, 2003)

A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. - Tse-Min Lin; John A. McDermid (Ada-Europe, 2003)

An engineering process for the verification of real-time systems. - Alan Burns 001; Tse-Min Lin (Formal Aspects Comput., 2007)

Effect of team diversity on software project performance. - Ting-Peng Liang; Chih-Chung Liu; Tse-Min Lin; Binshan Lin (Ind. Manag. Data Syst., 2007)