Vincent Nimal

Soundness of Data Flow Analyses for Weak Memory Models

Daniel Kroening, Jade Alglave, Michael Tautschnig, 2011, APLAS.

Statistical Approaches for Probabilistic Model Checking

Vincent Nimal, Vincent Nimal, 2010 .

Don’t Sit on the Fence

Daniel Kroening, Jade Alglave, Daniel Poetzl, 2013, ACM Trans. Program. Lang. Syst..

Software Verification for Weak Memory via Program Transformation

Daniel Kroening, Jade Alglave, Michael Tautschnig, 2012, ESOP.

Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion

Daniel Kroening, Jade Alglave, Daniel Poetzl, 2014, CAV.

Proceedings - International Conference on Software Engineering: Preface

Alessandro Orso, David Notkin, Pietro Ferrara, 2011, International Conference on Software Engineering.