Oleg Sokolsky

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Oleg Sokolsky, Sanjian Chen et al. · Proceedings of the IEEE · 2011 · 366 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +17

Robustness of attack-resilient state estimators

Miroslav Pajić, James Weimer, Nicola Bezzo et al. · 2014 · 237 citations · Full text

Computing, Computer Science, Cybersecurity +17

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan et al. · Formal Methods in System Design · 2004 · 219 citations

Computing, Computer Engineering, Computer Science +14

Medical cyber physical systems

Insup Lee, Oleg Sokolsky · 2010 · 180 citations

Engineering, Health Informatics, Systems Engineering +16

Hierarchical modeling and analysis of embedded systems

Rajeev Alur, Thao Dang, J.M. Esposito et al. · Proceedings of the IEEE · 2003 · 171 citations · Full text

Engineering, Computer Science, Systems Engineering +17