Chang Hwan Peter Kim
Cited by
Cited by
Cardinality-based feature modeling and constraints: A progress report
K Czarnecki, CHP Kim
International Workshop on Software Factories, 16-20, 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
Reducing combinatorics in testing product lines
CHP Kim, DS Batory, S Khurshid
Proceedings of the tenth international conference on Aspect-oriented …, 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
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
Synchronizing cardinality-based feature models and their specializations
C Hwan, P Kim, K Czarnecki
European Conference on Model Driven Architecture-Foundations and …, 2005
Shared execution for efficiently testing product lines
CHP Kim, S Khurshid, D Batory
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 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
On the modularity of feature interactions
CHP Kim, C Kästner, D Batory
Proceedings of the 7th international conference on Generative programming …, 2008
Multi-Paradigm Design with C++
JO Coplien, K Czarnecki, S Helsen, U Eisenecker, K Czarnecki, CHP Kim
Addison-Wesley, 2001
Multi-level customization in application engineering
K Czarnecki, M Antkiewicz, CHP Kim
Communications of the ACM 49 (12), 60-65, 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
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
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
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
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
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
On the relationship between feature models and ontologies
University of Waterloo, 2006
Reducing combinatorics in product line testing
CHP Kim, D Batory, S Khurshid
Technical Report TR-10-02, University of Texas at Austin, 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
The system can't perform the operation now. Try again later.
Articles 1–20