76 citations · 129 across the 23 of their papers we have counts for
4 papers · 1 filter
Verifying C11 Programs Operationally
Simon Doherty, Brijesh Dongol, Heike Wehrheim +1
This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete wit…
Do Android Taint Analysis Tools Keep Their Promises?
Felix Pauck, Eric Bodden, Heike Wehrheim
In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim at providing a thorough empiric…
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
Stefan Schneider, Arnab Sharma, Holger Karl +1
For optimal placement and orchestration of network services, it is crucial that their structure and semantics are specified clearly and comprehensively and are available to an orch…
Causal Linearizability: Compositionality for Partially Ordered Executions
Simon Doherty, John Derrick, Brijesh Dongol +1
In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linear…