| Cardinality-based feature modeling and constraints: A progress report K Czarnecki, CHP Kim International Workshop on Software Factories, 16-20, 2005 | 359 | 2005 |
| Feature models are views on ontologies K Czarnecki, C Hwan, P Kim, KT Kalleberg 10th International Software Product Line Conference (SPLC'06), 41-51, 2006 | 213 | 2006 |
| Reducing combinatorics in testing product lines CHP Kim, DS Batory, S Khurshid Proceedings of the tenth international conference on Aspect-oriented …, 2011 | 131 | 2011 |
| Model-driven software product lines K Czarnecki, M Antkiewicz, CHP Kim, S Lau, K Pietroszek Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 96 | 2005 |
| SPLat: Lightweight dynamic analysis for reducing combinatorics in testing configurable systems CHP Kim, D Marinov, S Khurshid, D Batory, S Souto, P Barros, ... Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 70 | 2013 |
| Synchronizing cardinality-based feature models and their specializations C Hwan, P Kim, K Czarnecki European Conference on Model Driven Architecture-Foundations and …, 2005 | 63 | 2005 |
| Shared execution for efficiently testing product lines CHP Kim, S Khurshid, D Batory 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 62 | 2012 |
| Reducing configurations to monitor in a software product line CHP Kim, E Bodden, D Batory, S Khurshid International Conference on Runtime Verification, 285-299, 2010 | 55 | 2010 |
| On the modularity of feature interactions CHP Kim, C Kästner, D Batory Proceedings of the 7th international conference on Generative programming …, 2008 | 50 | 2008 |
| Multi-Paradigm Design with C++ JO Coplien, K Czarnecki, S Helsen, U Eisenecker, K Czarnecki, CHP Kim Addison-Wesley, 2001 | 49 | 2001 |
| Multi-level customization in application engineering K Czarnecki, M Antkiewicz, CHP Kim Communications of the ACM 49 (12), 60-65, 2006 | 42 | 2006 |
| fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates K Czarnecki, M Antkiewicz, CHP Kim, S Lau, K Pietroszek Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 42 | 2005 |
| Data consistency-driven scatter kernel optimization for x-ray cone-beam CT C Kim, M Park, Y Sung, J Lee, J Choi, S Cho Physics in Medicine & Biology 60 (15), 5971, 2015 | 22 | 2015 |
| A feasibility study of low-dose single-scan dual-energy cone-beam CT in many-view under-sampling framework D Lee, J Lee, H Kim, T Lee, J Soh, M Park, C Kim, YJ Lee, S Cho IEEE transactions on medical imaging 36 (12), 2578-2587, 2017 | 14 | 2017 |
| Synthesising optimal timing delays for timed I/O automata M Diciolla, CHP Kim, M Kwiatkowska, A Mereacre Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 14 | 2014 |
| Design and control of an exoskeleton system for gait rehabilitation capable of natural pelvic movement CY Jung, J Choi, S Park, JM Lee, CH Kim, SJ Kim 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014 | 12 | 2014 |
| Eliminating products to test in a software product line CHP Kim, D Batory, S Khurshid Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 11 | 2010 |
| On the relationship between feature models and ontologies CHP Kim University of Waterloo, 2006 | 10 | 2006 |
| Reducing combinatorics in product line testing CHP Kim, D Batory, S Khurshid Technical Report TR-10-02, University of Texas at Austin, 2010 | 7 | 2010 |
| Static program analysis for identifying energy bugs in graphics-intensive mobile apps CHP Kim, D Kroening, M Kwiatkowska 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation …, 2016 | 5 | 2016 |
