Hein Meling

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

(2021)

Snarl : entangled merkle trees for improved file availability and storage utilization. I: Middleware 21 : Proceedings of the 22nd International middleware conference, Québec city Canada December 6 - 10, 2021.

Association for Computing Machinery (ACM)

ISBN 9781450385343.

s.236-247.

DOI: 10.1145/3464298.3493397

Queiroz Saramago, Rodrigo; Jehl, Leander Nikolaus; Meling, Hein; Estrada Galiñanes, Veronica

(2021)

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

arXiv

Queiroz Saramago, Rodrigo; Jehl, Leander; Meling, Hein; Estrada-Galiñanes, Veronica

(2021)

A tree-based construction for verifiable diplomas with issuer transparency. I: Third IEEE International Conference on Decentralized Applications and Infrastructures. DAPPS 2021.

IEEE

ISBN 9781665434850.

DOI: 10.1109/DAPPS52256.2021.00017

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

(2019)

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

Journal of Logical and Algebraic Methods in Programming

ISSN 2352-2208.

Volum 104.

s.254-273.

DOI: 10.1016/j.jlamp.2019.02.004

Azab, Abdulrahman; Meling, Hein; Hovig, Eivind; Pursula, Antti

(2018)

Filesystem Front-end for Seamless Job Management in Sensitive Data e-Infrastructures and Cloud Federation. I: 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018.

IEEE

ISBN 978-1-5386-5035-6.

DOI: 10.1109/BigData.2018.8622144

Pedersen, Sebastian Mæland; Meling, Hein; Jehl, Leander

(2018)

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. I: Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-5775-3.

s.29-35.

DOI: 10.1145/3231104.3231957

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

(2018)

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

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 11090.

s.158-180.

DOI: 10.1007/978-3-662-58381-4_8

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2017)

Deploying Constraint Programming for Testing ABB’s Painting Robots.

The AI Magazine

ISSN 0738-4602.

Volum 38.

Hefte 2.

s.94-96.

DOI: 10.1609/aimag.v38i2.2723

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

(2017)

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

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 10416 LNCS.

s.387-404.

DOI: 10.1007/978-3-319-66158-2_25

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

(2017)

Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. I: Proceedings of the 29th Nordic Workshop on Programming Theory.

ISBN 978-952-12-3608-2.

s.22-24.

DOI: 10.1007/978-3-662-58381-4_8

Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

(2017)

Towards New Abstractions for Implementing Quorum-Based Systems.

Distributed Computing Systems

ISSN 1063-6927.

s.2380-2385.

DOI: 10.1109/ICDCS.2017.166

Jehl, Leander; Meling, Hein

(2017)

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

Leibniz International Proceedings in Informatics

ISSN 1868-8969.

Volum 70.

s.31.1-31.17.

DOI: 10.4230/LIPIcs.OPODIS.2016.31

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

(2017)

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

CEUR Workshop Proceedings

ISSN 1613-0073.

Volum 1846.

s.177-196.

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

(2016)

Modeling QoE in dependable tele-immersive applications: a case study of world opera.

IEEE Transactions on Parallel and Distributed Systems

ISSN 1045-9219.

Volum 27.

Hefte 9.

s.2667-2681.

DOI: 10.1109/TPDS.2015.2503291

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2016)

Replacement: Decentralized Failure Handling for Replicated State Machines.

Symposium on Reliable Distributed Systems. Proceedings

ISSN 1060-9857.

Volum 2016-January.

s.156-165.

DOI: 10.1109/SRDS.2015.29

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2016)

Generating Tests for Robotized Painting Using Constraint Programming. I: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence.

AAAI Press

ISBN 978-1-57735-770-4.

s.4200-4204.

DOI: 10.1109/icst.2013.71

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

(2015)

Local recovery for high availability in strongly consistent cloud services.

IEEE Transactions on Dependable and Secure Computing

ISSN 1545-5971.

Volum PP.

Hefte 99.

s.172-184.

