8 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.PL2018★ 2 cited
Safe Non-blocking Synchronization in Ada 202x
Johann Blieberger, Bernd Burgstaller
The mutual-exclusion property of locks stands in the way to scalability of parallel programs on many-core architectures. Locks do not allow progress guarantees, because a task may…
cs.DC2015
Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints
Minyoung Jung, Bernd Burgstaller, Johann Blieberger
In this paper, we propose several optimizations for the SFA construction algorithm, which greatly reduce the in-memory footprint and the processing steps required to construct an S…
cs.LO2011★ 8 cited
Shared Memory Concurrent System Verification using Kronecker Algebra
Robert Mittermayr, Johann Blieberger
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread interleavings grows exponentially in the number of thread…