Marcus Völp

Université du Luxembourg - Esch-sur-Alzette / Luxembourg

Others

AD Scientific Index ID: 1799581

University of Luxembourg Universität Luxemburg

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Université du Luxembourg

Marcus Völp's MOST POPULAR ARTICLES

1-) Measuring energy consumption for short code paths using RAPL ACM SIGMETRICS Performance Evaluation Review 40 (3), 13-17, 2012

2-) KeYmaera X: An axiomatic tactical theorem prover for hybrid systems International Conference on Automated Deduction, 527-538, 2015

3-) M3: A hardware/operating-system co-design to tame heterogeneous manycores Proceedings of the Twenty-First International Conference on Architectural …, 2016

4-) Flattening hierarchical scheduling Proceedings of the tenth ACM international conference on Embedded software …, 2012

5-) Formally verified differential dynamic logic Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017

ARTICLES

Add your articles