Et profilbilde

Professor
Hein Meling { "honorific-suffix": "Professor", "fn": "Hein Meling", "tel": "Telefon: 51832080", "email": "hein.meling@uis.no" }

Avdeling/enhet Det teknisk- naturvitenskapelige fakultet
Institutt/senter Institutt for data- og elektroteknologi
Rom KE E-424

Forskningsområder

My main interest is in secure and dependable distributed computing, including cryptocurrencies and blockchains. I'm also interested in networking, operating systems, programming languages, and many other computing related topics.  I?m interested in building fault tolerant systems that are robust against a wide range of failures and attacks. I?m also interested in developing methods to test and evaluate the robustness of systems, in particular automated test case generation from formal models. Together with students, I?m developing systems, protocols, high-level programming abstractions, and middleware environments that help alleviate the development effort of distributed systems that aim to tolerate failures and dynamism.

The project focuses on properties of and mechanisms for large-scale data dissemination in the Internet including both cluster-based and infrastructure-less P2P systems. Applications of interest range from devising new technologies for online social networks to improving the protocols that power up large-scale clusters of companies like Google and Amazon.com. We emphasize non-functional properties of dissemination (including privacy, dependability, and adaptivity) while also considering dissemination semantics (such as a notification system and publish/subscribe for textual documents). Partners: University of Oslo, University of Stavanger.

The main goal of IS-home was develop Integrated Services for smart home environments. Our initial research focused on discovery and self-configuration of sensor devices in the home, enabling generic and transparent access to sensors from external applications. We also developed a middleware framework called EventCaster being used in-house at Altibox. We used EventCaster to monitor, collect, and analyze set-top box channel zap data in near real-time. Partners: Lyse Tele (now Altibox), University of Stavanger, Telsey, Laerdal Medical, SAFER

Utvalgte publikasjoner

  1. James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, and Keith Marzullo. Local Recovery for High Availability in Strongly Consistent Cloud Services. In: IEEE Trans. Dependable Sec. Comput. 14.2 (2017). Level 2.

  2. Tormod Erevik Lea, Leander Jehl, and Hein Meling. Towards New Abstractions for Implementing Quorum-Based Systems. In: 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017. Level 2. IEEE Computer Society, 2017.

  3. Leander Jehl and Hein Meling. The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. In: 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain. Vol. 70. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.

  4. Morten Mossige, Arnaud Gotlieb, and Hein Meling. Generating Tests for Robotized Painting Using Constraint Programming. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI/AAAI Press, 2016.

  5. Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, and Andrea Bondavalli. Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera. In: IEEE Trans. Parallel Distrib. Syst. 27.9 (2016). Level 2.

  6. Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement: Decentralized Failure Handling for Replicated State Machines. In: 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015. IEEE Computer Society, 2015.

  7. Leander Jehl, Roman Vitenberg, and Hein Meling. SmartMerge: A New Approach to Reconfiguration for Atomic Storage. In: Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Vol. 9363. Springer, 2015.

  8. Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, and Haibin Zhang. ByzID: Byzantine Fault Tolerance from Intrusion Detection. In: 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS). Best Paper Candidate Award. IEEE Computer Society, Oct. 2014.

  9. Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. In: 18th International Conference on Principles of Distributed Systems (OPODIS). Vol. 8878. Protocol used in Hyperledger Iroha. Springer, Dec. 2014.

  10. Leander Jehl and Hein Meling. Asynchronous Reconfiguration for Paxos State Machines. In: 15th International Conference on Distributed Computing and Networking (ICDCN). Vol. 8314. Springer, Jan. 2014. (acceptance rate 29%).

  11. Hein Meling and Leander Jehl. Tutorial Summary: Paxos Explained from Scratch. In: 17th International Conference on Principles of Distributed Systems (OPODIS). Vol. 8304. Springer, 2013.

  12. Hein Meling, Keith Marzullo, and Alessandro Mei. When You Don?t Trust Clients: Byzantine Proposer Fast Paxos. In: 32nd IEEE International Conference on Distributed Computing Systems (ICDCS). Level 2. IEEE, 2012. (acceptance rate 13.8%).

  13. Hein Meling, Alberto Montresor, Bjarne E. Helvik, and Ozalp Babaoglu. Jgroup/ARM: a distributed object group platform with autonomous replication management. In: Softw., Pract. Exper. 38.9 (2008). (52 citations).

  14. Ozalp Babaoglu, Hein Meling, and Alberto Montresor. Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. In: 22nd IEEE International Conference on Distributed Computing Systems (ICDCS). Level 2. 2002. (acceptance rate 18.4%, 423 citations). 

Pågående forskning

