Minyoung Kim

CoRR, 2023

2022

Detection and diagnosis of deviations in distributed systems of autonomous agents.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., October, 2022

A probabilistic approximate logic for neuro-symbolic learning and reasoning.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

2019

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.

[BibT_eX]

[DOI]

CoRR, 2019

2017

ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

2016

Semantically Enhanced Virtual Learning Environments Using Sunflower.

[BibT_eX]

[DOI]

Daniel Elenius

Grit Denker

Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Energy efficient, context-aware cache coding for mobile information-centric networks.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015

Evaluation of a delay-tolerant ICN architecture.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Ubiquitous and Future Networks, 2015

ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge.

[BibT_eX]

[DOI]

J. J. Garcia-Luna-Aceves

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Priority register: Application-defined replacement orderings for ad hoc reconciliation.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

SeCG: Serendipity enabled cyber games project.

[BibT_eX]

[DOI]

Proceedings of the 2014 Virtual Reality International Conference, 2014

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge.

[BibT_eX]

[DOI]

Proceedings of the Posters, 2014

Adaptive Interest Modeling Improves Content Services at the Network Edge.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.

[BibT_eX]

[DOI]

Tim McCarthy

Proceedings of the Computing with New Resources, 2014

2013

A distributed logic for Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Maximizing availability of content in disruptive environments by cross-layer optimization.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. J. Garcia-Luna-Aceves

Proceedings of the 32th IEEE Military Communications Conference, 2013

Application patterns for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

xTune: A formal methodology for cross-layer tuning of mobile embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Error-Aware Algorithm/Architecture Coexploration for Video Over Wireless Applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

2011

Ensuring Security and Availability through Model-Based Cross-Layer Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

A Formal Methodology for Compositional Cross-Layer Optimization.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Toward Distributed Declarative Control of Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2010, 2010

Efficient querying of distributed provenance stores.

[BibT_eX]

[DOI]

Ashish Gehani

Tanu Malik

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.

[BibT_eX]

[DOI]

Ashish Gehani

Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

2009

Steps Toward Managing Lineage Metadata in Grid Clusters.

[BibT_eX]

[DOI]

Ashish Gehani

Jian Zhang

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.

[BibT_eX]

[DOI]

Sudarshan Banerjee

Nikil D. Dutt

ACM Trans. Embed. Comput. Syst., 2008

xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2008

Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Multimedia 2008, 2008

Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems.

[BibT_eX]

[DOI]

Kyoungwoo Lee

Nikil D. Dutt

Proceedings of the Distributed Embedded Systems: Design, 2008

Cross-layer co-exploration of exploiting error resilience for video over wireless applications.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2006

Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies.

[BibT_eX]

[DOI]

Sudarshan Banerjee

Nikil D. Dutt

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.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Probability Based Power Aware Error Resilient Coding.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Dohyung Kim

Soonhoi Ha

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.

[BibT_eX]

[DOI]