Insik Shin
Korea Advanced Institute of Science and Technology(KR)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Petri Nets in System Modeling
Most-Cited Works
- → Periodic resource model for compositional real-time guarantees(2004)505 cited
- → Compositional Real-Time Scheduling Framework(2005)237 cited
- → Compositional real-time scheduling framework with periodic model(2008)202 cited
- → SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs(2017)173 cited
- → Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors(2008)163 cited
- → Razzer: Finding Kernel Race Bugs through Fuzzing(2019)152 cited
- → SIRAP(2007)127 cited