Insik Shin

发表

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

Hyeongboo Baek, Jinkyu Lee, Insik Shin, 2018, J. Syst. Softw..

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

Insup Lee, Insik Shin, Arvind Easwaran, 2014, 2014 IEEE Real-Time Systems Symposium.

A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints

Sang Lyul Min, Insup Lee, Insik Shin, 2004 .

OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX

Insik Shin, Yuan Xiao, Yinqian Zhang, 2019, NDSS.

SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis pdf

Insik Shin, Wookhyun Han, Chengyu Song, 2019, ArXiv.

Maximizing Contention-Free Executions in Multiprocessor Scheduling

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

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

Jinkyu Lee, Insik Shin, Seungwon Shin, 2018, 2018 IEEE Real-Time Systems Symposium (RTSS).

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

Insik Shin, Yunxin Liu, Yuanchao Shu, 2018, SenSys.

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

Insik Shin, Jiyeon Lee, Junghwan Park, 2018, CCS.

Scheduling in Heterogeneous Computing Environments for Proximity Queries

Jinkyu Lee, Insik Shin, Junghwan Lee, 2013, IEEE Transactions on Visualization and Computer Graphics.

A Hierarchical Approach for Reconfigurable and Adaptive Embedded Systems

Insik Shin, Thomas Nolte, Moris Behnam, 2008 .

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

Feng Zhao, Insik Shin, Yunxin Liu, 2015, GETMBL.

Periodic resource model for compositional real-time guarantees

Insup Lee, Insik Shin, I. Shin, 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

Adaptive trajectory coordination for scalable multiple robot control

Jinkyu Lee, Insik Shin, Kilho Lee, 2011, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

Schedulability Analysis of Hierarchical Real-Time Systems

Insup Lee, Insik Shin, Oleg Sokolsky, 2007 .

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

Jinkyu Lee, Insik Shin, I. Shin, 2014, J. Syst. Softw..

A Study on the Development of Mobile APP Design Based on the Artifacts -Focussed on the excavated artifacts from Shanxi Province in China-

Insik Shin, Guo Wen Jie, 2019 .

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

Insup Lee, Jinkyu Lee, Insik Shin, 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

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

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2017, IEEE Transactions on Parallel and Distributed Systems.

FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction

Insik Shin, Steven Y. Ko, Kilho Lee, 2019, MobiCom.

Software-Defined Networking Enabling Expeditious Forwarding Rule Management for Cyber-Physical Defense Systems

Insik Shin, Seungwon Shin, Kilho Lee, 2019, Journal of KIISE.

Incremental schedulability analysis of hierarchical real-time components

Insup Lee, Insik Shin, Oleg Sokolsky, 2006, EMSOFT '06.

Laxity dynamics and LLF schedulability analysis on multiprocessor platforms

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2012, Real-Time Systems.

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

Insik Shin, Honguk Woo, Hyojeong Shin, 2013, 2013 IEEE 34th Real-Time Systems Symposium.

EDZL Schedulability Analysis in Real-Time Multicore Scheduling

Jinkyu Lee, Insik Shin, I. Shin, 2013, IEEE Transactions on Software Engineering.

User Mobility Model Based Computation Offloading Decision for Mobile Cloud

Insik Shin, Kilho Lee, I. Shin, 2015, J. Comput. Sci. Eng..

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

Insik Shin, Steven Y. Ko, Kilho Lee, 2019, MobiCom.

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

Insik Shin, Minsub Lee, Hyosu Kim, 2015, J. Comput. Sci. Eng..

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

Insik Shin, Hyuck Yoo, Sooyoung Park, 2016, MobiSys '16 Companion.

Fair Real-Time Scheduling over a Wireless LAN

Insup Lee, Insik Shin, Sanjeev Khanna, 2005 .

HFL: Hybrid Fuzzing on the Linux Kernel

Insik Shin, Kyungtae Kim, Chung Hwan Kim, 2020, NDSS.

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

