If you are not oc'ing, pretty much pick any modules. You only specifically pick if you plan to OC, buy the best modules for the price that have the best timings. All those brands are recommended.
I agree with Kamrooz. Just install them and run memtest. If they are stable, and you want to go that extra paranoid mile, feel free to up the memory voltage by .05 or .1V.