Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Marcus Völp
Map detail
Marcus Völp7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarcus VölpAMarcus VölpResearcherBehind the Last Line of Defense -- Surviving SoC Faults and IntrusionsWBehind the Last Line of...preprint / 2020On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level CodeWOn the Use of Underspec...preprint / 2012Automatic Repair and Deadlock Detection for Parameterized SystemsWAutomatic Repair and De...preprint / 2022PriLok: Citizen-protecting distributed epidemic tracingWPriLok: Citizen-protect...preprint / 2020Federated Geometric Monte Carlo Clustering to Counter Non-IID DatasetsWFederated Geometric Mon...preprint / 2022Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeWChiefly Symmetric: Resu...preprint / 2012
Person6 links

Marcus Völp

Researcher