Chin-Feng Fan

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