Preliminary thoughts on memory-bus scheduling. - Jochen Liedtke; Marcus Völp; Kevin Elphinstone (ACM SIGOPS European Workshop, 2000)

Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. - Marcus Völp (ARES, 2008)

Avoiding timing channels in fixed-priority schedulers. - Marcus Völp; Claude-Joachim Hamann; Hermann Härtig (AsiaCCS, 2008)

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. - Hendrik Tews; Tjark Weber; Marcus Völp (SSV, 2008)

Formal Memory Models for the Verification of Low-Level Operating-System Code. - Hendrik Tews; Marcus Völp; Tjark Weber (J. Autom. Reason., 2009)

Provable protection of confidential data in microkernel based systems. - Marcus Rolf Völp (2010)

Flattening hierarchical scheduling. - Adam Lackorzynski; Alexander Warg; Marcus Völp; Hermann Härtig (EMSOFT, 2012)

Waiting for Locks: How Long Does It Usually Take? - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (FMICS, 2012)

The IMData Approach to Accelerate Data Intensive Workloads. - Marcus Völp; Nils Asmussen; Hermann Härtig (Facing the Multicore-Challenge, 2012)

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code - Hendrik Tews; Marcus Völp; Tjark Weber (SSV, 2012)

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (SSV, 2012)

Measuring energy consumption for short code paths using RAPL. - Marcus Hähnel; Björn Döbel; Marcus Völp; Hermann Härtig (SIGMETRICS Perform. Evaluation Rev., 2012)

The Potential of Energy/Utility-Accrual Scheduling. - Marcus Hähnel; Marcus Völp; Björn Döbel; Hermann Härtig (AINA Workshops, 2013)

eBond: energy saving in heterogeneous R.A.I.N. - Marcus Hähnel; Björn Döbel; Marcus Völp; Hermann Härtig (e-Energy, 2013)

Elastic Manycores - How to Bring the OS Back into the Scheduling Game? - Marcus Völp; Michael Roitzsch (Euro-Par Workshops, 2013)

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. - Christel Baier; Benjamin Engel; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (NASA Formal Methods, 2013)

On confidentiality-preserving real-time locking protocols. - Marcus Völp; Benjamin Engel; Claude-Joachim Hamann; Hermann Härtig (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

The case for practical multi-resource and multi-level scheduling based on Energy/Utility. - Hermann Härtig; Marcus Völp; Marcus Hähnel (RTCSA, 2013)

Integrated circuits processing chemical information: Prospects and challenges. - Andreas Richter 002; Andreas Voigt; René Schüffny; Stephan Henker; Marcus Völp (DATE, 2014)

Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. - Marcus Völp; Marcus Hähnel; Adam Lackorzynski (RTAS, 2014)

Towards Computation with Microchemomechanical Systems. - Andreas Voigt; Rinaldo Greiner; Merle Allerdißen; Andreas Richter 002; Stephan Henker; Marcus Völp (Int. J. Found. Comput. Sci., 2014)

Flat but trustworthy: security aspects in flattened hierarchical scheduling. - Adam Lackorzynski; Marcus Völp; Alexander Warg (SIGBED Rev., 2014)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Jan-David Quesel; Marcus Völp; André Platzer (CADE, 2015)

Towards dependable CPS infrastructures: Architectural and operating-system challenges. - Marcus Völp; Nils Asmussen; Hermann Härtig; Benedikt Noethen; Gerhard P. Fettweis (ETFA, 2015)

Query processing on low-energy many-core processors. - Annett Ungethüm; Dirk Habich; Tomas Karnagel; Wolfgang Lehner; Nils Asmussen; Marcus Völp; Benedikt Noethen; Gerhard P. Fettweis (ICDE Workshops, 2015)

Demo abstract: Taming many heterogeneous cores. - Nils Asmussen; Marcus Völp; Benedikt Nöthen; Annett Ungethüm (RTAS, 2015)

Locks: Picking key methods for a scalable quantitative analysis. - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (J. Comput. Syst. Sci., 2015)

M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. - Nils Asmussen; Marcus Völp; Benedikt Nöthen; Hermann Härtig; Gerhard P. Fettweis (ASPLOS, 2016)

Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. - Antonio Lima; Francisco Rocha; Marcus Völp; Paulo Jorge Esteves Veríssimo (CPS-SPC@CCS, 2016)

Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits. - Jens Trommer; Andre Heinzig; Tim Baldauf; Thomas Mikolajick; Walter M. Weber; Michael Raitza; Marcus Völp (DATE, 2016)

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. - Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo (SysTEX@Middleware, 2016)

Formally verified differential dynamic logic. - Rose Bohrer; Vincent Rahli; Ivana Vukotic; Marcus Völp; André Platzer (CPP, 2017)

Exploiting transistor-level reconfiguration to optimize combinational circuits. - Michael Raitza; Akash Kumar 001; Marcus Völp; Dennis Walter; Jens Trommer; Thomas Mikolajick; Walter M. Weber (DATE, 2017)

Meeting the Challenges of Critical and Extreme Dependability and Security. - Paulo Jorge Esteves Veríssimo; Marcus Völp; Jeremie Decouchant; Vincent Rahli; Francisco Rocha (PRDC, 2017)

A Perspective of Security for Mobile Service Robots. - Gary Cornelius; Patrice Caire; Nico Hochgeschwender; Miguel A. Olivares-Méndez; Paulo Jorge Esteves Veríssimo; Marcus Völp; Holger Voos (ROBOT (1), 2017)

Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. - Marcus Völp; Jérémie Decouchant; Christoph Lambert; Maria Fernandes; Paulo Jorge Esteves Veríssimo (SysTEX@SOSP, 2017)

Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion). - Marcus Völp (Security Protocols Workshop, 2017)

Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. - Marcus Völp; Francisco Rocha; Jeremie Decouchant; Jiangshan Yu; Paulo Jorge Esteves Veríssimo (Security Protocols Workshop, 2017)

Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems. - Kristin Krüger; Marcus Völp; Gerhard Fohler (ECRTS, 2018)

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. - Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo (ESOP, 2018)

