Robert P. Kurshan

Providence College

论文数

2

总引用数

53

H-Index

2

关于

暂无简介。

研究焦点

Software engineering2 · 53 次引用
Model checking2 · 53 次引用
Computer science2 · 53 次引用
Software2 · 53 次引用
Programming language2 · 53 次引用
Theoretical computer science1 · 39 次引用
Unified Modeling Language1 · 39 次引用
Object-oriented analysis and design1 · 39 次引用
Formal methods1 · 39 次引用
Executable1 · 39 次引用
Automaton1 · 39 次引用
Software design1 · 39 次引用

主要成就

2
H 指数
2
论文
53
总引用数
27
篇均引用
🏆 最高被引论文
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 次引用 · 2001
📈 最高产年份: 2001 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: Providence College

代表论文

  1. 1
    A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
    39 次引用 · 2001
  2. 2
    Lessons Learned from Model Checking a NASA Robot Controller
    14 次引用 · 2004

主要合作者

NSNatasha Sharygina2 篇合著论文JCJames C. Browne2 篇合著论文FXFei Xie1 篇合著论文VLVladimir Levin1 篇合著论文
尚未生成