Maximilian Senftleben

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Complexity Analysis

Reactive Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Int. J. Crit. Comput. Based Syst.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Maximilian Senftleben, Klaus Schneider
Operational Characterization of Weak Memory Consistency Models. ARCS (2018)
Maximilian Senftleben, Klaus Schneider
Using temporal logics for specifying weak memory consistency models. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Maximilian Senftleben, Klaus Schneider
Specifying Weak Memory Consistency with Temporal Logic. VECoS (2016)
Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Nikita Bhardwaj, Maximilian Senftleben, Klaus Schneider
Abacus: A Processor Family for Education. WESE (2014)
Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD (2014)