DOI: 10.1109/TDSC.2015.2443781

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2015)

Replacement: Decentralized Failure Handling for Replicated State Machines. I: Proceedings of the 2015 IEEE 34th International Symposium on Reliable Distributed Systems.

IEEE

ISBN 978-1-4673-9302-7.

s.156-165.

DOI: 10.1109/SRDS.2015.29

Jehl, Leander; Vitenberg, Roman; Meling, Hein

(2015)

SmartMerge: A New Approach to Reconfiguration for Atomic Storage. I: Distributed Computing - 29th International Symposium, DISC 2015.

Springer

ISBN 978-3-642-33650-8.

s.154-169.

DOI: 10.1007/978-3-662-48653-5_11

Jehl, Leander; Meling, Hein

(2014)

Asynchronous Reconfiguration for Paxos State Machines. I: Distributed Computing and Networking, 15th International Conference, ICDCN 2014.

Springer

ISBN 978-3-642-45248-2.

s.119-133.

DOI: 10.1007/978-3-642-45249-9_8

Duan, Sisi; Meling, Hein; Peisert, Sean; Zhang, Haibin

(2014)

BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 8878.

s.91-106.

DOI: 10.1007/978-3-319-14472-6_7

Duan, Sisi; Levitt, Karl; Meling, Hein; Peisert, Sean; Zhang, Haibin

(2014)

ByzID: Byzantine Fault Tolerance from Intrusion Detection. I: Proceedings of the 2014 IEEE 33rd International Symposium on Reliable Distributed Systems.

IEEE

ISBN 978-1-4799-5584-8.

s.253-264.

DOI: 10.1109/SRDS.2014.28

Azab, Abdulrahman; Meling, Hein; Davidrajuh, Reggie

(2014)

A fuzzy-logic based coordinated scheduling technique for inter-grid architectures. I: Distributed Applications and Interoperable Systems, 14th IFIP WG 6.1 International Conference, DAIS 2014.

Springer

ISBN 978-3-662-43351-5.

s.171-185.

DOI: 10.1007/978-3-662-43352-2_14

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

(2014)

P2S: a fault-tolerant publish/subscribe infrastructure. I: Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems: DEBS '14 The 8th ACM International Conference on Distributed Event-Based Systems.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-2737-4.

s.189-197.

DOI: 10.1145/2611286.2611305

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. I: Principles and Practice of Constraint Programming.

Springer

ISBN 978-3-319-10428-7.

s.25-41.

DOI: 10.1007/978-3-319-10428-7_6

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. I: Testing Software and Systems.

Springer

ISBN 978-3-662-44856-4.

s.145-160.

DOI: 10.1007/978-3-662-44857-1_10

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

Testing robot controllers using constraint programming and continuous integration.

Information and Software Technology

ISSN 0950-5849.

Volum 57.

s.169-185.

DOI: 10.1016/j.infsof.2014.09.009

Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

(2014)

Brief Announcement: Replacement - Handling Failures in a Replicated State Machine.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 8784.

s.531-532.

DOI: 10.1007/978-3-662-45174-8

Azab, Abdulrahman; Meling, Hein

(2013)

Building Composite Grid Tasks Using STROLL File-System. I: Proceeding of The International Conference on IT Convergence and Security.

IEEE conference proceedings

ISBN 978-1-4799-2845-3.

DOI: 10.1109/ICITCS.2013.6717810

Veeraragavan, Narasimha Raghavan; Meling, Hein; Vitenberg, Roman

(2013)

QoE Estimation Models for Tele-immersive Applications. I: Proceedings of IEEE Eurocon 2013.

IEEE conference proceedings

ISBN 978-1-4673-2230-0.

s.154 -161.

DOI: 10.1109/EUROCON.2013.6624980

Azab, Abdulrahman; Meling, Hein

(2013)

SLICK: A Coordinated Job Allocation Technique for Inter-grid Architectures. I: European Modelling Symposium 2013.

IEEE Press

ISBN 978-1-4799-2578-0.

