Byeong Man KIM


A GA-Based Fuzzy Traffic Controller for an Intersection with Time-Varying Flow Rate
Nam-Chul HUH Byeong Man KIM Jong Wan KIM Seung Ryul MAENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/07/01
Vol. E86-D  No. 7  pp. 1270-1279
Type of Manuscript:  PAPER
Category: Artificial Intelligence, Cognitive Science
Keyword: 
fuzzy traffic controllergenetic algorithmtraffic volumeautomatic generation of membership functions
 Summary | Full Text:PDF

A New Approach to Deterministic Execution Testing for Concurrent Programs
In Sang CHUNG Byeong Man KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/12/01
Vol. E84-D  No. 12  pp. 1756-1766
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
concurrent program testingdeterministic execution testingsynchronization errorevent independencepartial order methods
 Summary | Full Text:PDF

Construction of Global State Transition Graph for Verifying Specifications Written in Message Sequence Charts for Telecommunications Software
Byeong Man KIM Hyeon Soo KIM Wooyoung KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/02/01
Vol. E84-D  No. 2  pp. 249-261
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
message sequence chartssoftware specification and verificationglobal state transition graph
 Summary | Full Text:PDF