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
3852012
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
3372015
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
892016
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
872012
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
822017
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
682016
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
632016
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
612017
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
582018
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
582014
Vulnerability analysis and mitigation of directed timing inference based attacks on time-triggered systems
K Krüger, M Volp, G Fohler
Leibniz International Proceedings in Informatics 106, 2018
452018
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
412008
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
382017
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
302009
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
272013
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
242018
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
Threat adaptive byzantine fault tolerant state-machine replication
DS Silva, R Graczyk, J Decouchant, M Völp, P Esteves-Verissimo
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 78-87, 2021
222021
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
222009
The system can't perform the operation now. Try again later.
Articles 1–20