Search Result
2019
|
|
|
[Senf19] M. Senftleben Modelling Memory Consistency Models for Formal Verification PhD Thesis |
2018
|
|
|
|
[SeSc18] M. Senftleben and K. Schneider Operational Characterization of Weak Memory Consistency Models International Conference on Architecture of Computing Systems (ARCS) |
|
|
|
|
|
[SeSc18a] M. Senftleben and K. Schneider Using Temporal Logics for Specifying Weak Memory Consistency Models International Journal of Critical Computer-Based Systems (IJCCBS) |
2016
|
|
|
|
[SeSc16] M. Senftleben and K. Schneider Specifying Weak Memory Consistency with Temporal Logic Verification and Evaluation of Computer and Communication Systems (VECoS) |
2015
|
|
|
|
[BhSS15] N. Bhardwaj and M. Senftleben and K. Schneider Abacus - A Processor Family for Education Workshop on Embedded and Cyber-Physical Systems Education (WESE) |
|
|
|
|
|
[FMSS15] F. Furbach and R. Meyer and K. Schneider and M. Senftleben Memory-Model-aware Testing -- A Unified Complexity Analysis Transactions on Embedded Computing Systems (TECS) |
2014
|
|
|
|
[FMSS14] F. Furbach and R. Meyer and K. Schneider and M. Senftleben Memory Model-Aware Testing - A Unified Complexity Analysis Application of Concurrency to System Design (ACSD) |
2013
|
|
|
|
[Senf13] M. Senftleben Operational Characterization of Weak Memory Consistency Models Master Thesis |
2012
|
|
|
|
[Senf12] M. Senftleben Dataflow Programming on GPUs |
2011
|
|
|
|
[Senf11] M. Senftleben Web-based instruction-level simulation of a parameterized dynamic processor Bachelor Thesis |