Natasha Sharygina

Università della Svizzera italiana, Software Engineering Institute, Carnegie Mellon University

论文数

6

总引用数

115

H-Index

5

关于

暂无简介。

研究焦点

Computer science6 · 115 次引用
Programming language6 · 115 次引用
Software5 · 110 次引用
Model checking5 · 90 次引用
Theoretical computer science4 · 76 次引用
Formal methods2 · 64 次引用
Software development2 · 64 次引用
Formal verification2 · 64 次引用
Software engineering2 · 53 次引用
Software system2 · 50 次引用
Software construction2 · 50 次引用
Software verification2 · 50 次引用

主要成就

5
H 指数
6
论文
115
总引用数
19
篇均引用
🏆 最高被引论文
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 次引用 · 2001
📈 最高产年份: 2001 (2 论文)
🤝 主要合作者: 11
🏛 所属机构: Università della Svizzera italiana, Software Engineering Institute, Carnegie Mellon University

代表论文

  1. 1
    A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
    39 次引用 · 2001
  2. 2
    State/Event Software Verification for Branching-Time Specifications
    25 次引用 · 2005
  3. 3
    A Combined Testing and Verification Approach for Software Reliability
    25 次引用 · 2001
  4. 4
    Lessons Learned from Model Checking a NASA Robot Controller
    14 次引用 · 2004
  5. 5
    Model Checking Software via Abstraction of Loop Transitions
    7 次引用 · 2003
  6. 6
    An Expressive Verification Framework for State/Event Systems
    5 次引用 · 2004

主要合作者

JCJames C. Browne3 篇合著论文JOJoël Ouaknine2 篇合著论文HVHelmut Veith2 篇合著论文RPRobert P. Kurshan2 篇合著论文OGOrna Grümberg2 篇合著论文TTTayssir Touili2 篇合著论文SCSagar Chaki2 篇合著论文EMEdmund M. Clarke2 篇合著论文VLVladimir Levin1 篇合著论文FXFei Xie1 篇合著论文DPDoron Peled1 篇合著论文
尚未生成