Marcus Völp
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Verified email at
TitleCited byYear
Measuring energy consumption for short code paths using RAPL
M Hähnel, B Döbel, M Völp, H Härtig
ACM SIGMETRICS Performance Evaluation Review 40 (3), 13-17, 2012
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer
International Conference on Automated Deduction, 527-538, 2015
Flattening hierarchical scheduling
A Lackorzyński, A Warg, M Völp, H Härtig
Proceedings of the tenth ACM international conference on Embedded software …, 2012
Formally verified differential dynamic logic
B Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems
M Völp, M Hähnel, A Lackorzynski
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
Privileged execution context restricting use of hardware resources by other execution contexts
M Volp
US Patent 7,730,544, 2010
The l4ka vision
J Liedtke, U Dannowski, K Elphinstone, G Liefländer, E Skoglund, V Uhlig, ...
University of Karlsruhe, 2001
M3: A hardware/operating-system co-design to tame heterogeneous manycores
N Asmussen, M Völp, B Nöthen, H Härtig, G Fettweis
ACM SIGOPS Operating Systems Review 50 (2), 189-203, 2016
A formal model of memory peculiarities for the verification of low-level operating-system code
H Tews, T Weber, M Völp
Electronic Notes in Theoretical Computer Science 217, 79-96, 2008
Avoiding timing channels in fixed-priority schedulers.
M Völp, CJ Hamann, H Härtig
AsiaCCS, 44-55, 2008
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
eBond: energy saving in heterogeneous RAIN
M Hähnel, B Döbel, M Völp, H Härtig
Proceedings of the fourth international conference on Future energy systems …, 2013
Towards safe and secure autonomous and cooperative vehicle ecosystems
A Lima, F Rocha, M Völp, P Esteves-Veríssimo
Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and …, 2016
Formal memory models for the verification of low-level operating-system code
H Tews, M Völp, T Weber
Journal of Automated Reasoning 42 (2-4), 189-227, 2009
Preliminary thoughts on memory-bus scheduling
J Liedtke, M Völp, K Elphinstone
Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the …, 2000
Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits
J Trommer, A Heinzig, T Baldauf, T Mikolajick, WM Weber, M Raitza, ...
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 169-174, 2016
On confidentiality-preserving real-time locking protocols
M Völp, B Engel, CJ Hamann, H Härtig
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
Nova Micro--Hypervisor Verification
H Tews, T Weber, M Völp, E Poll, M van Eekelen, PJB van Rossum
onbekend: Institute for Computing and Information Sciences, 2008
Exploiting transistor-level reconfiguration to optimize combinational circuits
M Raitza, A Kumar, M Völp, D Walter, J Trommer, T Mikolajick, WM Weber
Proceedings of the Conference on Design, Automation & Test in Europe, 338-343, 2017
Towards computation with microchemomechanical systems
A Voigt, R Greiner, M Allerdißen, A Richter, S Henker, M Voelp
International Journal of Foundations of Computer Science 25 (04), 507-523, 2014
The system can't perform the operation now. Try again later.
Articles 1–20