Hein Meling

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 26

Top Venues

Norwegian University of Science and Technology, Trondheim, Norway (PHD)

Education History

Norwegian University of Science and Technology, Trondheim, Norway

PHD

Publications

Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling
Iniva: Inclusive and Incentive-compatible Vote Aggregation. CoRR (2024)
Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl
An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. SAC (2023)
Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen
An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. ApPLIED@PODC (2023)
Racin Nygaard, Hein Meling, John Ingve Olsen
Cost-effective Data Upkeep in Decentralized Storage Systems. SAC (2023)
Racin Nygaard, Hein Meling
SNIPS: Succinct Proof of Storage for Efficient Data Synchronization in Decentralized Storage Systems. CoRR (2023)
Arian Baloochestani, Leander Jehl, Hein Meling
Rebop: Reputation-Based Incentives in Committee-Based Blockchains. DAIS (2022)
Rodrigo Q. Saramago, Hein Meling, Leander Jehl
A Privacy-Preserving and Transparent Certification System for Digital Credentials. OPODIS (2022)
Racin Nygaard, Vero Estrada-Galiñanes, Hein Meling
Snarl: entangled merkle trees for improved file availability and storage utilization. Middleware (2021)
Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. DAPPS (2021)
Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. CoRR (2021)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104 (2019)
Racin Nygaard, Hein Meling, Leander Jehl
Distributed storage system based on permissioned blockchain. SAC (2019)
Vero Estrada-Galiñanes, Racin Nygaard, Viktor Trón, Rodrigo Q. Saramago, Leander Jehl, Hein Meling
[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy. CoRR (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR (2019)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Sebastian Pedersen, Hein Meling, Leander Jehl
An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. ApPLIED@PODC (2018)
Abdulrahman Azab, Hein Meling, Eivind Hovig, Antti Pursula
Filesystem Front-end for Seamless Job Management in Sensitive Data e-Infrastructures and Cloud Federation. IEEE BigData (2018)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Deploying Constraint Programming for Testing ABB's Painting Robots. AI Mag. 38 (2) (2017)
Tormod Erevik Lea, Leander Jehl, Hein Meling
Towards New Abstractions for Implementing Quorum-Based Systems. ICDCS (2017)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets (2017)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP (2017)
James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, Keith Marzullo
Local Recovery for High Availability in Strongly Consistent Cloud Services. IEEE Trans. Dependable Secur. Comput. 14 (2) (2017)
Leander Jehl, Hein Meling
The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. OPODIS (2016)
Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, Andrea Bondavalli
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. IEEE Trans. Parallel Distributed Syst. 27 (9) (2016)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Generating Tests for Robotized Painting Using Constraint Programming. IJCAI (2016)
Leander Jehl, Roman Vitenberg, Hein Meling
SmartMerge: A New Approach to Reconfiguration for Atomic Storage. DISC (2015)
Leander Jehl, Tormod Erevik Lea, Hein Meling
Replacement: Decentralized Failure Handling for Replicated State Machines. SRDS (2015)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Testing robot controllers using constraint programming and continuous integration. Inf. Softw. Technol. 57 (2015)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. CP (2014)
Leander Jehl, Hein Meling
Asynchronous Reconfiguration for Paxos State Machines. ICDCN (2014)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ICTSS (2014)
Tiancheng Chang, Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang
P2S: a fault-tolerant publish/subscribe infrastructure. DEBS (2014)
Abdulrahman Azab, Hein Meling, Reggie Davidrajuh
A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures. DAIS (2014)
Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang
BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. OPODIS (2014)
Leander Jehl, Tormod Erevik Lea, Hein Meling
Replacement - Handling Failures in a Replicated State Machine. DISC (2014)
Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang
ByzID: Byzantine Fault Tolerance from Intrusion Detection. SRDS (2014)
Narasimha Raghavan Veeraragavan, Hein Meling, Roman Vitenberg
QoE estimation models for tele-immersive applications. EUROCON (2013)
Hein Meling, Leander Jehl
Tutorial Summary: Paxos Explained from Scratch. OPODIS (2013)
Morten Mossige, Arnaud Gotlieb, Hein Meling
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. ICST (2013)
Abdulrahman Azab, Hein Meling
Building Composite Grid Tasks Using STROLL File-System. ICITCS (2013)
Leander Jehl, Hein Meling
Towards Fast and Efficient Failure Handling for Paxos State Machines. ICDCS Workshops (2013)
Leander Jehl, Hein Meling
Towards Byzantine fault tolerant publish/subscribe: a state machine approach. HotDep (2013)
Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Andrea Bondavalli, Roman Vitenberg, Hein Meling
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. SAC (2013)
Abdulrahman Azab, Hein Meling
Slick: A Coordinated Job Allocation Technique for Inter-Grid Architectures. EMS (2013)
Abdulrahman Azab, Hein Meling
Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. DAIS (2012)
Tiancheng Chang, Hein Meling
Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure. SRDS (2012)
Narasimha Raghavan Veeraragavan, Roman Vitenberg, Hein Meling
Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance. DAIS (2012)
Pål Evensen, Hein Meling
AdScorer: an event-based system for near real-time impact analysis of television advertisements (industry article). DEBS (2012)
Hein Meling, Keith Marzullo, Alessandro Mei
When You Don't Trust Clients: Byzantine Proposer Fast Paxos. ICDCS (2012)
Keith Marzullo, Hein Meling, Alessandro Mei
Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. DISC (2011)
Pål Evensen, Hein Meling
A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. DEBS (2011)
Máté J. Csorba, Hein Meling, Poul E. Heegaard
A Bio-inspired Method for Distributed Deployment of Services. New Gener. Comput. 29 (2) (2011)
Máté J. Csorba, Hein Meling, Poul E. Heegaard
Ant system for service deployment in private and public clouds. BADS@ICAC (2010)
Abdulrahman Azab, Hein Meling
A Virtual File System Interface for Computational Grids. EUNICE (2010)
Hein Meling, Alberto Montresor
Type-safe dynamic protocol composition in Jgroup/ARM. MAI@DisCoTec (2009)
Abdulrahman Azab, Hein Meling
Decentralized Service Allocation in a Broker Overlay Based Grid. CloudCom (2009)
Máté J. Csorba, Hein Meling, Poul E. Heegaard
Laying Pheromone Trails for Balanced and Dependable Component Mappings. IWSOS (2009)
Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann
Foraging for Better Deployment of Replicated Service Components. DAIS (2009)
Pål Evensen, Hein Meling
Sensor virtualization with self-configuration and flexible interactions. CASEMANS@Pervasive (2009)
Hein Meling, Alberto Montresor, Bjarne E. Helvik, Özalp Babaoglu
Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw. Pract. Exp. 38 (9) (2008)
Hein Meling
Annotation Markers for Runtime Replication Protocol Selection. ATC (2008)
Hein Meling, Joakim L. Gilje
A Distributed Approach to Autonomous Fault Treatment in Spread. EDCC (2008)
Chunming Rong, Hein Meling, Dagfinn Waage
Towards Integrated Services for Health Monitoring. AINA Workshops (2) (2007)
Hein Meling
An Architecture for Self-healing Autonomous Object Groups. ATC (2007)
Hein Meling
A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System. IPDPS (2007)
Bjarne E. Helvik, Hein Meling, Alberto Montresor
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. EDCC (2005)
Hein Meling, Bjarne E. Helvik
Performance consequences of inconsistent client-side membership information in the open group model. IPCCC (2004)
Alberto Montresor, Hein Meling, Özalp Babaoglu
Toward Self-organizing, Self-repairing and Resilient Distributed Systems. Future Directions in Distributed Computing (2003)
Özalp Babaoglu, Hein Meling, Alberto Montresor
Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. ICDCS (2002)
Marcin Solarski, Hein Meling
Towards Upgrading Actively Replicated Servers On-the-Fly. COMPSAC (2002)
Alberto Montresor, Hein Meling, Özalp Babaoglu
Messor: Load-Balancing through a Swarm of Autonomous Agents. AP2PC (2002)
Alberto Montresor, Hein Meling, Özalp Babaoglu
Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems. NETWORKING Workshops (2002)
Finn Arve Aagesen, Bjarne E. Helvik, Vilas Wuwongse, Hein Meling, Rolv Bræk, Ulrik Johansen
Towards a Plug and Play Architecture for Telecommunications. SMARTNET (1999)

Hein Meling.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hein Meling