Hein Meling

According to our database, Hein Meling authored at least 72 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SNIPS: Succinct Proof of Storage for Efficient Data Synchronization in Decentralized Storage Systems.

Racin Nygaard, Hein Meling

CoRR, 2023

Cost-effective Data Upkeep in Decentralized Storage Systems.

Racin Nygaard, Hein Meling, John Ingve Olsen

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols.

Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols.

Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen

Proceedings of the 5th workshop on Advanced tools, 2023

2022

A Privacy-Preserving and Transparent Certification System for Digital Credentials.

Rodrigo Q. Saramago, Hein Meling, Leander Jehl

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

Rebop: Reputation-Based Incentives in Committee-Based Blockchains.

Arian Baloochestani, Leander Jehl, Hein Meling

Proceedings of the Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, 2022

2021

Snarl: entangled merkle trees for improved file availability and storage utilization.

Racin Nygaard, Vero Estrada-Galiñanes, Hein Meling

Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021

A Tree-based Construction for Verifiable Diplomas with Issuer Transparency.

Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2021

2019

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

J. Log. Algebraic Methods Program., 2019

[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy.

Vero Estrada-Galiñanes, Racin Nygaard, Viktor Trón, Rodrigo Q. Saramago, Leander Jehl, Hein Meling

CoRR, 2019

Time-aware Test Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Software Engineering and Software Management, 2019

Distributed storage system based on permissioned blockchain.

Racin Nygaard, Hein Meling, Leander Jehl

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Trans. Petri Nets Other Model. Concurr., 2018

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft.

Sebastian Pedersen, Hein Meling, Leander Jehl

Proceedings of the 2018 Workshop on Advanced Tools, 2018

Filesystem Front-end for Seamless Job Management in Sensitive Data e-Infrastructures and Cloud Federation.

Abdulrahman Azab, Hein Meling, Eivind Hovig, Antti Pursula

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Local Recovery for High Availability in Strongly Consistent Cloud Services.

James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, Keith Marzullo

IEEE Trans. Dependable Secur. Comput., 2017

Deploying Constraint Programming for Testing ABB's Painting Robots.

Morten Mossige, Arnaud Gotlieb, Hein Meling

AI Mag., 2017

Towards New Abstractions for Implementing Quorum-Based Systems.

Tormod Erevik Lea, Leander Jehl, Hein Meling

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2017

Application of Model-based Testing on a Quorum-based Distributed Storage.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera.

Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, Andrea Bondavalli

IEEE Trans. Parallel Distributed Syst., 2016

The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage.

Leander Jehl, Hein Meling

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Generating Tests for Robotized Painting Using Constraint Programming.

Morten Mossige, Arnaud Gotlieb, Hein Meling

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Testing robot controllers using constraint programming and continuous integration.

Morten Mossige, Arnaud Gotlieb, Hein Meling

Inf. Softw. Technol., 2015

SmartMerge: A New Approach to Reconfiguration for Atomic Storage.

Leander Jehl, Roman Vitenberg, Hein Meling

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Replacement: Decentralized Failure Handling for Replicated State Machines.

Leander Jehl, Tormod Erevik Lea, Hein Meling

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

2014

Replacement - Handling Failures in a Replicated State Machine.

Leander Jehl, Tormod Erevik Lea, Hein Meling

Proceedings of the Distributed Computing - 28th International Symposium, 2014

ByzID: Byzantine Fault Tolerance from Intrusion Detection.

Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study.

Morten Mossige, Arnaud Gotlieb, Hein Meling

Proceedings of the Testing Software and Systems, 2014

BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration.

Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang

Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014

Asynchronous Reconfiguration for Paxos State Machines.

Leander Jehl, Hein Meling

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

P2S: a fault-tolerant publish/subscribe infrastructure.

Tiancheng Chang, Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures.

Abdulrahman Azab, Hein Meling, Reggie Davidrajuh

Proceedings of the Distributed Applications and Interoperable Systems, 2014

Using CP in Automatic Test Generation for ABB Robotics' Paint Control System.

Morten Mossige, Arnaud Gotlieb, Hein Meling

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

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

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Tutorial Summary: Paxos Explained from Scratch.

Hein Meling, Leander Jehl

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment.

Morten Mossige, Arnaud Gotlieb, Hein Meling

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Building Composite Grid Tasks Using STROLL File-System.

Abdulrahman Azab, Hein Meling

Proceedings of the 2013 International Conference on IT Convergence and Security, 2013

Towards Fast and Efficient Failure Handling for Paxos State Machines.

Leander Jehl, Hein Meling

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

Towards Byzantine fault tolerant publish/subscribe: a state machine approach.

Leander Jehl, Hein Meling

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

QoE estimation models for tele-immersive applications.

Narasimha Raghavan Veeraragavan, Hein Meling, Roman Vitenberg

Proceedings of Eurocon 2013, 2013

Slick: A Coordinated Job Allocation Technique for Inter-Grid Architectures.

Abdulrahman Azab, Hein Meling

Proceedings of the Seventh UKSim/AMSS European Modelling Symposium, 2013

2012

Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure.

Tiancheng Chang, Hein Meling

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

When You Don't Trust Clients: Byzantine Proposer Fast Paxos.

Hein Meling, Keith Marzullo, Alessandro Mei

Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

AdScorer: an event-based system for near real-time impact analysis of television advertisements (industry article).

Pål Evensen, Hein Meling

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

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

Proceedings of the Distributed Applications and Interoperable Systems, 2012

Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing.

Abdulrahman Azab, Hein Meling

Proceedings of the Distributed Applications and Interoperable Systems, 2012

2011

A Bio-inspired Method for Distributed Deployment of Services.

Máté J. Csorba, Hein Meling, Poul E. Heegaard

New Gener. Comput., 2011

Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos.

Keith Marzullo, Hein Meling, Alessandro Mei

Proceedings of the Distributed Computing - 25th International Symposium, 2011

A paradigm comparison for collecting TV channel statistics from high-volume channel zap events.

Pål Evensen, Hein Meling

Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

2010

A Virtual File System Interface for Computational Grids.

Abdulrahman Azab, Hein Meling

Proceedings of the Networked Services and Applications, 2010

Ant system for service deployment in private and public clouds.

Máté J. Csorba, Hein Meling, Poul E. Heegaard

Proceedings of the 2nd Workshop on Bio-Inspired Algorithms for Distributed Systems, 2010

2009

Sensor virtualization with self-configuration and flexible interactions.

Pål Evensen, Hein Meling

Proceedings of the 3rd ACM International Workshop on Context-Awareness for Self-Managing Systems, 2009

Laying Pheromone Trails for Balanced and Dependable Component Mappings.

Máté J. Csorba, Hein Meling, Poul E. Heegaard

Proceedings of the Self-Organizing Systems, 4th IFIP TC 6 International Workshop, 2009

Type-safe dynamic protocol composition in Jgroup/ARM.

Hein Meling, Alberto Montresor

Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction, 2009

Foraging for Better Deployment of Replicated Service Components.

Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann

Proceedings of the Distributed Applications and Interoperable Systems, 2009

Decentralized Service Allocation in a Broker Overlay Based Grid.

Abdulrahman Azab, Hein Meling

Proceedings of the Cloud Computing, First International Conference, CloudCom 2009, Beijing, 2009

2008

Jgroup/ARM: a distributed object group platform with autonomous replication management.

Hein Meling, Alberto Montresor, Bjarne E. Helvik, Özalp Babaoglu

Softw. Pract. Exp., 2008

A Distributed Approach to Autonomous Fault Treatment in Spread.

Hein Meling, Joakim L. Gilje

Proceedings of the Seventh European Dependable Computing Conference, 2008

Annotation Markers for Runtime Replication Protocol Selection.

Hein Meling

Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

2007

Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation.

Hein Meling

PhD thesis, 2007

A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System.

Hein Meling

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

An Architecture for Self-healing Autonomous Object Groups.

Hein Meling

Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

Towards Integrated Services for Health Monitoring.

Chunming Rong, Hein Meling, Dagfinn Waage

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2005

An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System.

Bjarne E. Helvik, Hein Meling, Alberto Montresor

Proceedings of the Dependable Computing, 2005

2004

Performance consequences of inconsistent client-side membership information in the open group model.

Hein Meling, Bjarne E. Helvik

Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

2003

Toward Self-organizing, Self-repairing and Resilient Distributed Systems.

Alberto Montresor, Hein Meling, Özalp Babaoglu

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems.

Alberto Montresor, Hein Meling, Özalp Babaoglu

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems.

Özalp Babaoglu, Hein Meling, Alberto Montresor

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Towards Upgrading Actively Replicated Servers On-the-Fly.

Marcin Solarski, Hein Meling

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Messor: Load-Balancing through a Swarm of Autonomous Agents.

Alberto Montresor, Hein Meling, Özalp Babaoglu

Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

1999

Towards a Plug and Play Architecture for Telecommunications.

Finn Arve Aagesen, Bjarne E. Helvik, Vilas Wuwongse, Hein Meling, Rolv Bræk, Ulrik Johansen

Proceedings of the Intelligence in Networks, 1999