• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 78 matches

• 2024
• 
  Tarek Hamid, Kimberly Helm, Hyonyoung Choi, Jean Park, Claire Kendell, Stephanie Cummings, Steve Messe, Stefanie Modri, Insup Lee, James Weimer, Amanda Watson:
  Raproto: An Open-Source Platform for Rapid Prototyping with Wearable Devices. BSN 2024: 1-4
• 
  Kiwon Sohn, Insup Choi, Seongwan Kim, Jaeho Lee, Jungyong Lee, Joonghang Kim:
  A Strategy to Maximize the Utilization of AI Neural Processors on an Automotive Computing Platform. ICCE 2024: 1-4
• 
  Sooyong Jang, Kuk Jin Jang, Hyonyoung Choi, Yong-Seop Han, Seongjin Lee, Jin-hyun Kim, Insup Lee:
  Fundus Image-based Visual Acuity Assessment with PAC-Guarantees. CoRR abs/2412.06624 (2024)
• 2023
• 
  Youngjoon Kim, Insup Lee, Hyuk Kwon, Kyeongsik Lee, Ji Won Yoon:
  BAN: Predicting APT Attack Based on Bayesian Network With MITRE ATT&CK Framework. IEEE Access 11: 91949-91968 (2023)
• 2022
• 
  Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
  Global Edge Bandwidth Cost Gradient-based Heuristic for Fast Data Delivery to Connected Vehicles under Vehicle Overlaps. VTC Spring 2022: 1-7
• 
  Insup Kim, Ganggyu Lee, Seyoung Lee, Wonsuk Choi:
  Cybersecurity and Capacity Requirement for Data Storage of Autonomous Driving System. VTC Fall 2022: 1-7
• 
  Jin Hyun Kim, Deepak Gangadharan, Kyong Hoon Kim, Insik Shin, Insup Lee:
  Hierarchical Scheduling. Handbook of Real-Time Computing 2022: 269-301
• 2021
• 
  Akshaj Gupta, Joseph John Cherukara, Deepak Gangadharan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
  E-PODS: A Fast Heuristic for Data/Service Delivery in Vehicular Edge Computing. VTC Spring 2021: 1-6
• 2020
• 
  Hyo Jin Jo, Jin Hyun Kim, Hyon-Young Choi, Wonsuk Choi, Dong Hoon Lee, Insup Lee:
  MAuth-CAN: Masquerade-Attack-Proof Authentication for In-Vehicle Networks. IEEE Trans. Veh. Technol. 69(2): 2204-2218 (2020)
• 2019
• 
  BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
  Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. ACM Trans. Cyber Phys. Syst. 3(3): 28:1-28:32 (2019)
• 
  Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
  A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14
• 2018
• 
  Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee:
  Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2869-2880 (2018)
• 
  Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi:
  Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. IEEE CLOUD 2018: 106-113
• 
  Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman:
  Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58
• 2017
• 
  Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee:
  Extensible Energy Planning Framework for Preemptive Tasks. ISORC 2017: 32-41
• 
  Bong-Ho Kim, Doru Calin, Insup Lee:
  Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. WCNC 2017: 1-6
• 2016
• 
  Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
  Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016)
• 
  Insup Shin, Jae-Joon Kim, Yu-Shiang Lin, Youngsoo Shin:
  One-Cycle Correction of Timing Errors in Pipelines With Standard Clocked Elements. IEEE Trans. Very Large Scale Integr. Syst. 24(2): 600-612 (2016)
• 
  Bong-Ho Kim, Doru Calin, Insup Lee:
  Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. GLOBECOM 2016: 1-7
• 
  Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee:
  Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). RTCSA 2016: 76-84
• 2015
• 
  Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang:
  Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14(2): 839-859 (2015)
• 
  Insup Shin, Jae-Joon Kim, Youngsoo Shin:
  Aggressive Voltage Scaling Through Fast Correction of Multiple Errors With Seamless Pipeline Operation. IEEE Trans. Circuits Syst. I Regul. Pap. 62-I(2): 468-477 (2015)
• 
  Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
  Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100
• 
  BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee:
  Platform-specific timing verification framework in model-based implementation. DATE 2015: 235-240
• 
  Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
  Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83
• 
  BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee:
  Platform-Specific Code Generation from Platform-Independent Timed Models. RTSS 2015: 75-86
• 2014
• 
  Youngsoo Shin, Insup Shin, Donkyu Baek, Duckhwan Kim, Seungwhun Paik:
  HAPL: Heterogeneous Array of Programmable Logic Using Selective Mask Patterning. IEEE Trans. Circuits Syst. I Regul. Pap. 61-I(1): 146-159 (2014)
• 
  Insup Shin, Jae-Joon Kim, Youngsoo Shin:
  Power minimization of pipeline architecture through 1-cycle error correction and voltage scaling. ASP-DAC 2014: 179-184
• 
  BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee:
  A layered approach for testing timing in the model-based implementation. DATE 2014: 1-4
• 
  Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee:
  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112

skipping 48 more matches