Follow
Younghun Han
Younghun Han
Researcher in Computer Science, KAIST
Verified email at kaist.ac.kr
Title
Cited by
Cited by
Year
Interoperability test suite derivation for communication protocols
S Kang, J Shin, M Kim
Computer Networks 32 (3), 347-364, 2000
492000
Fully automated interoperability test suite derivation for communication protocols
S Seol, M Kim, S Kang, J Ryu
Computer Networks 43 (6), 735-759, 2003
432003
Software architecture evaluation methods based on cost benefit analysis and quantitative decision making
J Lee, S Kang, CK Kim
Empirical Software Engineering 14, 453-475, 2009
372009
A comparison of software product line scoping approaches
J Lee, S Kang, D Lee
International Journal of Software Engineering and Knowledge Engineering 20 …, 2010
292010
An approach for testing asynchronous communicating systems
M Kim, J Shin, ST Chanson, S Kang
IEICE transactions on communications 82 (1), 81-95, 1999
261999
Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle
S Seol, M Kim, ST Chanson, S Kang
IEEE Journal on selected areas in Communications 22 (10), 2062-2074, 2004
232004
Knowledge‐based AOP framework for business rule aspects in business process
C Park, HJ Choi, D Lee, S Kang, HK Cho, JC Sohn
ETRI journal 29 (4), 477-488, 2007
172007
Formal synthesis of application and platform behaviors of embedded software systems
J Kim, I Kang, JY Choi, I Lee, S Kang
Software & Systems Modeling 14, 839-859, 2015
112015
Architecture-based testing of service-oriented applications in distributed systems
C Keum, S Kang, M Kim
Information and Software Technology 55 (7), 1212-1223, 2013
112013
A framework for measuring and managing value achievement in business processes
S Kang, J Lee, D Lee, J Baik
IEICE TRANSACTIONS on Information and Systems 95 (10), 2456-2468, 2012
112012
A framework for tool-based software architecture reconstruction
S Kang, S Lee, D Lee
International Journal of Software Engineering and Knowledge Engineering 19 …, 2009
112009
Clustering navigation sequences to create contexts for guiding code navigation
S Lee, S Kang
Journal of Systems and Software 86 (8), 2154-2165, 2013
92013
A semantic translation method for data communication protocols
J Kim, S Kang, J Lee, BW Choi
Journal of Systems and Software 85 (12), 2876-2898, 2012
72012
ExCHARON: Improved modeling language for cyber-physical systems based on CHARON
Y Han, S Kang, J Kim
2013 IEEE 16th International Conference on Computational Science and …, 2013
52013
A priori ordering protocols to support consensus-building in multiple stakeholder contexts
DH Lee, KC Lee, S Kang, J Baik
Information Sciences 177 (15), 3129-3150, 2007
42007
A feature-oriented mobile software development framework to resolve the device fragmentation phenomenon for application developers in the mobile software ecosystem
Y Han, G Go, S Kang, H Lee
Cloud Computing: 6th International Conference, CloudComp 2015, Daejeon …, 2016
22016
Automatic Generation of GUI Test Inputs Using User Configurations
L Ha, S Kang, J Lee, Y Han
Big Data, Cloud Computing, Data Science & Engineering 3, 103-116, 2019
12019
QoS NSIS signaling layer protocol for mobility support with a cross-layer approach
S Lee, M Kim, S Kang, B Lee, K Lee, S Seol
IEICE transactions on communications 94 (10), 2796-2804, 2011
12011
Modeling autonomous military robots using hybrid system framework
J Lee, R Cha, Y Han, W Nam, J Choi, WT Kim, SM Park
2010 International Conference on Information and Communication Technology …, 2010
12010
Modeling and Interoperability Test Case Generation of a Real‐Time QoS Monitoring Protocol
BM Chin, SU Kim, SW Kang, CH Park
ETRI journal 21 (4), 52-64, 1999
11999
The system can't perform the operation now. Try again later.
Articles 1–20