Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera von Veeraragavan, Narasimha Raghavan, Montecchi, Leonardo, Nostro, Nicola, Vitenberg, Roman, Meling, Hein, Bondavalli, Andrea

Volltext

Local Recovery for High Availability in Strongly Consistent Cloud Services von Anderson, James W., Meling, Hein, Rasmussen, Alexander, Vahdat, Amin, Marzullo, Keith

Volltext

An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols von Gogada, Hanish, Jehl, Leander, Meling, Hein, Olsen, John Ingve

Volltext bestellen

ICTAC Kinetics Committee recommendations for collecting experimental thermal analysis data for kinetic computations von Vyazovkin, Sergey, Chrissafis, Konstantinos, Di Lorenzo, Maria Laura, Koga, Nobuyoshi, Pijolat, Michèle, Roduit, Bertrand, Sbirrazzuoli, Nicolas, Suñol, Joan Josep

Volltext

Rebop: Reputation-Based Incentives in Committee-Based Blockchains von Baloochestani, Arian, Jehl, Leander, Meling, Hein

Volltext

Testing robot controllers using constraint programming and continuous integration von Mossige, Morten, Gotlieb, Arnaud, Meling, Hein

Volltext

Snarl : entangled merkle trees for improved file availability and storage utilization von Nygaard, Racin Wilhelm, Estrada-Galiñanes, Vero, Meling, Hein

Volltext bestellen

Deploying Constraint Programming for Testing ABB's Painting Robots von Mossige, Morten, Gotlieb, Arnaud, Meling, Hein

Volltext

Annotation Markers for runtime replication protocol selection von Meling, Hein

Volltext

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model von Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker

Volltext

An architecture for self-healing autonomous object groups von Meling, Hein

Volltext

Asynchronous Reconfiguration for Paxos State Machines von Jehl, Leander, Meling, Hein

Volltext

Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems von Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker

Volltext

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model von Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker

Volltext

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model von Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker

Volltext

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study von Mossige, Morten, Gotlieb, Arnaud, Meling, Hein

Volltext

Time-aware Test Case Execution Scheduling for Cyber-Physical Systems von Mossige, Morten, Gotlieb, Arnaud, Spieker, Helge, Hein Meling, Carlsson, Mats

Volltext

Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model von Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker

Volltext

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems von Mossige, Morten, Gotlieb, Arnaud, Spieker, Helge, Meling, Hein, Carlsson, Mats

Volltext

BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration von Duan, Sisi, Meling, Hein, Peisert, Sean, Zhang, Haibin

Volltext