This project is developing novel intrusion-tolerant blockchain structures, algorithms, and systems based on biometrics, such as fingerprints, speech- and face recognition. Beyond conducting basic research on permissionless computer systems and algorithms, the project is also constructing a prototype system for secure and permanent storage of digital artifacts, such as health records and grade transcripts. Our goal is to provide authenticity and availability of stored artifacts at a security level not possible with existing technology. We do this by combining our energy efficient blockchain protocol with biometrics. This implies preventing unauthorized manipulation or removal of data; even in the event that some of the participating computers have failed or are controlled by an attacker. The system ensures that users can always retrieve stored artifacts based on secure biometrics-based access. The potential impact of the project is a substantial improvement in the trust placed on digital artifacts and services, since they can be inextricably tied to their owners through biometrics. This can help ensure the authenticity and accuracy of important artifacts such as health records and grade transcripts.
is a novel framework for building fault tolerant distributed systems. Gorums offers a flexible and simple quorum call abstraction, used to communicate with a set of processes, and to collect and process their responses. Gorums provides separate abstractions for (a) selecting processes for a quorum call and (b) processing replies. These abstractions simplify the main control flow of protocol implementations, especially for quorum-based systems, where only a subset of the replies to a quorum call need to be processed. Gorums uses code generation to produce an RPC library that clients can use to invoke quorum calls. Gorums is a wrapper around the gRPC library. Services are defined using the protocol buffers interface definition language. We have implemented a number of prototype protocols/applications using Gorums, all available on GitHub. These include Raft, single-decree Paxos, EPaxos and Replicated Erasure Coded Storage. In conjunction with this project, we are also developing a formal modeling tool for automatically generating test cases for Gorums-based protocols.

Arbeidserfaring

Professor of Computer Science. University of Stavanger, Department of Electrical Engineering and Computer Science

Associate Professor. University of Stavanger, Department of Electrical Engineering and Computer Science

Researcher. Telenor Research and Development, Trondheim. EURESCOM project: Technology Assessment of Middleware for Telecommunications.

Research fellow and teaching assistant. Norwegian University of Science and Technology, Department of Telematics RCN funded project: Plug and Play for Telecommunications Services.

Research assistant (military service). Norwegian Defense Research Establishment (FFI) Project: Multilevel Security Architecture for COTS.

Unix systems administrator (50 % part-time) Stavanger University College

Software engineer (summer intern, 5 months total) Statoil Data

University of California, Davis, Department of Computer Science. Working with Matt Bishop and Sean Peisert.

Lawrence Berkeley National Lab, Computing Sciences Division. Working with Sean Peisert and others.

University of California, San Diego, Department of Computer Science and Engineering

University of California, San Diego, Department of Computer Science and Engineering

University of California, San Diego, Department of Computer Science and Engineering. Worked on NSF funded project with Keith Marzullo and Alessandro Mei (Sapienza), devel- oping a fast protocol that can mask Byzantine clients in a fault tolerant system.

University of Bologna, Department of Computer Science, Italy. Worked on the Anthill project, using techniques derived from the Ant colony paradigm to implement a document sharing application for peer-to-peer networks.

