[Home]

  Publications  

Disclaimer: The following publications are covered by copyright. Permission to make digital/hard copy of all or part of the following papers, technical reports, and presentations for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission. 

Journal Articles

[J3]  Minyoung Kim,  Sudarshan Banerjee, Nikil Dutt, Nalini Venkatasubramanian, “Energy-aware Cosynthesis of Real-time Multimedia Applications on MPSoCs Using Heterogeneous Scheduling Policies”, ACM Transactions on Embedded Computing Systems (TECS). 7(2): Article 9, 2008. [pdf] [bibtex]

[J2] Minyoung Kim, Hyunok Oh, Nikil Dutt, Alex Nicolau, Nalini Venkatasubramanian, PBPAIR: An Energy-efficient Error-resilient Encoding Using Probability Based Power Aware Intra Refresh, ACM SIGMOBILE Mob. Comput. Commun. Rev. 10(3): 58-69, 2006. [pdf] [bibtex]

[J1] Minyoung Kim and Soonhoi Ha, "Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor”, ACM SIGPLAN Notice. 36(8): 11-19, 2001. [pdf] [bibtex]

Conference/Workshop Papers

[C12] Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian, “Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems”, to appear in IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES’08), Sep. 2008, Milano, Italy. [pdf] [bibtex]

[C11] Minyoung Kim, Daniel Massaguer, Nikil Dutt, Sharad Mehrotra, Shangping Ren, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian, “A Semantic Framework for Reconfiguration of Instrumented Cyber Physical Spaces”, Second Workshop on Event-based Semantics (WEBS’08) in conjunction with IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’08) in part of CPSWEEK, Apr. 2008, St. Louis, MO, USA. [pdf] [bibtex]

[C10] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “Constraint Refinement for Online Verifiable Cross-Layer System Adaptation", IEEE/ACM Design Automation and Test in Europe (DATE ‘08), Mar. 2008, Munich, Germany. [pdf] [bibtex]

[C9] Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian, Carolyn Talcott, “xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems", IEEE International Real-Time Systems Symposium (RTSS’07) Ph.D. Forum, Dec. 2007, Tucson, AZ, USA. [pdf] [bibtex]
also published as SIGBED Review, Volume 5, Number 1, January 2008
Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing
Best Overall Idea Award & Best System Architecture Award

[C8] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters", International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’07) in part of ESWEEK, Oct. 2007, Salzburg, Austria., LNCS 4763 (pp. 257 - 273) [pdf] [bibtex]

[C7] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “A Probabilistic Formal Approach to Cross-layer Optimization in Distributed Embedded Systems", IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’07), Jun. 2007, Paphos, Cyprus., LNCS 4468 (pp. 285 - 300) [pdf] [bibtex]

[C6]  Minyoung Kim,  Sudarshan Banerjee, Nikil Dutt, Nalini Venkatasubramanian, “Design Space Exploration of Real-time Multi-media MPSoCs with Heterogeneous Scheduling Policies”, IEEE/ACM/IFIP Conference on Hardware/Software Codesign and System Synthesis (CODES-ISSS’06), Oct. 2006, Seoul, South Korea. [pdf] [bibtex]

[C5]  Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian, “Policy Construction and Validation for Energy Minimization in Cross Layered Systems: A Formal Method Approach”, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’06) Work-in-Progress Session Apr. 2006, San Jose, CA, USA. [pdf] [bibtex]

[C4]  Minyoung Kim, Hyunok Oh, Nikil Dutt, Alex Nicolau, Nalini Venkatasubramanian, “Probability Based Power Aware Error Resilient Coding”, Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05) in conjunction with IEEE International Conference on Distributed Computing Systems (ICDCS'05) Jun. 2005, Columbus, Ohio, USA. [pdf] [bibtex]

[C3] Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Rajesh Gupta, Alex Nicolau, Sandeep Shukla, Nalini Venkatasubramanian, "A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems", Workshop on NSF Next Generation Software Program (NSFNGS’05) in conjunction with IEEE International Parallel and Distributed Processing Symposium (IPDPS’05) Apr. 2005, Denver, Colorado, USA. [pdf] [bibtex]

[C2] Dohyung Kim, Minyoung Kim, Soonhoi Ha, "A Case Study of System Level Specification and Software Synthesis of Multi-mode Multimedia Terminal”, IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia’2003) in conjunction with IEEE/ACM/IFIP CODES-ISSS’03 Oct. 2003, Newport Beach, CA, USA. [pdf ] [bibtex]

[C1] Minyoung Kim ,  Soonhoi  Ha, "Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor”, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’2001) Jun. 2001, Snowbird, Utah, USA. [pdf] [bibtex]

Posters

[P2] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems", IEEE Asia and South Pacific Design Automation Conference (ASP-DAC’08) Ph.D. Forum, Jan. 2008, Seoul, South Korea. [pdf]

[P1] Radu Cornea, Minyoung Kim, Kyoungwoo Lee, Gabor Madl, Shivajit Mohapatra, Hyunok Oh, Nikil Dutt, Alex Nicolau, Nalini Venkatasubramanian, “FORGE: Power-aware Corss-layer Adaptation for Mobile Applications”, New Initiatives Workshop, Nov. 2005, Tempe, AZ, USA. [pdf]

Selected Technical Report

[T1] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, “Modeling and Exploiting Cross-layer Optimization in Distributed Embedded Systems", SRI-CSL-TR-07-02, Feb. 2007, CSL, SRI International.