Marcus Völp
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Verified email at
Cited by
Cited by
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
Automated Deduction-CADE-25: 25th International Conference on Automated …, 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
M3: A hardware/operating-system co-design to tame heterogeneous manycores
N Asmussen, M Völp, B Nöthen, H Härtig, G Fettweis
Proceedings of the Twenty-First International Conference on Architectural …, 2016
Formally verified differential dynamic logic
R Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
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
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
Exploiting transistor-level reconfiguration to optimize combinational circuits
M Raitza, A Kumar, M Völp, D Walter, J Trommer, T Mikolajick, WM Weber
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 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
Velisarios: Byzantine fault-tolerant protocols powered by Coq
V Rahli, I Vukotic, M Völp, P Esteves-Verissimo
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
Vulnerability analysis and mitigation of directed timing inference based attacks on time-triggered systems
K Krüger, M Volp, G Fohler
LIPIcs-Leibniz International Proceedings in Informatics 106, 22, 2018
Avoiding timing channels in fixed-priority schedulers
M Völp, CJ Hamann, H Härtig
Proceedings of the 2008 ACM symposium on Information, computer and …, 2008
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Völp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
Privileged execution context restricting use of hardware resources by other execution contexts
M Volp
US Patent 7,730,544, 2010
Formal memory models for the verification of low-level operating-system code
H Tews, M Völp, T Weber
Journal of Automated Reasoning 42, 189-227, 2009
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
Accurate filtering of privacy-sensitive information in raw genomic data
J Decouchant, M Fernandes, M Völp, FM Couto, P Esteves-Veríssimo
Journal of biomedical informatics 82, 1-12, 2018
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
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
The l4ka vision
J Liedtke, U Dannowski, K Elphinstone, G Liefländer, E Skoglund, V Uhlig, ...
University of Karlsruhe, 2001
The system can't perform the operation now. Try again later.
Articles 1–20