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

[J7] M. Kim, M-O. Stehr, C. Talcott,
A Distributed Logic for Networked Cyber-Physical Systems,
ELSEVIER Journal of Science of Computer Programming (SCP), 2013. [pdf] [bibtex]

[J6] J. Kim, M. Kim, M-O. Stehr, H. Oh, S. Ha,
A Parallel and Distributed Meta-heuristic Framework for Design Optimization Problems,
ELSEVIER Journal of Parallel and Distributed Computing (JPDC). 72(4): 564-578, 2012. [pdf] [bibtex]

[J5] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian,
xTune: A Formal Methodology for Cross-layer Tuning of Mobile Embedded Systems,
ACM Transactions on Embedded Computing Systems (TECS). 11(4): Article 73, 2012. [pdf] [bibtex]

[J4] A. Khajeh, M. Kim, N. Dutt, A. Eltawil, F. Kurdahi,
“Error-aware Algorithm/Architecture Co-exploration for Video over Wireless Applications”,
ACM Transactions on Embedded Computing Systems (TECS). 11S(1): Article 15, 2012. [pdf] [bibtex]

[J3] M. Kim, S. Banerjee, N. Dutt, N. 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] M. Kim, H. Oh, N. Dutt, A. Nicolau, N. 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] M. Kim, S. 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

[C25] M. Kim, J-M. Kim, M-O. Stehr, A. Gehani, D. Tariq, and J-S. Kim
"Maximizing Availability of Content in Disruptive Environments by Cross-Layer Optimization",
28th ACM Symposium on Applied Computing (SAC'13), Mar. 2013, Coimbra, Portugal. [pdf] [bibtex]

[C24] M-O. Stehr, C. Talcott, J. Rushby, P. Lincoln, M. Kim, S. Cheung, A. Poggio
"Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-term Vision",
Formal Modeling: Actors, Open Systems, Biological Systems (Festschrift to the Honor of Carolyn Talcott), Nov. 2011, Menlo Park, CA, USA., LNCS 7000 (pp. 110 - 143) [pdf] [bibtex]

[C23] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian
"A Formal Methodology for Compositional Cross-Layer Optimization",
Formal Modeling: Actors, Open Systems, Biological Systems (Festschrift to the Honor of Carolyn Talcott), Nov. 2011, Menlo Park, CA, USA., LNCS 7000 (pp. 207 - 222) [pdf] [bibtex]

[C22] M. Kim, M-O. Stehr, A. Gehani, C. Talcott
"Ensuring Security and Availability through Model-based Cross-Layer Adaptation",
8th International Conference on Ubiquitous Intelligence and Computing (UIC'11), Sept. 2011, Banff, Canada., LNCS 6905 (pp. 310 - 325) [pdf] [bibtex]

[C21] M. Kim, M-O. Stehr, C. Talcott
"A Distributed Logic for Networked Cyber-Physical Systems",
IPM International Conference on Fundamentals of Software Engineering (FSEN'11), Apr. 2011, Tehran, Iran., LNCS 7141 (pp. 190 - 205) [pdf] [bibtex]

[C20] M. Kim, M-O. Stehr, J. Kim, S. Ha
"An Application Framework for Loosely Coupled Networked Cyber-Physical Systems",
8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'10), Dec. 2010, Hong Kong, China. [pdf] [bibtex]

[C19] M-O. Stehr, M. Kim, C. Talcott
"Toward Distributed Declarative Control of Networked Cyber-Physical Systems",
7th International Conference on Ubiquitous Intelligence and Computing (UIC'10), Oct. 2010, Xian, China., LNCS 6406 (pp. 397 - 413) [pdf] [bibtex]

[C18] G. Denker, A. Gehani, M. Kim, D. Hanz
"Toward Policy-Based Data Downgrading: Semantic Framework and Automated Tools to Balance Need-To-Protect and Need-To-Share Policies",
11th IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY'10), Jul. 2010, Fairfax, VA, USA. [pdf] [bibtex]

[C17] A. Gehani, M. Kim
"Mendel: Efficiently Verifying the Lineage of Data Modified in Multiple Trust Domains",
19th ACM International Symposium on High Performance Distributed Computing (HPDC'10), Jun. 2010, Chicago, IL, USA. [pdf] [bibtex]

[C16] A. Gehani, M. Kim, T. Malik
"Efficient Querying of Distributed Provenance Stores",
8th Workshop on the Challenges of Large Applications in Distributed Environments (CLADE'10)
affiliated with 19th ACM International Symposium on High Performance Distributed Computing (HPDC'10), Jun. 2010, Chicago, IL, USA. [pdf] [bibtex]

[C15] A. Gehani, M. Kim, J. Zhang,
“Steps Toward Managing Lineage Metadata in Grid Clusters”,
1st Workshop on Theory and Practice of Provenance (TaPP’09)
co-located with the 7th USENIX Conference on File and Storage Technology (FAST’09), Feb. 2009, San Francisco, CA, USA. [pdf] [bibtex]

[C14] K. Lee, A. Shrivastava, M. Kim, N. Dutt, N. Venkatasubramanian,
"Mitigating the Impact of Hardware Failures on Multimedia Applications - A Cross-Layer Approach",
ACM International Conference on Multimedia (MM’08), Oct. 2008, Vancouver, Canada. [pdf] [bibtex]

[C13] A. Khajeh, M. Kim, N. Dutt, A. Eltawil, F. Kurdahi,
“Cross-Layer Co-Exploration of Exploiting Error Resilience for Video over Wireless Applications”,
IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia’08) in part of ESWEEK, Oct. 2008, Atlanta, GA, USA. [pdf] [bibtex]

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

[C11] M. Kim, D. Massaguer, N. Dutt, S. Mehrotra, S. Ren, M-O. Stehr, C. Talcott, N. 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] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. 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] M. Kim,
“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] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. 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] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. 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] M. Kim, S. Banerjee, N. Dutt, N. 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] M. Kim , N. Dutt, N. 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] M. Kim, H. Oh, N. Dutt, A. Nicolau, N. 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] S. Mohapatra, R. Cornea, H. Oh, K. Lee, M. Kim, N. Dutt, R. Gupta, A. Nicolau, S. Shukla, N. 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] D. Kim, M. Kim, S. 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'03)
in conjunction with IEEE/ACM/IFIP CODES-ISSS'03 Oct. 2003, Newport Beach, CA, USA. [pdf] [bibtex]

