The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Insup Lee" ( http://dblp.L3S.de/Authors/Insup_Lee )

URL (Homepage):  http://www.cis.upenn.edu/~lee/  Author page on DBLP  Author page in RDF  Community of Insup Lee in ASPL-2

Publication years (Num. hits)
1982-1989 (19) 1990-1994 (15) 1995-1997 (16) 1998-2000 (22) 2001-2002 (18) 2003-2004 (18) 2005-2006 (26) 2007 (15) 2008-2009 (25) 2010 (24) 2011 (25) 2012 (23) 2013 (24) 2014 (22) 2015 (25) 2016 (21) 2017 (15) 2018 (24) 2019 (7)
Publication types (Num. hits)
article(106) book(1) incollection(4) inproceedings(269) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 145 occurrences of 116 keywords

Results
Found 385 publication records. Showing 384 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lorenzo Fernández Maimó, Alberto Huertas Celdrán, Ángel Luis Perales Gómez, Félix J. García Clemente, James Weimer, Insup Lee Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments. Search on Bibsonomy Sensors The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee Continuous Estimation Using Context-Dependent Discrete Measurements. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee LCV: A Verification Tool for Linear Controller Software. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee Verisig: verifying safety properties of hybrid systems with neural network controllers. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Yuhan Lin, Haoran Li, Chenyang Lu, Insup Lee Holistic Resource Allocation for Multicore Real-Time Systems. Search on Bibsonomy RTAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jaewoo Lee, Saravanan Ramanathan, Kieu-My Phan, Arvind Easwaran, Insik Shin, Insup Lee MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Insup Lee, Miroslav Pajic Guest Editorial: Special Issue on Medical Cyber-Physical Systems. Search on Bibsonomy TCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee Self-Driving Vehicle Verification Towards a Benchmark. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee Verisig: verifying safety properties of hybrid systems with neural network controllers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, Insup Lee Parameter-Invariant Monitor Design for Cyber-Physical Systems. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Sang Hyuk Son, Kyung-Joon Park, Yongsoon Eun An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems. Search on Bibsonomy IEEE Computer The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Huertas Celdrán, Félix J. García Clemente, James Weimer, Insup Lee ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing. Search on Bibsonomy HealthCom The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstract. Search on Bibsonomy ICCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee Cyber-physical system checkpointing and recovery. Search on Bibsonomy ICCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Insup Lee Context-aware detection in medical cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky Flexible Monitor Deployment for Runtime Verification of Large Scale Software. Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee Parameter Invariant Monitoring for Signal Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky Multi-Mode Virtualization for Soft Real-Time Systems. Search on Bibsonomy RTAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jalil 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. Search on Bibsonomy ISORC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky, Insup Lee Data Freshness Over-Engineering: Formulation and Results. Search on Bibsonomy ISORC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, Insup Lee OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things. Search on Bibsonomy ISORC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. Search on Bibsonomy IEEE CLOUD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Insup Lee Towards Context-Aware Cyber-Physical Systems. Search on Bibsonomy MT@CPSWeek The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yazhou Tu, Zhiqiang Lin, Insup Lee, Xiali Hei Injected and Delivered: Fabricating Implicit Control over Actuation Systems by Spoofing Inertial Sensors. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2018 DBLP  BibTeX  RDF
1Hung Nguyen, Radoslav Ivanov, Linh T. X. Phan, Oleg Sokolsky, James Weimer, Insup Lee LogSafe: Secure and Scalable Data Logger for IoT Devices. Search on Bibsonomy IoTDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fanxin Kong, Xue Liu, Insup Lee Joint Rate Control and Demand Balancing for Electric Vehicle Charging. Search on Bibsonomy IoTDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. Search on Bibsonomy TCPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sangdon Park, James Weimer, Insup Lee Resilient Linear Classification: An Approach to Deal with Attacks on Training Data. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Miroslav Pajic, Insup Lee, George J. Pappas Attack-Resilient State Estimation for Noisy Dynamical Systems. Search on Bibsonomy IEEE Trans. Control of Network Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liang Cheng 0004, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee Protecting interoperable clinical environment with authentication. Search on Bibsonomy SIGBED Review The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jaewoo Lee, Hoon Sung Chwa, Linh T. X. Phan, Insik Shin, Insup Lee MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wendy Nilsen, Emre Ertin, Eric B. Hekler, Santosh Kumar 0001, Insup Lee, Rahul Mangharam, Misha Pavel, James M. Rehg, William T. Riley, Daniel E. Rivera, Donna Spruijt-Metz Modeling Opportunities in mHealth Cyber-Physical Systems. Search on Bibsonomy Mobile Health - Sensors, Analytic Methods, and Applications The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sangdon Park, James Weimer, Insup Lee Resilient linear classification: an approach to deal with attacks on training data. Search on Bibsonomy ICCPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky Monitoring Time Intervals. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee Automatic Verification of Finite Precision Implementations of Linear Controllers. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meng Xu, Linh Thi Xuan Phan, Xuan Phan, Hyon-Young Choi, Insup Lee vCAT: Dynamic Cache Management Using CAT Virtualization. Search on Bibsonomy RTAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, Insup Lee Extensible Energy Planning Framework for Preemptive Tasks. Search on Bibsonomy ISORC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bong-Ho Kim, Doru Calin, Insup Lee Enhanced Split TCP with End-to-End Protocol Semantics over Wireless Networks. Search on Bibsonomy WCNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gang Wang, Shan Lin, Margaret Mullen-Fortino, Oleg Sokolsky, Insup Lee Transmission delay performance in telemedicine: A case study. Search on Bibsonomy EMBC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiwoong Won, Oseok Kwon, Junhee Ryu, Junbeom Hur, Insup Lee, Kyungtae Kang Trapfetch: A breakpoint-based prefetcher for both launch and run-time. Search on Bibsonomy SMC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study. Search on Bibsonomy JCSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee Prediction of Critical Pulmonary Shunts in Infants. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall Monitoring Assumptions in Assume-Guarantee Contracts. Search on Bibsonomy PrePost@IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jin 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. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, Insup Lee Towards compositional mixed-criticality real-time scheduling in open systems: invited paper. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linh Thi Xuan Phan, Meng Xu, Insup Lee Cache-aware interfaces for compositional real-time systems: invited paper. Search on Bibsonomy SIGBED Review The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Miroslav Pajic, Insup Lee Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bong-Ho Kim, Doru Calin, Insup Lee Advanced Split-TCP with End-to-End Protocol Semantics over Wireless Networks. Search on Bibsonomy GLOBECOM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee Estimation of Blood Oxygen Content Using Context-Aware Filtering. Search on Bibsonomy ICCPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee Adaptive Transient Fault Model for Sensor Attack Detection. Search on Bibsonomy CPSNA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky Scalable Verification of Linear Controller Software. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, Insup Lee Analysis and Implementation of GlEnergy Saving for Mixed-Criticalityobal Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation. Search on Bibsonomy RTAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang Hyuk Son, Insup Lee A stochastic approach for attack resilient UAV motion planning. Search on Bibsonomy ACC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minsu Jo, Junkil Park, Youngmi Baek, Radoslav Ivanov, James Weimer, Sang Hyuk Son, Insup Lee Toward a Hybrid Sensor Fusion Using Probabilistic and Abstract Sensor Models. Search on Bibsonomy RTCSA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Deepak 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). Search on Bibsonomy RTCSA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee Representation of Confidence in Assurance Cases Using the Beta Distribution. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Bezzo, Kartik Mohta, Cameron Nowzari, Insup Lee, Vijay Kumar 0001, George J. Pappas Online planning for energy-efficient and disturbance-aware UAV operations. Search on Bibsonomy IROS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lu Feng 0001, Laura R. Humphrey, Insup Lee, Ufuk Topcu Human-interpretable diagnostic information for robotic planning systems. Search on Bibsonomy IROS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hyon-Young Choi, Andrew L. King, Insup Lee Making DDS really real-time with openflow. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen, Linh T. X. Phan, Oleg Sokolsky, Jesse Walker, James Weimer, William Hanson III, Insup Lee Cloud-Based Secure Logger for Medical Devices. Search on Bibsonomy CHASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Roederer, Joseph DiMartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson, Insup Lee Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. Search on Bibsonomy CHASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiali Hei, Xiaojiang Du, Shan Lin, Insup Lee, Oleg Sokolsky Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee Parameter-Invariant Design of Medical Alarms. Search on Bibsonomy IEEE Design & Test The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Insup Lee Medical Cyber-Physical Systems: The Early Years. Search on Bibsonomy IEEE Design & Test The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee Cache-aware compositional analysis of real-time multicore virtualization platforms. Search on Bibsonomy Real-Time Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang Formal synthesis of application and platform behaviors of embedded software systems. Search on Bibsonomy Software and System Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee Sensor attack detection in the presence of transient faults. Search on Bibsonomy ICCPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee Early detection of critical pulmonary shunts in infants. Search on Bibsonomy ICCPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin 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. Search on Bibsonomy CBSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee Representing Confidence in Assurance Case Evidence. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew L. King, Lu Feng 0001, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee Towards Assurance for Plug & Play Medical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Weimer, Oleg Sokolsky, Insup Lee Robust Medical Monitor Design. Search on Bibsonomy ICHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sanjian Chen, Lu Feng 0001, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Search on Bibsonomy ICHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee Verified ROS-Based Deployment of Platform-Independent Control Systems. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Lu Feng 0001, Oleg Sokolsky, Insup Lee Platform-Specific Code Generation from Platform-Independent Timed Models. Search on Bibsonomy RTSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaohui Wang, Yoann Geoffroy, Gregor Gößler, Oleg Sokolsky, Insup Lee A Hybrid Approach to Causality Analysis. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Lu Feng 0001, Linh T. X. Phan, Oleg Sokolsky, Insup Lee Platform-specific timing verification framework in model-based implementation. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee Hierarchical multi-formalism proofs of cyber-physical systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abdeldjalil 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. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas Attack-resilient state estimation in the presence of noise. Search on Bibsonomy CDC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing. Search on Bibsonomy CLOUD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee Robust estimation using context-aware filtering. Search on Bibsonomy Allerton The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Roederer, James Weimer, Joseph DiMartino, Jacob Gutsche, Insup Lee Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals. Search on Bibsonomy EMBC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky Automatic verification of linear controller software. Search on Bibsonomy EMSOFT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, Insup Lee An Intraoperative Glucose Control Benchmark for Formal Verification. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee Model-Driven Safety Analysis of Closed-Loop Medical Systems. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam Safety-critical medical device development using the UPP2SF model translation tool. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. Search on Bibsonomy ICCPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas Robustness of attack-resilient state estimators. Search on Bibsonomy ICCPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee Demo abstract: ROSLab - A modular programming environment for robotic applications. Search on Bibsonomy ICCPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee Towards Assurance Cases for Resilient Control Systems. Search on Bibsonomy CPSNA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors. Search on Bibsonomy RTSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anitha 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. Search on Bibsonomy FHIES/SEHC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 384 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license