Intrusion-Tolerant Autonomous Driving. - Marcus Völp; Paulo Jorge Esteves Veríssimo (ISORC, 2018)

Improving Security for Time-Triggered Real-Time Systems with Task Replication. - Kristin Krüger; Gerhard Fohler; Marcus Völp; Paulo Jorge Esteves Veríssimo (RTCSA, 2018)

Towards Real-Time-Aware Intrusion Tolerance. - Christoph Lambert; Marcus Völp; Jeremie Decouchant; Paulo Jorge Esteves Veríssimo (SRDS, 2018)

Accurate filtering of privacy-sensitive information in raw genomic data. - Jérémie Decouchant; Maria Fernandes; Marcus Völp; Francisco M. Couto; Paulo Jorge Esteves Veríssimo (J. Biomed. Informatics, 2018)

A Hardware/Software Stack for Heterogeneous Systems. - 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; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Sustainable Security & Safety: Challenges and Opportunities. - Andrew Paverd; Marcus Völp; Ferdinand Brasser; Matthias Schunter; N. Asokan; Ahmad-Reza Sadeghi; Paulo Jorge Esteves Veríssimo; Andreas Steininger; Thorsten Holz (CERTS, 2019)

PriLok: Citizen-protecting distributed epidemic tracing. - Paulo Jorge Esteves Veríssimo; Jérémie Decouchant; Marcus Völp; Alireza Esfahani; Rafal Graczyk (CoRR, 2020)

DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. - Maria Fernandes; Jérémie Decouchant; Marcus Völp; Francisco M. Couto; Paulo Jorge Esteves Veríssimo (IEEE J. Biomed. Health Informatics, 2020)

Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. - Douglas Simões Silva; Rafal Graczyk; Jérémie Decouchant; Marcus Völp; Paulo Esteves Veríssimo (SRDS, 2021)

EphemeriShield - defence against cyber-antisatellite weapons. - Rafal Graczyk; Marcus Völp; Paulo Jorge Esteves Veríssimo (CoRR, 2021)

Sanctuary lost: a cyber-physical warfare in space. - Rafal Graczyk; Paulo Esteves Veríssimo; Marcus Völp (CoRR, 2021)

Parameterized Repair of Concurrent Systems. - Swen Jacobs; Mouhammad Sakr; Marcus Völp (CoRR, 2021)

Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication. - Kristin Krüger; Nils Vreman; Richard Pates; Martina Maggio; Marcus Völp; Gerhard Fohler (Leibniz Trans. Embed. Syst., 2021)

From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. - 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; et al. (Petri Nets, 2022)

Automatic Repair and Deadlock Detection for Parameterized Systems. - Swen Jacobs; Mouhammad Sakr; Marcus Völp (FMCAD, 2022)

