Seguir
Oleg Sokolsky
Título
Citado por
Citado por
Año
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
4752012
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
3182004
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
International Conference on Parallel and Distributed Processing Techniques …, 1999
2471999
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
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
1552014
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
Model-driven safety analysis of closed-loop medical systems
M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee
IEEE, 2012
1512012
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
1462017
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
1442000
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
1282004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20