Oleg Sokolsky mostly deals with Programming language, Formal verification, Formal methods, Correctness and Formal specification. Many of his studies on Programming language apply to Code generation as well. His Formal verification study is associated with Theoretical computer science.
His Formal methods research is multidisciplinary, relying on both Architecture Analysis & Design Language, Reliability engineering, Conformance testing and Embedded system. Oleg Sokolsky combines subjects such as Java, Runtime verification, Control reconfiguration and Inverted pendulum with his study of Correctness. His Specification language study combines topics in areas such as Modeling language, Software requirements specification and Hybrid system.
His primary areas of study are Distributed computing, Programming language, Embedded system, Theoretical computer science and Software engineering. His Distributed computing study incorporates themes from Scheduling and Real-time computing. His work is connected to Correctness, Specification language, Formal specification, Formal verification and Modeling language, as a part of Programming language.
His Correctness research integrates issues from Runtime verification and Formal methods. The concepts of his Embedded system study are interwoven with issues in Software and Overhead. His studies in Theoretical computer science integrate themes in fields like Probabilistic logic and Component.
Embedded system, Software, Runtime verification, Cyber-physical system and Scalability are his primary areas of study. His study in Software is interdisciplinary in nature, drawing from both Visualization, Data mining, Model-based design, Real-time computing and Code generation. His biological study spans a wide range of topics, including Java, Computational complexity theory, Asynchronous communication and Specification language.
His research in Cyber-physical system intersects with topics in Distributed computing, Computer security, Constant false alarm rate, State and Control engineering. In his study, Model checking is inextricably linked to Satisfiability, which falls within the broad field of Programming language. His Formal verification research is multidisciplinary, incorporating elements of Platform-independent model and Formal specification.
His primary areas of investigation include Embedded system, Operating system, Runtime verification, Model-based design and Software. His work deals with themes such as Virtual machine, Scheduling and Functional verification, which intersect with Embedded system. His Runtime verification study deals with the bigger picture of Theoretical computer science.
The study incorporates disciplines such as Health care, Engineering management and Code in addition to Model-based design. His Source lines of code and Integration testing study in the realm of Software connects with subjects such as Stateflow and Verification and validation of computer simulation models. His Cloud computing study combines topics from a wide range of disciplines, such as Computer security and Computer network.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Challenges and Research Directions in Medical Cyber–Physical Systems
Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff.
Proceedings of the IEEE (2012)
Java-MaC: A Run-Time Assurance Approach for Java Programs
Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee.
formal methods (2004)
Java-MaC: A Run-time Assurance Tool for Java Programs
Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky.
runtime verification (2001)
Robustness of Attack-Resilient State Estimators
Miroslav Pajic;James Weimer;Nicola Bezzo;Paulo Tabuada.
international conference on cyber physical systems (2014)
Hierarchical modeling and analysis of embedded systems
R. Alur;Thao Dang;J. Esposito;Yerang Hur.
Proceedings of the IEEE (2003)
Runtime Assurance Based On Formal Specifications
Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky.
parallel and distributed processing techniques and applications (1999)
Medical cyber physical systems
Insup Lee;Oleg Sokolsky.
design automation conference (2010)
A Temporal Logic Based Theory of Test Coverage and Generation
Hyoung Seok Hong;Insup Lee;Oleg Sokolsky;Hasan Ural.
tools and algorithms for construction and analysis of systems (2002)
Formally specified monitoring of temporal properties
Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan.
euromicro conference on real time systems (1999)
Data flow testing as model checking
Hyoung Seok Hong;Sung Deok Cha;Insup Lee;Oleg Sokolsky.
international conference on software engineering (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: