Marcus Völp - RankMe

90 papers A* 2A 12B 11C 8Misc 1Journal 31Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Online machine learning for proactive threat intelligence and timely DDoS attack prediction. J. Cloud Comput. Rrezearta Thaqi, Gabriele Lenzini, Marcus Völp, Blerim Rexha
2025	J	`jnl`	Automatic WSTS-based repair and deadlock detection of parameterized systems. Formal Methods Syst. Des. Tom Baumeister, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2025	J	`jnl`	Defending Event-Triggered Systems against Out-of-Envelope Environments. CoRR Marcus Völp, Mohammad Ibrahim Alkoudsi, Azin Bayrami Asl, Kristin Krüger, Júlio Rodrigues de Mendonça Neto, Gerhard Fohler
2025	J	`jnl`	Hybrid Markov chain-based dynamic scheduling to improve load balancing performance in fog-cloud environment. Sustain. Comput. Informatics Syst. Navid Khaledian, Shiva Razzaghzadeh, Zeynab Haghbayan, Marcus Völp
2025	A	`conf`	Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination. DSN Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jérémie Decouchant, Marcus Völp
2025	A	`conf`	Multi-version Machine Learning and Rejuvenation for Resilient Perception in Safety-critical Systems. DSN Qiang Wen, Júlio Mendonça, Fumio Machida, Marcus Völp
2025	—	`conf`	Termination in Extended Probabilistic Threshold Automata. Principles of Formal Quantitative Analysis Mouhammad Sakr, Marcus Völp
2025	J	`jnl`	Tolerating Disasters with Hierarchical Consensus. CoRR Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jérémie Decouchant, Marcus Völp
2024	J	`jnl`	A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC). Computing Reza Akraminejad, Navid Khaledian, Amin Nazari, Marcus Völp
2024	J	`jnl`	AI-based & heuristic workflow scheduling in cloud and fog computing: a systematic review. Clust. Comput. Navid Khaledian, Marcus Völp, Sadoon Azizi, Mirsaeid Hosseini Shirvani
2024	—	`conf`	Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers. VTC Spring Júlio Mendonça, Azin Bayrami Asl, Federico Lucchetti, Marcus Völp
2024	J	`jnl`	Efficient On-Chip Replication. IEEE Access Inês Pinto Gouveia, Rafal Graczyk, Marcus Völp, Paulo Esteves Veríssimo
2024	—	`conf`	Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems. AISafety@IJCAI Qiang Wen, Júlio Mendonça, Fumio Machida, Marcus Völp
2024	C	`conf`	Enhancing RSS to be Fault Tolerant During Overtaking Maneuvers. IECON José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp
2024	C	`conf`	On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring. ISORC Leonardo Passig Horstmann, Antônio Augusto Fröhlich, Marcus Völp
2024	—	`conf`	Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. FM (1) Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024	J	`jnl`	Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. CoRR Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
2024	J	`jnl`	SI-AKAV: Secure integrated authentication and key agreement for cellular-connected IoT devices in vehicular social networks. Trans. Emerg. Telecommun. Technol. Alireza Esfahani, Jérémie Decouchant, Marcus Völp, Shahid Mumtaz, Kostromitin Konstantin Igorevich
2024	A*	`conf`	Tolerating Disasters with Hierarchical Consensus. INFOCOM Wassim Yahyaoui, Joachim Bruneau-Queyreix, Marcus Völp, Jérémie Decouchant
2024	—	`conf`	Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. LADC José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp, Paolo Milazzo
2023	C	`conf`	A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. PRDC Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp
2023	B	`conf`	Consensual Resilient Control: Stateless Recovery of Stateful Controllers. ECRTS Aleksandar Matovic, Rafal Graczyk, Federico Lucchetti, Marcus Völp
2023	—	`conf`	Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. DSN-W Júlio Mendonça, Fumio Machida, Marcus Völp
2023	J	`jnl`	I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. Proc. Priv. Enhancing Technol. Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Marcus Völp
2023	—	`conf`	The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. DSN-S Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp
2023	J	`jnl`	The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. CoRR Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp
2023	J	`jnl`	Toward resilient autonomous driving - An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers Comput. Sci. Federico Lucchetti, Rafal Graczyk, Marcus Völp
2022	B	`conf`	Automatic Repair and Deadlock Detection for Parameterized Systems. FMCAD Swen Jacobs, Mouhammad Sakr, Marcus Völp
2022	J	`jnl`	Behind the last line of defense: Surviving SoC faults and intrusions. Comput. Secur. Inês Pinto Gouveia, Marcus Völp, Paulo Esteves Veríssimo
2022	J	`jnl`	Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets. CoRR Federico Lucchetti, Jérémie Decouchant, Maria Fernandes, Lydia Y. Chen, Marcus Völp
2022	B	`conf`	From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. Petri Nets 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
2022	J	`jnl`	I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies. CoRR Túlio A. Pascoal, Jérémie Decouchant, Antoine Boutet, Marcus Völp
2022	J	`jnl`	Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS. CoRR Túlio A. Pascoal, Jérémie Decouchant, Marcus Völp
2022	A	`conf`	Secure and distributed assessment of privacy-preserving GWAS releases. Middleware Túlio A. Pascoal, Jérémie Decouchant, Marcus Völp
2022	C	`conf`	Security Modeling and Analysis of Moving Target Defense in Software Defined Networks. PRDC Júlio Mendonça, Minjune Kim, Rafal Graczyk, Marcus Völp, Dan Dongseong Kim
2022	—	`conf`	Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture. SBESC Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp
2021	J	`jnl`	EphemeriShield - defence against cyber-antisatellite weapons. CoRR Rafal Graczyk, Marcus Völp, Paulo Jorge Esteves Veríssimo
2021	J	`jnl`	Parameterized Repair of Concurrent Systems. CoRR Swen Jacobs, Mouhammad Sakr, Marcus Völp
2021	J	`jnl`	Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication. Leibniz Trans. Embed. Syst. Kristin Krüger, Nils Vreman, Richard Pates, Martina Maggio, Marcus Völp, Gerhard Fohler
2021	J	`jnl`	Sanctuary lost: a cyber-physical warfare in space. CoRR Rafal Graczyk, Paulo Esteves Veríssimo, Marcus Völp
2021	B	`conf`	Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. SRDS Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves Veríssimo
2020	B	`ed.`	32nd Euromicro Conference on Real-Time Systems, ECRTS 2020, Virtual Conference, July 7-10, 2020 ECRTS Marcus Völp
2020	J	`jnl`	Behind the Last Line of Defense - Surviving SoC Faults and Intrusions. CoRR Inês Pinto Gouveia, Marcus Völp, Paulo Jorge Esteves Veríssimo
2020	J	`jnl`	DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment. IEEE J. Biomed. Health Informatics Maria Fernandes, Jérémie Decouchant, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
2020	J	`jnl`	PriLok: Citizen-protecting distributed epidemic tracing. CoRR Paulo Jorge Esteves Veríssimo, Jérémie Decouchant, Marcus Völp, Alireza Esfahani, Rafal Graczyk
2019	—	`conf`	Sustainable Security & Safety: Challenges and Opportunities. CERTS Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Jorge Esteves Veríssimo, Andreas Steininger, Thorsten Holz
2018	J	`jnl`	A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 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
2018	J	`jnl`	Accurate filtering of privacy-sensitive information in raw genomic data. J. Biomed. Informatics Jérémie Decouchant, Maria Fernandes, Marcus Völp, Francisco M. Couto, Paulo Jorge Esteves Veríssimo
2018	B	`conf`	Improving Security for Time-Triggered Real-Time Systems with Task Replication. RTCSA Kristin Krüger, Gerhard Fohler, Marcus Völp, Paulo Jorge Esteves Veríssimo
2018	C	`conf`	Intrusion-Tolerant Autonomous Driving. ISORC Marcus Völp, Paulo Jorge Esteves Veríssimo
2018	B	`conf`	Towards Real-Time-Aware Intrusion Tolerance. SRDS Christoph Lambert, Marcus Völp, Jeremie Decouchant, Paulo Jorge Esteves Veríssimo
2018	A	`conf`	Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
2018	B	`conf`	Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems. ECRTS Kristin Krüger, Marcus Völp, Gerhard Fohler
2017	—	`conf`	A Perspective of Security for Mobile Service Robots. ROBOT (1) Gary Cornelius, Patrice Caire, Nico Hochgeschwender, Miguel A. Olivares-Méndez, Paulo Jorge Esteves Veríssimo, Marcus Völp, Holger Voos
2017	—	`conf`	Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures. SysTEX@SOSP Marcus Völp, Jérémie Decouchant, Christoph Lambert, Maria Fernandes, Paulo Jorge Esteves Veríssimo
2017	A	`conf`	Exploiting transistor-level reconfiguration to optimize combinational circuits. DATE Michael Raitza, Akash Kumar, Marcus Völp, Dennis Walter, Jens Trommer, Thomas Mikolajick, Walter M. Weber
2017	B	`conf`	Formally verified differential dynamic logic. CPP Rose Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer
2017	C	`conf`	Meeting the Challenges of Critical and Extreme Dependability and Security. PRDC Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha
2017	—	`conf`	Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion). Security Protocols Workshop Marcus Völp
2017	—	`conf`	Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come. Security Protocols Workshop Marcus Völp, Francisco Rocha, Jeremie Decouchant, Jiangshan Yu, Paulo Jorge Esteves Veríssimo
2016	—	`conf`	Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control. SysTEX@Middleware Marcus Völp, Adam Lackorzynski, Jérémie Decouchant, Vincent Rahli, Francisco Rocha, Paulo Jorge Esteves Veríssimo
2016	A*	`conf`	M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. ASPLOS Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, Gerhard P. Fettweis
2016	A	`conf`	Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits. DATE Jens Trommer, Andre Heinzig, Tim Baldauf, Thomas Mikolajick, Walter M. Weber, Michael Raitza, Marcus Völp
2016	—	`conf`	Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems. CPS-SPC@CCS Antonio Lima, Francisco Rocha, Marcus Völp, Paulo Jorge Esteves Veríssimo
2015	A	`conf`	Demo abstract: Taming many heterogeneous cores. RTAS Nils Asmussen, Marcus Völp, Benedikt Nöthen, Annett Ungethüm
2015	A	`conf`	KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
2015	J	`jnl`	Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2015	—	`conf`	Query processing on low-energy many-core processors. ICDE Workshops Annett Ungethüm, Dirk Habich, Tomas Karnagel, Wolfgang Lehner, Nils Asmussen, Marcus Völp, Benedikt Noethen, Gerhard P. Fettweis
2015	C	`conf`	Towards dependable CPS infrastructures: Architectural and operating-system challenges. ETFA Marcus Völp, Nils Asmussen, Hermann Härtig, Benedikt Noethen, Gerhard P. Fettweis
2014	J	`jnl`	Flat but trustworthy: security aspects in flattened hierarchical scheduling. SIGBED Rev. Adam Lackorzynski, Marcus Völp, Alexander Warg
2014	A	`conf`	Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems. RTAS Marcus Völp, Marcus Hähnel, Adam Lackorzynski
2014	A	`conf`	Integrated circuits processing chemical information: Prospects and challenges. DATE Andreas Richter, Andreas Voigt, René Schüffny, Stephan Henker, Marcus Völp
2014	J	`jnl`	Towards Computation with Microchemomechanical Systems. Int. J. Found. Comput. Sci. Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter, Stephan Henker, Marcus Völp
2013	—	`conf`	A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2013	—	`conf`	Elastic Manycores - How to Bring the OS Back into the Scheduling Game? Euro-Par Workshops Marcus Völp, Michael Roitzsch
2013	A	`conf`	On confidentiality-preserving real-time locking protocols. IEEE Real-Time and Embedded Technology and Applications Symposium Marcus Völp, Benjamin Engel, Claude-Joachim Hamann, Hermann Härtig
2013	—	`conf`	The Potential of Energy/Utility-Accrual Scheduling. AINA Workshops Marcus Hähnel, Marcus Völp, Björn Döbel, Hermann Härtig
2013	B	`conf`	The case for practical multi-resource and multi-level scheduling based on Energy/Utility. RTCSA Hermann Härtig, Marcus Völp, Marcus Hähnel
2013	—	`conf`	eBond: energy saving in heterogeneous R.A.I.N. e-Energy Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
2012	—	`conf`	Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012	Misc	`conf`	Flattening hierarchical scheduling. EMSOFT Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig
2012	J	`jnl`	Measuring energy consumption for short code paths using RAPL. SIGMETRICS Perform. Evaluation Rev. Marcus Hähnel, Björn Döbel, Marcus Völp, Hermann Härtig
2012	—	`conf`	On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code SSV Hendrik Tews, Marcus Völp, Tjark Weber
2012	—	`conf`	The IMData Approach to Accelerate Data Intensive Workloads. Facing the Multicore-Challenge Marcus Völp, Nils Asmussen, Hermann Härtig
2012	C	`conf`	Waiting for Locks: How Long Does It Usually Take? FMICS Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2009	J	`jnl`	Formal Memory Models for the Verification of Low-Level Operating-System Code. J. Autom. Reason. Hendrik Tews, Marcus Völp, Tjark Weber
2008	—	`conf`	A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. SSV Hendrik Tews, Tjark Weber, Marcus Völp
2008	A	`conf`	Avoiding timing channels in fixed-priority schedulers. AsiaCCS Marcus Völp, Claude-Joachim Hamann, Hermann Härtig
2008	B	`conf`	Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ARES Marcus Völp
2000	—	`conf`	Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop Jochen Liedtke, Marcus Völp, Kevin Elphinstone