Blar i Vitenskapelige publikasjoner (TN-IDE) på forfatter "Meling, Hein"
-
Annotation Markers for runtime replication protocol selection
Meling, Hein (Journal article; Peer reviewed, 2008)This paper presents an architecture enabling developers to easily and flexibly assign replication protocols simply by annotating individual server methods. This avoids using costly replication protocols for all object ... -
An architecture for self-healing autonomous object groups
Meling, Hein (Journal article; Peer reviewed, 2007)Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the object group paradigm, enabling construction of ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker (Peer reviewed; Journal article, 2019-04)Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ... -
Cost-effective Data Upkeep in Decentralized Storage Systems
Nygaard, Racin Wilhelm; Meling, Hein; Olsen, John Ingve (Conference object; Journal article, 2023)Decentralized storage systems split files into chunks and distribute the chunks across a network of peers. Each peer may only store a few chunks per file. To later reconstruct a file, all its chunks must be downloaded. ... -
An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols
Gogada, Hanish; Jehl, Leander; Meling, Hein; Olsen, John Ingve (Chapter, 2023-06)HotStuff is a Byzantine fault-tolerant state machine replication protocol that incurs linear communication costs to achieve consensus. This linear scalability promoted the protocol to be adopted as the consensus mechanism ... -
A Privacy-Preserving and Transparent Certification System for Digital Credentials
Queiroz Saramago, Rodrigo; Meling, Hein; Jehl, Leander Nikolaus (Peer reviewed; Journal article, 2023)A certification system is responsible for issuing digital credentials, which attest claims about a subject, e.g., an academic diploma. Such credentials are valuable for individuals and society, and widespread adoption ... -
Snarl : entangled merkle trees for improved file availability and storage utilization
Nygaard, Racin Wilhelm; Estrada-Galiñanes, Vero; Meling, Hein (Chapter, 2021-12)In cryptographic decentralized storage systems, files are split into chunks and distributed across a network of peers. These storage systems encode files using Merkle trees, a hierarchical data structure that provides ...