Insik Shin, Thomas Nolte, Moris Behnam, 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

GPU-SPARC: Accelerating Parallelism in Multi-GPU Real-Time Systems

Insik Shin, Wookhyun Han, Hyosu Kim, 2014 .

Towards Optimal Hierarchical Resource Sharing in Open Environments

Insik Shin, Mikael Sjödin, Thomas Nolte, 2007, RTSS 2007.

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

Sang Jeong Lee, Inseok Hwang, Insik Shin, 2012, MobiSys '12.

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

Minho Lee, Kwang-Hyun Cho, Insik Shin, 2012, BMC Systems Biology.

Global EDF Schedulability Analysis for Synchronous Parallel Tasks on Multicore Platforms

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2013, 2013 25th Euromicro Conference on Real-Time Systems.

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

Insik Shin, Jinkyu Lee, Kilho Lee, 2019, 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

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

Insik Shin, Hoon Sung Chwa, Hyoungbu Back, 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

Hierarchical Scheduling of Complex Embedded Real-Time Systems

Insik Shin, Thomas Nolte, Reinder J. Bril, 2009 .

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

Insik Shin, Wookhyun Han, Chengyu Song, 2018, NDSS.

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

Insik Shin, Mikael Sjödin, Thomas Nolte, 2010, IEEE Transactions on Industrial Informatics.

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

Insik Shin, Youngki Lee, Junehwa Song, 2012, SenSys '12.

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

Hyeongboo Baek, Jinkyu Lee, Insik Shin, 2018, IEEE Transactions on Parallel and Distributed Systems.

$\mathsf{REboost}$ : Improving Throughput in Wireless Networks Using Redundancy Elimination

Insik Shin, Daehyeok Kim, Kilho Lee, 2017, IEEE Communications Letters.

Behavior Realization of Multi-Robots Responding to User's Input Characters

Insik Shin, Kilho Lee, Sungho Jo, 2012 .

Embedded system design framework for minimizing code size and guaranteeing real-time requirements

Sang Lyul Min, Insup Lee, Insik Shin, 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

Implementation of compositional scheduling framework on virtualization

Insik Shin, Sangwon Park, Changki Hong, 2011, SIGBED.

Learning to Disentangle Robust and Vulnerable Features for Adversarial Detection pdf

Insik Shin, Byunggill Joe, Sung Ju Hwang, 2019, ArXiv.

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

Insik Shin, Mikael Sjödin, Thomas Nolte, 2009, IEEE Transactions on Industrial Informatics.

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

Chang-Gun Lee, Insup Lee, Nikil D. Dutt, 2013, 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications.

Contention-free executions for real-time multiprocessor scheduling

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2014, ACM Trans. Embed. Comput. Syst..

OptiTuner: An Automatic Distributed Performance Optimization Service and a Server Farm Application

Insik Shin, Tarek Abdelzaher, Dong Wang, 2009 .

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

Jinkyu Lee, Insik Shin, Jiyeon Lee, 2016, J. Syst. Softw..

LLF Schedulability Analysis on Multiprocessor Platforms

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2010, 2010 31st IEEE Real-Time Systems Symposium.

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

Insik Shin, Seungwon Shin, Kilho Lee, 2021, Comput. Networks.

Composition of Schedulability Analyses for Real-Time Multiprocessor Systems

Kang G. Shin, Jinkyu Lee, Insik Shin, 2015, IEEE Transactions on Computers.

Multiprocessor real-time scheduling considering concurrency and urgency

Insup Lee, Jinkyu Lee, Insik Shin, 2010, SIGBED.

SCUBA DIVING FIN TYPES AND CHARACTERISTICS OF DIVER'S PROPULSIVE MOTION

Insik Shin, Jaebum Park, 2008 .

Optimal virtual cluster-based multiprocessor scheduling

Insup Lee, Insik Shin, Arvind Easwaran, 2009, Real-Time Systems.

