Oleg Sokolsky

University of Pennsylvania, California University of Pennsylvania

Papers

9

Total Citations

242

H-Index

7

About

No biography available yet.

Research Focus

Computer science9 · 242 citations
Programming language6 · 134 citations
Engineering3 · 116 citations
Artificial intelligence4 · 94 citations
Modular design2 · 86 citations
Semantics (computer science)2 · 86 citations
Software engineering3 · 81 citations
Software2 · 79 citations
Code (set theory)3 · 73 citations
Operating system2 · 69 citations
Control engineering2 · 69 citations
Code generation2 · 69 citations

Key Achievements

7
H-Index
9
Papers
242
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
Generating embedded software from hierarchical hybrid models
57 citations · 2003
📈 Most Prolific Year: 2003 (2 Papers)
🤝 Key Collaborators: 24
🏛 Institutions: University of Pennsylvania, California University of Pennsylvania

Top Papers

  1. 1
    Generating embedded software from hierarchical hybrid models
    57 citations · 2003
  2. 2
    Attack resilient state estimation for autonomous robotic systems
    57 citations · 2014
  3. 3
    Model-based testing and monitoring for hybrid embedded systems
    47 citations · 2005
  4. 4
    R-Charon, a Modeling Language for Reconfigurable Hybrid Systems
    29 citations · 2006
  5. 5
    Generating embedded software from hierarchical hybrid models
    22 citations · 2003
  6. 6
    Verified ROS-Based Deployment of Platform-Independent Control Systems
    12 citations · 2015
  7. 7
    SMEDL: Combining Synchronous and Asynchronous Monitoring
    10 citations · 2016
  8. 8
    Unit & dynamic typing in hybrid systems modeling with CHARON
    4 citations · 2006
  9. 9
    A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
    4 citations · 2022

Key Collaborators

ILInsup Lee8 shared papersGJGeorge J. Pappas3 shared papersJWJames Weimer2 shared papersFIFranjo Ivančić2 shared papersRARajeev Alur2 shared papersTZTeng Zhang1 shared papersPGPeter Gebhard1 shared papersMSManoj Sastry1 shared papersMAMadhukar Anand1 shared papersNBNicola Bezzo1 shared papersMPMiroslav Pajić1 shared papersLTLizhe Tan1 shared papersFKFabian Kratz1 shared papersVLVuk Lesi1 shared papersJKJ. Kim1 shared papersSWStephanie Weirich1 shared papersKSKaustubh Sridhar1 shared papersWMWenrui Meng1 shared papersRIRadoslav Ivanov1 shared papersJKJesung Kim1 shared papers
Not generated yet