Obserwuj
Marcus Völp
Marcus Völp
CritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg
Zweryfikowany adres z uni.lu
Tytuł
Cytowane przez
Cytowane przez
Rok
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
3992012
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
3422015
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
922016
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
892012
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
852017
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
692016
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
672016
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
622017
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
592014
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
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
462018
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
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
242021
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
Secure booting of an electronic apparatus with SMP architecture
M Volp
US Patent 7,624,261, 2009
222009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20