Vitenskapelige publikasjoner (fra CRISTin)

  • 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.
  • 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.
  • Kristensen, Lars Michael; Wang, Rui; Stolz, Volker; Meling, Hein (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. I: Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISBN 978-952-12-3608-2. s. 22-24.
  • 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.
  • 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. 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). 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Duan, Sisi; Meling, Hein; Peisert, Sean; Zhang, Haibin (2014). BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. Lecture Notes in Computer Science. ISSN 0302-9743. Volum 8878. s. 91-106. DOI: 10.1007/978-3-319-14472-6_7.
  • Jehl, Leander; Lea, Tormod Erevik; Meling, Hein (2014). Brief Announcement: Replacement - Handling Failures in a Replicated State Machine. Lecture Notes in Computer Science. ISSN 0302-9743. Volum 8784. s. 531-532. DOI: 10.1007/978-3-662-45174-8.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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. ISSN 0302-9743. Volum 7272. s. 185-193. DOI: 10.1007/978-3-642-30823-9_16.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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. ISSN 0302-9743. Hefte 6950. s. 143-144. DOI: 10.1007/978-3-642-24100-0_11.
  • 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.
  • 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.
  • Azab, Abdulrahman; Meling, Hein (2010). A Virtual File System Interface for Computational Grids. Lecture Notes in Computer Science. 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.
  • 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 (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.
  • 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.
  • 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 Press. ISBN 9781605584393. s. 31-38.
  • 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 Press. 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 (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; 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 (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. 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. Springer-Verlag. s. 119-123.
  • 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. 371 s.
  • 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.
  • Meling, Hein (2007). An Architecture for Self-healing Autonomous Object Groups. University of Stavanger. ISBN 9788276443257. 16 s.
  • Helvik, Bjarne E.; Meling, Hein; Montresor, Alberto (2004). An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. Høgskolen i Stavanger. ISBN 8276442374. 21 s.
  • Meling, Hein (2018). The Future is Now - Bitcoin and Blockchains. University of Stavanger;
  • Lea, Tormod Erevik; Jehl, Leander; Meling, Hein (2016). Gorums: New Abstractions for Implementing Quorum-based Systems. Institutt for data og elektro, Universitetet i Stavanger;
  • Meling, Hein (2016). Introduction to Go Programming. Institutt for data og elektro, Universitetet i Stavanger;
  • Meling, Hein (2016). Paxos Explained from Scratch. Schibsted;
  • Meling, Hein; Lea, Tormod Erevik; Jehl, Leander (2016). Gorums: New Abstractions for Implementing Quorum-based Systems. Schibsted;
  • Vitenberg, Roman; Meling, Hein; Grønli, Kristin Straumsheim (2015). Gjør det mørke nettet enda mørkere. Forskningsrådet. [Internett]; 2015-11-16.
  • Meling, Hein (2015). AutoGrader.
  • Meling, Hein (2015). Autograder: Better Management and Evaluation of Lab Assignments. UiA; 2015-09-02 - 2015-09-03.
  • Meling, Hein (2015). Autograder: Better Management and Evaluation of Lab Assignments. UiT;
  • Meling, Hein (2015). Paxos Explained from Scratch. UiT;
  • Mossige, Morten; Meling, Hein; Lie, Leiv Gunnar (2015). Improved robotic testing systems. ScienceNordic. [Internett]; 2015-12-25.
  • Jehl, Leander; Meling, Hein (2014). Asynchronous Reconfiguration for Paxos State Machines. 2014-01-04 - 2014-01-07.
  • Meling, Hein (2014). P2S: a fault-tolerant publish/subscribe infrastructure. Association for Computing Machinery (ACM); 2014-05-26 - 2014-05-29.
  • Meling, Hein (2014). Paxos Explained from Scratch. Lawrence Berkeley National Lab, Future Technologies Group;
  • Meling, Hein (2014). Paxos Explained from Scratch. University of California Davis;
  • Mossige, Morten; Meling, Hein; Gotlieb, Arnaud (2014). Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. 2014-09-23 - 2014-09-25.
  • Mossige, Morten; Meling, Hein; Gotlieb, Arnaud (2014). Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. 2014-09-08 - 2014-09-12.
  • Jehl, Leander; Meling, Hein (2013). Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach. ACM; 2013-11-03.
  • Jehl, Leander; Meling, Hein (2013). Towards Fast and Efficient Failure Handling for Paxos State Machines. IEEE; 2013-07-08 - 2013-07-11.
  • Meling, Hein (2013). Failure injection for testing and evaluating the dependability of a distributed system. Simula Research Laboratory; 2013-03-14 - 2013-03-15.
  • Meling, Hein; Jehl, Leander (2013). Paxos Explained from Scratch. Inria Sophia Antipolis, France; 2013-12-16 - 2013-12-18.
  • Mossige, Morten; Gotlieb, Arnaud; Meling, Hein (2013). Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. IEEE; 2013-03-18 - 2013-03-22.
  • Chang, Tiancheng; Meling, Hein (2012). Byzantine Fault Tolerant Pub/Sub System. NFR; 2012-04-25 - 2012-04-26.
  • Chang, Tiancheng; Meling, Hein (2012). Byzantine Fault-Tolerant Pub/Sub. University of Stavanger; 2012-08-14 - 2012-08-18.
  • Jehl, Leander Nikolaus; Meling, Hein (2012). A self-stabilizing algorithm for finding independent trees. University of Stavanger; 2012-08-14 - 2012-08-18.
  • Jehl, Leander Nikolaus; Meling, Hein (2012). Live Replacement Paxos. NFR; 2012-04-25 - 2012-04-26.
  • Jehl, Leander Nikolaus; Meling, Hein (2012). Live Replacement in Paxos. University of Stavanger; 2012-08-14 - 2012-08-18.
  • Meling, Hein (2012). Paxos Made Insanely Simple. ABB Robotics; 2012-11-14.
  • Meling, Hein (2012). Paxos Made Insanely Simple. University of Stavanger; 2012-08-14 - 2012-08-18.
  • Meling, Hein (2011). Brief Announcement: When You Don’t Trust Clients: Byzantine Proposer Fast Paxos. Dept. of Electrical Engineering and Computer Science; 2011-09-16.
  • Meling, Hein (2011). Brief Announcement: When You Don’t Trust Clients: Byzantine Proposer Fast Paxos. European Association for Theoretical Computer Science; 2011-09-20 - 2011-09-22.
  • Meling, Hein (2011). Hvordan håndtere mitt iTunes mediabibliotek. Institutt for data og elektroteknikk, UiS;
  • Meling, Hein (2011). The Byzantine Proposers of Paxos (How to be Fast and Tolerate Byzantine Proposers). University of Oslo; 2011-05-09 - 2011-05-13.
  • Meling, Hein (2011). When You Don’t Trust Clients: Byzantine Proposer Fast Paxos. Dept. CSE, UCSD; 2011-05-04.
  • Meling, Hein (2010). Ant System for Service Deployment in Private and Public Coulds. Universitetet i Stavanger; 2010-01-28.
  • Meling, Hein (2010). Self-repairing replicated systems and dependability evaluation Invited Keynote Lecture for CANOE Workshop 2010. CANOE Workshop 2010 - Middleware for Large-scale Distributed Systems and Applications; 2010-08-27.
  • Meling, Hein (2009). Type-safe Dynamic Protocol Composition in Jgroup/ARM. 2009-06-12.
  • Meling, Hein (2008). A Distributed Approach to Autonomous Fault Treatment in Spread. 2008-05-07 - 2008-05-09.
  • Meling, Hein (2008). A Distributed Approach to Autonomous Fault Treatment in Spread. University of Trento, Department of Computer Science and Telecommunication; 2008-05-29.
  • Meling, Hein (2008). A Distributed Approach to Autonomous Fault Treatment in Spread. University of Oslo, Department of Informatics; 2008-04-29.
  • Meling, Hein (2008). Annotation Markers for Runtime Replication Protocol Selection. 2008-06-23 - 2008-06-25.
  • Meling, Hein (2008). Can we sell Autonomic and Trusted Computing Systems?. 2008-06-23 - 2008-06-25.
  • Meling, Hein (2007). A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed Systems. 2007-03-30.
  • Meling, Hein (2007). An Architecture for Self-healing Autonomous Object Groups. 2007-07-11 - 2007-07-13.
  • Meling, Hein (2007). An Architecture for Self-healing Autonomous Object Groups. Centre for Quantifiable Quality of Service in Communication Systems (Q2S); 2007-05-29.
  • Meling, Hein (2007). An Architecture for Self-healing Autonomous Object Groups. Universitetet i Stavanger, Institutt for data- og elektroteknikk; 2007-05-11.
  • Meling, Hein (2007). Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. University of Trento, Department of Information and Communication Technology; 2007-01-10.
  • Meling, Hein (2007). Distributed Autonomous Fault Treatment in Spread. 2007-10-09.
  • Meling, Hein; Rong, Chunming (2007). Integrated IP-based Serivces for smart Home environment The IS-home project. 2007-10-29 - 2007-10-30.
  • Meling, Hein (2006). Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. NTNU, Institutt for Telematikk; 2006-06-07.
  • Meling, Hein (2006). Enkel bruk av PDF. Bogafjellbakken naturbarnehage; 2006-11-29.
  • Meling, Hein (2006). Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM. 2006-11-20 - 2006-11-22.
  • Meling, Hein (2006). Reflective Agents in Future Telematics Systems. NTNU, Institutt for Telematikk; 2006-06-07.
  • Helvik, Bjarne E.; Meling, Hein; Montresor, Alberto (2005). An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system. 2005-04-20 - 2005-04-22.
  • Meling, Hein (2005). An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system. Centre for Quantifiable Quality of Service in Communication Systems (Q2S Centre); 2005-04-11.
  • Meling, Hein (2005). Experimental Assessment of Jgroup/ARM. Centre for Quantifiable Quality of Service in Communication Systems (Q2S Centre); 2005-11-25.
  • Meling, Hein (2005). Jgroup/ARM: Et feiltolerant klient-server system. Institutt for data- og elektroteknikk, Universitetet i Stavanger; 2005-05-12.
  • Meling, Hein; Helvik, Bjarne E. (2004). Performance Consequences of Inconsistent Client-side Membership Information in the Open Group Model. 2004-04-15.
  • Meling, Hein; Pahr-Iversen, Helene (2004). Doktorgrad i pålitelighet. [Avis]; 2004-03-01.
  • Meling, Hein (2003). The Jgroup/ARM Dependable Computing Toolkit. ARNE-prosjektet i samarbeid med Allianse. "Forsker møter bedrift" et arrangement i forbindelse med Forskningsdagene 2003.; 2003-09-24.
  • Meling, Hein; Lind, Jo Andreas Sægrov; Hommeland, Henning (2003). Maintaining Binding Freshness in the Jgroup Dependable Naming Service. 2003-11-24 - 2003-11-26.