What is he best known for?
The fields of study he is best known for:
- Operating system
- Programming language
- Artificial intelligence
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 most cited work include:
- Challenges and Research Directions in Medical Cyber–Physical Systems (241 citations)
- Java-MaC: A Run-Time Assurance Approach for Java Programs (200 citations)
- Robustness of Attack-Resilient State Estimators (173 citations)
What are the main themes of his work throughout his whole career to date?
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.
He most often published in these fields:
- Distributed computing (15.62%)
- Programming language (14.84%)
- Embedded system (14.45%)
What were the highlights of his more recent work (between 2013-2021)?
- Embedded system (14.45%)
- Software (10.16%)
- Runtime verification (8.20%)
In recent papers he was focusing on the following fields of study:
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.
Between 2013 and 2021, his most popular works were:
- Robustness of Attack-Resilient State Estimators (173 citations)
- Model-Driven Safety Analysis of Closed-Loop Medical Systems (101 citations)
- Real-time multi-core virtual machine scheduling in xen (75 citations)
In his most recent research, the most cited papers focused on:
- Operating system
- Programming language
- Artificial intelligence
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.
