Hein Meling - RankMe

80 papers A* 1A 13B 8C 10Misc 7Journal 14Unranked 26

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