An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. - Alexander Linden 001; Pierre Wolper (SPIN, 2010)

A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. - Alexander Linden 001; Pierre Wolper (SPIN, 2011)

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. - Alexander Linden 001; Pierre Wolper (TACAS, 2013)

On the Verification of Programs on Relaxed Memory Models. - Alexander Linden 001 (2013)