| emsoft | participants

Insup Lee

Program Committees:
2003 (cochair), 2004, 2005, 2008, and 2011
.

EMSOFT 2021: 21st International Conference on Embedded Software

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator

Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, and Insup Lee

EMSOFT 2020: 20th International Conference on Embedded Software

Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors

Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, and Insup Lee

EMSOFT 2018: 18th International Conference on Embedded Software

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems

Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, and Insup Lee

EMSOFT 2017: 17th International Conference on Embedded Software

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling

Jaewoo Lee, Hoon Sung Chwa, Linh Thi Xuan Phan, Insik Shin, and Insup Lee

EMSOFT 2016: 16th International Conference on Embedded Software

Making DDS Really Real-Time with Openflow

Hyon-Young Choi, Andrew L. King, and Insup Lee

EMSOFT 2015: 15th International Conference on Embedded Software

Automatic Verification of Linear Controller Software

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

EMSOFT 2014: 14th International Conference on Embedded Software

Real-Time Multi-Core Virtual Machine Scheduling in Xen

Sisu Xi, Meng Xu, Chenyang Lu, Linh Thi Xuan Phan, Christopher D. Gill, Oleg Sokolsky, and Insup Lee

EMSOFT 2011: 11th International Conference on Embedded Software

Challenges in the Regulatory Approval of Medical Cyber-Physical Systems

Oleg Sokolsky, Insup Lee, and Mats Per Erik Heimdahl

Safety-Assured Development of the GPCA Infusion Pump Software

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, and Raoul Praful Jetley

EMSOFT 2010: 10th International Conference on Embedded Software

Modeling Buffers with Data Refresh Semantics in Automotive Architectures

Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems

Luís Almeida, Sebastian Fischmeister, Madhukar Anand, and Insup Lee

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Incremental Schedulability Analysis of Hierarchical Real-Time Components

Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee

An Analysis Framework for Network-Code Programs

Madhukar Anand, Sebastian Fischmeister, and Insup Lee

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Distributed-Code Generation from Hybrid Systems Models for Time-Delayed Multirate systems

Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee

EMSOFT 2001: 1st International Workshop on Embedded Software

Hierarchical Hybrid Modeling of Embedded Systems

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg Sokolsky