Man-Ki Yoon

According to our database1, Man-Ki Yoon authored at least 28 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

ABC: Abstract prediction Before Concreteness.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems.
IEEE Internet Things J., 2019

TaskShuffler++: Real-Time Schedule Randomization for Reducing Worst-Case Vulnerability to Timing Inference Attacks.
CoRR, 2019

ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Novelty Detection via Network Saliency in Visual-Based Deep Learning.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

Grouped Convolutional Neural Networks for Multivariate Time Series.
CoRR, 2017

A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems.
CoRR, 2017

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Integrating security constraints into fixed priority real-time schedulers.
Real Time Syst., 2016

Real-Time Computing on Multicore Processors.
Computer, 2016

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

PIFT: Predictive Information-Flow Tracking.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems.
CoRR, 2015

A generalized model for preventing information leakage in hard real-time systems.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Memory heat map: anomaly detection in real-time embedded systems using memory behavior.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Real-Time Systems Security through Scheduler Constraints.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling.
Proceedings of the Design, Automation and Test in Europe, 2013

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems.
Proceedings of the Design, Automation and Test in Europe, 2013

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times.
IEEE Trans. Computers, 2010

A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking.
IEEE Trans. Computers, 2008

Sensor Placement for 3-Coverage with Minimum Separation Requirements.
Proceedings of the Distributed Computing in Sensor Systems, 2008