TDG
Scholar
Committed to research!
Version 1.7
Home
|
Bibliography
|
Writers
|
Journals
|
Conferences
|
Publishers
Help
|
News
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