H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 50 Citations 7,595 202 World Ranking 2915 National Ranking 1543

Overview

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.

Best Publications

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff.
Proceedings of the IEEE (2012)

332 Citations

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee.
formal methods (2004)

301 Citations

Java-MaC: A Run-time Assurance Tool for Java Programs

Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky.
runtime verification (2001)

252 Citations

Runtime Assurance Based On Formal Specifications

Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky.
parallel and distributed processing techniques and applications (1999)

241 Citations

Hierarchical modeling and analysis of embedded systems

R. Alur;Thao Dang;J. Esposito;Yerang Hur.
Proceedings of the IEEE (2003)

230 Citations

Robustness of Attack-Resilient State Estimators

Miroslav Pajic;James Weimer;Nicola Bezzo;Paulo Tabuada.
international conference on cyber physical systems (2014)

214 Citations

Medical cyber physical systems

Insup Lee;Oleg Sokolsky.
design automation conference (2010)

204 Citations

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)

199 Citations

Formally specified monitoring of temporal properties

Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan.
euromicro conference on real time systems (1999)

187 Citations

Data flow testing as model checking

Hyoung Seok Hong;Sung Deok Cha;Insup Lee;Oleg Sokolsky.
international conference on software engineering (2003)

155 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Oleg Sokolsky

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 96

Lui Sha

Lui Sha

University of Illinois at Urbana-Champaign

Publications: 45

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 39

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 34

George J. Pappas

George J. Pappas

University of Pennsylvania

Publications: 29

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 27

Gordon Fraser

Gordon Fraser

University of Passau

Publications: 24

Scott A. Smolka

Scott A. Smolka

Stony Brook University

Publications: 23

Rance Cleaveland

Rance Cleaveland

University of Maryland, College Park

Publications: 21

Boon Thau Loo

Boon Thau Loo

University of Pennsylvania

Publications: 21

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 20

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 20

John Hatcliff

John Hatcliff

Kansas State University

Publications: 19

Rahul Mangharam

Rahul Mangharam

University of Pennsylvania

Publications: 19

Anupam Datta

Anupam Datta

Carnegie Mellon University

Publications: 18

Paulo Tabuada

Paulo Tabuada

University of California, Los Angeles

Publications: 17

Something went wrong. Please try again later.