Abacus: A Processor Family for Education. - Nikita Bhardwaj; Maximilian Senftleben; Klaus Schneider 001 (WESE, 2014)

Memory-Model-Aware Testing: A Unified Complexity Analysis. - Florian Furbach; Roland Meyer 001; Klaus Schneider 001; Maximilian Senftleben (ACM Trans. Embed. Comput. Syst., 2015)

Specifying Weak Memory Consistency with Temporal Logic. - Maximilian Senftleben; Klaus Schneider 001 (VECoS, 2016)

Operational Characterization of Weak Memory Consistency Models. - Maximilian Senftleben; Klaus Schneider 001 (ARCS, 2018)

Using temporal logics for specifying weak memory consistency models. - Maximilian Senftleben; Klaus Schneider 001 (Int. J. Crit. Comput. Based Syst., 2018)

Modelling Memory Consistency Models for Formal Verification. - Maximilian Senftleben (2019)