James C. Browne

The University of Texas at Austin

Papers

4

Total Citations

67

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
67
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 citations · 2001
📈 Most Prolific Year: 2001 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: The University of Texas at Austin

Top Papers

  1. 1
    A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
    39 citations · 2001
  2. 2
    Lessons Learned from Model Checking a NASA Robot Controller
    14 citations · 2004
  3. 3
    Model Checking Software via Abstraction of Loop Transitions
    7 citations · 2003
  4. 4
    Model checking of software control systems
    7 citations · 2002

Key Collaborators

NSNatasha Sharygina3 shared papersRPRobert P. Kurshan2 shared papersFXFei Xie1 shared papersDTDelbert Tesar1 shared papersNYNatalia Yevgenyevna Sharygina1 shared papersVLVladimir Levin1 shared papers
Not generated yet