Reasoning about a Distributed Probabilistic System. - Ukachukwu Ndukwu; Jeff W. Sanders (CATS, 2009)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems - Ukachukwu Ndukwu (QFM, 2009)

YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. - Ukachukwu Ndukwu; A. K. McIver (ATVA, 2010)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs - Ukachukwu Ndukwu; Annabelle McIver (QAPL, 2010)

Model exploration and analysis for quantitative safety refinement in probabilistic B - Ukachukwu Ndukwu; Annabelle McIver (Refine@FM, 2011)

Generating counterexamples for quantitative safety specifications in probabilistic B. - Ukachukwu Ndukwu (J. Log. Algebraic Methods Program., 2012)