Follow
Marcus Völp
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
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
3542012
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
3032015
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
852012
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
822016
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
742017
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
662016
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
582016
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
572017
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
552014
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
502018
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
422018
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
392008
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
342017
Privileged execution context restricting use of hardware resources by other execution contexts
M Volp
US Patent 7,730,544, 2010
302010
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
282009
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
262013
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
242013
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
232018
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
222009
The l4ka vision
J Liedtke, U Dannowski, K Elphinstone, G Liefländer, E Skoglund, V Uhlig, ...
University of Karlsruhe, 2001
22*2001
The system can't perform the operation now. Try again later.
Articles 1–20