[C1] M. Kim, S. 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’01) Jun. 2001, Snowbird, Utah, USA. [pdf] [bibtex]

Selected Posters

[P2] M. Kim, M-O. Stehr, C. Talcott,
“A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems”
International Workshop on Cyber-Physical Systems: Closing the Loop, in conjunction with ESWEEK, Oct. 2009, Grenoble, France.

[P1] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. 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.
Also presented at IEEE/ACM Design Automation and Test in Europe (DATE ‘08) Ph.D. Forum, Mar. 2008, Munich, Germany.

Selected Technical Report

[T1] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian,
“Modeling and Exploiting Cross-layer Optimization in Distributed Embedded Systems",
SRI-CSL-TR-07-02, Feb. 2007, CSL, SRI International.

Journal Articles

[J7] M. Kim, M-O. Stehr, C. Talcott, A Distributed Logic for Networked Cyber-Physical Systems, ELSEVIER Journal of Science of Computer Programming (SCP), 2013. [pdf] [bibtex]

[J6] J. Kim, M. Kim, M-O. Stehr, H. Oh, S. Ha, A Parallel and Distributed Meta-heuristic Framework for Design Optimization Problems, ELSEVIER Journal of Parallel and Distributed Computing (JPDC). 72(4): 564-578, 2012. [pdf] [bibtex]

[J5] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian, xTune: A Formal Methodology for Cross-layer Tuning of Mobile Embedded Systems, ACM Transactions on Embedded Computing Systems (TECS). 11(4): Article 73, 2012. [pdf] [bibtex]

[J4] A. Khajeh, M. Kim, N. Dutt, A. Eltawil, F. Kurdahi, “Error-aware Algorithm/Architecture Co-exploration for Video over Wireless Applications”, ACM Transactions on Embedded Computing Systems (TECS). 11S(1): Article 15, 2012. [pdf] [bibtex]

[J3] M. Kim, S. Banerjee, N. Dutt, N. 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] M. Kim, H. Oh, N. Dutt, A. Nicolau, N. 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] M. Kim, S. 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

[C25] M. Kim, J-M. Kim, M-O. Stehr, A. Gehani, D. Tariq, and J-S. Kim "Maximizing Availability of Content in Disruptive Environments by Cross-Layer Optimization", 28th ACM Symposium on Applied Computing (SAC'13), Mar. 2013, Coimbra, Portugal. [pdf] [bibtex]

[C22] M. Kim, M-O. Stehr, A. Gehani, C. Talcott "Ensuring Security and Availability through Model-based Cross-Layer Adaptation", 8th International Conference on Ubiquitous Intelligence and Computing (UIC'11), Sept. 2011, Banff, Canada., LNCS 6905 (pp. 310 - 325) [pdf] [bibtex]

[C21] M. Kim, M-O. Stehr, C. Talcott "A Distributed Logic for Networked Cyber-Physical Systems", IPM International Conference on Fundamentals of Software Engineering (FSEN'11), Apr. 2011, Tehran, Iran., LNCS 7141 (pp. 190 - 205) [pdf] [bibtex]

[C20] M. Kim, M-O. Stehr, J. Kim, S. Ha "An Application Framework for Loosely Coupled Networked Cyber-Physical Systems", 8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'10), Dec. 2010, Hong Kong, China. [pdf] [bibtex]

[C19] M-O. Stehr, M. Kim, C. Talcott "Toward Distributed Declarative Control of Networked Cyber-Physical Systems", 7th International Conference on Ubiquitous Intelligence and Computing (UIC'10), Oct. 2010, Xian, China., LNCS 6406 (pp. 397 - 413) [pdf] [bibtex]

[C17] A. Gehani, M. Kim "Mendel: Efficiently Verifying the Lineage of Data Modified in Multiple Trust Domains", 19th ACM International Symposium on High Performance Distributed Computing (HPDC'10), Jun. 2010, Chicago, IL, USA. [pdf] [bibtex]

[C15] A. Gehani, M. Kim, J. Zhang, “Steps Toward Managing Lineage Metadata in Grid Clusters”, 1st Workshop on Theory and Practice of Provenance (TaPP’09) co-located with the 7th USENIX Conference on File and Storage Technology (FAST’09), Feb. 2009, San Francisco, CA, USA. [pdf] [bibtex]

[C14] K. Lee, A. Shrivastava, M. Kim, N. Dutt, N. Venkatasubramanian, "Mitigating the Impact of Hardware Failures on Multimedia Applications - A Cross-Layer Approach", ACM International Conference on Multimedia (MM’08), Oct. 2008, Vancouver, Canada. [pdf] [bibtex]

[C13] A. Khajeh, M. Kim, N. Dutt, A. Eltawil, F. Kurdahi, “Cross-Layer Co-Exploration of Exploiting Error Resilience for Video over Wireless Applications”, IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia’08) in part of ESWEEK, Oct. 2008, Atlanta, GA, USA. [pdf] [bibtex]

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

[C10] M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. 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]

[C1] M. Kim, S. 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’01) Jun. 2001, Snowbird, Utah, USA. [pdf] [bibtex]