Benjamin Engel

According to our database, Benjamin Engel authored at least 6 papers between 2012 and 2021.

Collaborative distances:

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

2021

VR Live Motion Capture.

Carsten Lecon, Benjamin Engel, Lukas Schneider

Proceedings of the 16th International Conference on Computer Science & Education, 2021

2015

Locks: Picking key methods for a scalable quantitative analysis.

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

J. Comput. Syst. Sci., 2015

2013

On confidentiality-preserving real-time locking protocols.

Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

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

Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the NASA Formal Methods, 2013

2012

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

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Formal Methods for Industrial Critical Systems, 2012