James C. Browne

The University of Texas at Austin

论文数

4

总引用数

67

H-Index

4

关于

暂无简介。

研究焦点

Software4 · 67 次引用
Programming language4 · 67 次引用
Computer science4 · 67 次引用
Model checking4 · 67 次引用
Software engineering2 · 53 次引用
Software design2 · 46 次引用
Software development2 · 46 次引用
Unified Modeling Language2 · 46 次引用
Executable2 · 46 次引用
Theoretical computer science2 · 46 次引用
Formal verification1 · 39 次引用
Formal methods1 · 39 次引用

主要成就

4
H 指数
4
论文
67
总引用数
17
篇均引用
🏆 最高被引论文
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 次引用 · 2001
📈 最高产年份: 2001 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: The University of Texas at Austin

代表论文

  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
  3. 3
    Model Checking Software via Abstraction of Loop Transitions
    7 次引用 · 2003
  4. 4
    Model checking of software control systems
    7 次引用 · 2002

主要合作者

NSNatasha Sharygina3 篇合著论文RPRobert P. Kurshan2 篇合著论文FXFei Xie1 篇合著论文DTDelbert Tesar1 篇合著论文NYNatalia Yevgenyevna Sharygina1 篇合著论文VLVladimir Levin1 篇合著论文
尚未生成