Alexander Linden

Affiliations:

According to our database¹, Alexander Linden authored at least 4 papers between 2010 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

On the Verification of Programs on Relaxed Memory Models.

[BibT_eX]

[DOI]

PhD thesis, 2013

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011

A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2011

2010

An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2010