Marcus Völp
Orcid: 0000-0002-8020-4446Affiliations:
- University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust
According to our database1,
Marcus Völp
authored at least 77 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
AI-based & heuristic workflow scheduling in cloud and fog computing: a systematic review.
Clust. Comput., November, 2024
A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC).
Computing, June, 2024
SI-AKAV: Secure integrated authentication and key agreement for cellular-connected IoT devices in vehicular social networks.
Trans. Emerg. Telecommun. Technol., April, 2024
Proceedings of the 99th IEEE Vehicular Technology Conference, 2024
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles.
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024
On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring.
Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024
Proceedings of the IEEE INFOCOM 2024, 2024
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the IJCAI 2024 Workshop on Artificial Intelligence Safety (AISafety 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
2023
Proc. Priv. Enhancing Technol., January, 2023
Toward resilient autonomous driving - An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack.
Frontiers Comput. Sci., 2023
A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
2022
Comput. Secur., 2022
Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022
Security Modeling and Analysis of Moving Target Defense in Software Defined Networks.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication.
Leibniz Trans. Embed. Syst., 2021
Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021
2020
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment.
IEEE J. Biomed. Health Informatics, 2020
2019
Proceedings of the 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2019
2018
IEEE Trans. Multi Scale Comput. Syst., 2018
J. Biomed. Informatics, 2018
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the Programming Languages and Systems, 2018
Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018
2017
Proceedings of the Security Protocols XXV, 2017
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion).
Proceedings of the Security Protocols XXV, 2017
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures.
Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, 2017
Proceedings of the ROBOT 2017: Third Iberian Robotics Conference, 2017
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2016
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control.
Proceedings of the 1st Workshop on System Software for Trusted Execution, 2016
Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2015
J. Comput. Syst. Sci., 2015
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the 31st IEEE International Conference on Data Engineering Workshops, 2015
Towards dependable CPS infrastructures: Architectural and operating-system challenges.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
SIGBED Rev., 2014
Int. J. Found. Comput. Sci., 2014
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
The case for practical multi-resource and multi-level scheduling based on Energy/Utility.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013
Proceedings of the Fourth International Conference on Future Energy Systems, 2013
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
SIGMETRICS Perform. Evaluation Rev., 2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Facing the Multicore-Challenge, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
2010
PhD thesis, 2010
2009
J. Autom. Reason., 2009
2008
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008
Proceedings of the The Third International Conference on Availability, 2008
2000
Proceedings of the 9th ACM SIGOPS European Workshop, 2000