Insik Shin

Jihun Hamm

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

An Efficient Data Analysis For Edge-Enabled Distributed Environments using Tractable Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

Hierarchical Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time Computing, 2022

2021

Machine Learning with Electronic Health Records is vulnerable to Backdoor Trigger Attacks.

[BibT_eX]

[DOI]

CoRR, 2021

Formullar: An FPGA-based network testing tool for flexible and precise measurement of ultra-low latency networking systems.

[BibT_eX]

[DOI]

Comput. Networks, 2021

AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

LaLaRAND: Flexible Layer-by-Layer CPU/GPU Scheduling for Real-Time DNN Tasks.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

FLUID-XP: flexible user interface distribution for cross-platform experience.

[BibT_eX]

[DOI]

Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021

2020

Learning to Separate Clusters of Adversarial Representations for Robust Adversarial Detection.

[BibT_eX]

[DOI]

CoRR, 2020

HFL: Hybrid Fuzzing on the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

Fluid: Flexible User Interface Distribution for Ubiquitous Multi-Device Interaction.

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2019

MC-SDN: Supporting Mixed-Criticality Real-Time Communication Using Software-Defined Networking.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

JMC: Jitter-Based Mixed-Criticality Scheduling for Distributed Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

Learning to Disentangle Robust and Vulnerable Features for Adversarial Detection.

[BibT_eX]

[DOI]

Byunggill Joe

Sung Ju Hwang

CoRR, 2019

SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis.

[BibT_eX]

[DOI]

CoRR, 2019

Razzer: Finding Kernel Race Bugs through Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Battery Aging Deceleration for Power-Consuming Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Fault-Resilient Real-Time Communication Using Software-Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

FLUID: Multi-device Mobile Platform for Flexible User Interface Distribution.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Conference on Mobile Computing and Networking, 2019

Light-Weight Novel View Synthesis for Casual Multiview Photography.

[BibT_eX]

[DOI]

Proceedings of the Advances in Visual Computing, 2019

2018

Non-Preemptive Scheduling for Mixed-Criticality Real-Time Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

Multi-level contention-free policy for real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

Hyeongboo Baek

J. Syst. Softw., 2018

UbiTap: Leveraging Acoustic Dispersion for Ubiquitous Touch Interface on Solid Surfaces.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Conference on Embedded Networked Sensor Systems, SenSys 2018, 2018

MC-SDN: Supporting Mixed-Criticality Scheduling on Switched-Ethernet Using Software-Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Pride and Prejudice in Progressive Web Apps: Abusing Native App-like Features in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

REboost: Improving Throughput in Wireless Networks Using Redundancy Elimination.

[BibT_eX]

[DOI]

Kilho Lee

Daehyeok Kim

IEEE Commun. Lett., 2017

SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

Mobile Plus: Multi-device Mobile Platform for Cross-device Functionality Sharing.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

2016

RETHINKING ENERGYPERFORMANCE TRADE-OFF in Mobile Web Page Loading.

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2016

Towards compositional mixed-criticality real-time scheduling in open systems: invited paper.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Thread-level priority assignment in global multiprocessor scheduling for DAG tasks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

GPU-SAM: Leveraging multi-GPU split-and-merge execution for system-wide real-time support.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Toward the Holographic Reconstruction of Sound Fields Using Smart Sound Devices.

[BibT_eX]

[DOI]

Jung-Woo Choi

Byung Jin Cho

IEEE Multim., 2016

Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

FLEXDROID: Enforcing In-App Privilege Separation in Android.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

Demo: Mobile Plus: Mobile Platform for Transparent Sharing of Functionalities Across Devices.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Poster: TapSnoop - Inferring Tapstrokes from Listening to Tap Sound on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Capturing urgency and parallelism using quasi-deadlines for real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

User Mobility Model Based Computation Offloading Decision for Mobile Cloud.

[BibT_eX]

[DOI]

Kilho Lee

J. Comput. Sci. Eng., 2015

Priority-Based Network Interrupt Scheduling for Predictable Real-Time Support.

[BibT_eX]

[DOI]

Minsub Lee

Hyosu Kim

J. Comput. Sci. Eng., 2015

SounDroid: Supporting Real-Time Sound Applications on Commodity Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Rethinking Energy-Performance Trade-Off in Mobile Web Page Loading.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

2014

Contention-free executions for real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Mixed-criticality scheduling on multiprocessors.

[BibT_eX]

[DOI]

Real Time Syst., 2014

Demand-based schedulability analysis for real-time multi-core scheduling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Mobile maestro: enabling immersive multi-speaker audio applications on commodity mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

Scalable Path and Time Coordination for Robot Formation.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013

Scheduling in Heterogeneous Computing Environments for Proximity Queries.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2013

EDZL Schedulability Analysis in Real-Time Multicore Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Limited carry-in technique for real-time multi-core scheduling.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

GreenBag: Energy-Efficient Bandwidth Aggregation for Real-Time Streaming in Heterogeneous Mobile Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

User mobility-aware decision making for mobile computation offloading.

[BibT_eX]

[DOI]

Kilho Lee

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

2012

Laxity dynamics and LLF schedulability analysis on multiprocessor platforms.

[BibT_eX]

[DOI]

Real Time Syst., 2012

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

A checkpoints capturing timing-robust Boolean model of the budding yeast cell cycle regulatory network.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2012

SymPhoney: a coordinated sensing flow execution engine for concurrent mobile sensing applications.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Schedulability Analysis and Priority Assignment for Global Job-Level Fixed-Priority Multiprocessor Scheduling.

[BibT_eX]

[DOI]

Hyoungbu Back

Hoon Sung Chwa

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Poster: towards mobile GPU-accelerated context processing for continuous sensing applications on smartphones.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Mobile Systems, 2012

2011

OptiTuner: On Performance Composition and Server Farm Energy Minimization Application.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2011

Implementation of compositional scheduling framework on virtualization.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Zero-laxity based real-time multiprocessor scheduling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Adaptive trajectory coordination for scalable multiple robot control.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Maximizing Contention-Free Executions in Multiprocessor Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Aciom: application characteristics-aware disk and network i/o management on android platform.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

On interrupt scheduling based on process priority for predictable real-time behavior.

[BibT_eX]

[DOI]

SIGBED Rev., 2010

Multiprocessor real-time scheduling considering concurrency and urgency.

[BibT_eX]

[DOI]

SIGBED Rev., 2010

LLF Schedulability Analysis on Multiprocessor Platforms.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Online robust optimization framework for QoS guarantees in distributed soft real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

2009

A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

Optimal virtual cluster-based multiprocessor scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2009

2008

Compositional real-time scheduling framework with periodic model.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

A design framework for real-time embedded systems with code size and energy constraints.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Scheduling of semi-independent real-time components: Overrun methods and resource holding times.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

An Overrun Method to Support Composition of Semi-independent Real-Time Components.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Compositional Real-Time Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Compositional Schedulability Analysis of Hierarchical Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Incremental schedulability analysis of hierarchical real-time components.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

A Compositional Framework for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Service Availability, 2005

2004

Compositional Real-Time Scheduling Framework.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

A Compositional Framework for Real-Time Guarantees.

[BibT_eX]

[DOI]

Proceedings of the Automotive Software, 2004

2003

Periodic Resource Model for Compositional Real-Time Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements.

[BibT_eX]

[DOI]