Linden, A. (2013). On the Verification of Programs on Relaxed Memory Models [Doctoral thesis, ULiège - Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/158670 |
Linden, A., & Wolper, P. (2013). A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. In Proceedings of the 19th international conference on Tools and algorithms for the construction and analysis of systems (pp. 339-353). Springer. doi:10.1007/978-3-642-36742-7_24 Peer reviewed |
Linden, A. (28 September 2011). Verifying Programs on Relaxed Memory Models with a Focus on x86-TSO [Paper presentation]. Facing the Multicore-Challenge II, Karlsruhe, Germany. |
Linden, A., & Wolper, P. (2011). A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. In Model Checking Software , 18th International SPIN Workshop (pp. 144-160). Berlin, Germany: Springer. doi:10.1007/978-3-642-22306-8_10 Peer reviewed |
Linden, A., & Wolper, P. (2010). An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. Lecture Notes in Computer Science, 212-226. doi:10.1007/978-3-642-16164-3_16 Peer reviewed |