s.460-465.

DOI: 10.1109/ems.2013.82

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

(2013)

Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. I: Proceedings of the 28th Annual ACM Symposium on Applied Computing.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-1656-9.

s.439-446.

DOI: 10.1145/2480362.2480450

Jehl, Leander; Meling, Hein

(2013)

Towards fast and efficient failure handling for paxos state machines. I: Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on.

IEEE

ISBN 978-0-7695-5023-7.

s.98-102.

DOI: 10.1109/ICDCSW.2013.47

Jehl, Leander; Meling, Hein

(2013)

Towards Byzantine fault tolerant publish/subscribe: a state machine approach. I: Proceedings of the 9th Workshop on Hot Topics in Dependable.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-2457-1.

DOI: 10.1145/2524224.2524232

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment. I: Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on.

IEEE

ISBN 978-1-4673-5961-0.

s.489 -490 .

DOI: 10.1109/ICST.2013.71

Meling, Hein; Jehl, Leander

(2013)

Tutorial Summary: Paxos Explained from Scratch. I: Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings.

Springer Science+Business Media B.V.

ISBN 978-3-319-03849-0.

s.1-10.

DOI: 10.1007/978-3-319-03850-6_1

Chang, Tiancheng; Meling, Hein

(2012)

Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure (position paper). I: Proceedings of the 31st International Symposium on Reliable Distributed Systems (SRDS).

IEEE

ISBN 978-0-7695-4784-8.

s.454-457.

DOI: 10.1109/srds.2012.14

Veeraragavan, Narasimha Raghavan; Vitenberg, Roman; Meling, Hein

(2012)

Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 7272.

s.185-193.

DOI: 10.1007/978-3-642-30823-9_16

Evensen, Pål; Meling, Hein

(2012)

AdScorer: an event-based system for near real-time impact analysis of television advertisements. I: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems, DEBS 2012.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-1315-5.

s.85-94.

DOI: 10.1145/2335484.2335494

Azab, Abdulrahman; Meling, Hein

(2012)

Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. I: Distributed Applications and Interoperable Systems.

Springer

ISBN 978-3-642-30822-2.

s.162-176.

DOI: 10.1007/978-3-642-30823-9_14

Meling, Hein; Marzullo, Keith; Mei, Alessandro

(2012)

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

Distributed Computing Systems

ISSN 1063-6927.

s.193-202.

DOI: 10.1109/ICDCS.2012.38

Saadallah, Nejm; Meling, Hein

(2011)

A simple machine in a complex environment: A Petri net approach. I: 15th IEEE International Conference on Intelligent Engineering Systems (INES).

IEEE conference proceedings

ISBN 978-1-4244-8955-8.

s.387 -392 .

DOI: 10.1109/ines.2011.5954778

Evensen, Pål; Meling, Hein

(2011)

A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. I: Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, DEBS 2011.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-0423-8.

s.317-326.

DOI: 10.1145/2002259.2002301

Saadallah, Nejm; Meling, Hein; Daireaux, Benoit

(2011)

Modeling a drilling control system, as a Discrete-Event-System. I: International Conference on Communications, Computing and Control Applications (CCCA).

IEEE conference proceedings

ISBN 978-1-4244-9795-9.

DOI: 10.1109/ccca.2011.6031461

Csorba, Mate Jozsef; Meling, Hein; Heegaard, Poul Einar

(2011)

A Bio-inspired Method for Distributed Deployment of Services.

New generation computing

ISSN 0288-3635.

Volum 29.

Hefte 2.

s.185-222.

DOI: 10.1007/s00354-010-0104-x

Marzullo, Keith Ansel; Meling, Hein; Mei, Alessandro

(2011)

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

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Hefte 6950.

s.143-144.

DOI: 10.1007/978-3-642-24100-0_11

Azab, Abdulrahman; Meling, Hein

(2010)

A Virtual File System Interface for Computational Grids.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Hefte 6164.

s.87-96.

DOI: 10.1007/978-3-642-13971-0_9

