Old Web
English
Sign In
Acemap
>
authorDetail
>
Benjamin Engel
Benjamin Engel
Dresden University of Technology
Computer science
Theoretical computer science
Statistical model
Probabilistic logic
probabilistic model checking
5
Papers
44
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Locks: Picking key methods for a scalable quantitative analysis ✩
2015
Journal of Computer and System Sciences
Christel Baier
Marcus Daum
Benjamin Engel
Hermann Härtig
Joachim Klein
Sascha Klüppelholz
Steffen Märcker
Hendrik Tews
Marcus Völp
Show All
Source
Cite
Save
Citations (9)
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
2013
NFM | NASA Formal Methods Symposium
Christel Baier
Benjamin Engel
Sascha Klüppelholz
Steffen Märcker
Hendrik Tews
Marcus Völp
Show All
Source
Cite
Save
Citations (5)
On confidentiality-preserving real-time locking protocols
2013
RTAS | Real Time Technology and Applications Symposium
Marcus Völp
Benjamin Engel
Claude-Joachim Hamann
Hermann Härtig
Show All
Source
Cite
Save
Citations (15)
Waiting for Locks: How Long Does It Usually Take?
2012
FMICS | Formal Methods for Industrial Critical Systems
Christel Baier
Marcus Daum
Benjamin Engel
Hermann Härtig
Joachim Klein
Sascha Klüppelholz
Steffen Märcker
Hendrik Tews
Marcus Völp
Show All
Source
Cite
Save
Citations (11)
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
2012
Christel Baier
Marcus Daum
Benjamin Engel
Hermann Härtig
Joachim Klein
Sascha Klüppelholz
Steffen Märcker
Hendrik Tews
Marcus Völp
Show All
Source
Cite
Save
Citations (4)
1