Statistical Approaches for Probabilistic Model Checking מאת Nimal, V

Static analyses over weak memory מאת Nimal, V, Vincent P J Nimal

Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion מאת Alglave, J, Kroening, D, Nimal, V, Poetzl, D

Software verification for weak memory via program transformation מאת Alglave, J, Kroening, D, Nimal, V, Tautschnig, M

Software Verification for Weak Memory via Program Transformation מאת Alglave, J, Kroening, D, Nimal, V, Tautschnig, M

Don’t sit on the fence: A static analysis approach to automatic fence insertion מאת Kroening, D, Alglave, J, Nimal, V, Poetzl, D

Soundness of Data Flow Analyses for Weak Memory Models מאת Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

Soundness of data flow analyses for weak memory models מאת Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

Soundness of Data Flow Analyses for Weak Memory Models מאת Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

An Intrusive Method for the Uncertainty Propagation מאת Dossantos−Uzarralde, P, Nimal, V, Dejonghe, G, Sancandi, M, Andre, R, Hilaire, S