Insup Lee
发表
Insup Lee,
2006
.
Insup Lee,
Insup Lee,
1984
.
Insup Lee,
Dagaen Golomb,
Deepak Gangadharan,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2015,
SAFECOMP Workshops.
Insup Lee,
Oleg Sokolsky,
1997,
HASE.
Insup Lee,
George J. Pappas,
A. Agung Julius,
2007,
HSCC.
Insup Lee,
Insik Shin,
Arvind Easwaran,
2014,
2014 IEEE Real-Time Systems Symposium.
Sang Lyul Min,
Insup Lee,
Insik Shin,
2004
.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2013,
CPSW@CISS.
Insup Lee,
Inhye Kang,
I. Lee,
1996,
ISSTA '96.
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2014,
FHIES/SEHC.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014
.
Paulo Tabuada,
Insup Lee,
Nathan Michael,
2013,
HiCoNS '13.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2010,
Wireless Health.
Insup Lee,
Susan B. Davidson,
1993
.
Insup Lee,
Andrew G. West,
Insup Lee,
2011,
CLEF.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
2005,
Real-Time Systems.
Insup Lee,
Jin-Young Choi,
Jin Hyun Kim,
2010,
IEEE Transactions on Industrial Informatics.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2016,
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Angelos D. Keromytis,
Insup Lee,
Sampath Kannan,
2009,
Computer.
Paulo Tabuada,
Insup Lee,
George J. Pappas,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Michael D. Harrison,
Paul Curzon,
2013,
EICS '13.
Insup Lee,
Zhihao Jiang,
Oleg Sokolsky,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Insup Lee,
Carl A. Gunter,
Wook Shin,
2006,
FMSE '06.
Insup Lee,
Oleg Sokolsky,
I. Lee,
2004,
SIGBED.
Insup Lee,
Sebastian Fischmeister,
I. Lee,
2007,
Handbook of Real-Time and Embedded Systems.
Mahesh Viswanathan,
Insup Lee,
Oleg Sokolsky,
2000,
ISSTA '00.
Insup Lee,
George J. Pappas,
Miroslav Pajic,
2015,
2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2015
.
Insup Lee,
Bong Ho Kim,
Kelvin Chu,
2005,
2005 IEEE 61st Vehicular Technology Conference.
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Insup Lee,
David Smitley,
1988
.
Insup Lee,
Vijay Gehlot,
1985,
RTSS.
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Insup Lee,
Insik Shin,
I. Shin,
2003,
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
Insup Lee,
Richard Gerber,
R. Gerber,
1990,
CONCUR.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2015,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2016,
TACAS.
Insup Lee,
Noah S. Prywes,
Xiang Ge,
1988
.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001,
Inf. Process. Lett..
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2007
.
Insup Lee,
Shan Lin,
Oleg Sokolsky,
2012,
IHI '12.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2011,
TRUST.
Insup Lee,
Inhye Kang,
I. Kang,
1993
.
Insup Lee,
Sanjian Chen,
James Weimer,
2015,
IEEE Design & Test.
Insup Lee,
Oleg Sokolsky,
Li Tan,
2003
.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1991,
[1991] Proceedings Twelfth Real-Time Systems Symposium.
Insup Lee,
Oleg Sokolsky,
Klaus Havelund,
2012,
International Journal on Software Tools for Technology Transfer.
Insup Lee,
Susan Davidson,
Victor Wolfe,
1989,
1989 American Control Conference.
Insup Lee,
James Weimer,
Nicola Bezzo,
2020,
IEEE Robotics & Automation Magazine.
Insup Lee,
Miroslav Pajic,
Junkil Park,
2015
.
Insup Lee,
Sanguthevar Rajasekaran,
S. Rajasekaran,
1998,
IEEE Trans. Parallel Distributed Syst..
Chong Li,
Insup Lee,
Chenyang Lu,
2015,
2015 IEEE 8th International Conference on Cloud Computing.
Insup Lee,
Rajeev Alur,
2005,
TECS.
Insup Lee,
V. Gehlot,
1988,
IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.
Insup Lee,
Sung Deok Cha,
Suin Kim,
2010,
SAFECOMP.
Paulo Tabuada,
Insup Lee,
Nathan Michael,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2013,
RTSS.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2002,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2011,
2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2007
.
Insup Lee,
Doru Calin,
Bong-Ho Kim,
2017,
2017 IEEE Wireless Communications and Networking Conference (WCNC).
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2011,
Mashups '11.
Insup Lee,
John Regehr,
Oleg Sokolsky,
2007,
Runtime Verification.
Insup Lee,
Madhukar Anand,
Zachary G. Ives,
2005,
DMSN '05.
Insup Lee,
Jinkyu Lee,
Insik Shin,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2016
.
Insup Lee,
Allan F. Simpao,
Mohamed A. Rehman,
2016,
IEEE Transactions on Control Systems Technology.
Insup Lee,
Sampath Kannan,
Arvind Easwaran,
2005
.
Insup Lee,
Sebastian Fischmeister,
Oleg Sokolsky,
2007,
IEEE Transactions on Computers.
Insup Lee,
Noah S. Prywes,
M. Song,
1988
.
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2006,
EMSOFT '06.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2018,
2018 IEEE 11th International Conference on Cloud Computing (CLOUD).
Lu Feng,
Insup Lee,
Sanjian Chen,
2014,
MCPS.
Insup Lee,
Anna Philippou,
Oleg Sokolsky,
2001,
APC 25.
Insup Lee,
Sampath Kannan,
Moonzoo Kim,
2019,
RV.
Kim G. Larsen,
Insup Lee,
Axel Legay,
2016,
SIGBED.
Insup Lee,
David Smitley,
David Smitley,
1988,
IEEE Trans. Computers.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Insup Lee,
Miroslav Pajic,
Radoslav Ivanov,
2014,
HiCoNS.
Insup Lee,
Lu Feng,
Oleg Sokolsky,
2019,
ACM Trans. Cyber Phys. Syst..
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2000
.
Insup Lee,
Susan B. Davidson,
1987,
ICDCS.
Insup Lee,
Andrew L. King,
Margaret Mullen-Fortino,
2012,
2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
Insup Lee,
Steve Vestal,
Oleg Sokolsky,
2009
.
Insup Lee,
Oleg Sokolsky,
James Weimer,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Insup Lee,
Sungwon Kang,
Jinhyun Kim,
2015,
Software & Systems Modeling.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2004,
NetGames '04.
Hanêne Ben-Abdallah,
Insup Lee,
H. Ben-Abdallah,
1998,
Integr. Comput. Aided Eng..
Insup Lee,
Oleg Sokolsky,
Carl A. Gunter,
2000,
ISSTA '00.
Insup Lee,
Jin-Young Choi,
Jin Hyun Kim,
2010,
J. Univers. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2007,
J. Log. Algebraic Methods Program..
Insup Lee,
Richard Gerber,
1989
.
Insup Lee,
Sampath Kannan,
Moonjoo Kim,
2001
.
Insup Lee,
Andrew G. West,
2012
.
Insup Lee,
Chun-Hung Chen,
Enver Yücesan,
2001,
Simul. Pract. Theory.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2013,
TECS.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2009,
SEUS.
Insup Lee,
Sanjian Chen,
Stephen D. Patek,
2013,
2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Insup Lee,
Steve Vestal,
Oleg Sokolsky,
2009,
2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Insup Lee,
George J. Pappas,
Allan F. Simpao,
2016,
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Aloysius K. Mok,
John A. Stankovic,
2005
.
Insup Lee,
Oleg Sokolsky,
Martin Leucker,
2002
.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2004,
Formal Methods Syst. Des..
Duncan Clarke,
Insup Lee,
1996
.
Kim G. Larsen,
Insup Lee,
Jin Hyun Kim,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Yi Zhang,
Insup Lee,
Raoul Praful Jetley,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
2010,
FORMATS.
Bernd Finkbeiner,
Insup Lee,
Howard Barringer,
2010
.
Insup Lee,
Nicola Bezzo,
Jian Chang,
2016
.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2007,
EMSOFT '07.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2018,
ISoLA.
Insup Lee,
Madhukar Anand,
Jesung Kim,
2005
.
Insup Lee,
Radoslav Ivanov,
Miroslav Pajic,
2017
.
Insup Lee,
Aravind K. Joshi,
Nikhil Dinesh,
2010
.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008,
RV.
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2008
.
Insup Lee,
Susan B. Davidson,
S. Davidson,
1987,
IEEE Transactions on Computers.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2015,
RV.
Insup Lee,
Oleg Sokolsky,
John Hatcliff,
2006,
SIGBED.
Insup Lee,
Hee-Hwan Kwak,
1999,
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.
Insup Lee,
Susan B. Davidson,
S. Davidson,
1990,
IEEE Trans. Computers.
Insup Lee,
Insik Shin,
Sanjeev Khanna,
2005
.
Insup Lee,
Miroslav Pajic,
James Weimer,
2015,
ICCPS.
Insup Lee,
Micah Sherr,
Tao Tao,
2010,
CloudDB '10.
Insup Lee,
Oleg Sokolsky,
John Hatcliff,
2010,
SEHC '10.
Insup Lee,
Oleg Sokolsky,
2010,
Design Automation Conference.
Insup Lee,
Hee Hwan Kwak,
I. Lee,
2000
.
Insup Lee,
Jin-Young Choi,
Jin Hyun Kim,
2011,
SOEN.
Insup Lee,
Oleg Sokolsky,
Li Tan,
2004,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
Insup Lee,
Zhihao Jiang,
Oleg Sokolsky,
2014,
ACM Trans. Embed. Comput. Syst..
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI).
Insup Lee,
Kyungtae Kang,
Junbeom Hur,
2017,
2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2013,
FHIES.
Sandeep K. S. Gupta,
Insup Lee,
Radha Poovendran,
2012,
Proc. IEEE.
Insup Lee,
Lui Sha,
Ragunathan Rajkumar,
2010,
Design Automation Conference.
Insup Lee,
Carl A. Gunter,
Steve Zdancewic,
2009,
2009 IEEE International Symposium on Policies for Distributed Systems and Networks.
Insup Lee,
Oleg Sokolsky,
Eunkyoung Jee,
2010,
ISoLA.
Insup Lee,
Amy E. Zwarico,
I. Lee,
1985,
RTSS.
Insup Lee,
Steve Vestal,
Madhukar Anand,
2006,
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).
Insup Lee,
Nicola Bezzo,
Andrew L. King,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2019,
MEMOCODE.
Duncan Clarke,
Hanêne Ben-Abdallah,
Insup Lee,
1998,
Real-Time Systems.
Insup Lee,
2012,
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
Insup Lee,
Boleslaw K. Szymanski,
Noah S. Prywes,
1986,
Adv. Comput..
Insup Lee,
Hanêne Ben-Abdallah,
Jin-Young Choi,
1995
.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2009
.
Insup Lee,
Meng Xu,
Linh T. X. Phan,
2016,
SIGBED.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002
.
Insup Lee,
George J. Pappas,
Rajeev Alur,
2018,
HSCC.
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Insup Lee,
Meng Xu,
Hyon-Young Choi,
2017,
2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Robert P. Cook,
1982,
Softw. Pract. Exp..
Shreyas Sundaram,
Insup Lee,
Chinwendu Enyioha,
2012,
HiCoNS '12.
Insup Lee,
Oleg Sokolsky,
Hee-Hwan Kwak,
1998,
Monterey Workshop.
Insup Lee,
Sebastian Fischmeister,
Robert Trausmuth,
2009,
IEEE Transactions on Industrial Informatics.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002,
RISSEF.
Insup Lee,
David Arney,
Julian M. Goldman,
2009,
BIOSTEC.
Insup Lee,
Andrew L. King,
Margaret Mullen-Fortino,
2012,
IHI '12.
Andreas Haeberlen,
Insup Lee,
Oleg Sokolsky,
2013,
2013 Eleventh Annual Conference on Privacy, Security and Trust.
Insup Lee,
Oleg Sokolsky,
1997,
Proceedings 1997 High-Assurance Engineering Workshop.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2012,
Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Hyoung Seok Hong,
2001
.
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
HSCC.
Insup Lee,
Micah Sherr,
Madhukar Anand,
2006,
HotSec.
Duncan Clarke,
Insup Lee,
Oleg Sokolsky,
2009,
Ada-Europe.
Insup Lee,
Jin-Young Choi,
Junkil Park,
2009,
IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008,
DEON.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2013
.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2006,
TACAS.
Insup Lee,
Richard Gerber,
R. Gerber,
1991,
REX Workshop.
Insup Lee,
Hyon-Young Choi,
Meng Xu,
2016,
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Linh T. X. Phan,
I. Lee,
2013,
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Andreas Haeberlen,
Insup Lee,
Oleg Sokolsky,
2016,
2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
Insup Lee,
Oleg Sokolsky,
James Weimer,
2014
.
Sang Lyul Min,
Insup Lee,
Insik Shin,
2002,
23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
Insup Lee,
Oleg Sokolsky,
Stephanie Weirich,
2015,
NFM.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2006,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
David Smitley,
Samuel M. Goldwasser,
1986,
ICPP.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Xiaojiang Du,
Insup Lee,
Oleg Sokolsky,
2015,
IEEE Transactions on Parallel and Distributed Systems.
Gang Wang,
Insup Lee,
Oleg Sokolsky,
2017,
2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Vijay Kumar,
Insup Lee,
Byoungkwon An,
2014,
ISER.
Insup Lee,
Sangdon Park,
James Weimer,
2020,
ArXiv.
Insup Lee,
Doru Calin,
Bong-Ho Kim,
2016,
2016 IEEE Global Communications Conference (GLOBECOM).
Insup Lee,
Sampath Kannan,
Adam J. Aviv,
2009,
EUROSEC '09.
Insup Lee,
Amy E. Zwarico,
1988,
FTRTFT.
Daniel M. Johnson,
Insup Lee,
Le Yi Wang,
2012,
IEEE Real-Time and Embedded Technology and Applications Symposium.
Insup Lee,
Oleg Sokolsky,
Jian Chang,
2011,
CEAS '11.
Chang-Gun Lee,
Insup Lee,
Nikil D. Dutt,
2013,
2013 IEEE 6th International Conference on Service-Oriented Computing and Applications.
Insup Lee,
Jia Wang,
2001,
ISC.
Insup Lee,
Vidyasagar Potdar,
Andrew G. West,
2012,
Financial Cryptography Workshops.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2001
.
Insup Lee,
Susan B. Davidson,
I. Lee,
1986,
RTSS.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2010,
IEEE Transactions on Computers.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2019,
TACAS.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008
.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2005,
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).
Insup Lee,
Oleg Sokolsky,
Li Tan,
2004,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
Insup Lee,
Andrew G. West,
2011,
Int. Sym. Wikis.
Hanêne Ben-Abdallah,
Insup Lee,
Sampath Kannan,
1999,
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.
Insup Lee,
Chenyang Lu,
2007,
Real-Time Systems.
Insup Lee,
Arvind Easwaran,
Madhukar Anand,
2007,
28th IEEE International Real-Time Systems Symposium (RTSS 2007).
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2014,
FHIES/SEHC.
Insup Lee,
Richard Gerber,
Susan B. Davidson,
1988
.
Insup Lee,
I. Lee,
2010
.
Insup Lee,
Boon Thau Loo,
Zhuoyao Zhang,
2010,
Middleware Industrial Track '10.
Insup Lee,
Micah Sherr,
Tao Tao,
2010
.
Insup Lee,
Richard Gerber,
Patrice Brémond-Grégoire,
1994,
Proc. IEEE.
Insup Lee,
Chun-Hung Chen,
Enver Yücesan,
1998,
1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).
Insup Lee,
Rafael B. Fierro,
Yerang Hur,
2003,
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..
Insup Lee,
Robert King,
Richard Paul,
1988
.
Insup Lee,
Susan B. Davidson,
Patrice Brémond-Grégoire,
1992,
NAPAW.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
ICCPS 2013.
Insup Lee,
Kyung-Joon Park,
Kyungtae Kang,
2018,
ICCPS.
Insup Lee,
Madhukar Anand,
M. Anand,
2008,
LCTES '08.
Insup Lee,
James Weimer,
Sooyong Jang,
2020,
AISTATS.
Lu Feng,
Insup Lee,
Sanjai Rayadurgam,
2014,
TwinPeaks 2014.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).
Insup Lee,
Sanguthevar Rajasekaran,
1994,
CAV.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2011,
J. Log. Algebraic Methods Program..
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2010
.
Hanêne Ben-Abdallah,
Insup Lee,
1993
.
Insup Lee,
Sebastian Fischmeister,
Oleg Sokolsky,
2006,
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1991,
IEEE Trans. Computers.
Joseph Y.-T. Leung,
Insup Lee,
Sang Hyuk Son,
2007
.
Insup Lee,
Myuhng Joo Kim,
Chaitanya Penubarthi,
2005,
ICCSA.
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2013,
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
Insup Lee,
1983,
ACM SIGPLAN Notices.
Insup Lee,
Richard Gerber,
Susan B. Davidson,
1991
.
Insup Lee,
John A. Stankovic,
J. Stankovic,
2020,
ACM Trans. Comput. Heal..
Insup Lee,
Jinkyu Lee,
Insik Shin,
2010,
SIGBED.
Insup Lee,
Miroslav Pajic,
Radoslav Ivanov,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
1999,
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1989,
[1989] Proceedings. The 9th International Conference on Distributed Computing Systems.
Insup Lee,
Andrew G. West,
2011,
CEAS '11.
Insup Lee,
William M. Spears,
Oleg Sokolsky,
1999
.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1989
.
Insup Lee,
Insik Shin,
Arvind Easwaran,
2009,
Real-Time Systems.
Insup Lee,
Sampath Kannan,
Andrew G. West,
2010,
EUROSEC '10.
Insup Lee,
Soojin Park,
Alex Roederer,
2012,
IHI '12.
Insup Lee,
Gail E. Kaiser,
Lori A. Clarke,
2011,
SEHC '11.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2001,
EMSOFT.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2010,
IHI.
Insup Lee,
P. Jones,
D. Arney,
2007,
2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).
Duncan Clarke,
Insup Lee,
Hong-Liang Xie,
1995
.
Vijay Kumar,
Gregory Z. Grudic,
Insup Lee,
2000,
International Symposium on Experimental Robotics.
Insup Lee,
Anuradha M. Annaswamy,
Oleg Sokolsky,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Sampath Kannan,
Andrew G. West,
2010,
Int. Sym. Wikis.
Insup Lee,
Li Tan,
Jesung Kim,
2003,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
James Weimer,
2014,
2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications.
Insup Lee,
David Smitley,
Samuel M. Goldwasser,
1986,
Photonics West - Lasers and Applications in Science and Engineering.
Insup Lee,
Hanene Ben-Abdallah,
Young Si Kim,
1997,
Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2016
.
Hanêne Ben-Abdallah,
Insup Lee,
Sampath Kannan,
1998
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2018,
Proceedings of the IEEE.
Hanêne Ben-Abdallah,
Insup Lee,
Oleg Sokolsky,
1999,
Ann. Softw. Eng..
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2012,
Real-Time Systems.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
SAFECOMP.
Ufuk Topcu,
Lu Feng,
Insup Lee,
2016,
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Insup Lee,
Arvind Easwaran,
Madhukar Anand,
2007,
RTSS 2007.
Insup Lee,
Rajeev Alur,
Radu Grosu,
2006,
J. Log. Algebraic Methods Program..
Insup Lee,
Rajeev Alur,
Elsa L. Gunter,
2003,
International Journal on Software Tools for Technology Transfer.
Insup Lee,
Oleg Sokolsky,
Ramneet Kaur,
2020,
SAFECOMP Workshops.
Insup Lee,
Bhavani M. Thuraisingham,
K. H. Kim,
2000,
ISORC.
Vijay Kumar,
Insup Lee,
Rajeev Alur,
1999,
World Congress on Formal Methods.
Insup Lee,
Oleg Sokolsky,
Rahul Mangharam,
2008
.
Insup Lee,
Andrew G. West,
Avantika Agrawal,
2011,
Int. Sym. Wikis.
Insup Lee,
Inhye Kang,
Young Si Kim,
1996
.
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2015,
2015 IEEE Real-Time Systems Symposium.
An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems
Insup Lee,
Sang Hyuk Son,
Kyung-Joon Park,
2018,
Computer.
Insup Lee,
Harold W. Thimbleby,
Michael D. Harrison,
2013,
EICS.
Chong Li,
Insup Lee,
Chenyang Lu,
2018,
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
HiCoNS '13.
Insup Lee,
Oleg Sokolsky,
James Weimer,
2015,
2015 International Conference on Healthcare Informatics.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1989,
[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
Insup Lee,
Sang Hyuk Son,
James Weimer,
2016,
2016 IEEE 4th International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
Insup Lee,
Oleg Sokolsky,
Sanjai Rayadurgam,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
William M. Spears,
Oleg Sokolsky,
1999
.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
1999,
PDPTA.
Insup Lee,
Patrice Brémond-Grégoire,
I. Lee,
1997,
Theor. Comput. Sci..
Insup Lee,
Yongdae Kim,
Eugene Y. Vasserman,
2012,
MedCOMM '12.
Insup Lee,
M. Vanicatte,
S. M. Krishnan,
2009
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
SIGBED.
Duncan Clarke,
Hanêne Ben-Abdallah,
Insup Lee,
1996,
CAV.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2013,
IEEE Systems Journal.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011
.
Insup Lee,
Boon Thau Loo,
Zhuoyao Zhang,
2010
.
Insup Lee,
Richard Gerber,
1989
.
Insup Lee,
Boon Thau Loo,
Zhuoyao Zhang,
2010
.
Lu Feng,
Insup Lee,
Sanjian Chen,
2015,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2004,
RV@ETAPS.
Insup Lee,
Theophilos Giannakopoulos,
Teng Zhang,
2018,
SETTA.
Marius Mikucionis,
Insup Lee,
Arne Skou,
2015
.
Insup Lee,
Richard Gerber,
R. Gerber,
1989,
[1989] Proceedings. Real-Time Systems Symposium.
Insup Lee,
Chenyang Lu,
Christopher Gill,
2013
.
Insup Lee,
Yerang Hur,
Y. Hur,
2002,
Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.
Yang Zhang,
Insup Lee,
Yi Zhang,
2017,
SIGBED.
Insup Lee,
Sebastian Fischmeister,
Arvind Easwaran,
2008,
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Insup Lee,
Linh T. X. Phan,
2011,
2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.
Insup Lee,
Oleg Sokolsky,
Andrew King,
2013
.
Insup Lee,
Insik Shin,
I. Shin,
2004,
25th IEEE International Real-Time Systems Symposium.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Insup Lee,
Sanguthevar Rajasekaran,
1993,
[1993] Proceedings Seventh International Parallel Processing Symposium.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1991
.
Insup Lee,
Samuel M. Goldwasser,
1985,
Proceedings. 1985 IEEE International Conference on Robotics and Automation.
Insup Lee,
Saswati Sarkar,
Oleg Sokolsky,
2020,
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2006,
ASWSD.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2010,
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.
Insup Lee,
Jesung Kim,
2003,
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..
Insup Lee,
Susan B. Davidson,
S. Davidson,
2015
.
Insup Lee,
Chun-Hung Chen,
Enver Yücesan,
2000,
2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).
Insup Lee,
Jin-Young Choi,
Hee-Hwan Kwak,
2000,
IPDPS Workshops.
Insup Lee,
Sampath Kannan,
Matt Blaze,
2009
.
Insup Lee,
Miroslav Pajic,
Radoslav Ivanov,
2016,
ACM Trans. Embed. Comput. Syst..
Duncan Clarke,
Insup Lee,
1996,
Proceedings International Test Conference 1996. Test and Design Validity.
Insup Lee,
David Smitley,
1989,
J. Parallel Distributed Comput..
Insup Lee,
Allan F. Simpao,
Mohamed A. Rehman,
2015,
ICCPS.
Insup Lee,
Mohamed F. Younis,
Jeffrey X. Zhou,
1998,
Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
Vijay Kumar,
Gregory Z. Grudic,
Insup Lee,
2000,
ISER.
Insup Lee,
Sanjian Chen,
Margaret Mullen-Fortino,
2013,
2013 IEEE International Conference on Healthcare Informatics.
Insup Lee,
Hasan Ural,
Oleg Sokolsky,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Shreyas Sundaram,
Insup Lee,
Chinwendu Enyioha,
2011,
HSCC '11.
Insup Lee,
Carl A. Gunter,
Michael J. May,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Insup Lee,
James Weimer,
Radoslav Ivanov,
2018,
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Kim G. Larsen,
Marius Mikucionis,
Insup Lee,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Insup Lee,
M. Anand,
O. Sokolsky,
2006,
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
Insup Lee,
Samarjit Chakraborty,
Deepak Gangadharan,
2011,
2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.
Insup Lee,
I. Lee,
1996,
CSUR.
Insup Lee,
Oleg Sokolsky,
Shan Lin,
2011,
Wireless Health.
Insup Lee,
Xiaoping Yun,
Robert King,
1988,
1988 American Control Conference.
Xiaojiang Du,
Insup Lee,
Shan Lin,
2013,
2013 Proceedings IEEE INFOCOM.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2011,
2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
Insup Lee,
Madhukar Anand,
Jesung Kim,
2005,
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).
Insup Lee,
Robert P. Cook,
I. Lee,
1983,
SIGSOFT '83.
Kai Liu,
Insup Lee,
Kyung-Joon Park,
2019,
IEEE Internet Things J..
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002
.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2003,
Proc. IEEE.
Insup Lee,
William M. Spears,
Diana F. Gordon,
1999,
Proceedings 1999 International Conference on Information Intelligence and Systems (Cat. No.PR00446).
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
2017,
J. Log. Algebraic Methods Program..
Insup Lee,
George J. Pappas,
Miroslav Pajic,
2019,
IEEE Transactions on Automatic Control.
Insup Lee,
Aloysius K. Mok,
Ragunathan Rajkumar,
2005,
Computer.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2004
.
Insup Lee,
George J. Pappas,
Miroslav Pajic,
2017,
IEEE Transactions on Control of Network Systems.
Insup Lee,
Sangdon Park,
James Weimer,
2020,
AISTATS.
Insup Lee,
Andrew G. West,
2012,
WikiSym '12.
Insup Lee,
Arvind Easwaran,
I. Lee,
2008,
SIGBED.
Insup Lee,
Nicola Bezzo,
Jian Chang,
2016
.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2006,
EMSOFT '06.
Insup Lee,
Sandy Weininger,
Eugene Y. Vasserman,
2012,
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2019,
RV.
Duncan Clarke,
Insup Lee,
1996
.
Insup Lee,
Oleg Sokolsky,
Hee-Hwan Kwak,
2002,
Sci. Comput. Program..
Insup Lee,
Sang Hyuk Son,
Miroslav Pajic,
2017,
ACM Trans. Cyber Phys. Syst..
Xue Liu,
Insup Lee,
Fanxin Kong,
2018,
2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI).
Insup Lee,
Robert P. Cook,
1983
.
Insup Lee,
Alex Roederer,
Margaret Mullen-Fortino,
2016,
2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
Insup Lee,
Hasan Ural,
Oleg Sokolsky,
2002,
TACAS.
Insup Lee,
Jian Chang,
Krishna K. Venkatasubramanian,
2013,
2013 IEEE 5th International Symposium on Wireless Vehicular Communications (WiVeC).
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2019,
From Reactive Systems to Cyber-Physical Systems.
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Insup Lee,
Sungdeok Cha,
Mahesh Viswanathan,
2008
.
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2007,
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2003,
TACAS.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2016,
PrePost@IFM.
Insup Lee,
Xiaoping Yan,
Robert King,
1989
.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014,
IEEE Transactions on Industrial Informatics.
Joseph Y.-T. Leung,
Insup Lee,
Sang Hyuk Son,
2007,
Handbook of Real-Time and Embedded Systems.
Dong Hoon Lee,
Insup Lee,
Hyon-Young Choi,
2020,
IEEE Transactions on Vehicular Technology.
Insup Lee,
George J. Pappas,
Nikolay Atanasov,
2015
.
Insup Lee,
Insik Shin,
Arvind Easwaran,
2018,
IEEE Transactions on Computers.
Insup Lee,
Nathan Michael,
George J. Pappas,
2013,
ICCPS 2013.
Insup Lee,
Fanxin Kong,
Meng Xu,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
David Arney,
Julian M. Goldman,
2009,
BIODEVICES.
Daniel Kroening,
Insup Lee,
George J. Pappas,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2007,
Monterey Workshop.
Insup Lee,
Nikolai Matni,
Sangdon Park,
2020,
ICLR.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1996,
SEKE.
Duncan Clarke,
Insup Lee,
Oleg Sokolsky,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Insup Lee,
Insik Shin,
2004,
ASWSD.
Insup Lee,
Insik Shin,
I. Lee,
2007,
Handbook of Real-Time and Embedded Systems.
Hanêne Ben-Abdallah,
Insup Lee,
Sampath Kannan,
1998
.
Mark Yim,
Insup Lee,
Nicola Bezzo,
2015
.
Insup Lee,
Jin-Young Choi,
Hong-liang Xie,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2012,
IEEE Security & Privacy.
Insup Lee,
Sangdon Park,
James Weimer,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Paulo Tabuada,
Insup Lee,
George J. Pappas,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
James M. Rehg,
Misha Pavel,
Insup Lee,
2017,
Mobile Health - Sensors, Analytic Methods, and Applications.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2016,
J. Comput. Sci. Eng..
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Insup Lee,
Meng Xu,
Oleg Sokolsky,
2013,
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Inhye Kang,
Young-Si Kim,
2000,
IEEE Trans. Software Eng..
Insup Lee,
Chenyang Lu,
Christopher Gill,
2014
.
Insup Lee,
Oleg Sokolsky,
Boon Thau Loo,
2009,
RV.
Insup Lee,
Jin-Young Choi,
Yerang Hur,
2004,
HSCC.
Vijay Kumar,
Insup Lee,
Rajeev Alur,
2000,
HSCC.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014,
2014 American Control Conference.
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
ArXiv.
Insup Lee,
Sampath Kannan,
Andrew G. West,
2010,
Int. Sym. Wikis.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2002,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2000,
CONCUR.
Insup Lee,
Aravind K. Joshi,
Nikhil Dinesh,
2011,
EMNLP.
Insup Lee,
Scott A. Smolka,
I. Lee,
1995,
Lecture Notes in Computer Science.
Insup Lee,
George J. Pappas,
Rajeev Alur,
2019,
HSCC.
Insup Lee,
Samarjit Chakraborty,
Linh T. X. Phan,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Insup Lee,
Susan B. Davidson,
Patrice Brémond-Grégoire,
1992
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2015,
ADHS.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
2005,
Real-Time Systems.
Insup Lee,
Richard Gerber,
Amy E. Zwarico,
1988
.
Insup Lee,
Oleg Sokolsky,
Hyoung Seok Hong,
2005,
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05).
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2008
.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2017,
TACAS.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2014,
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2017,
RV.
Insup Lee,
John Regehr,
Oleg Sokolsky,
2007,
RV.
Insup Lee,
Krishna M. Kavi,
1996,
Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2016,
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Insup Lee,
Zhiqiang Lin,
Xiali Hei,
2018,
USENIX Security Symposium.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2005,
EMSOFT.
Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction
pdf
Insup Lee,
Xiali Hei,
Anthony S. Maida,
2021,
BMC Medical Informatics and Decision Making.
Insup Lee,
Insik Shin,
I. Shin,
2005,
ISAS.
Insup Lee,
Hyon-Young Choi,
Meng Xu,
2016,
RTAS 2016.
Insup Lee,
Sang Hyuk Son,
Young-mi Baek,
2016,
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Insup Lee,
Adam J. Aviv,
Andrew G. West,
2010
.
Insup Lee,
Rajeev Alur,
Radu Grosu,
2001,
HSCC.
Rance Cleaveland,
Insup Lee,
George J. Pappas,
2006,
Computer.
Insup Lee,
Jin-Young Choi,
Patrice Brémond-Grégoire,
1997,
Inf. Comput..
Insup Lee,
Félix J. García Clemente,
James Weimer,
2018,
2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom).
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1993,
[1993] Proceedings. The 13th International Conference on Distributed Computing Systems.
Insup Lee,
Theophilos Giannakopoulos,
Oleg Sokolsky,
2018,
Lecture Notes in Computer Science.
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Insup Lee,
Toshiaki Aoki,
Jan Gustafsson,
2004
.
Insup Lee,
Sebastian Fischmeister,
Robert Trausmuth,
2008,
2008 IEEE International Conference on Emerging Technologies and Factory Automation.
Insup Lee,
Scott A. Smolka,
1995
.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1998,
CONCUR.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2003,
LCTES '03.
Insup Lee,
Jian Chang,
Krishna K. Venkatasubramanian,
2012,
Future Gener. Comput. Syst..
Duncan Clarke,
Insup Lee,
I. Lee,
1995,
1995 17th International Conference on Software Engineering.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2000
.
Sang Lyul Min,
Insup Lee,
Insik Shin,
2008,
TECS.
Insup Lee,
Harold W. Thimbleby,
Paul Curzon,
2013,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2010,
ICCPS '10.
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Insup Lee,
Yi Zhang,
Oleg Sokolsky,
2009
.
Insup Lee,
Arvind Easwaran,
Kyong Hoon Kim,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Insup Lee,
Richard Gerber,
Patrice Brémond-Grégoire,
1993,
CONCUR.
임성수,
Insup Lee,
이창건,
2013
.
Insup Lee,
Jian Chang,
Krishna K. Venkatasubramanian,
2013,
CSUR.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
NASA Formal Methods.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2003
.
Insup Lee,
Axel Legay,
Deepak Gangadharan,
2017,
2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC).
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
Insup Lee,
Hyon-Young Choi,
Andrew L. King,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Insup Lee,
David Smitley,
1987,
ICPP.
Insup Lee,
Richard Gerber,
Elsa L. Gunter,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Insup Lee,
Oleg Sokolsky,
Sanjai Rayadurgam,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Insup Lee,
Justin Gottschlich,
Ryan Marcus,
2020,
ArXiv.
Insup Lee,
Boon Thau Loo,
Qi Zheng,
2011,
2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2006,
HSCC.
Insup Lee,
Madhukar Anand,
M. Anand,
2008
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
SIGBED.
Insup Lee,
Susan B. Davidson,
Victor Fay-Wolfe,
1987
.
Insup Lee,
Richard Gerber,
I. Lee,
1992,
IEEE Trans. Software Eng..
Insup Lee,
Jitka Stříbrná,
2001,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Sang Hyuk Son,
Taejoon Park,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Insup Lee,
Félix J. García Clemente,
James Weimer,
2019,
Sensors.
Insup Lee,
Richard Gerber,
I. Lee,
1990
.
Insup Lee,
Jorge A. Gálvez,
Allan F. Simpao,
2014,
2014 IEEE 27th International Symposium on Computer-Based Medical Systems.
Insup Lee,
Oleg Sokolsky,
Noah S. Prywes,
1997,
16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.
Insup Lee,
Sanguthevar Rajasekaran,
1993
.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1992
.
Insup Lee,
Insik Shin,
Sanjeev Khanna,
2001,
Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
Insup Lee,
Adam J. Aviv,
Jian Chang,
2010,
ACSAC '10.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2009,
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Insup Lee,
Kyung-Joon Park,
Kyungtae Kang,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Sebastian Fischmeister,
Robert Trausmuth,
2009,
IEEE Trans. Ind. Informatics.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2011,
RV.
Insup Lee,
Madhukar Anand,
2008,
SIGBED.
Insup Lee,
Samarjit Chakraborty,
Reinhard Schneider,
2010,
EMSOFT '10.
Insup Lee,
Noah S. Prywes,
Moon Lee,
1995,
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
RV.
Insup Lee,
Insik Shin,
I. Shin,
2008,
TECS.
Insup Lee,
Insup Lee,
2015,
IEEE Design & Test.
Insup Lee,
Jinkyu Lee,
Insik Shin,
2011,
J. Syst. Softw..
Insup Lee,
Carl A. Gunter,
Michael J. May,
2008
.
Insup Lee,
Sebastian Fischmeister,
Madhukar Anand,
2007,
19th Euromicro Conference on Real-Time Systems (ECRTS'07).
Insup Lee,
Sang Hyuk Son,
Yanwei Du,
2016,
2016 American Control Conference (ACC).
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2017,
IEEE Control Systems.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2012
.
Insup Lee,
Robert King,
Xiaoping Yun,
1988
.
Mark Yim,
Insup Lee,
Sebastian Fischmeister,
2010,
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Rance Cleaveland,
Lui Sha,
Insup Lee,
2006,
Computer.
Insup Lee,
Insik Shin,
Arvind Easwaran,
2008,
2008 Euromicro Conference on Real-Time Systems.
Hanêne Ben-Abdallah,
Insup Lee,
Jin-Young Choi,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Insup Lee,
Christopher P. Bonafide,
James Weimer,
2018,
Smart health.
Insup Lee,
James Weimer,
Alex Roederer,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Jin-Young Choi,
Insup Lee,
Inhye Kang,
1994,
Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and Software.
Insup Lee,
Madhukar Anand,
Arvind Easwaran,
2009
.
Lu Feng,
Insup Lee,
Sanjian Chen,
2015,
2015 International Conference on Healthcare Informatics.
Insup Lee,
Susan B. Davidson,
Victor Fay Wolfe,
1988
.
Insup Lee,
Richard P. Paul,
Robert B. King,
1989,
Computer.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2012,
IEEE Security & Privacy.
Insup Lee,
Soojin Park,
Alex Roederer,
2014,
2014 IEEE 27th International Symposium on Computer-Based Medical Systems.
Insup Lee,
Jia Wang,
Linda Zhao,
2004
.
Insup Lee,
Richard Gerber,
R. Gerber,
1992,
Inf. Comput..
Insup Lee,
Sangdon Park,
Osbert Bastani,
2020,
ArXiv.
Duncan Clarke,
Insup Lee,
1997,
Proceedings Third IEEE Real-Time Technology and Applications Symposium.
Marius Mikucionis,
Insup Lee,
Arne Skou,
2015,
2015 IEEE 18th International Symposium on Real-Time Distributed Computing.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2001,
RV@CAV.
Insup Lee,
Meng Xu,
2017
.
Insup Lee,
James Weimer,
Radoslav Ivanov,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Oleg Sokolsky,
Mats Per Erik Heimdahl,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Insup Lee,
Insik Shin,
Arvind Easwaran,
2016,
SIGBED.
Hanêne Ben-Abdallah,
Insup Lee,
Young-Si Kim,
1996,
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2012,
Proceedings of the IEEE.
Insup Lee,
Rajeev Alur,
2003
.
Insup Lee,
Sebastian Fischmeister,
Julian M Goldman,
2009,
Biomedical instrumentation & technology.
Insup Lee,
Sanjian Chen,
Andrew L. King,
2014,
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
Insup Lee,
Susan B. Davidson,
Abdallah Hanene Ben,
1996
.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2014,
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Insup Lee,
S. Whitehead,
D. Arney,
2007,
2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).
Insup Lee,
1997
.
Insup Lee,
Kwangsoo Ko,
Kesop Yun,
1997
.
Insup Lee,
John H. Holmes,
Alex Roederer,
2014,
Neurocritical Care.
Insup Lee,
James Weimer,
James Weimer,
2015
.
Insup Lee,
I. Lee,
J. Bosch,
1994
.
Insup Lee,
Insup Lee,
1991
.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2005
.
Insup Lee,
Oleg Sokolsky,
.
Duncan Clarke,
Hanêne Ben-Abdallah,
Insup Lee,
1997
.
Insup Lee,
Matt Blaze,
Madhukar Anand,
2006
.
Insup Lee,
Oleg Sokolsky,
2007
.
Insup Lee,
J.M. Goldman,
P.-A. Cortes,
2007,
2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).
Insup Lee,
Insup Lee,
1992
.
Insup Lee,
Oleg Sokolsky,
Anaheed Ayoub,
2013
.
Insup Lee,
Inhye Kang,
Insup Lee,
1994
.
Insup Lee,
Oleg,
SokolskyReal,
1997
.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2010
.