Csorba, Mate Jozsef; Meling, Hein; Heegaard, Poul Einar

(2010)

Ant system for service development in private and public clouds. I: Proceeding of the 2nd workshop on Bio-inspired algorithms for distributed systems.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-0086-5.

s.19-28.

Evensen, Pål; Meling, Hein

(2009)

SenseWrap : a service oriented middleware with sensor virtualisation and self-configuration. I: Proceedings of 2009 Fifth International Conference on Intelligent Sensors, Sensor Networks and Information Processing : ISSNIP : 7-10 December 2009, Melbourne, Australia.

IEEE conference proceedings

ISBN 978-1-4244-3518-0.

s.261-266.

Meling, Hein; Evensen, Pål

(2009)

Sensor virtualization with self-configuration and flexible interactions. I: Proceedings of the 3rd ACM International Workshop on Context-Awareness for Self-Managing Systems.

ACM Publications

ISBN 9781605584393.

s.31-38.

Csorba, Mate Jozsef; Meling, Hein; Heegaard, Poul Einar

(2009)

Laying Pheromone Trails for Balanced and Dependable Component Mappings. I: Integrert? Innvandrere og barn av innvandrere i utdanning og arbeidsliv.

Abstrakt forlag

ISBN 978-82-7935-278-5.

s.50-64.

Azab, Abdulrahman; Meling, Hein

(2009)

Decentralized Service Allocation in a Broker Overlay Based Grid. I: Cloud Computing.

Springer

ISBN 9783642106644.

s.200-211.

Csorba, Mate Jozsef; Meling, Hein; Heegaard, Poul Einar; Herrmann, Peter

(2009)

Foraging for Better Deployment of Replicated Service Components. I: Distributed Applications and Interoperable Systems.

Springer

ISBN 978-3-642-02163-3.

s.87-101.

Meling, Hein; Montresor, Alberto

(2009)

Type-safe Dynamic Protocol Composition in Jgroup/ARM. I: Proceedings of the Third International DisCoTec Workshop on Middleware-Application Integration.

ACM Publications

ISBN 9781605584898.

s.5-10.

Meling, Hein

(2008)

Annotation Markers for Runtime Replication Protocol Selection. I: Proceedings of the 5th International Conference on Autonomic and Trusted Computing.

Springer

s.496-506.

Meling, Hein; Gilje, Joakim Løvås

(2008)

A distributed approach to autonomous fault treatment in spread. I: EDCC-7 : European Dependable Computing : Proceedings : European Depend able Computing Conference (7th - 2008 Kaunas, Lithuania).

IEEE

ISBN 9780769531380.

s.46-55.

Meling, Hein; Montresor, Alberto; Helvik, Bjarne E.; Babaoglu, Ozalp

(2008)

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

Software, Practice & Experience

ISSN 0038-0644.

Volum 38.

Hefte 9.

s.885-923.

Meling, Hein

(2007)

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

Proceedings, International Parallel and Distributed Processing Symposium (IPDPS)

ISSN 1530-2075.

Volum 21.

Meling, Hein; Rong, Chunming; Wåge, Dagfinn

(2007)

Towards Integrated Services for Health Monitoring.

Advanced Information Networking and Applications

ISSN 1550-445X.

Volum 21.

Hefte 2.

s.776-781.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups. I: Proceedings of the 4th International Conference on Autonomic and Trusted Computing.

Springer

s.156-168.

Meling, Hein

(2006)

Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM. I: Norsk informatikkonferanse (NIK 2006).

Tapir Akademisk Forlag

s.17-28.

Helvik, Bjarne E.; Meling, Hein; Montresor, Alberto

(2005)

An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system.

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743.

Volum 3463.

Montresor, Alberto; Meling, Hein; Babaoglu, Ozalp

(2003)

Toward Self-Organizing, Self-Repairing and Resilient Distributed Systems. I: Future Directions in Distributed Computing.

s.119-123.

Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

(2019)

