Maximilian Senftleben

According to our database, Maximilian Senftleben authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Modelling Memory Consistency Models for Formal Verification.

Maximilian Senftleben

PhD thesis, 2019

2018

Using temporal logics for specifying weak memory consistency models.

Maximilian Senftleben, Klaus Schneider

Int. J. Crit. Comput. Based Syst., 2018

Operational Characterization of Weak Memory Consistency Models.

Maximilian Senftleben, Klaus Schneider

Proceedings of the Architecture of Computing Systems - ARCS 2018, 2018

2016

Specifying Weak Memory Consistency with Temporal Logic.

Maximilian Senftleben, Klaus Schneider

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

2014

Abacus: A Processor Family for Education.

Nikita Bhardwaj, Maximilian Senftleben, Klaus Schneider

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2014

Memory Model-Aware Testing - A Unified Complexity Analysis.

Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014