Provable Protection of Confidential Data in Microkernel-Based Systems

by Völp, Marcus
Published 2011

Measuring energy consumption for short code paths using RAPL

by Hähnel, Marcus, Döbel, Björn, Völp, Marcus, Härtig, Hermann
Published 2013

Probabilistic Analysis of Low-Criticality Execution

by Küttler, Martin, Roitzsch, Michael, Hamann, Claude-Joachim, Völp, Marcus
Published 2018

Probabilistic Analysis of Low-Criticality Execution

by Küttler, Martin, Roitzsch, Michael, Hamann, Claude-Joachim, Völp, Marcus
Published 2017

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

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

Waiting for Locks: How Long Does It Usually Take?

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

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

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