Secure and distributed assessment of privacy-preserving GWAS releases. - Túlio A. Pascoal; Jérémie Decouchant; Marcus Völp (Middleware, 2022)

Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. - Júlio Mendonça 001; Minjune Kim; Rafal Graczyk; Marcus Völp; Dan Dongseong Kim (PRDC, 2022)

Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture. - Mohammad Ibrahim Alkoudsi; Gerhard Fohler; Marcus Völp (SBESC, 2022)

Behind the last line of defense: Surviving SoC faults and intrusions. - Inês Pinto Gouveia; Marcus Völp; Paulo Esteves Veríssimo (Comput. Secur., 2022)

Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets. - Federico Lucchetti; Jérémie Decouchant; Maria Fernandes; Lydia Y. Chen; Marcus Völp (CoRR, 2022)

Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS. - Túlio A. Pascoal; Jérémie Decouchant; Marcus Völp (CoRR, 2022)

Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. - Júlio Mendonça 001; Fumio Machida; Marcus Völp (DSN-W, 2023)

The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. - Ali Shoker; Paulo Esteves Veríssimo; Marcus Völp (DSN-S, 2023)

Consensual Resilient Control: Stateless Recovery of Stateful Controllers. - Aleksandar Matovic; Rafal Graczyk; Federico Lucchetti; Marcus Völp (ECRTS, 2023)

A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. - Mohammad Ibrahim Alkoudsi; Gerhard Fohler; Marcus Völp (PRDC, 2023)

Toward resilient autonomous driving - An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. - Federico Lucchetti; Rafal Graczyk; Marcus Völp (Frontiers Comput. Sci., 2023)

I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. - Túlio A. Pascoal; Jérémie Decouchant; Antoine Boutet; Marcus Völp (Proc. Priv. Enhancing Technol., 2023)

Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems. - Qiang Wen; Júlio Mendonça 001; Fumio Machida; Marcus Völp (AISafety@IJCAI, 2024)

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. - Tom Baumeister; Paul Eichler; Swen Jacobs; Mouhammad Sakr; Marcus Völp (FM (1), 2024)

Enhancing RSS to be Fault Tolerant During Overtaking Maneuvers. - José Luis Conradi Hoffmann; Antônio Augusto Fröhlich; Marcus Völp (IECON, 2024)

Tolerating Disasters with Hierarchical Consensus. - Wassim Yahyaoui; Joachim Bruneau-Queyreix; Marcus Völp; Jérémie Decouchant (INFOCOM, 2024)

On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring. - Leonardo Passig Horstmann; Antônio Augusto Fröhlich; Marcus Völp (ISORC, 2024)

Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. - José Luis Conradi Hoffmann; Antônio Augusto Fröhlich; Marcus Völp; Paolo Milazzo (LADC, 2024)

Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers. - Júlio Mendonça 001; Azin Bayrami Asl; Federico Lucchetti; Marcus Völp (VTC Spring, 2024)

Efficient On-Chip Replication. - Inês Pinto Gouveia; Rafal Graczyk; Marcus Völp; Paulo Esteves Veríssimo (IEEE Access, 2024)

SI-AKAV: Secure integrated authentication and key agreement for cellular-connected IoT devices in vehicular social networks. - Alireza Esfahani; Jérémie Decouchant; Marcus Völp; Shahid Mumtaz; Kostromitin Konstantin Igorevich (Trans. Emerg. Telecommun. Technol., 2024)

A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC). - Reza Akraminejad; Navid Khaledian; Amin Nazari; Marcus Völp (Computing, 2024)

AI-based & heuristic workflow scheduling in cloud and fog computing: a systematic review. - Navid Khaledian; Marcus Völp; Sadoon Azizi; Mirsaeid Hosseini Shirvani (Clust. Comput., 2024)

Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems. - Qiang Wen; Júlio Mendonça 001; Fumio Machida; Marcus Völp (DSN, 2025)

Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination. - Wassim Yahyaoui; Joachim Bruneau-Queyreix; Jérémie Decouchant; Marcus Völp (DSN, 2025)

Hybrid Markov chain-based dynamic scheduling to improve load balancing performance in fog-cloud environment. - Navid Khaledian; Shiva Razzaghzadeh; Zeynab Haghbayan; Marcus Völp (Sustain. Comput. Informatics Syst., 2025)