Bibliography

Refine on click | Report | Share

A total of 5 records were found in 0.062 seconds

Fetch | Report | Google

Locks: Picking key methods for a scalable quantitative analysis

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

J. Comput. Syst. Sci., 81(1):258-287, 2015

Fetch | Report | Google

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

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

NASA Formal Methods, 307-321, 2013

Fetch | Report | Google

On confidentiality-preserving real-time locking protocols

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

IEEE Real-Time and Embedded Technology and Applications Symposium, 153-162, 2013

Fetch | Report | Google

Waiting for Locks: How Long Does It Usually Take?

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

FMICS, 47-62, 2012

Fetch | Report | Google

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 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

SSV, 156-166, 2012