팔로우
Alexander Linden
Alexander Linden
Université de Liège
montefiore.ulg.ac.be의 이메일 확인됨
제목
인용
인용
연도
A verification-based approach to memory fence insertion in relaxed memory systems
A Linden, P Wolper
Model Checking Software, 144-160, 2011
442011
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
A Linden, P Wolper
Tools and Algorithms for the Construction and Analysis of Systems, 339-353, 2013
432013
An automata-based symbolic approach for verifying programs on relaxed memory models
A Linden, P Wolper
Model Checking Software, 212-226, 2010
432010
Verifying Programs on Relaxed Memory Models with a Focus on x86-TSO
A Linden
Facing the Multicore-Challenge II, 2011
2011
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4