James C. Browne

Papers

Total Citations

H-Index

About

James C. Browne has made foundational contributions to software reliability and formal verification, particularly in the practical application of model checking to complex software systems. His research centers on developing rigorous, automated methods to ensure correctness in safety-critical control software, with a focus on object-oriented analysis and abstraction techniques. Browne’s most cited work, *A Formal Object-Oriented Analysis for Software Reliability: Design for Verification* (2001, 39 citations), introduces a framework that integrates formal verification into the software design process, enabling engineers to build reliability directly into system architecture. His dissertation, *Model Checking of Software Control Systems* (2002, 7 citations), is a landmark study that demonstrates how model checking—a technique that exhaustively verifies system properties across all execution paths—can be practically applied to real-world control software. This work directly informed his later case study on a NASA robot controller (2004, 14 citations), where he identified key lessons for deploying formal methods in aerospace applications. Browne’s research on abstraction of loop transitions (2003, 7 citations) further advanced the scalability of model checking by reducing state-space complexity. His contributions remain vital for students and engineers seeking to build dependable, verifiable software in high-stakes domains.