default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcus Völp
Marcus Rolf Völp
Person information
- affiliation: University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j15]Navid Khaledian
, Marcus Völp, Sadoon Azizi, Mirsaeid Hosseini Shirvani:
AI-based & heuristic workflow scheduling in cloud and fog computing: a systematic review. Clust. Comput. 27(8): 10265-10298 (2024)- [j14]Reza Akraminejad, Navid Khaledian, Amin Nazari, Marcus Völp:
A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC). Computing 106(6): 1777-1793 (2024) - [j13]Alireza Esfahani, Jérémie Decouchant, Marcus Völp, Shahid Mumtaz, Kostromitin Konstantin Igorevich:
SI-AKAV: Secure integrated authentication and key agreement for cellular-connected IoT devices in vehicular social networks. Trans. Emerg. Telecommun. Technol. 35(4) (2024) - [c52]Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. FM (1) 2024: 638-657 - [c51]Wassim Yahyaoui, Joachim Bruneau-Queyreix, Marcus Völp, Jérémie Decouchant:
Tolerating Disasters with Hierarchical Consensus. INFOCOM 2024: 1241-1250 - [c50]Leonardo Passig Horstmann, Antônio Augusto Fröhlich, Marcus Völp:
On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring. ISORC 2024: 1-8 - [c49]Júlio Mendonça, Azin Bayrami Asl, Federico Lucchetti, Marcus Völp:
Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers. VTC Spring 2024: 1-7 - [i10]Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. CoRR abs/2406.19880 (2024) - 2023
- [j12]Federico Lucchetti, Rafal Graczyk, Marcus Völp:
Toward resilient autonomous driving - An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers Comput. Sci. 5 (2023) - [j11]Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Marcus Völp:
I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. Proc. Priv. Enhancing Technol. 2023(1): 437-454 (2023) - [c48]Júlio Mendonça, Fumio Machida, Marcus Völp:
Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. DSN-W 2023: 149-156 - [c47]Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. DSN-S 2023: 157-162 - [c46]Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, Marcus Völp:
Consensual Resilient Control: Stateless Recovery of Stateful Controllers. ECRTS 2023: 14:1-14:27 - [c45]Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp:
A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. PRDC 2023: 71-77 - [i9]Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. CoRR abs/2307.01783 (2023) - 2022
- [j10]Inês Pinto Gouveia, Marcus Völp, Paulo Esteves Veríssimo:
Behind the last line of defense: Surviving SoC faults and intrusions. Comput. Secur. 123: 102920 (2022) - [c44]Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp:
From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. Petri Nets 2022: 153-174 - [c43]Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD 2022: 225-234 - [c42]Túlio A. Pascoal, Jérémie Decouchant, Marcus Völp:
Secure and distributed assessment of privacy-preserving GWAS releases. Middleware 2022: 308-321 - [c41]Júlio Mendonça, Minjune Kim, Rafal Graczyk, Marcus Völp, Dan Dongseong Kim:
Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. PRDC 2022: 141-151 - [c40]Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp:
Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture. SBESC 2022: 1-8 - [i8]Federico Lucchetti, Jérémie Decouchant, Maria Fernandes, Lydia Y. Chen, Marcus Völp:
Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets. CoRR abs/2204.11017 (2022) - [i7]Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Marcus Völp:
I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. CoRR abs/2208.08361 (2022) - [i6]Túlio A. Pascoal, Jérémie Decouchant, Marcus Völp:
Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS. CoRR abs/2208.14947 (2022) - 2021
- [j9]Kristin Krüger, Nils Vreman, Richard Pates, Martina Maggio, Marcus Völp, Gerhard Fohler:
Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication. Leibniz Trans. Embed. Syst. 7(1): 01:1-01:29 (2021) - [c39]Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves Veríssimo:
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. SRDS 2021: 78-87 - [i5]Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo:
EphemeriShield - defence against cyber-antisatellite weapons. CoRR abs/2101.12620 (2021) - [i4]Rafal Graczyk, Paulo Esteves Veríssimo, Marcus Völp:
Sanctuary lost: a cyber-physical warfare in space. CoRR abs/2110.05878 (2021) - [i3]Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Parameterized Repair of Concurrent Systems. CoRR abs/2111.03322 (2021) - 2020
- [j8]Maria Fernandes, Jérémie Decouchant, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo:
DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. IEEE J. Biomed. Health Informatics 24(3): 907-915 (2020) - [e1]Marcus Völp:
32nd Euromicro Conference on Real-Time Systems, ECRTS 2020, July 7-10, 2020, Virtual Conference. LIPIcs 165, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-152-8 [contents] - [i2]Inês Pinto Gouveia, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Behind the Last Line of Defense - Surviving SoC Faults and Intrusions. CoRR abs/2005.04096 (2020) - [i1]Paulo Jorge Esteves Veríssimo, Jérémie Decouchant, Marcus Völp, Alireza Esfahani, Rafal Graczyk:
PriLok: Citizen-protecting distributed epidemic tracing. CoRR abs/2005.04519 (2020)
2010 – 2019
- 2019
- [c38]Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Veríssimo, Andreas Steininger, Thorsten Holz:
Sustainable Security & Safety: Challenges and Opportunities. CERTS 2019: 4:1-4:13 - 2018
- [j7]Jérémie Decouchant, Maria Fernandes, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo:
Accurate filtering of privacy-sensitive information in raw genomic data. J. Biomed. Informatics 82: 1-12 (2018) - [j6]Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich:
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4(3): 243-259 (2018) - [c37]Kristin Krüger, Marcus Völp, Gerhard Fohler:
Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems. ECRTS 2018: 22:1-22:17 - [c36]Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP 2018: 619-650 - [c35]Marcus Völp, Paulo Jorge Esteves Veríssimo:
Intrusion-Tolerant Autonomous Driving. ISORC 2018: 130-133 - [c34]Kristin Krüger, Gerhard Fohler, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Improving Security for Time-Triggered Real-Time Systems with Task Replication. RTCSA 2018: 232-233 - [c33]Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
Towards Real-Time-Aware Intrusion Tolerance. SRDS 2018: 269-270 - 2017
- [c32]Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer:
Formally verified differential dynamic logic. CPP 2017: 208-221 - [c31]Michael Raitza, Akash Kumar, Marcus Völp, Dennis Walter, Jens Trommer, Thomas Mikolajick, Walter M. Weber:
Exploiting transistor-level reconfiguration to optimize combinational circuits. DATE 2017: 338-343 - [c30]Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha:
Meeting the Challenges of Critical and Extreme Dependability and Security. PRDC 2017: 92-97 - [c29]Gary Cornelius, Patrice Caire, Nico Hochgeschwender, Miguel A. Olivares-Méndez, Paulo Jorge Esteves Veríssimo, Marcus Völp, Holger Voos:
A Perspective of Security for Mobile Service Robots. ROBOT (1) 2017: 88-100 - [c28]Marcus Völp, Jérémie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Veríssimo:
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. SysTEX@SOSP 2017: 7:1-7:6 - [c27]Marcus Völp, Francisco Rocha, Jeremie Decouchant, Jiangshan Yu, Paulo Jorge Esteves Veríssimo:
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. Security Protocols Workshop 2017: 232-237 - [c26]Marcus Völp:
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion). Security Protocols Workshop 2017: 238-246 - 2016
- [c25]Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, Gerhard P. Fettweis:
M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. ASPLOS 2016: 189-203 - [c24]Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Jorge Esteves Veríssimo:
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. CPS-SPC@CCS 2016: 59-70 - [c23]Jens Trommer, Andre Heinzig, Tim Baldauf, Thomas Mikolajick, Walter M. Weber, Michael Raitza, Marcus Völp:
Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits. DATE 2016: 169-174 - [c22]Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo:
Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. SysTEX@Middleware 2016: 6:1-6:6 - 2015
- [j5]Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp:
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81(1): 258-287 (2015) - [c21]Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer:
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE 2015: 527-538 - [c20]Marcus Völp, Nils Asmussen, Hermann Härtig, Benedikt Noethen, Gerhard P. Fettweis:
Towards dependable CPS infrastructures: Architectural and operating-system challenges. ETFA 2015: 1-8 - [c19]Annett Ungethüm, Dirk Habich, Tomas Karnagel, Wolfgang Lehner, Nils Asmussen, Marcus Völp, Benedikt Noethen, Gerhard P. Fettweis:
Query processing on low-energy many-core processors. ICDE Workshops 2015: 155-160 - [c18]Nils Asmussen, Marcus Völp, Benedikt Nöthen, Annett Ungethüm:
Demo abstract: Taming many heterogeneous cores. RTAS 2015: 329 - 2014
- [j4]Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter, Stephan Henker, Marcus Völp:
Towards Computation with Microchemomechanical Systems. Int. J. Found. Comput. Sci. 25(4): 507- (2014) - [j3]Adam Lackorzynski, Marcus Völp, Alexander Warg:
Flat but trustworthy: security aspects in flattened hierarchical scheduling. SIGBED Rev. 11(2): 8-12 (2014) - [c17]Andreas Richter, Andreas Voigt, René Schüffny, Stephan Henker, Marcus Völp:
Integrated circuits processing chemical information: Prospects and challenges. DATE 2014: 1 - [c16]Marcus Völp, Marcus Hähnel, Adam Lackorzynski:
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. RTAS 2014: 275-284 - 2013
- [c15]Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig:
The Potential of Energy/Utility-Accrual Scheduling. AINA Workshops 2013: 1636-1641 - [c14]Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig:
eBond: energy saving in heterogeneous R.A.I.N. e-Energy 2013: 193-202 - [c13]Marcus Völp, Michael Roitzsch:
Elastic Manycores - How to Bring the OS Back into the Scheduling Game? Euro-Par Workshops 2013: 749-758 - [c12]Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp:
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods 2013: 307-321 - [c11]Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig:
On confidentiality-preserving real-time locking protocols. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 153-162 - [c10]Hermann Härtig, Marcus Völp, Marcus Hähnel:
The case for practical multi-resource and multi-level scheduling based on Energy/Utility. RTCSA 2013: 175-182 - 2012
- [j2]Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig:
Measuring energy consumption for short code paths using RAPL. SIGMETRICS Perform. Evaluation Rev. 40(3): 13-17 (2012) - [c9]Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig:
Flattening hierarchical scheduling. EMSOFT 2012: 93-102 - [c8]Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp:
Waiting for Locks: How Long Does It Usually Take? FMICS 2012: 47-62 - [c7]Marcus Völp, Nils Asmussen, Hermann Härtig:
The IMData Approach to Accelerate Data Intensive Workloads. Facing the Multicore-Challenge 2012: 141-142 - [c6]Hendrik Tews, Marcus Völp, Tjark Weber:
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code. SSV 2012: 73-87 - [c5]Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp:
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code. SSV 2012: 156-166 - 2010
- [b1]Marcus Rolf Völp:
Provable protection of confidential data in microkernel based systems. Dresden University of Technology, 2010, pp. 1-211
2000 – 2009
- 2009
- [j1]Hendrik Tews, Marcus Völp, Tjark Weber:
Formal Memory Models for the Verification of Low-Level Operating-System Code. J. Autom. Reason. 42(2-4): 189-227 (2009) - 2008
- [c4]Marcus Völp:
Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ARES 2008: 268-275 - [c3]Marcus Völp, Claude-Joachim Hamann, Hermann Härtig:
Avoiding timing channels in fixed-priority schedulers. AsiaCCS 2008: 44-55 - [c2]Hendrik Tews, Tjark Weber, Marcus Völp:
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. SSV 2008: 79-96 - 2000
- [c1]Jochen Liedtke, Marcus Völp, Kevin Elphinstone:
Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210
Coauthor Index
Jeremie Decouchant
aka: Jérémie Decouchant
aka: Jérémie Decouchant
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
