Author Info
Name
Affiliation
Papers
HYUN SEOP BAE
Computer and Software Technology Laboratory, ETRI, Taejon, South Korea
4
Collaborators
Citations 
PageRank 
5
27
2.32
Referers 
Referees 
References 
55
52
34
Title
Citations
PageRank
Year
Specifying and verifying real-time systems with timing uncertainty00.342000
Testing of concurrent programs after specification changes40.531999
Testing of concurrent programs based on message sequence charts210.981999
An efficient debugging method for message-based parallel programs using static analysis information20.471995