| 2026 | EuroSys | OptiLog: Assigning Roles in Byzantine Consensus. | Hanish Gogada, Christian Berger, Leander Jehl, Hans P. Reiser, Hein Meling |
| 2026 | FORTE | Formal Modeling of Beefy, a Protocol for Supporting Light Clients. | Daniel O. Dirdal, Leander Jehl, Bhargav Nagaraj Bhatt, Hein Meling, Nejm Saadallah |
| 2024 | DSN | Iniva: Inclusive and Incentive-Compatible Vote Aggregation. | Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling |
| 2024 | SIGMOD | Reproducibility Report for ACM SIGMOD 2024 Paper: 'Fast Maximal Quasi-clique Enumeration: A Pruning and Branching Co-Design Approach'. | Hein Meling, Yue Gong, Kaiqiang Yu, Cheng Long |
| 2024 | SIGMOD | Reproducibility Report for ACM SIGMOD 2024 Paper: 'PreVision: An Out-of-Core Matrix Computation System with Optimal Buffer Replacement'. | Niccol Meneghetti, Hein Meling, Kyoseung Koo, Yoojin Choi |
| 2023 | SAC | An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. | Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl |
| 2023 | SAC | Cost-effective Data Upkeep in Decentralized Storage Systems. | Racin Nygaard, Hein Meling, John Ingve Olsen |
| 2022 | DAIS | Rebop: Reputation-Based Incentives in Committee-Based Blockchains. | Arian Baloochestani, Leander Jehl, Hein Meling |
| 2022 | OPODIS | A Privacy-Preserving and Transparent Certification System for Digital Credentials. | Rodrigo Q. Saramago, Hein Meling, Leander Jehl |
| 2021 | Middleware | Snarl: entangled merkle trees for improved file availability and storage utilization. | Racin Nygaard, Vero Estrada-Galianes, Hein Meling |
| 2019 | SAC | Distributed storage system based on permissioned blockchain. | Racin Nygaard, Hein Meling, Leander Jehl |
| 2018 | PODC | An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. | Sebastian Pedersen, Hein Meling, Leander Jehl |
| 2017 | CP | Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
| 2017 | ICDCS | Towards New Abstractions for Implementing Quorum-Based Systems. | Tormod Erevik Lea, Leander Jehl, Hein Meling |
| 2016 | IJCAI | Generating Tests for Robotized Painting Using Constraint Programming. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2016 | OPODIS | The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. | Leander Jehl, Hein Meling |
| 2015 | SRDS | Replacement: Decentralized Failure Handling for Replicated State Machines. | Leander Jehl, Tormod Erevik Lea, Hein Meling |
| 2014 | CP | Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2014 | DAIS | A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures. | Abdulrahman Azab, Hein Meling, Reggie Davidrajuh |
| 2014 | ICDCN | Asynchronous Reconfiguration for Paxos State Machines. | Leander Jehl, Hein Meling |
| 2014 | OPODIS | BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. | Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang |
| 2014 | SRDS | ByzID: Byzantine Fault Tolerance from Intrusion Detection. | Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang |
| 2013 | ICST | Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. | Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2013 | OPODIS | Tutorial Summary: Paxos Explained from Scratch. | Hein Meling, Leander Jehl |
| 2013 | SAC | Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. | Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Andrea Bondavalli, Roman Vitenberg, Hein Meling |
| 2012 | DAIS | Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. | Abdulrahman Azab, Hein Meling |
| 2012 | DAIS | Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance. | Narasimha Raghavan Veeraragavan, Roman Vitenberg, Hein Meling |
| 2012 | ICDCS | When You Don't Trust Clients: Byzantine Proposer Fast Paxos. | Hein Meling, Keith Marzullo, Alessandro Mei |
| 2012 | SRDS | Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure. | Tiancheng Chang, Hein Meling |
| 2009 | CloudCom | Decentralized Service Allocation in a Broker Overlay Based Grid. | Abdulrahman Azab, Hein Meling |
| 2009 | DAIS | Foraging for Better Deployment of Replicated Service Components. | Mt J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann |
| 2008 | ATC | Annotation Markers for Runtime Replication Protocol Selection. | Hein Meling |
| 2008 | EDCC | A Distributed Approach to Autonomous Fault Treatment in Spread. | Hein Meling, Joakim L. Gilje |
| 2007 | AINA | Towards Integrated Services for Health Monitoring. | Chunming Rong, Hein Meling, Dagfinn Waage |
| 2007 | ATC | An Architecture for Self-healing Autonomous Object Groups. | Hein Meling |
| 2005 | EDCC | An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. | Bjarne E. Helvik, Hein Meling, Alberto Montresor |
| 2004 | IPCCC | Performance consequences of inconsistent client-side membership information in the open group model. | Hein Meling, Bjarne E. Helvik |
| 2002 | COMPSAC | Towards Upgrading Actively Replicated Servers On-the-Fly. | Marcin Solarski, Hein Meling |
| 2002 | ICDCS | Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. | zalp Babaoglu, Hein Meling, Alberto Montresor |
| 2002 | Networking | Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems. | Alberto Montresor, Hein Meling, zalp Babaoglu |