Chin-Feng Fan

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 1

Top Topics

Automated Verification

Linear Temporal Logic

Object Oriented Systems

Top Venues

Inf. Softw. Technol.

Publications

Ching-Chieh Chan, Cheng-Zen Yang, Chin-Feng Fan
Security Verification for Cyber-Physical Systems Using Model Checking. IEEE Access 9 (2021)
Yi-Chen Wu, Chin-Feng Fan
Automatic test case generation for structural testing of function block diagrams. Inf. Softw. Technol. 56 (10) (2014)
Wan-Hui Tseng, Chin-Feng Fan
Systematic scenario test case generation for nuclear safety systems. Inf. Softw. Technol. 55 (2) (2013)
Yi-Chen Wu, Chin-Feng Fan
Defining a test coverage criterion for model-level testing of FBD programs. Inf. Softw. Technol. 55 (11) (2013)
I-Hsin Chou, Chin-Feng Fan
An Object-Oriented Security Knowledge Framework for the Nuclear Safety System Project. Int. J. Softw. Eng. Knowl. Eng. 20 (3) (2010)
Wan-Hui Tseng, Chin-Feng Fan
Handling Malicious Code on Control Systems. SAFECOMP (2007)
Wan-Hui Tseng, Chin-Feng Fan
BBN Construction for Software Process Tailoring. IEICE Trans. Inf. Syst. (3) (2007)
Chin-Feng Fan, Chun-Yin Cheng
Constraint-Based Software Specifications and Verification Using UML. IEICE Trans. Inf. Syst. (6) (2006)
I-Hsin Chou, Chin-Feng Fan
Regulatory Software Configuration Management System Design. SAFECOMP (2006)
I-Hsin Chou, Chin-Feng Fan
A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management. DepCoS-RELCOMEX (2006)
I-Hsin Chou, Chin-Feng Fan, Yen-Chang Tzeng
Conceptual Nuclear Decommissioning Knowledge Management System Design. ICITA (1) (2005)
Chin-Feng Fan, Yuan-Chang Yu
BBN-based software project risk management. J. Syst. Softw. 73 (2004)
Chin-Feng Fan, Swu Yih
Safety Markup Language: Concept and Application. SAFECOMP (1999)
Chin-Feng Fan, Swu Yih
Prescriptive metrics for software quality assurance. APSEC (1994)
Margaret H. Eich, Chin-Feng Fan, Wei-Li Sun, Sohail Rafiqi
A methodology for simulation of database systems. Simul. 52 (6) (1989)
Chin-Feng Fan, Prasenjit Biswas
Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs. TAI (1989)