Ukachukwu Ndukwu
According to our database1,
Ukachukwu Ndukwu
authored at least 6 papers
between 2009 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Generating counterexamples for quantitative safety specifications in probabilistic B.
J. Log. Algebraic Methods Program., 2012
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
2010
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009
Proceedings of the Theory of Computing 2009, 2009