Vincent Nimal : Publications
Journal papers
-
[1]
An Intrusive Method for the Uncertainty Propagation
P. Dossantos−Uzarralde‚ V. Nimal‚ G. Dejonghe‚ M. Sancandi‚ R. Andre and S. Hilaire
In J. Korean Phys. Soc.. Vol. 59. No. 2. Pages 1260−1263. August, 2011.
Details about An Intrusive Method for the Uncertainty Propagation | BibTeX data for An Intrusive Method for the Uncertainty Propagation
Conference papers
-
[1]
Don't sit on the fence: A static analysis approach to automatic fence insertion
In CAV. Pages 507−523. 2014.
arXiv version available
Details about Don't sit on the fence: A static analysis approach to automatic fence insertion | BibTeX data for Don't sit on the fence: A static analysis approach to automatic fence insertion | Link to Don't sit on the fence: A static analysis approach to automatic fence insertion
-
[2]
Software Verification for Weak Memory via Program Transformation
Jade Alglave‚ Daniel Kroening‚ Vincent Nimal and Michael Tautschnig
In ESOP. Pages 512−532. 2013.
arXiv version available
Details about Software Verification for Weak Memory via Program Transformation | BibTeX data for Software Verification for Weak Memory via Program Transformation | Link to Software Verification for Weak Memory via Program Transformation
-
[3]
Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig
In APLAS. Pages 272−288. 2011.
Details about Soundness of Data Flow Analyses for Weak Memory Models | BibTeX data for Soundness of Data Flow Analyses for Weak Memory Models
Theses
-
[1]
Statistical Approaches for Probabilistic Model Checking
Vincent Nimal
Master's Thesis Oxford University Computing Laboratory. 2010.
Details about Statistical Approaches for Probabilistic Model Checking | BibTeX data for Statistical Approaches for Probabilistic Model Checking | Link to Statistical Approaches for Probabilistic Model Checking