Oleg Sokolsky
Titolo
Citata da
Citata da
Anno
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
3342012
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
2892004
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
2452001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2251999
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
2212003
Robustness of Attack-resilient State Estimators
M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas
196*
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
1912002
Medical cyber physical systems
I Lee, O Sokolsky
Proceedings of the 47th Design Automation Conference, 743-748, 2010
1882010
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
1751999
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
1462003
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
1412001
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
1402010
Weak bisimulation for probabilistic systems
A Philippou, I Lee, O Sokolsky
International Conference on Concurrency Theory, 334-349, 2000
1282000
Model-driven safety analysis of closed-loop medical systems
M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee
IEEE, 2012
1182012
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
1182002
Schedulability analysis of AADL models
O Sokolsky, I Lee, D Clarke
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1142006
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
1122014
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
1122014
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
1092004
Automatic test generation from statecharts using model checking
HS Hong, I Lee, O Sokolsky
1092001
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20