Minyoung Kim
Orcid: 0009-0007-5684-2724Affiliations:
- SRI International, Menlo Park, CA, USA
- University of California, Irvine, CA, USA (PhD 2007)
- Seoul National University, School of Electrical Engineering and Computer Science, Seoul, Korea
According to our database1,
Minyoung Kim
authored at least 46 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on csl.sri.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings.
CoRR, 2023
2022
Math. Struct. Comput. Sci., October, 2022
J. Log. Algebraic Methods Program., 2022
2019
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
CoRR, 2019
2017
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing.
IEEE Trans. Computers, 2017
2016
Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016
Energy efficient, context-aware cache coding for mobile information-centric networks.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016
2015
Proceedings of the Seventh International Conference on Ubiquitous and Future Networks, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
Priority register: Application-defined replacement orderings for ad hoc reconciliation.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
2014
Proceedings of the 2014 Virtual Reality International Conference, 2014
Proceedings of the Posters, 2014
Proceedings of the 2014 IEEE Military Communications Conference, 2014
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.
Proceedings of the Specification, Algebra, and Software, 2014
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.
Proceedings of the Computing with New Resources, 2014
2013
Maximizing availability of content in disruptive environments by cross-layer optimization.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013
ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge.
Proceedings of the 32th IEEE Military Communications Conference, 2013
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013
2012
ACM Trans. Embed. Comput. Syst., 2012
Error-Aware Algorithm/Architecture Coexploration for Video Over Wireless Applications.
ACM Trans. Embed. Comput. Syst., 2012
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing.
J. Parallel Distributed Comput., 2012
2011
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010
Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies.
Proceedings of the POLICY 2010, 2010
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010
Mendel: efficiently verifying the lineage of data modified in multiple trust domains.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010
2009
Proceedings of the First Workshop on the Theory and Practice of Provenance, 2009
2008
Energy-aware cosynthesis of real-time multimedia applications on MPSoCs using heterogeneous scheduling policies.
ACM Trans. Embed. Comput. Syst., 2008
xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems.
SIGBED Rev., 2008
Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach.
Proceedings of the 16th International Conference on Multimedia 2008, 2008
Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008
Cross-layer co-exploration of exploiting error resilience for video over wireless applications.
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
2007
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
2006
PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2006
Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006
2005
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005
2003
A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal.
Proceedings of the First Workshop on Embedded Systems for Real-Time Multimedia, 2003
2001
Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor.
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001