[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

[J8] D. Wu, D. I. Arkhipov, M. Kim, C. Talcott, A. C. Regan, J. A. McCann, N. Venkatasubramanian,
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing,
IEEE Transactions on Computers (TC), 66(2):183-198, 2017. [pdf] [bibtex]

[J7] M. Kim, M-O. Stehr, C. Talcott,
A Distributed Logic for Networked Cyber-Physical Systems,
ELSEVIER Journal of Science of Computer Programming (SCP), 78(12):2453-2467, 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

[C38] D. Elenius, G. Denker, M. Kim
"Semantically Enhanced Virtual Learning Environments Using Sunflower",  
10th Metadata and Semantics Research Conference (MTSR'16), Nov. 2016, Gottingen, Germany. [pdf] [bibtex]

[C37] J. Joy, M. Gerla, Y-T. Yu, A. Gehani, H. Lakhani, M. Kim
"Context-Aware Cache Coding for Mobile Information-Centric Networks",  
10th ACM International Conference on Distributed and Event-Based Systems (DEBS'16), Jun. 2016, Irvine, CA, USA. [pdf] [bibtex]

[C36] S. Kumar, S. Lefebvre, M. Kim, M-O. Stehr
"Priority Register: Application-defined Replacement Orderings for Ad Hoc Reconciliation",  
3rd Workshop on Scalable Cloud Data Management (SCDM'15), in conjunction with IEEE BigData Conference, Oct. 2015, Santa Clara, CA, USA. [pdf] [bibtex]

[C35] S. Wood, J. Mathewson, J. Joy, M-O. Stehr, M. Kim, A. Gehani, M. Gerla, H. Sadjadpour, J.J. Garcia-Luna-Aceves
"ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge",  
Logic, Rewriting, and Concurrency, LNCS Volume 9200, pp 617-631, Sept. 2015, Urbana, IL, USA. [pdf] [bibtex]

[C34] H. Lakhani, T. McCarthy, M. Kim, D. Wilkins, S. Wood
"Evaluation of a Delay-Tolerant ICN Architecture",  
7th Int. Conf. Ubiquitous and Future Networks (ICUFN'15), Jul. 2015, Sapporo, Japan. [pdf] [bibtex]

Excellent Paper Award

[C33] M-O. Stehr, M. Kim, T. McCarthy
"A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems",  
Computing with New Resources, LNCS Volume 8808, pp 379-393, Dec. 2014. [pdf] [bibtex]

[C32] H. Li, R. Costantini, D. Anhalt, R. Alonso, M-O. Stehr, C. Talcott, M. Kim, T. McCarthy, S. Wood.
"Adaptive Interest Modeling Improves Content Services at the Network Edge",  
33rd IEEE Military Communications Conference (MILCOM'14), Oct. 2014, Baltimore, MD, USA. [pdf] [bibtex]

[C31] H. Li, R. Costantini, D. Anhalt, R. Alonso, M-O. Stehr, C. Talcott, M. Kim, T. McCarthy, S. Wood.
"Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge",  
UMAP Project Synergy (UMAP ProS) Workshop, in conjunction with 22nd Conference on User Modeling, Adaptation, and Personalization (UMAP), Jul. 2014, Aalborg, Denmark.

[C30] M-O. Stehr, M. Kim, C. Talcott
"Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing",  
Specification, Algebra, and Software, LNCS Volume 8373, pp 402-433, Apr. 2014, Kanazawa, Japan. [pdf] [bibtex]

[C29] E. Gressier Soudan, J. Murray, I. Astic, P. Gautier, M. Kim, C. Talcott, and S. Natkin
"SeCG : SERENDIPITY Enabled CYBER GAMES Project",  
Virtual Reality International Conference (VRIC'14), Apr. 2014, Laval, France.

[C28] J-S. Choi, T. McCarthy, M. Kim, M-O. Stehr
"Adaptive Wireless Networks as an Example of Declarative Fractionated Systems",  
10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS'13), Dec. 2013, Tokyo, Japan. [pdf] [bibtex]

[C27] S. Wood, J. Mathewson, J. Joy, M-O. Stehr, M. Kim, A. Gehani, M. Gerla, H. Sadjadpour, J.J. Garcia-Luna-Aceves
"ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge",  
32nd IEEE Military Communications Conference (MILCOM'13), Nov. 2013, San Diego, CA, USA. [pdf] [bibtex]

[C26] J-S. Choi, T. McCarthy, M. Yadav, M. Kim, C. Talcott, E. Gressier-Soudan
"Application Patterns for Cyber-Physical Systems",  
IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA'13), Aug. 2013, Taipei, Taiwan. [pdf] [bibtex]

[C25] M. Kim, J-M. Kim, M-O. Stehr, A. Gehani, D. Tariq, 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, LNCS Volume 7000, pages 110 - 143, Nov. 2011, Menlo Park, CA, USA. [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, LNCS Volume 7000, pages 207 - 222, Nov. 2011, Menlo Park, CA, USA. [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.

[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.

[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.

[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] [bibex]

[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.

[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 Reports

[T2] D. Hanz, G. Denker, A. Gehani, M. Kim
 “MILS Integration Roadmap for the Joint National Training Capability",
ESD-18692-TR-10-164, Jun. 2010, ESD, SRI International.

[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.