Chin-Feng Fan

According to our database, Chin-Feng Fan authored at least 17 papers between 1989 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Security Verification for Cyber-Physical Systems Using Model Checking.

Ching-Chieh Chan, Cheng-Zen Yang, Chin-Feng Fan

IEEE Access, 2021

2014

Automatic test case generation for structural testing of function block diagrams.

Yi-Chen Wu, Chin-Feng Fan

Inf. Softw. Technol., 2014

2013

Defining a test coverage criterion for model-level testing of FBD programs.

Yi-Chen Wu, Chin-Feng Fan

Inf. Softw. Technol., 2013

Systematic scenario test case generation for nuclear safety systems.

Wan-Hui Tseng, Chin-Feng Fan

Inf. Softw. Technol., 2013

2010

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

2007

BBN Construction for Software Process Tailoring.

Wan-Hui Tseng, Chin-Feng Fan

IEICE Trans. Inf. Syst., 2007

Handling Malicious Code on Control Systems.

Wan-Hui Tseng, Chin-Feng Fan

Proceedings of the Computer Safety, 2007

2006

Constraint-Based Software Specifications and Verification Using UML.

Chin-Feng Fan, Chun-Yin Cheng

IEICE Trans. Inf. Syst., 2006

Regulatory Software Configuration Management System Design.

I-Hsin Chou, Chin-Feng Fan

Proceedings of the Computer Safety, 2006

A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management.

I-Hsin Chou, Chin-Feng Fan

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005

Conceptual Nuclear Decommissioning Knowledge Management System Design.

I-Hsin Chou, Chin-Feng Fan, Yen-Chang Tzeng

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

2004

BBN-based software project risk management.

Chin-Feng Fan, Yuan-Chang Yu

J. Syst. Softw., 2004

2000

Accident sequence analysis of human-computer interface design.

Chin-Feng Fan, Wen-Hou Chen

Reliab. Eng. Syst. Saf., 2000

1999

Safety Markup Language: Concept and Application.

Chin-Feng Fan, Swu Yih

Proceedings of the Computer Safety, 1999

1994

Prescriptive metrics for software quality assurance.

Chin-Feng Fan, Swu Yih

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1989

A methodology for simulation of database systems.

Margaret H. Eich, Chin-Feng Fan, Wei-Li Sun, Sohail Rafiqi

Simul., 1989

Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs.

Chin-Feng Fan, Prasenjit Biswas

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989