| emsoft | participants

Oleg Sokolsky

Program Committees:
2012, 2013 (cochair), 2014, 2015, 2016, 2017, 2018, and 2021
.

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 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 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

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