According to our database1, Benjamin Engel authored at least 5 papers between 2012 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015
On confidentiality-preserving real-time locking protocols.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012