Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
127
24
h-index
3
2
i10-index
3
1
0
16
8
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2
5
13
15
11
16
16
13
12
4
5
8
5
2
Följ
Alexander Linden
Université de Liège
Verifierad e-postadress på montefiore.ulg.ac.be
Model Checking
Verification
Relaxed Memory Models
Automata
Artiklar
Citeras av
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
A verification-based approach to memory fence insertion in relaxed memory systems
A Linden, P Wolper
Model Checking Software, 144-160
, 2011
43
2011
An automata-based symbolic approach for verifying programs on relaxed memory models
A Linden, P Wolper
Model Checking Software, 212-226
, 2010
43
2010
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
41
2013
Verifying Programs on Relaxed Memory Models with a Focus on x86-TSO
A Linden
Facing the Multicore-Challenge II
, 2011
2011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen