Yong Rae Kwon
According to our database1,
Yong Rae Kwon
authored at least 50 papers
between 1989 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Softw. Test. Verification Reliab., 2013
2011
Softw. Pract. Exp., 2011
2009
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
2007
Specification and analysis of timing requirements for real-time systems in the CBD approach.
Real Time Syst., 2007
2006
IEICE Trans. Inf. Syst., 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
2004
IEEE Trans. Software Eng., 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
Softw. Pract. Exp., 2003
2002
Softw. Test. Verification Reliab., 2002
Fuzzy Sets Syst., 2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
2001
Softw. Pract. Exp., 2001
J. Softw. Maintenance Res. Pract., 2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
J. Syst. Softw., 2000
A Slicing-based Approach to Enhance Petri Net Reachability Analysis.
J. Res. Pract. Inf. Technol., 2000
1999
Proceedings of the Computer Safety, 1999
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999
Proceedings of the 1999 International Conference on Software Maintenance, 1999
1998
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.
IEEE Trans. Software Eng., 1998
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998
1997
Softw. Pract. Exp., 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
Proceedings of the COMPSAC '96, 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
1995
Hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system.
Knowl. Based Syst., 1995
A Tightly Coupled Approach to Fuzzy Syntactic Parsing and Neural Networks for Event-Synchronous Signal Inspection.
J. Intell. Fuzzy Syst., 1995
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1994
J. Softw. Maintenance Res. Pract., 1994
Microprocess. Microprogramming, 1994
Int. J. Softw. Eng. Knowl. Eng., 1994
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994
1993
Inf. Process. Lett., 1993
1989
SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information.
Aust. Comput. J., 1989
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989