default search action
Hein Meling
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c62]Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling:
Iniva: Inclusive and Incentive-Compatible Vote Aggregation. DSN 2024: 443-455 - [i5]Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling:
Iniva: Inclusive and Incentive-compatible Vote Aggregation. CoRR abs/2404.04948 (2024) - 2023
- [c61]Hanish Gogada
, Hein Meling
An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. ApPLIED@PODC 2023: 11:1-11:10 - [c60]Hanish Gogada
An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. SAC 2023: 121-124 - [c59]Racin Nygaard
Cost-effective Data Upkeep in Decentralized Storage Systems. SAC 2023: 165-173 - [i4]Racin Nygaard, Hein Meling:
SNIPS: Succinct Proof of Storage for Efficient Data Synchronization in Decentralized Storage Systems. CoRR abs/2304.04891 (2023) - 2022
- [c58]Arian Baloochestani, Leander Jehl
Rebop: Reputation-Based Incentives in Committee-Based Blockchains. DAIS 2022: 37-54 - [c57]Rodrigo Q. Saramago, Hein Meling, Leander Jehl:
A Privacy-Preserving and Transparent Certification System for Digital Credentials. OPODIS 2022: 9:1-9:24 - 2021
- [c56]Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. DAPPS 2021: 101-110 - [c55]Racin Nygaard, Vero Estrada-Galiñanes
Snarl: entangled merkle trees for improved file availability and storage utilization. Middleware 2021: 236-247 - [i3]Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes:
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. CoRR abs/2109.11590 (2021)
2010 – 2019
- 2019
- [j8]Rui Wang
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104: 254-273 (2019) - [c54]Racin Nygaard, Hein Meling, Leander Jehl
Distributed storage system based on permissioned blockchain. SAC 2019: 338-340 - [c53]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM 2019: 121-122 - [i2]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR abs/1902.04627 (2019) - [i1]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 abs/1912.04269 (2019) - 2018
- [j7]Rui Wang
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13: 158-180 (2018) - [c52]Abdulrahman Azab
Filesystem Front-end for Seamless Job Management in Sensitive Data e-Infrastructures and Cloud Federation. IEEE BigData 2018: 5126-5131 - [c51]Sebastian Pedersen, Hein Meling, Leander Jehl
An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. ApPLIED@PODC 2018: 29-35 - 2017
- [j6]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Deploying Constraint Programming for Testing ABB's Painting Robots. AI Mag. 38(2): 94-96 (2017) - [j5]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): 172-184 (2017) - [c50]Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets 2017: 177-196 - [c49]Morten Mossige, Arnaud Gotlieb, Helge Spieker
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP 2017: 387-404 - [c48]Tormod Erevik Lea, Leander Jehl
Towards New Abstractions for Implementing Quorum-Based Systems. ICDCS 2017: 2380-2385 - 2016
- [j4]Narasimha Raghavan Veeraragavan, Leonardo Montecchi
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. IEEE Trans. Parallel Distributed Syst. 27(9): 2667-2681 (2016) - [c47]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Generating Tests for Robotized Painting Using Constraint Programming. IJCAI 2016: 4200-4204 - [c46]Leander Jehl
The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. OPODIS 2016: 31:1-31:17 - 2015
- [j3]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Testing robot controllers using constraint programming and continuous integration. Inf. Softw. Technol. 57: 169-185 (2015) - [c45]Leander Jehl
Replacement: Decentralized Failure Handling for Replicated State Machines. SRDS 2015: 156-165 - [c44]Leander Jehl, Roman Vitenberg, Hein Meling:
SmartMerge: A New Approach to Reconfiguration for Atomic Storage. DISC 2015: 154-169 - 2014
- [c43]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. CP 2014: 25-41 - [c42]Abdulrahman Azab
A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-grid Architectures. DAIS 2014: 171-185 - [c41]Tiancheng Chang, Sisi Duan, Hein Meling, Sean Peisert
P2S: a fault-tolerant publish/subscribe infrastructure. DEBS 2014: 189-197 - [c40]Leander Jehl, Hein Meling:
Asynchronous Reconfiguration for Paxos State Machines. ICDCN 2014: 119-133 - [c39]Sisi Duan, Hein Meling, Sean Peisert
BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. OPODIS 2014: 91-106 - [c38]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ICTSS 2014: 145-160 - [c37]Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert
ByzID: Byzantine Fault Tolerance from Intrusion Detection. SRDS 2014: 253-264 - [c36]Leander Jehl, Tormod Erevik Lea, Hein Meling:
Replacement - Handling Failures in a Replicated State Machine. DISC 2014: 531-532 - 2013
- [c35]Abdulrahman Azab
Slick: A Coordinated Job Allocation Technique for Inter-Grid Architectures. EMS 2013: 491-496 - [c34]Narasimha Raghavan Veeraragavan, Hein Meling, Roman Vitenberg:
QoE estimation models for tele-immersive applications. EUROCON 2013: 154-161 - [c33]Leander Jehl
Towards Byzantine fault tolerant publish/subscribe: a state machine approach. HotDep 2013: 5:1-5:5 - [c32]Leander Jehl
Towards Fast and Efficient Failure Handling for Paxos State Machines. ICDCS Workshops 2013: 98-102 - [c31]Abdulrahman Azab
Building Composite Grid Tasks Using STROLL File-System. ICITCS 2013: 1-4 - [c30]Morten Mossige, Arnaud Gotlieb, Hein Meling:
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. ICST 2013: 489-490 - [c29]Hein Meling, Leander Jehl:
Tutorial Summary: Paxos Explained from Scratch. OPODIS 2013: 1-10 - [c28]Narasimha Raghavan Veeraragavan, Leonardo Montecchi
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. SAC 2013: 439-446 - 2012
- [c27]Abdulrahman Azab
Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. DAIS 2012: 162-176 - [c26]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: 185-193 - [c25]Pål Evensen, Hein Meling:
AdScorer: an event-based system for near real-time impact analysis of television advertisements (industry article). DEBS 2012: 85-94 - [c24]Hein Meling, Keith Marzullo, Alessandro Mei:
When You Don't Trust Clients: Byzantine Proposer Fast Paxos. ICDCS 2012: 193-202 - [c23]Tiancheng Chang, Hein Meling:
Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure. SRDS 2012: 454-456 - 2011
- [j2]Máté J. Csorba, Hein Meling, Poul E. Heegaard
A Bio-inspired Method for Distributed Deployment of Services. New Gener. Comput. 29(2): 185-222 (2011) - [c22]Pål Evensen, Hein Meling:
A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. DEBS 2011: 317-326 - [c21]Keith Marzullo, Hein Meling, Alessandro Mei:
Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. DISC 2011: 143-144 - 2010
- [c20]Máté J. Csorba, Hein Meling, Poul E. Heegaard
Ant system for service deployment in private and public clouds. BADS@ICAC 2010: 19-28 - [c19]Abdulrahman Azab
A Virtual File System Interface for Computational Grids. EUNICE 2010: 87-96
2000 – 2009
- 2009
- [c18]Abdulrahman Azab
Decentralized Service Allocation in a Broker Overlay Based Grid. CloudCom 2009: 200-211 - [c17]Máté J. Csorba, Hein Meling, Poul E. Heegaard
Foraging for Better Deployment of Replicated Service Components. DAIS 2009: 87-101 - [c16]Hein Meling, Alberto Montresor
Type-safe dynamic protocol composition in Jgroup/ARM. MAI@DisCoTec 2009: 1-6 - [c15]Máté J. Csorba, Hein Meling, Poul E. Heegaard
Laying Pheromone Trails for Balanced and Dependable Component Mappings. IWSOS 2009: 50-64 - [c14]Pål Evensen, Hein Meling:
Sensor virtualization with self-configuration and flexible interactions. CASEMANS@Pervasive 2009: 31-38 - 2008
- [j1]Hein Meling, Alberto Montresor
Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw. Pract. Exp. 38(9): 885-923 (2008) - [c13]Hein Meling:
Annotation Markers for Runtime Replication Protocol Selection. ATC 2008: 496-506 - [c12]Hein Meling, Joakim L. Gilje:
A Distributed Approach to Autonomous Fault Treatment in Spread. EDCC 2008: 46-55 - 2007
- [b1]Hein Meling:
Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. Norwegian University of Science and Technology, Trondheim, Norway, 2007 - [c11]Chunming Rong
Towards Integrated Services for Health Monitoring. AINA Workshops (2) 2007: 776-781 - [c10]Hein Meling:
An Architecture for Self-healing Autonomous Object Groups. ATC 2007: 156-168 - [c9]Hein Meling:
A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System. IPDPS 2007: 1-8 - 2005
- [c8]Bjarne E. Helvik
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. EDCC 2005: 179-198 - 2004
- [c7]Hein Meling, Bjarne E. Helvik
Performance consequences of inconsistent client-side membership information in the open group model. IPCCC 2004: 777-782 - 2003
- [c6]Alberto Montresor, Hein Meling, Özalp Babaoglu:
Toward Self-organizing, Self-repairing and Resilient Distributed Systems. Future Directions in Distributed Computing 2003: 119-126 - 2002
- [c5]Alberto Montresor, Hein Meling, Özalp Babaoglu:
Messor: Load-Balancing through a Swarm of Autonomous Agents. AP2PC 2002: 125-137 - [c4]Marcin Solarski, Hein Meling:
Towards Upgrading Actively Replicated Servers On-the-Fly. COMPSAC 2002: 1038-1046 - [c3]Özalp Babaoglu, Hein Meling, Alberto Montresor:
Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. ICDCS 2002: 15-22 - [c2]Alberto Montresor, Hein Meling, Özalp Babaoglu:
Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems. NETWORKING Workshops 2002: 300-305
1990 – 1999
- 1999
- [c1]Finn Arve Aagesen, Bjarne E. Helvik
Towards a Plug and Play Architecture for Telecommunications. SMARTNET 1999: 321-334
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: