Minyoung Kim - RankMe

49 papers A* 1A 4C 4Misc 2Journal 13Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems. CoRR Joud Khoury, Minyoung Kim, Christophe Merlin, José Meseguer, Zachary B. Ratliff, Carolyn L. Talcott
2023	J	`jnl`	Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings. CoRR Mark-Oliver Stehr, Minyoung Kim
2022	J	`jnl`	A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2022	J	`jnl`	Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
2019	J	`jnl`	Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes
2017	J	`jnl`	ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing. IEEE Trans. Computers Di Wu, Dmitri I. Arkhipov, Minyoung Kim, Carolyn L. Talcott, Amelia C. Regan, Julie A. McCann, Nalini Venkatasubramanian
2016	—	`conf`	Energy efficient, context-aware cache coding for mobile information-centric networks. DEBS Joshua Joy, Yu-Ting Yu, Mario Gerla, Ashish Gehani, Hasnain Lakhani, Minyoung Kim
2016	—	`conf`	Semantically Enhanced Virtual Learning Environments Using Sunflower. MTSR Daniel Elenius, Grit Denker, Minyoung Kim
2015	—	`conf`	Evaluation of a delay-tolerant ICN architecture. ICUFN Hasnain Lakhani, Timothy McCarthy, Minyoung Kim, David E. Wilkins, Samuel B. Wood
2015	—	`conf`	ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. Logic, Rewriting, and Concurrency Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves
2015	—	`conf`	Priority register: Application-defined replacement orderings for ad hoc reconciliation. IEEE BigData Sathiya Prabhu Kumar, Sylvain Lefebvre, Minyoung Kim, Mark-Oliver Stehr
2014	—	`conf`	A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems. Computing with New Resources Mark-Oliver Stehr, Minyoung Kim, Tim McCarthy
2014	—	`conf`	Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
2014	—	`conf`	Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
2014	—	`conf`	Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2014	—	`conf`	SeCG: Serendipity enabled cyber games project. VRIC Eric Gressier-Soudan, Isabelle Astic, Stéphane Natkin, J. Murray, Minyoung Kim, Carolyn L. Talcott, P. Gautier
2013	J	`jnl`	A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
2013	C	`conf`	Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. MobiQuitous Jong-Seok Choi, Tim McCarthy, Minyoung Kim, Mark-Oliver Stehr
2013	—	`conf`	Application patterns for cyber-physical systems. CPSNA Jong-Seok Choi, Tim McCarthy, Maneesh Yadav, Minyoung Kim, Carolyn L. Talcott, Eric Gressier-Soudan
2013	—	`conf`	ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge. MILCOM Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves
2013	Misc	`conf`	Maximizing availability of content in disruptive environments by cross-layer optimization. SAC Minyoung Kim, Ashish Gehani, Je-Min Kim, Dawood Tariq, Mark-Oliver Stehr, Jin-Soo Kim
2012	J	`jnl`	A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. J. Parallel Distributed Comput. Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha
2012	J	`jnl`	Error-Aware Algorithm/Architecture Coexploration for Video Over Wireless Applications. ACM Trans. Embed. Comput. Syst. Amin Khajeh, Minyoung Kim, Nikil D. Dutt, Ahmed M. Eltawil, Fadi J. Kurdahi
2012	J	`jnl`	xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2011	—	`conf`	A Distributed Logic for Networked Cyber-Physical Systems. FSEN Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
2011	—	`conf`	A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2011	C	`conf`	Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott
2011	—	`conf`	Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
2010	C	`conf`	An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. EUC Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha
2010	A	`conf`	Efficient querying of distributed provenance stores. HPDC Ashish Gehani, Minyoung Kim, Tanu Malik
2010	A	`conf`	Mendel: efficiently verifying the lineage of data modified in multiple trust domains. HPDC Ashish Gehani, Minyoung Kim
2010	—	`conf`	Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies. POLICY Grit Denker, Ashish Gehani, Minyoung Kim, David Hanz
2010	C	`conf`	Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2009	—	`conf`	Steps Toward Managing Lineage Metadata in Grid Clusters. Workshop on the Theory and Practice of Provenance Ashish Gehani, Minyoung Kim, Jian Zhang
2008	A	`conf`	Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2008	—	`conf`	Cross-layer co-exploration of exploiting error resilience for video over wireless applications. ESTIMedia Amin Khajeh, Minyoung Kim, Nikil D. Dutt, Ahmed M. Eltawil, Fadi J. Kurdahi
2008	J	`jnl`	Energy-aware cosynthesis of real-time multimedia applications on MPSoCs using heterogeneous scheduling policies. ACM Trans. Embed. Comput. Syst. Minyoung Kim, Sudarshan Banerjee, Nikil D. Dutt, Nalini Venkatasubramanian
2008	—	`conf`	Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems. DIPES Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Nalini Venkatasubramanian
2008	A*	`conf`	Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach. ACM Multimedia Kyoungwoo Lee, Aviral Shrivastava, Minyoung Kim, Nikil D. Dutt, Nalini Venkatasubramanian
2008	J	`jnl`	xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems. SIGBED Rev. Minyoung Kim
2007	—	`conf`	A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2007	—	`conf`	Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2006	Misc	`conf`	Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies. CODES+ISSS Minyoung Kim, Sudarshan Banerjee, Nikil D. Dutt, Nalini Venkatasubramanian
2006	J	`jnl`	PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh. ACM SIGMOBILE Mob. Comput. Commun. Rev. Minyoung Kim, Hyunok Oh, Nikil D. Dutt, Alex Nicolau, Nalini Venkatasubramanian
2005	A	`conf`	A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems. IPDPS Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Rajesh Gupta, Alexandru Nicolau, Sandeep K. Shukla, Nalini Venkatasubramanian
2005	—	`conf`	Probability Based Power Aware Error Resilient Coding. ICDCS Workshops Minyoung Kim, Hyunok Oh, Nikil D. Dutt, Alexandru Nicolau, Nalini Venkatasubramanian
2003	—	`conf`	A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal. ESTIMedia Dohyung Kim, Minyoung Kim, Soonhoi Ha
2001	—	`conf`	Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor. LCTES/OM Minyoung Kim, Soonhoi Ha
2001	—	`conf`	Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor. OM@PLDI Minyoung Kim, Soonhoi Ha