Aciom: Application characteristics-aware disk and network I/O management on Android platform

Insik Shin, Wookhyun Han, Minsub Lee, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

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

Sang Jeong Lee, Insik Shin, Jiyeon Lee, 2014, UbiComp.

Mixed-criticality scheduling on multiprocessors

Sanjoy K. Baruah, Insik Shin, Haohan Li, 2013, Real-Time Systems.

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

Insik Shin, Thomas Nolte, Moris Behnam, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

Maximizing Contention-Free Executions in

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2011 .

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

Insik Shin, Wookhyun Han, Hoon Sung Chwa, 2016, J. Syst. Softw..

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

Insik Shin, Wookhyun Han, Jaewoo Lee, 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

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

Jinkyu Lee, Insik Shin, Seungwon Shin, 2019, IEEE Internet of Things Journal.

SIRAP: A Global Resource Sharing Protocol Facilitating Integration of Semi-independent Real-Time Systems

Insik Shin, Mikael Sjödin, Thomas Nolte, 2007 .

A Study of Selecting Input and Output Variables for Evaluation of Comparative Efficiency on Regional Agricultural Co-operatives -Focussing on DEA Model-

Insik Shin, KyungsikChoi, Ki Pou Nam, 2011 .

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

Insik Shin, Steven Y. Ko, Kilho Lee, 2019, GetMobile Mob. Comput. Commun..

Compositional real-time scheduling framework

Insup Lee, Insik Shin, I. Shin, 2004, 25th IEEE International Real-Time Systems Symposium.

Measurement and comparison of taekwondo and yongmudo turning kick impact force for two target heights.

Sungchul Kang, Taewhan Kim, Insik Shin, 2009, Journal of sports science & medicine.

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

Jinkyu Lee, Insik Shin, 2013, J. Syst. Archit..

Toward the Holographic Reconstruction of Sound Fields Using Smart Sound Devices

Insik Shin, Byung Jin Cho, Jung-Woo Choi, 2016, IEEE MultiMedia.

Battery Aging Deceleration for Power-Consuming Real-Time Systems

Jinkyu Lee, Insik Shin, Taehee Kim, 2019, 2019 IEEE Real-Time Systems Symposium (RTSS).

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

Jinkyu Lee, Insik Shin, Hoon Sung Chwa, 2015, 2015 IEEE Real-Time Systems Symposium.

Towards hierarchical scheduling in VxWorks

Insik Shin, Thomas Nolte, Reinder J. Bril, 2008 .

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

Insik Shin, Dongsu Han, Taesoo Kim, 2017, NDSS.

Razzer: Finding Kernel Race Bugs through Fuzzing

Insik Shin, Byoungyoung Lee, Dae R. Jeong, 2019, 2019 IEEE Symposium on Security and Privacy (SP).

Compositional Schedulability Analysis of Hierarchical Real-Time Systems

Insup Lee, Insik Shin, Oleg Sokolsky, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

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

Sang Jeong Lee, Insik Shin, Wookhyun Han, 2015, 2015 IEEE Real-Time Systems Symposium.

An energy measurement based collision resolution protocol

Insik Shin, Saswati Sarkar, Sanjeev Khanna, 2003 .

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

Insup Lee, Insik Shin, Arvind Easwaran, 2018, IEEE Transactions on Computers.

Mobile code security by Java bytecode instrumentation

Insik Shin, Ajay Chander, John C. Mitchell, 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.

A Compositional Framework for Real-Time Guarantees

Insup Lee, Insik Shin, 2004, ASWSD.

Synchronization protocols for hierarchical real-time scheduling frameworks

Insik Shin, Thomas Nolte, Moris Behnam, 2008 .

Compositional Real-Time Schedulability Analysis

Insup Lee, Insik Shin, I. Lee, 2007, Handbook of Real-Time and Embedded Systems.

User mobility-aware decision making for mobile computation offloading

Insik Shin, Kilho Lee, I. Shin, 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).

