Oleg Sokolsky
Cited by
Cited by
Challenges and Research Directions in Medical Cyber–Physical Systems
I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ...
Proceedings of the IEEE 100 (1), 75-90, 2012
Java-MaC: A run-time assurance approach for Java programs
M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky
Formal methods in system design 24 (2), 129-155, 2004
Java-MaC: a run-time assurance tool for Java programs
M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
Hierarchical modeling and analysis of embedded systems
R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ...
Proceedings of the IEEE 91 (1), 11-28, 2003
Robustness of Attack-resilient State Estimators
M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas
Medical cyber physical systems
I Lee, O Sokolsky
Proceedings of the 47th Design Automation Conference, 743-748, 2010
A temporal logic based theory of test coverage and generation
HS Hong, I Lee, O Sokolsky, H Ural
International Conference on Tools and Algorithms for the Construction and …, 2002
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999
Data flow testing as model checking
HS Hong, SD Cha, I Lee, O Sokolsky, H Ural
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
Toward patient safety in closed-loop medical device systems
D Arney, M Pajic, JM Goldman, I Lee, R Mangharam, O Sokolsky
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010
Hierarchical hybrid modeling of embedded systems
R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ...
International Workshop on Embedded Software, 14-31, 2001
Model-driven safety analysis of closed-loop medical systems
M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee
IEEE, 2012
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
Schedulability analysis of AADL models
O Sokolsky, I Lee, D Clarke
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
Verisim: Formal analysis of network simulations
K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ...
IEEE Transactions on Software Engineering 28 (2), 129-145, 2002
Real-time multi-core virtual machine scheduling in xen
S Xi, M Xu, C Lu, LTX Phan, C Gill, O Sokolsky, I Lee
2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014
Incremental model checking in the modal mu-calculus
O Sokolsky, S Smolka
Computer Aided Verification, 351-363, 1994
Specification-based testing with linear temporal logic
L Tan, O Sokolsky, I Lee
Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 …, 2004
Automatic test generation from statecharts using model checking
HS Hong, I Lee, O Sokolsky
The system can't perform the operation now. Try again later.
Articles 1–20