Oleg Sokolsky
California University of Pennsylvania(US)University of Pennsylvania(US)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Embedded Systems Design Techniques, Software Testing and Debugging Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Challenges and Research Directions in Medical Cyber–Physical Systems(2011)365 cited
- → Robustness of attack-resilient state estimators(2014)236 cited
- → Java-MaC: A Run-Time Assurance Approach for Java Programs(2004)218 cited
- → Medical cyber physical systems(2010)179 cited
- → Hierarchical modeling and analysis of embedded systems(2003)171 cited
- Runtime Assurance Based On Formal Specifications(1999)
- → Java-MaC(2001)157 cited