O
Oleg Sokolsky
Researcher at University of Pennsylvania
Publications - 273
Citations - 7689
Oleg Sokolsky is an academic researcher from University of Pennsylvania. The author has contributed to research in topics: Formal verification & Formal specification. The author has an hindex of 47, co-authored 252 publications receiving 7222 citations. Previous affiliations of Oleg Sokolsky include State University of New York System & Stony Brook University.
Papers
More filters
Journal ArticleDOI
Challenges and Research Directions in Medical Cyber–Physical Systems
Insup Lee,Oleg Sokolsky,Sanjian Chen,John Hatcliff,Eunkyoung Jee,BaekGyu Kim,Andrew King,Margaret Mullen-Fortino,Soojin Park,Alexander Roederer,Krishna K. Venkatasubramanian +10 more
TL;DR: The need to design complex medical cyber-physical systems (MCPS) that are both safe and effective has presented numerous challenges, including achieving high assurance in system software, intoperability, context-aware intelligence, autonomy, security and privacy, and device certifiability.
Proceedings ArticleDOI
Robustness of Attack-Resilient State Estimators
Miroslav Pajic,James Weimer,Nicola Bezzo,Paulo Tabuada,Oleg Sokolsky,Insup Lee,George J. Pappas +6 more
TL;DR: This work presents a method for state estimation in presence of attacks, for systems with noise and modeling errors, and describes how implementation issues such as jitter, latency and synchronization errors can be mapped into parameters of the state estimation procedure that describe modeling errors.
Journal ArticleDOI
Java-MaC: A Run-Time Assurance Approach for Java Programs
TL;DR: Java-MaC as discussed by the authors is a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs, which is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods.
Journal ArticleDOI
Java-MaC: A Run-time Assurance Tool for Java Programs
TL;DR: The paper presents an overview of the MaC architecture and a prototype implementation of the Monitoring and Checking (MaC) architecture, a lightweight formal method solution as a viable complement to the current heavyweight formal methods.
Proceedings Article
Runtime Assurance Based On Formal Specifications
TL;DR: The Monitoring and Checking (MaC) framework which assures the correctness of the current execution at run-time and two languages to specify monitoring scripts and requirements are presented.