“ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart”
Kwang I. Ko, Kyo C. Kang
The Institute of Electronics, Information and Communication Engineering(IEICE) Transactions on Information and Systems, Vol. E82-D, No. 2, 1999, pp. 398-411
“Adding Form to Real-Time System Specification and Simulation”
Ji Y. Lee, Kyo C. Kang, Gerard J. Kim, and Hye J. Kim
International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing Co., Vol. 9, No. 5, Oct. 1999, pp. 643-661.
“Refinement and Validation of Software Requirements using Incremental Simulation”
Kyo C. Kang, Kwan W. Lee, Ji Y. Lee, Gerard J. Kim, and Hye J. Kim,
The Institute of Electronics, Information and Communication Engineering(IEICE) Trans. on Information and Systems, Vol.E81-D, No. 2, Feb. 1998, pp. 171-182.
VULCAN: Architecture-Model-Based Software Development Workbench
Hyesun Lee, Jin-seok Yang, and Kyo C. Kang
Joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012), Helsinki, Finland, August 20-24, 2012, Companion Volume, pp. 86-89.
Towards Scalable Conflict-Free Configuration of Feature Models
Hyunsik Choi and Kyo C. Kang,
The 2nd International Workshop on Scalable Modeling Techniques for Software Product Lines (SCALE 2010), Jeju Island, South Korea, Sep 14, 2010.
Coverage and Conformance Metrics - Evaluation of Legacy Software for Software Product Line Asset Development
Hyesun Lee and Kyo C. Kang,
The 4th Workshop on Assessment of Contemporary Modularization Techniques Assessing Modularity Techniques for Software Product Lines (ACoM2010), Jeju Island, South Korea, Sep 14, 2010.
Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development
Hyesun Lee, Hyunsik Choi, Kyo C. Kang, Dohyung Kim, and Zino Lee,
The 11th International Conference on Software Reuse (ICSR 2009), Falls Church, Virginia, USA, Sep 27-30, 2009.
A Feature-Based Approach to Product Line Production Planning
Jaejoon Lee, Kyo C. Kang, and Sajoong Kim,
Robert L. Nord, editor, Software Product Lines: Third International Conference (SPLC3), Boston, MA, USA, August 30-September 2, 2004, pp. 183 - 196. (LNCS Volume 3154 / 2004)
Feature Dependency Analysis for Product Line Component Design
Kwanwoo Lee and Kyo C. Kang,
Jan Bosch, Charles Krueger, editor, Proceedings of the 8th International Conference Software Reuse (ICSR8), Madrid, Spain, July 5-9, 2004, pp.69-85. (LNCS Volume 3107 / 2004)
Feature Binding Analysis for Product Line Component Development
Jaejoon Lee and Kyo C. Kang,
Frank van der Linden, editor, Proceedings of the Fifth International Workshop on Product Family Engineering (PFE-5), Siena, Italy, November 4-6, 2003, pp. 266-276. (LNCS Volume 3014 / 2004)
Feature Binding Issues in Variability Analysis for Product Line Engineering
Jaejoon Lee and Kyo C. Kang,
Workshop on “Modeling Variability for Object-Oriented Product Lines” at ECOOP 2003, Darmstadt, Germany, July 21, 2003, (ISBN 3-8330-0779-6), pp. 77-82.
Using a Marketing and Product Plan as a Key Design Driver for Product Line Asset Development
K. Kang, Patrick Donohoe, Eunman Koh, Jaejoon Lee, and Kwanwoo Lee,
G. Chastek, editor, Software Product Lines: Proceedings of the Second Software Product Line Conference (SPLC2), San Diego, U.S.A., Aug. 19-22, 2002, Heidelberg, Germany: Springer Lecture Notes in Computer Science Vol. 2379, 2002, pp. 366-382.