Building a disaster-resilient storage layer for next generation networks: The role of redundancy. I: Network Systems - Workshop October 10-11, 2019. NS2019-99-NS2019-119.

ISBN 0000000000.

s.53-58.

Eliassen, Frank; Meling, Hein; Vitenberg, Roman

(2015)

Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15.

Association for Computing Machinery (ACM)

ISBN 978-1-4503-3286-6.

Tøssebro, Erlend; Meling, Hein

(2013)

Norsk informatikkonferanse NIK 2013, Universitetet i Stavanger, 18. - 20.november 2013.

Akademika forlag

ISBN 978-82-321-0365-2.

Hefte 2013.

Meling, Hein; Evensen, Pål

(2007)

Autonomous Communication Middleware for Integrated Home Services The IS-home project. I: The VERDIKT Conference.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

ISBN 9788276443257.

Hefte 21.

Meling, Hein; Gilje, Joakim Løvås

(2007)

Distributed Autonomous Fault Treatment in Spread. I: Nordic workshop and doctoral symposium on dependability and security.

Pedagogiska fakulteten

Helvik, Bjarne E.; Meling, Hein; Montresor, Alberto

(2004)

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

ISBN 8276442374.

Hefte 144/2004.

Meling, Hein

(2021)

QuickFeed on Programming Assignments.

Meling, Hein

(2020)

Autograder Status Rapport.

Meling, Hein

(2019)

The Vision of a Global Academic Database of Degree Certificates.

Nygaard, Racin Wilhelm; Meling, Hein; Jehl, Leander

(2019)

Distributed Storage System based on Permissioned Blockchain.

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

(2019)

Time-aware test execution scheduling for cyber-physical systems.

Lecture Notes in Informatics

ISSN 1617-5468.

Volum P-292.

s.121-122.

DOI: 10.18420/se2019-36

Meling, Hein

(2019)

BBChain Status Report.

Meling, Hein

(2019)

Blokkjedeteknologier med anvendelse i en global database for vitnemål.

Meling, Hein

(2019)

Blokkjeder - hva er det og hva kan det brukes til.

Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

(2019)

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

Meling, Hein

(2019)

FinTek torsdag: Blockchain – steget mot et pengeløst samfunn?.

Meling, Hein

(2019)

Software Engineering for Dependability: Gorums.

Meling, Hein

(2019)

Teaching and Research at UiS.

Meling, Hein

(2019)

BBChain's Vision of a Global Academic Database of Degree Certificates.

Tabatabaei, Mohammad Hossein; Vitenberg, Roman; Meling, Hein

(2019)

Understanding Blockchain: Definitions, Properties, Architecture, and Comparisons.

Meling, Hein

(2019)

FinTek torsdag: Facebook Libra.

Meling, Hein

(2019)

CREDENCE Opportunities.

Meling, Hein

(2018)

Introduction to Writing a PhD Thesis.

Meling, Hein

(2018)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Meling, Hein

(2018)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Meling, Hein

(2018)

Go Programming for Java Programmers.

Meling, Hein

(2018)

Mostly Gorums and a little bit of Blockchains at Berkeley Lab.

Meling, Hein

(2018)

Go Programming for Java Programmers.

Meling, Hein

(2018)

Bitcoin and Blockchains.

Meling, Hein

(2018)

BBChain: Biometrics and Blockchains.

Meling, Hein

(2018)

Introduction to Writing a Thesis.

Meling, Hein

(2018)

The Future is Now - Bitcoin and Blockchains.

Meling, Hein

(2016)

Introduction to Go Programming.

Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Meling, Hein

(2016)

Paxos Explained from Scratch.

Meling, Hein; Lea, Tormod Erevik; Jehl, Leander

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Meling, Hein

(2015)

Autograder: Better Management and Evaluation of Lab Assignments.

Meling, Hein

(2015)

Autograder: Better Management and Evaluation of Lab Assignments.

Meling, Hein

(2015)

Paxos Explained from Scratch.

