| 2012 |
|
| December |
The Best Paper Award for the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) went to the paper entitled "Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines", jointly written by Penn and KAIST. (Co-authors: Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin and Insup Lee). |
| August |
Drs. Insup Lee (PI), Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokoslky, Stephanie Weirich (Penn) and Paulo Tabuada (UCLA) received a multidisciplinary grant of $4.8M from DARPA's High-Assurance Cyber Military Systems (HACMS) Program for "SPARCS: Synthesis of Platform-aware Attack-Resilient Control Systems" |
| June |
The Generic Infusion Pump project, led by Insup Lee, is featured in the article on open-source medical devices in the Economist magazine. |
May |
Distinguished Lecture "Challenges and Research Directions in Medical Cyber-Physical Systems" at DTC Science and Technology Innovators Series, University of Minnesota, May 1, 2012. More. |
| April |
General Chair of ACM/IEEE Third International Conference on Cyber-Physical Systems (ICCPS 2012) held as part of CPS Week 2012, Beijing, China. More. |
| April |
The Best Student Paper Award for the 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) went to Miroslav Pajic et al for their paper entitled "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study" (Co-authors: Zhihao Jiang, Insup Lee, Oleg Sokolsky and Rahul Mangharam). |
| 2011 |
|
| October |
Measurement experiment by Andrew West and Insup Lee was highlighted by the article: "What Wikipedia Deletes, and Why", The Chronicle of Higher Education, Oct 26, 2011. |
| September |
Doctoral student Andrew West won co-Best Paper at the 8th Annual Collaboration, Electronic messaging, Anti-Abuse and Spam Conference (CEAS 2011) in Perth, Australia, September 2011 for "Link Spamming Wikipedia for Profit", co-authored by Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, and Insup Lee. |
| June |
Invited talk Medical Cyber-Physical Systems at First European/US Workshop on Networked Monitoring & Control/Cyber-Physical Systems, Brussels, Belgium. |
| May |
Plenary talk Cyber Physical Systems: 21st Century Embedded Systems at International Sympoisum on Embedded Technology (ISET), Jeju, Korea. More. |
| May |
Invited talk Compositional scheduling and analysis techniques for real-time embedded systems at CPS Day @DGIST, Daegu, South Korea. |
| May |
Member of Advisory Committee for Body Sensor Network Contest. |
| April |
Program Chair of ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS 2011) held as part of CPS Week 2011, Chicago, IL. More. |
| |
|
| 2010 |
|
| December |
Co-organizer of 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), San Diego, CA. |
| December |
Distinguished Lecture Medical Cyber Physical Systems, Department of Computer Science, Washington University. |
| November |
General Co-Chair, 1st International Conference on Runtime Verification (RV 2010), Malta. |
| July |
Keynote talk Cyber Physical Systems: The Next Computing Revolution at ACACES International Summer School, La Mola, Spain. More. |
| June |
"Medical Cyber Physical Systems" Special Session on CPS, at 47th Design Atomation Conference (DAC 2010) |
| June |
Keynote talk Cyber Physical Systemsn at Cornerstone Ceremony, ADREAM, LAAS-CNRS, Toulouse, France. More. |
April |
GIP (General Infusion Pump) project is listed in the FDA infusion pump improvement initiative, April 23,2010. |
| |
|
| 2009 |
|
| December |
Co-organizer of 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009), Washington, D.C. |
| December |
Banquet talk at the 30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington, D.C. |
| April |
Co-organizer for Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) held as part of CPS Week 2011, San Fransisco, CA. More. |
| June |
Member of Advisory Board for CPS Summer School, Georgia Institute of Technology. |
February |
Federal Strategic Plan for the Networking and Information Technology Research and Development Program. More. |
| |
|
| 2008 |
|
| December |
IEEE TCRTS Outstanding Technical Achievement and Leadership Award. |
| December |
Co-organizer of 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008), Barcelona, Spain. |
| November |
Workshop Co-Chair of Workshop on Software and Systems for Medical Devices and Services (SMDS 2008). |
| September |
Founding member of PRECISE Center. |
| August |
General Co-Chair of International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Taipei, Taiwan. |
| March-June |
Distinguished Visiting Professor, Korea University, Seoul, Korea. |
| |
|
| 2007 |
|
| September |
Became co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE). More. |
| August |
Member of Advisory Committee, IT Symposium, at the 2007 US-Korea Conference (UKC 2007). |
| June |
Joint Workshop on High-Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP), Boston, MA |
| |
Handbook of Real-Time and Embedded Systems |
| |
The Edward M. Kennedy Award for Health Care Innovation 2007, CIMIT (Center for Integration of
Medicine and Innovative Technology ), Medical Device "PnP" Interoperability Team, Julian Goldman
(leader), Dave Arney, Insup Lee, et al. |
| |
|
| 2006 |
|
| October |
Co-Chair of NSF CPS (Cyber Physical Systems) Workshop. |
| April |
Symposium Co-Chair of 9th IEEE International Symposium on
Object and component-oriented Real-time distributed Computing (ISORC 2006), Gyeongju, Korea. IEEE Computer Society's Certificate of Appreciation "for your important contributions to ISORC 2006 as a Symposium Co-Chair". |
| |
|
| 2005 |
|
| November |
Korean On-line News Interview. |
| October |
General Chair of International Workshop on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan. |
| August |
Co-Chair of Information & Communication Technology Symposium (ICTS) KSEA UKC 2005. KSEA Certificate of Appreciation"in recognition of excellent contribution to KSEA as Co-Chair of ICTS at the 2005 US-Korea Conference (UKC 2005)." |
| June |
Chair of High-Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, PA. |
| April |
Keynote talk Ubiquitous Realization: Challenges and Opportunities for Embedded Systems at Samsung SDS Thought Leadership Conference. |
| April |
KSEA Certificate of Appreciation "in recognition of excellent contribution to KSEA as Co-Chair of ICTS at the 2005 US-Korea Conference (UKC 2005)." |
| February |
Dissertation Advisor for Bronze Prize winner in Samsung Electronics' Humantech Thesis Contest, Dissertation on
"A Design Framework for Real-Time Embedded Systems with Code Size and Energy Constraints" by
Insik Shin and Sheayun Lee, Feb 2005. (Co-advised with Professor Sang Lyul Min at SNU). |
