Publications
Journal Articles
[J10] Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott,
A probabilistic approximate logic for neuro-symbolic learning and reasoning
ELSEVIER
J. Log. Algebraic Methods Program. 124: 100719 (2022) [pdf] [bibtex]
Related technical reports are available as:
Mark-Oliver Stehr and Minyoung Kim:
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings
CoRR abs/2310.05935 (2023)
[pdf] [bibtex]
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes:
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
CoRR abs/1907.11321 (2019) [pdf] [bibtex]
[J9] Vivek Nigam, Minyoung Kim, Ian Mason, Carolyn L. Talcott,
Detection and diagnosis of deviations in distributed systems of autonomous agents
Mathematical Structures in Computer Science (2022) [pdf] [bibtex]
[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
[C39] Mark-Oliver Stehr, Minyoung Kim and Carolyn Talcott:
Towards Imagination Modulo Logical Theories: Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
Third International Workshop on Formal Methods in Artificial Intelligence
[FMAI 2021]
[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
[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
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
[T5] Mark-Oliver Stehr and Minyoung Kim:
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings
CoRR abs/2310.05935 (2023) [pdf] [bibtex]
[T4] Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification
CoRR abs/2203.15178 (2022) [pdf] [bibtex].
[T3] Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes:
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
CoRR abs/1907.11321 (2019) [pdf] [bibtex]
[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.