Patrick Ohly

Automated MPI Correctness Checking What if there was a magic option ?

Werner Krotz-Vogel, Patrick Ohly, 2007 .

Hardware Assisted Precision Time Protocol . Design and case study

Kevin B. Stanton, Patrick Ohly, David N. Lombard, 2008 .