Chin-Feng Fan

Orcid: 0000-0002-0023-6932

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Security Verification for Cyber-Physical Systems Using Model Checking.
IEEE Access, 2021

2014
Automatic test case generation for structural testing of function block diagrams.
Inf. Softw. Technol., 2014

2013
Defining a test coverage criterion for model-level testing of FBD programs.
Inf. Softw. Technol., 2013

Systematic scenario test case generation for nuclear safety systems.
Inf. Softw. Technol., 2013

2010
An Object-Oriented Security Knowledge Framework for the Nuclear Safety System Project.
Int. J. Softw. Eng. Knowl. Eng., 2010

2007
BBN Construction for Software Process Tailoring.
IEICE Trans. Inf. Syst., 2007

Handling Malicious Code on Control Systems.
Proceedings of the Computer Safety, 2007

2006
Constraint-Based Software Specifications and Verification Using UML.
IEICE Trans. Inf. Syst., 2006

Regulatory Software Configuration Management System Design.
Proceedings of the Computer Safety, 2006

A Regulatory Software Maintenance Environment Using Agent-Based Software Configuration Management.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005
Conceptual Nuclear Decommissioning Knowledge Management System Design.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

2004
BBN-based software project risk management.
J. Syst. Softw., 2004

2000
Accident sequence analysis of human-computer interface design.
Reliab. Eng. Syst. Saf., 2000

1999
Safety Markup Language: Concept and Application.
Proceedings of the Computer Safety, 1999

1994
Prescriptive metrics for software quality assurance.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1989
A methodology for simulation of database systems.
Simul., 1989

Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989


  Loading...