Benjamin Engel

Computer Architecture Single And Parallel Systems

Benjamin Engel, 2016 .

On confidentiality-preserving real-time locking protocols

Hermann Härtig, Marcus Völp, Claude-Joachim Hamann, 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Security Verification

Benjamin Engel, 2011, Encyclopedia of Cryptography and Security.

Hardware Software Co Design Of Embedded Systems The Polis Approach

Benjamin Engel, 2016 .

Locks: Picking key methods for a scalable quantitative analysis

Christel Baier, Hendrik Tews, Steffen Märcker, 2015, J. Comput. Syst. Sci..

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, FMICS.

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, SSV.

Hip Hop Files Photographs 1979 1984

Benjamin Engel, 1984 .

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select

Christel Baier, Hendrik Tews, Steffen Märcker, 2013, NASA Formal Methods.