Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Marcus Völp

Marcus Rolf Völp

> Home > Persons

Person information

affiliation: University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2010
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/de/Volp2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Volp2010
Marcus Rolf Völp:
Provable protection of confidential data in microkernel based systems. Dresden University of Technology, 2010, pp. 1-211

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ett/EsfahaniDVMI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ett/EsfahaniDVMI24
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)
2023
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fcomp/LucchettiGV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcomp/LucchettiGV23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/popets/PascoalDBV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/PascoalDBV23
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)
2022
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/GouveiaVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/GouveiaVV22
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)
2021
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lites/KrugerVPMVF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lites/KrugerVPMVF21
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)
2020
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/titb/FernandesDVCV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/titb/FernandesDVCV20
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)
2018
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jbi/DecouchantFVCV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbi/DecouchantFVCV18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tmscs/CastrillonLKVAA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmscs/CastrillonLKVAA18
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)
2015
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BaierDEHKKMTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BaierDEHKKMTV15
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)
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/VoigtGARHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/VoigtGARHV14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/LackorzynskiVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/LackorzynskiVW14
Adam Lackorzynski, Marcus Völp, Alexander Warg:
Flat but trustworthy: security aspects in flattened hierarchical scheduling. SIGBED Rev. 11(2): 8-12 (2014)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/HahnelDVH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/HahnelDVH12
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)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TewsVW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TewsVW09
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/MendoncaMV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/MendoncaMV23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ShokerVV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ShokerVV23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecrts/MatovicGLV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/MatovicGLV23
Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, Marcus Völp:
Consensual Resilient Control: Stateless Recovery of Stateful Controllers. ECRTS 2023: 14:1-14:27
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/AlkoudsiFV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/AlkoudsiFV23
Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp:
A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. PRDC 2023: 71-77
2022
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GraczykBDDGGKJM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GraczykBDDGGKJM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/JacobsSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/JacobsSV22
Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD 2022: 225-234
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/PascoalDV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/PascoalDV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/MendoncaKGVK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/MendoncaKGVK22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/AlkoudsiFV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/AlkoudsiFV22
Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp:
Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture. SBESC 2022: 1-8
2021
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/SilvaGDVV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/SilvaGDVV21
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
2019
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecrts/PaverdVBSASVSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/PaverdVBSASVSH19
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
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecrts/KrugerVF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/KrugerVF18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/RahliVVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RahliVVV18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/VolpV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/VolpV18
Marcus Völp, Paulo Jorge Esteves Veríssimo:
Intrusion-Tolerant Autonomous Driving. ISORC 2018: 130-133
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/KrugerFVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/KrugerFVV18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/LambertVDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/LambertVDV18
Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo:
Towards Real-Time-Aware Intrusion Tolerance. SRDS 2018: 269-270
2017
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BohrerRVVP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BohrerRVVP17
Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer:
Formally verified differential dynamic logic. CPP 2017: 208-221
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RaitzaKVWTMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RaitzaKVWTMW17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/VerissimoVDRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/VerissimoVDRR17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/robot/CorneliusCHOVVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/robot/CorneliusCHOVVV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/VolpDLFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/VolpDLFV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/VolpRDYV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/VolpRDYV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/Volp17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/Volp17
Marcus Völp:
Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion). Security Protocols Workshop 2017: 238-246
2016
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/AsmussenVNHF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/AsmussenVNHF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LimaRVV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LimaRVV16
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]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/TrommerHBMWRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/TrommerHBMWRV16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/VolpLDRRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/VolpLDRRE16
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
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FultonMQVP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FultonMQVP15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/VolpAHNF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/VolpAHNF15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/UngethumHKLAVNF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/UngethumHKLAVNF15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/AsmussenVNU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/AsmussenVNU15
Nils Asmussen, Marcus Völp, Benedikt Nöthen, Annett Ungethüm:
Demo abstract: Taming many heterogeneous cores. RTAS 2015: 329
2014
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RichterVSHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RichterVSHV14
Andreas Richter, Andreas Voigt, René Schüffny, Stephan Henker, Marcus Völp:
Integrated circuits processing chemical information: Prospects and challenges. DATE 2014: 1
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/VolpHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/VolpHL14
Marcus Völp, Marcus Hähnel, Adam Lackorzynski:
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. RTAS 2014: 275-284
2013
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/HahnelVDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/HahnelVDH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/HahnelDVH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/HahnelDVH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/VolpR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/VolpR13
Marcus Völp, Michael Roitzsch:
Elastic Manycores - How to Bring the OS Back into the Scheduling Game? Euro-Par Workshops 2013: 749-758
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BaierEKMTV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BaierEKMTV13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/VolpEHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/VolpEHH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/HartigVH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/HartigVH13
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/LackorzynskiWVH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/LackorzynskiWVH12
Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig:
Flattening hierarchical scheduling. EMSOFT 2012: 93-102
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BaierDEHKKMTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BaierDEHKKMTV12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/haw/VolpAH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haw/VolpAH12
Marcus Völp, Nils Asmussen, Hermann Härtig:
The IMData Approach to Accelerate Data Intensive Workloads. Facing the Multicore-Challenge 2012: 141-142
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6190
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6190
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6196
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
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Volp08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Volp08
Marcus Völp:
Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ARES 2008: 268-275
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/VolpHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/VolpHH08
Marcus Völp, Claude-Joachim Hamann, Hermann Härtig:
Avoiding timing channels in fixed-priority schedulers. AsiaCCS 2008: 44-55
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TewsWV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TewsWV08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/LiedtkeVE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/LiedtkeVE00
Jochen Liedtke, Marcus Völp, Kevin Elphinstone:
Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2020
[e1]
- view
- export record
  dblp key:
  - conf/ecrts/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/2020
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-01783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-01783
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
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-11017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-11017
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-08361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-08361
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-14947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-14947
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
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12620
Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo:
EphemeriShield - defence against cyber-antisatellite weapons. CoRR abs/2101.12620 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-05878
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-05878
Rafal Graczyk, Paulo Esteves Veríssimo, Marcus Völp:
Sanctuary lost: a cyber-physical warfare in space. CoRR abs/2110.05878 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-03322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-03322
Swen Jacobs, Mouhammad Sakr, Marcus Völp:
Parameterized Repair of Concurrent Systems. CoRR abs/2111.03322 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-04096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-04096
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-04519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-04519
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)

Coauthor Index

see FAQ

a service of

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.