Benjamin Engel

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 2

Top Topics

Transaction Processing Systems

Quantitative Analysis

Top Venues

J. Comput. Syst. Sci.

IEEE Real-Time and Embedded Technology and Applications Symposium

Publications

Carsten Lecon, Benjamin Engel, Lukas Schneider
VR Live Motion Capture. ICCSE (2021)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81 (1) (2015)
Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig
On confidentiality-preserving real-time locking protocols. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods (2013)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take? FMICS (2012)