James C. Browne
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
- 2Lessons Learned from Model Checking a NASA Robot Controller14 citations · 2004
- 3Model Checking Software via Abstraction of Loop Transitions7 citations · 2003
- 4Model checking of software control systems7 citations · 2002
Key Collaborators
Not generated yet