Marcus Völp
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Verified email at uni.lu
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
1832012
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
1062015
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
572012
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
312017
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
302014
Privileged execution context restricting use of hardware resources by other execution contexts
M Volp
US Patent 7,730,544, 2010
252010
The l4ka vision
J Liedtke, U Dannowski, K Elphinstone, G Liefländer, E Skoglund, V Uhlig, ...
University of Karlsruhe, 2001
25*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
242016
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
212008
Avoiding timing channels in fixed-priority schedulers.
M Völp, CJ Hamann, H Härtig
AsiaCCS, 44-55, 2008
212008
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
202009
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
192013
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
182016
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
182009
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
182000
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
172016
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
162013
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
162008
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
152017
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
102014
The system can't perform the operation now. Try again later.
Articles 1–20