Oleg Sokolsky

University of Pennsylvania, California University of Pennsylvania

论文数

9

总引用数

242

H-Index

7

关于

暂无简介。

研究焦点

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

主要成就

7
H 指数
9
论文
242
总引用数
27
篇均引用
🏆 最高被引论文
Generating embedded software from hierarchical hybrid models
57 次引用 · 2003
📈 最高产年份: 2003 (2 论文)
🤝 主要合作者: 24
🏛 所属机构: University of Pennsylvania, California University of Pennsylvania

代表论文

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

主要合作者

ILInsup Lee8 篇合著论文GJGeorge J. Pappas3 篇合著论文JWJames Weimer2 篇合著论文FIFranjo Ivančić2 篇合著论文RARajeev Alur2 篇合著论文TZTeng Zhang1 篇合著论文PGPeter Gebhard1 篇合著论文MSManoj Sastry1 篇合著论文MAMadhukar Anand1 篇合著论文NBNicola Bezzo1 篇合著论文MPMiroslav Pajić1 篇合著论文LTLizhe Tan1 篇合著论文FKFabian Kratz1 篇合著论文VLVuk Lesi1 篇合著论文JKJ. Kim1 篇合著论文SWStephanie Weirich1 篇合著论文KSKaustubh Sridhar1 篇合著论文WMWenrui Meng1 篇合著论文RIRadoslav Ivanov1 篇合著论文JKJesung Kim1 篇合著论文
尚未生成