I agree that this site is using cookies. You can find further informations here.
X
Yoon, Man-Ki
10357  results:
Search for persons X
?
1

AccountNet: Accountable Data Propagation Using Verifiable P..:

, In: 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS),
Yoon, Man-Ki - p. 48-61 , 2023
Link: https://doi.org/10.1109/..
 
?
2

TimeDice: Schedulability-Preserving Priority Inversion for ..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),
Yoon, Man-Ki ; Kim, Jung-Eun ; Bradford, Richard. - p. 453-465 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Compositional virtual timelines: verifying dynamic-priority..:

Liu, Mengqi ; Shao, Zhong ; Chen, Hao..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 60-88 , 2022
Link: https://doi.org/10.1145/..
 
?
4

ABC: Abstract prediction Before Concreteness:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Kim, Jung-Eun ; Bradford, Richard ; Yoon, Man-Ki. - p. 1103-1108 , 2020
Link: https://doi.org/10.23919..
 
?
5

Task-Aware Novelty Detection for Visual-based Deep Learning..:

, In: 2020 IEEE International Conference on Robotics and Automation (ICRA),
Chen, Valerie ; Yoon, Man-Ki ; Shao, Zhong - p. 11060-11066 , 2020
Link: https://doi.org/10.1109/..
 
?
6

ABC : abstract prediction before concreteness:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,
Kim, Jung-Eun ; Bradford, Richard ; Yoon, Man-Ki. - p. 1103-1108 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Virtual timeline: a formal abstraction for verifying preemp..:

Liu, Mengqi ; Rieg, Lionel ; Shao, Zhong...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-31 , 2019
Link: https://doi.org/10.1145/..
 
?
8

Virtual timeline: a formal abstraction for verifying preemp..:

Liu, Mengqi ; Rieg, Lionel ; Shao, Zhong...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-31 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

VirtualDrone : virtual sensing, actuation, and communica..:

, In: Proceedings of the 8th International Conference on Cyber-Physical Systems,
Yoon, Man-Ki ; Liu, Bo ; Hovakimyan, Naira. - p. 143-154 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Learning Execution Contexts from System Call Distribution f..:

, In: Proceedings of the Second International Conference on Internet-of-Things Design and Implementation,
Yoon, Man-Ki ; Mohan, Sibin ; Choi, Jaesik.. - p. 191-196 , 2017
Link: https://dl.acm.org/doi/1..
 
?
11

Integrating security constraints into fixed priority real-t..:

Mohan, Sibin ; Yoon, Man-Ki ; Pellizzoni, Rodolfo.
Real-Time Systems.  52 (2016)  5 - p. 644-674 , 2016
Link: https://doi.org/10.1007/..
 
?
12

PIFT: Predictive Information-Flow Tracking:

Yoon, Man-Ki ; Salajegheh, Negin ; Chen, Yin.
ACM SIGPLAN Notices.  51 (2016)  4 - p. 713-725 , 2016
Link: https://doi.org/10.1145/..
 
?
13

PIFT: Predictive Information-Flow Tracking:

Yoon, Man-Ki ; Salajegheh, Negin ; Chen, Yin.
ACM SIGOPS Operating Systems Review.  50 (2016)  2 - p. 713-725 , 2016
Link: https://doi.org/10.1145/..
 
?
14

PIFT: Predictive Information-Flow Tracking:

Yoon, Man-Ki ; Salajegheh, Negin ; Chen, Yin.
ACM SIGARCH Computer Architecture News.  44 (2016)  2 - p. 713-725 , 2016
Link: https://doi.org/10.1145/..
 
?
15

PIFT : Predictive Information-Flow Tracking:

, In: Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems,
Yoon, Man-Ki ; Salajegheh, Negin ; Chen, Yin. - p. 713-725 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15