Jeffery P. Hansen

Papers

Total Citations

H-Index

About

Jeffery P. Hansen is a researcher whose work lies at the intersection of formal verification and adaptive real-time systems, with a particular focus on statistical model checking (SMC). His primary contributions advance the practical application of SMC to complex, distributed software, addressing the critical challenge of verifying behavior in systems that must adapt dynamically. Hansen’s most-cited paper, “Statistical Model Checking of Distributed Adaptive Real-Time Software” (2015, 7 citations), demonstrates a novel framework for analyzing such systems under uncertainty, providing a scalable alternative to exhaustive verification. Building on this, his work “Input Attribution for Statistical Model Checking Using Logistic Regression” (2016, 3 citations) introduces a data-driven method to identify which input parameters most influence system outcomes, bridging the gap between probabilistic verification and explainable analysis. Though his citation counts reflect a focused, emerging impact, Hansen’s contributions are notable for integrating machine learning techniques—like logistic regression—into the traditionally formal domain of model checking. This interdisciplinary approach positions him as a researcher pushing SMC toward greater usability and insight, particularly for engineers and scientists grappling with the reliability of adaptive, real-time software in distributed environments.