Ukachukwu Ndukwu

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Qualitative And Quantitative

Posterior Probability

Probabilistic Logic

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ukachukwu Ndukwu
Generating counterexamples for quantitative safety specifications in probabilistic B. J. Log. Algebraic Methods Program. 81 (1) (2012)
Ukachukwu Ndukwu, Annabelle McIver
Model exploration and analysis for quantitative safety refinement in probabilistic B Refine@FM (2011)
Ukachukwu Ndukwu, A. K. McIver
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. ATVA (2010)
Ukachukwu Ndukwu, Annabelle McIver
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs QAPL (2010)
Ukachukwu Ndukwu
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems QFM (2009)
Ukachukwu Ndukwu, Jeff W. Sanders
Reasoning about a Distributed Probabilistic System. CATS (2009)