LLF Schedulability Analysis on

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2010 .

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

Insik Shin, Minsub Lee, Juyoung Lee, 2010, SIGBED.

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

Insik Shin, Hyuck Yoo, Duc Hoang Bui, 2017, MobiSys.

The Journal of Systems and Software Convex Optimization Framework for Intermediate Deadline Assignment in Soft and Hard Real-time Distributed Systems

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2022 .

OptiTuner: On Performance Composition and Server Farm Energy Minimization Application

Xue Liu, Insik Shin, Tarek F. Abdelzaher, 2011, IEEE Transactions on Parallel and Distributed Systems.

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

Jinkyu Lee, Insik Shin, Jaewoo Lee, 2019, IEEE Internet of Things Journal.

Independent Abstraction and Dynamic Slack Reclaiming in Hierarchical Real-Time Open Systems

Insik Shin, Mikael Sjödin, Thomas Nolte, 2007 .

A Compositional Framework for Real-Time Embedded Systems

Insup Lee, Insik Shin, I. Shin, 2005, ISAS.

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

Jinkyu Lee, Insik Shin, Kieu-My Phan, 2015, J. Syst. Softw..

A Study on Fashion Show of Multimedia Stage Art Design

Insik Shin, Wang Yunzhuo, 2019 .

An Efficient Steady-State Analysis Method for Large Boolean Networks with High Maximum Node Connectivity

Kwang-Hyun Cho, Insik Shin, Changki Hong, 2015, PloS one.

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

Sang Lyul Min, Insup Lee, Insik Shin, 2008, TECS.

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

Insik Shin, Yunxin Liu, Byunggill Joe, 2016, MobiSys '16 Companion.

Light-Weight Novel View Synthesis for Casual Multiview Photography

Insik Shin, Dae R. Jeong, Min H. Kim, 2019, ISVC.

Scalable Path and Time Coordination for Robot Formation

Insik Shin, Kilho Lee, Hoon Sung Chwa, 2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications.

Real-Time Subsystem Integration in the Presence of Shared Resources

Insik Shin, Mikael Sjödin, Thomas Nolte, 2006, RTSS 2006.

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

Insik Shin, Byunggill Joe, Sung Ju Hwang, 2020, ArXiv.

Fair real-time traffic scheduling over a wireless LAN

Insup Lee, Insik Shin, Sanjeev Khanna, 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

Compositional real-time scheduling framework with periodic model

Insup Lee, Insik Shin, I. Shin, 2008, TECS.

Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling

Insik Shin, Arvind Easwaran, Kieu-My Phan, 2015, 2015 27th Euromicro Conference on Real-Time Systems.

Zero-laxity based real-time multiprocessor scheduling

Insup Lee, Jinkyu Lee, Insik Shin, 2011, J. Syst. Softw..

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

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2010, EMSOFT '10.

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors

Insup Lee, Insik Shin, Arvind Easwaran, 2008, 2008 Euromicro Conference on Real-Time Systems.

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

Insik Shin, Thomas Nolte, Moris Behnam, 2007, EMSOFT '07.

FLEXDROID: Enforcing In-App Privilege Separation in Android

Insik Shin, Taesoo Kim, Daehyeok Kim, 2016, NDSS.

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources

Insik Shin, Thomas Nolte, Moris Behnam, 2008, 2008 Real-Time Systems Symposium.

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

Insup Lee, Insik Shin, Arvind Easwaran, 2016, SIGBED.

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs

Insik Shin, Byoungyoung Lee, Pedro Fonseca, 2021, NDSS.

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

Insik Shin, Byunggill Joe, Jihun Hamm, 2021, ArXiv.

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

Insik Shin, Suman Jana, Sooel Son, 2021, USENIX Security Symposium.

Energy and Feasibility Optimal Global Scheduling Framework on big . LITTLE platforms

Jinkyu Lee, Insik Shin, Hyuck Yoo, 2014 .