Chang Hwan Peter Kim

According to our database, Chang Hwan Peter Kim authored at least 14 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps.

Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

2014

Synthesising optimal timing delays for Timed I/O Automata.

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.

Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Shared Execution for Efficiently Testing Product Lines.

Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

2011

Reducing combinatorics in testing product lines.

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Reducing Configurations to Monitor in a Software Product Line.

Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid

Proceedings of the Runtime Verification - First International Conference, 2010

Eliminating products to test in a software product line.

Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid

Proceedings of the ASE 2010, 2010

2008

On the modularity of feature interactions.

Chang Hwan Peter Kim, Christian Kästner, Don S. Batory

Proceedings of the Generative Programming and Component Engineering, 2008

On-demand materialization of aspects for application development.

Chang Hwan Peter Kim, Krzysztof Czarnecki, Don S. Batory

Proceedings of the SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March, 2008

2006

Multi-level customization in application engineering.

Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim

Commun. ACM, 2006

Feature Models are Views on Ontologies.

Krzysztof Czarnecki, Chang Hwan Peter Kim, Karl Trygve Kalleberg

Proceedings of the Software Product Lines, 10th International Conference, 2006

2005

fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates.

Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Model-driven software product lines.

Krzysztof Czarnecki, Michal Antkiewicz, Chang Hwan Peter Kim, Sean Lau, Krzysztof Pietroszek

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Synchronizing Cardinality-Based Feature Models and Their Specializations.

Chang Hwan Peter Kim, Krzysztof Czarnecki

Proceedings of the Model Driven Architecture, 2005