32 citations · 134 across the 34 of their papers we have counts for
5 papers · 1 filter
Achieving Determinism in Adaptive AUTOSAR
Christian Menard, Andres Goens, Marten Lohstroh +1
AUTOSAR Adaptive Platform is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide adequate mechanisms to enforce det…
Generalized Data Placement Strategies for Racetrack Memories
Asif Ali Khan, Andres Goens, Fazal Hameed +1
Ultra-dense non-volatile racetrack memories (RTMs) have been investigated at various levels in the memory hierarchy for improved performance and reduced energy consumption. However…
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Tobias Reiher, Alexander Senier, Jeronimo Castrillon +1
Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regula…
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Sebastian Ertel, Justus Adam, Norman A. Rink +2
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalizati…
ShiftsReduce: Minimizing Shifts in Racetrack Memory 4.0
Asif Ali Khan, Fazal Hameed, Robin Blaesing +2
Racetrack memories (RMs) have significantly evolved since their conception in 2008, making them a serious contender in the field of emerging memory technologies. Despite key techno…