Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs. - Chin-Feng Fan; Prasenjit Biswas (TAI, 1989)

A methodology for simulation of database systems. - Margaret H. Eich; Chin-Feng Fan; Wei-Li Sun; Sohail Rafiqi (Simul., 1989)

Prescriptive metrics for software quality assurance. - Chin-Feng Fan; Swu Yih (APSEC, 1994)

Safety Markup Language: Concept and Application. - Chin-Feng Fan; Swu Yih (SAFECOMP, 1999)

Accident sequence analysis of human-computer interface design. - Chin-Feng Fan; Wen-Hou Chen (Reliab. Eng. Syst. Saf., 2000)

BBN-based software project risk management. - Chin-Feng Fan; Yuan-Chang Yu (J. Syst. Softw., 2004)

Conceptual Nuclear Decommissioning Knowledge Management System Design. - I-Hsin Chou; Chin-Feng Fan; Yen-Chang Tzeng (ICITA (1), 2005)

A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management. - I-Hsin Chou; Chin-Feng Fan (DepCoS-RELCOMEX, 2006)

Regulatory Software Configuration Management System Design. - I-Hsin Chou; Chin-Feng Fan (SAFECOMP, 2006)

Constraint-Based Software Specifications and Verification Using UML. - Chin-Feng Fan; Chun-Yin Cheng (IEICE Trans. Inf. Syst., 2006)

Handling Malicious Code on Control Systems. - Wan-Hui Tseng; Chin-Feng Fan (SAFECOMP, 2007)

BBN Construction for Software Process Tailoring. - Wan-Hui Tseng; Chin-Feng Fan (IEICE Trans. Inf. Syst., 2007)

An Object-Oriented Security Knowledge Framework for the Nuclear Safety System Project. - I-Hsin Chou; Chin-Feng Fan (Int. J. Softw. Eng. Knowl. Eng., 2010)

Systematic scenario test case generation for nuclear safety systems. - Wan-Hui Tseng; Chin-Feng Fan (Inf. Softw. Technol., 2013)

Defining a test coverage criterion for model-level testing of FBD programs. - Yi-Chen Wu; Chin-Feng Fan (Inf. Softw. Technol., 2013)

Automatic test case generation for structural testing of function block diagrams. - Yi-Chen Wu; Chin-Feng Fan (Inf. Softw. Technol., 2014)

Security Verification for Cyber-Physical Systems Using Model Checking. - Ching-Chieh Chan; Cheng-Zen Yang; Chin-Feng Fan (IEEE Access, 2021)