Chang Hwan Peter Kim

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 1

Top Topics

Dynamic Analysis

Probabilistic Automata

Top Venues

ESEC/SIGSOFT FSE

Publications

Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. MASCOTS (2016)
Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT (2014)
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE (2013)
Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory
Shared Execution for Efficiently Testing Product Lines. ISSRE (2012)
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
Reducing combinatorics in testing product lines. AOSD (2011)
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid
Eliminating products to test in a software product line. ASE (2010)
Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid
Reducing Configurations to Monitor in a Software Product Line. RV (2010)
Chang Hwan Peter Kim, Christian Kästner, Don S. Batory
On the modularity of feature interactions. GPCE (2008)
Chang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory
On-demand materialization of aspects for application development. SPLAT@AOSD (2008)
Krzysztof Czarnecki, Chang Hwan Peter Kim, Karl Trygve Kalleberg
Feature Models are Views on Ontologies. SPLC (2006)
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim
Multi-level customization in application engineering. Commun. ACM 49 (12) (2006)
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek
Model-driven software product lines. OOPSLA Companion (2005)
Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek
fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. OOPSLA Companion (2005)
Chang Hwan Peter Kim, Krzysztof Czarnecki
Synchronizing Cardinality-Based Feature Models and Their Specializations. ECMDA-FA (2005)