Ukachukwu Ndukwu

According to our database, Ukachukwu Ndukwu authored at least 6 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Generating counterexamples for quantitative safety specifications in probabilistic B.

Ukachukwu Ndukwu

J. Log. Algebraic Methods Program., 2012

2011

Model exploration and analysis for quantitative safety refinement in probabilistic B

Ukachukwu Ndukwu, Annabelle McIver

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2010

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

Ukachukwu Ndukwu, Annabelle McIver

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

Ukachukwu Ndukwu, A. K. McIver

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems

Ukachukwu Ndukwu

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009

Reasoning about a Distributed Probabilistic System.

Ukachukwu Ndukwu, Jeff W. Sanders

Proceedings of the Theory of Computing 2009, 2009