| 2026 | CAV | TACO: A Toolsuite for the Verification of Threshold Automata. | Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Vlp, Swen Jacobs |
| 2025 | DSN | Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems. | Qiang Wen, Jlio Mendona, Fumio Machida, Marcus Vlp |
| 2025 | DSN | Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination. | Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jrmie Decouchant, Marcus Vlp |
| 2024 | FM | Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. | Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2024 | INFOCOM | Tolerating Disasters with Hierarchical Consensus. | Wassim Yahyaoui, Joachim Bruneau-Queyreix, Marcus Vlp, Jrmie Decouchant |
| 2024 | IECON | Enhancing RSS to be Fault Tolerant During Overtaking Maneuvers. | Jos Luis Conradi Hoffmann, Antnio Augusto Frhlich, Marcus Vlp |
| 2024 | ISORC | On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring. | Leonardo Passig Horstmann, Antnio Augusto Frhlich, Marcus Vlp |
| 2024 | VTC | Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers. | Jlio Mendona, Azin Bayrami Asl, Federico Lucchetti, Marcus Vlp |
| 2023 | DSN | Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. | Jlio Mendona, Fumio Machida, Marcus Vlp |
| 2023 | DSN | The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. | Ali Shoker, Paulo Esteves Verssimo, Marcus Vlp |
| 2023 | ECRTS | Consensual Resilient Control: Stateless Recovery of Stateful Controllers. | Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, Marcus Vlp |
| 2023 | PRDC | A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. | Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Vlp |
| 2022 | FMCAD | Automatic Repair and Deadlock Detection for Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2022 | Middleware | Secure and distributed assessment of privacy-preserving GWAS releases. | Tlio A. Pascoal, Jrmie Decouchant, Marcus Vlp |
| 2022 | PRDC | Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. | Jlio Mendona, Minjune Kim, Rafal Graczyk, Marcus Vlp, Dan Dongseong Kim |
| 2021 | SRDS | Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. | Douglas Simes Silva, Rafal Graczyk, Jrmie Decouchant, Marcus Vlp, Paulo Esteves Verssimo |
| 2019 | ECRTS | Sustainable Security & Safety: Challenges and Opportunities. | Andrew Paverd, Marcus Vlp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Verssimo, Andreas Steininger, Thorsten Holz |
| 2018 | ECRTS | Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems. | Kristin Krger, Marcus Vlp, Gerhard Fohler |
| 2018 | ESOP | Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. | Vincent Rahli, Ivana Vukotic, Marcus Vlp, Paulo Jorge Esteves Verssimo |
| 2018 | ISORC | Intrusion-Tolerant Autonomous Driving. | Marcus Vlp, Paulo Jorge Esteves Verssimo |
| 2018 | RTCSA | Improving Security for Time-Triggered Real-Time Systems with Task Replication. | Kristin Krger, Gerhard Fohler, Marcus Vlp, Paulo Jorge Esteves Verssimo |
| 2018 | SRDS | Towards Real-Time-Aware Intrusion Tolerance. | Christoph Lambert, Marcus Vlp, Jeremie Decouchant, Paulo Jorge Esteves Verssimo |
| 2017 | CPP | Formally verified differential dynamic logic. | Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Vlp, Andr Platzer |
| 2017 | DATE | Exploiting transistor-level reconfiguration to optimize combinational circuits. | Michael Raitza, Akash Kumar, Marcus Vlp, Dennis Walter, Jens Trommer, Thomas Mikolajick, Walter M. Weber |
| 2017 | PRDC | Meeting the Challenges of Critical and Extreme Dependability and Security. | Paulo Jorge Esteves Verssimo, Marcus Vlp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha |
| 2017 | SOSP | Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. | Marcus Vlp, Jrmie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Verssimo |
| 2016 | ASPLOS | M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. | Nils Asmussen, Marcus Vlp, Benedikt Nthen, Hermann Hrtig, Gerhard P. Fettweis |
| 2016 | CCS | Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. | Antonio Lima, Francisco Rocha, Marcus Vlp, Paulo Jorge Esteves Verssimo |
| 2016 | DATE | 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 Vlp |
| 2016 | Middleware | Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. | Marcus Vlp, Adam Lackorzynski, Jrmie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Verssimo |
| 2015 | CADE | KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. | Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Vlp, Andr Platzer |
| 2015 | ETFA | Towards dependable CPS infrastructures: Architectural and operating-system challenges. | Marcus Vlp, Nils Asmussen, Hermann Hrtig, Benedikt Noethen, Gerhard P. Fettweis |
| 2015 | ICDE | Query processing on low-energy many-core processors. | Annett Ungethm, Dirk Habich, Tomas Karnagel, Wolfgang Lehner, Nils Asmussen, Marcus Vlp, Benedikt Noethen, Gerhard P. Fettweis |
| 2015 | RTAS | Demo abstract: Taming many heterogeneous cores. | Nils Asmussen, Marcus Vlp, Benedikt Nthen, Annett Ungethm |
| 2014 | DATE | Integrated circuits processing chemical information: Prospects and challenges. | Andreas Richter, Andreas Voigt, Ren Schffny, Stephan Henker, Marcus Vlp |
| 2014 | RTAS | Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. | Marcus Vlp, Marcus Hhnel, Adam Lackorzynski |
| 2013 | AINA | The Potential of Energy/Utility-Accrual Scheduling. | Marcus Hhnel, Marcus Vlp, Bjrn Dbel, Hermann Hrtig |
| 2013 | EuroPar | Elastic Manycores - How to Bring the OS Back into the Scheduling Game? | Marcus Vlp, Michael Roitzsch |
| 2013 | RTAS | On confidentiality-preserving real-time locking protocols. | Marcus Vlp, Benjamin Engel, Claude-Joachim Hamann, Hermann Hrtig |
| 2013 | RTCSA | The case for practical multi-resource and multi-level scheduling based on Energy/Utility. | Hermann Hrtig, Marcus Vlp, Marcus Hhnel |
| 2012 | EMSOFT | Flattening hierarchical scheduling. | Adam Lackorzynski, Alexander Warg, Marcus Vlp, Hermann Hrtig |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2008 | CCS | Avoiding timing channels in fixed-priority schedulers. | Marcus Vlp, Claude-Joachim Hamann, Hermann Hrtig |