@inproceedings{cav14
  author = "Jade Alglave and Daniel Kroening and Vincent Nimal and Daniel Poetzl",
  title = "Don't sit on the fence: A static analysis approach to automatic fence insertion",
  year = "2014",
  booktitle = "CAV",
  note = "arXiv version available",
  pages = "507-523",
  url = "http://arxiv.org/abs/1312.1411",
}
@inproceedings{esop13,
  title = "Software Verification for Weak Memory via Program Transformation",
  author = "Jade Alglave and Daniel Kroening and Vincent Nimal and Michael Tautschnig",
  year = "2013",
  booktitle = "ESOP",
  note = "arXiv version available",
  pages = "512-532",
  url = "http://arxiv.org/abs/1207.7264",
}
@article{DossantosNDSAH11,
  title = "An Intrusive Method for the Uncertainty Propagation",
  author = "P. Dossantos-Uzarralde and V. Nimal and G. Dejonghe and M. Sancandi and R. Andre and S. Hilaire",
  year = "2011",
  journal = "J. Korean Phys. Soc.",
  month = "August",
  number = "2",
  pages = "1260-1263",
  volume = "59",
}
@inproceedings{DBLP:conf/aplas/AlglaveKLNT11,
  title = "Soundness of Data Flow Analyses for Weak Memory Models",
  author = "Jade Alglave and Daniel Kroening and John Lugton and Vincent Nimal and Michael Tautschnig",
  year = "2011",
  booktitle = "APLAS",
  pages = "272-288",
}
@mastersthesis{Nim10,
  title = "Statistical Approaches for Probabilistic Model Checking",
  author = "Vincent Nimal",
  year = "2010",
  school = "Oxford University Computing Laboratory",
  url = "http://www.prismmodelchecker.org/bibitem.php?key=Nim10",
}