Skip to main content

Hein Meling

Professor

Stavanger
Faculty of Science and Technology
Department of Electrical Engineering and Computer Science
KE E-437
Bio

Hein Meling is Professor of Computer Science at the University of Stavanger, Norway, where he heads the reliable systems lab, and work on systems and protocols to improve the robustness of network services, blockchains and smart contracts. He is the project manager for the BBChain project, funded by Research Council of Norway, to conduct research on efficient trustworthy computing with blockchains and biometrics. Previously he was co-PI on two large research projects funded by the Research Council of Norway. Meling has coauthored more than 60 publications and has successfully supervised five PhD students. He received a PhD in 2006 from the Norwegian University of Science and Technology.

My primary research interests are fault tolerant and secure distributed computing and in making systems autonomic. I'm interested in building fault tolerant systems that are robust against a wide range of failures and attacks. In particular, I'm interested in developing techniques and methods to test and evaluate the robustness of systems. Together with my students, I'm developing protocols, high-level programming abstractions, and middleware environments that help alleviate development effort for large-scale distributed systems that aim to tolerate failures and dynamism. Currently, I'm focusing on technology for blockchains and Byzantine fault tolerance.

+
Publications
  • Vitenskapelige publikasjoner
    • Queiroz Saramago, Rodrigo; Jehl, Leander Nikolaus; Meling, Hein; Estrada Galiñanes, Veronica

      (2021)

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

      arXiv

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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.

    • 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

    • 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

    • 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

    • 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

    • 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; 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; 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; 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

    • 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)

      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 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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.

    • 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.

    • 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.

    • Azab, Abdulrahman; Meling, Hein

      (2009)

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

      Springer

      ISBN 9783642106644.

      s.200-211.

    • 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.

    • 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.

    • 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

      (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; 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; 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)

      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

      (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.

  • Bøker og kapitler
    • 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; Gilje, Joakim Løvås

      (2007)

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

      Pedagogiska fakulteten

    • Meling, Hein

      (2007)

      An Architecture for Self-healing Autonomous Object Groups.

      ISBN 9788276443257.

      Hefte 21.

    • 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.

  • Formidling
    • Meling, Hein

      (2020)

      Autograder Status Rapport.

    • Meling, Hein

      (2019)

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

    • Meling, Hein

      (2019)

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

    • 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)

      Software Engineering for Dependability: Gorums.

    • Meling, Hein

      (2019)

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

    • Meling, Hein

      (2019)

      CREDENCE Opportunities.

    • Meling, Hein

      (2019)

      Teaching and Research at UiS.

    • 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.

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

      (2019)

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

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

      (2019)

      Distributed Storage System based on Permissioned Blockchain.

    • Meling, Hein

      (2019)

      BBChain Status Report.

    • Meling, Hein

      (2019)

      The Vision of a Global Academic Database of Degree Certificates.

    • Meling, Hein

      (2019)

      FinTek torsdag: Facebook Libra.

    • Meling, Hein

      (2018)

      Introduction to Writing a PhD Thesis.

    • Meling, Hein

      (2018)

      Go Programming for Java Programmers.

    • Meling, Hein

      (2018)

      Bitcoin and Blockchains.

    • Meling, Hein

      (2018)

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

    • Meling, Hein

      (2018)

      The Future is Now - Bitcoin and Blockchains.

    • Meling, Hein

      (2018)

      Introduction to Writing a 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)

      BBChain: Biometrics and Blockchains.

    • Meling, Hein

      (2018)

      Go Programming for Java Programmers.

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

      (2016)

      Gorums: New Abstractions for Implementing Quorum-based Systems.

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

      (2016)

      Gorums: New Abstractions for Implementing Quorum-based Systems.

    • Meling, Hein

      (2016)

      Introduction to Go Programming.

    • Meling, Hein

      (2016)

      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: 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.

    • Meling, Hein

      (2015)

      AutoGrader.

    • 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.

    • Jehl, Leander; Meling, Hein

      (2014)

      Asynchronous Reconfiguration for Paxos State Machines.

    • Meling, Hein

      (2014)

      Paxos Explained from Scratch.

    • Meling, Hein

      (2014)

      Paxos Explained from Scratch.

    • Meling, Hein

      (2014)

      P2S: a fault-tolerant publish/subscribe infrastructure.

    • 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.

    • Jehl, Leander; Meling, Hein

      (2013)

      Towards Fast and Efficient Failure Handling for Paxos State Machines.

    • Meling, Hein; Jehl, Leander

      (2013)

      Paxos Explained from Scratch.

    • Jehl, Leander; Meling, Hein

      (2013)

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

    • Meling, Hein

      (2012)

      Paxos Made Insanely Simple.

    • Chang, Tiancheng; Meling, Hein

      (2012)

      Byzantine Fault Tolerant Pub/Sub System.

    • Meling, Hein

      (2012)

      Paxos Made Insanely Simple.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      Live Replacement in Paxos.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      A self-stabilizing algorithm for finding independent trees.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      Live Replacement Paxos.

    • Chang, Tiancheng; Meling, Hein

      (2012)

      Byzantine Fault-Tolerant Pub/Sub.

    • Meling, Hein

      (2011)

      Hvordan håndtere mitt iTunes mediabibliotek.

    • Meling, Hein

      (2011)

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

    • Meling, Hein

      (2011)

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

    • 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)

      A Distributed Approach to Autonomous Fault Treatment in Spread.

    • Meling, Hein

      (2008)

      Annotation Markers for Runtime Replication Protocol Selection.

    • 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

      (2007)

      Distributed Autonomous Fault Treatment in Spread.

    • 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; Rong, Chunming

      (2007)

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

    • 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)

      An Architecture for Self-healing Autonomous Object Groups.

    • Meling, Hein

      (2006)

      Reflective Agents in Future Telematics Systems.

    • Meling, Hein

      (2006)

      Enkel bruk av PDF.

    • Meling, Hein

      (2006)

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

    • Meling, Hein

      (2006)

      Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM.

    • Meling, Hein

      (2005)

      Jgroup/ARM: Et feiltolerant klient-server system.

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

      (2005)

      An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM 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.

    • Meling, Hein; Pahr-Iversen, Helene

      (2004)

      Doktorgrad i pålitelighet.

    • Meling, Hein; Helvik, Bjarne E.

      (2004)

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

    • Meling, Hein

      (2003)

      The Jgroup/ARM Dependable Computing Toolkit.

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

      (2003)

      Maintaining Binding Freshness in the Jgroup Dependable Naming Service.

  • Kunstnerisk produksjon
  • Kommersialisering
  • Cristin hovedlogo, Cristin current research information system in Norway