Vitenberg, Roman; Meling, Hein; Grønli, Kristin Straumsheim

(2015)

Gjør det mørke nettet enda mørkere.

Mossige, Morten; Meling, Hein; Lie, Leiv Gunnar

(2015)

Improved robotic testing systems.

Meling, Hein

(2015)

AutoGrader.

Meling, Hein

(2014)

Paxos Explained from Scratch.

Jehl, Leander; Meling, Hein

(2014)

Asynchronous Reconfiguration for Paxos State Machines.

Meling, Hein

(2014)

P2S: a fault-tolerant publish/subscribe infrastructure.

Mossige, Morten; Meling, Hein; Gotlieb, Arnaud

(2014)

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

Mossige, Morten; Meling, Hein; Gotlieb, Arnaud

(2014)

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

Meling, Hein

(2014)

Paxos Explained from Scratch.

Jehl, Leander; Meling, Hein

(2013)

Towards Fast and Efficient Failure Handling for Paxos State Machines.

Jehl, Leander; Meling, Hein

(2013)

Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach.

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

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

Meling, Hein

(2013)

Failure injection for testing and evaluating the dependability of a distributed system.

Meling, Hein; Jehl, Leander

(2013)

Paxos Explained from Scratch.

Chang, Tiancheng; Meling, Hein

(2012)

Byzantine Fault Tolerant Pub/Sub System.

Meling, Hein

(2012)

Paxos Made Insanely Simple.

Meling, Hein

(2012)

Paxos Made Insanely Simple.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement in Paxos.

Chang, Tiancheng; Meling, Hein

(2012)

Byzantine Fault-Tolerant Pub/Sub.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement Paxos.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

A self-stabilizing algorithm for finding independent trees.

Meling, Hein

(2011)

Hvordan håndtere mitt iTunes mediabibliotek.

Meling, Hein

(2011)

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

Meling, Hein

(2011)

The Byzantine Proposers of Paxos (How to be Fast and Tolerate Byzantine Proposers).

Meling, Hein

(2011)

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

Meling, Hein

(2011)

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

Meling, Hein

(2010)

Ant System for Service Deployment in Private and Public Coulds.

Meling, Hein

(2010)

Self-repairing replicated systems and dependability evaluation Invited Keynote Lecture for CANOE Workshop 2010.

Meling, Hein

(2009)

Type-safe Dynamic Protocol Composition in Jgroup/ARM.

Meling, Hein

(2008)

Annotation Markers for Runtime Replication Protocol Selection.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

Meling, Hein

(2008)

Can we sell Autonomic and Trusted Computing Systems?.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

Meling, Hein; Rong, Chunming

(2007)

Integrated IP-based Serivces for smart Home environment The IS-home project.

Meling, Hein

(2007)

Distributed Autonomous Fault Treatment in Spread.

Meling, Hein

(2007)

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

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

Meling, Hein

(2007)

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

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

Meling, Hein

(2006)

Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM.

Meling, Hein

(2006)

Reflective Agents in Future Telematics Systems.

Meling, Hein

(2006)

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

Meling, Hein

(2006)

Enkel bruk av PDF.

Meling, Hein

(2005)

Jgroup/ARM: Et feiltolerant klient-server system.

Meling, Hein

(2005)

An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system.

Meling, Hein

(2005)

Experimental Assessment of Jgroup/ARM.

Helvik, Bjarne E.; Meling, Hein; Montresor, Alberto

(2005)

An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system.

Meling, Hein; Helvik, Bjarne E.

(2004)

Performance Consequences of Inconsistent Client-side Membership Information in the Open Group Model.

Meling, Hein; Pahr-Iversen, Helene

(2004)

Doktorgrad i pålitelighet.

Meling, Hein; Lind, Jo Andreas Sægrov; Hommeland, Henning

(2003)

Maintaining Binding Freshness in the Jgroup Dependable Naming Service.

Meling, Hein

(2003)

The Jgroup/ARM Dependable Computing Toolkit.