Chang Hwan Peter Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2005–2016
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MASCOTS | Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. | Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska |
| 2014 | EMSOFT | Synthesising optimal timing delays for Timed I/O Automata. | Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre |
| 2012 | ISSRE | Shared Execution for Efficiently Testing Product Lines. | Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory |
| 2010 | RV | Reducing Configurations to Monitor in a Software Product Line. | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
| 2008 | GPCE | On the modularity of feature interactions. | Chang Hwan Peter Kim, Christian Kstner, Don S. Batory |
| 2006 | SPLC | Feature Models are Views on Ontologies. | Krzysztof Czarnecki, Chang Hwan Peter Kim, Karl Trygve Kalleberg |
| 2005 | OOPSLA | Model-driven software product lines. | Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek |
| 2005 | OOPSLA | fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. | Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek |