フォロー
Oleg Sokolsky
タイトル
引用先
引用先
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
4742012
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
3162004
Robustness of Attack-resilient State Estimators
M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas
277*
Medical cyber physical systems
I Lee, O Sokolsky
Proceedings of the 47th Design Automation Conference, 743-748, 2010
2702010
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
2592001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2451999
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
2412003
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
2092002
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
1961999
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
1682003
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
1582010
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
1552001
Real-time multi-core virtual machine scheduling in xen
S Xi, M Xu, C Lu, LTX Phan, C Gill, O Sokolsky, I Lee
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
1542014
Model-driven safety analysis of closed-loop medical systems
M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee
IEEE, 2012
1502012
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
1442000
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators
M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee
IEEE Control Systems 37 (2), 66-81, 2017
1432017
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
1312002
Incremental model checking in the modal mu-calculus
O Sokolsky, S Smolka
Computer Aided Verification, 351-363, 1994
1301994
Schedulability analysis of AADL models
O Sokolsky, I Lee, D Clarke
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1282006
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
1272004
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20