Hein Meling

Professor i informasjonsteknologi

Hein Meling

Kontakt

Telefon: 51832080

E-post: hein.meling@uis.no

Rom: KE D-427

Sted: Stavanger

Organisasjonsenhet

Det teknisk-naturvitenskapelige fakultet

Institutt for data- og elektroteknologi

Kort om meg

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.

Publikasjoner

Vitenskapelige publikasjoner

Queiroz Saramago, Rodrigo; Meling, Hein; Jehl, Leander Nikolaus

(2023)

A Privacy-Preserving and Transparent Certification System for Digital Credentials.

Leibniz International Proceedings in Informatics.

ISSN 1868-8969.

Volum 253.

s.9:1-9:24.

DOI: 10.4230/LIPIcs.OPODIS.2022.9

Gogada, Hanish; Olsen, John Ingve; Meling, Hein; Jehl, Leander

(2023)

An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols . I: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9517-5.

s.121-124.

DOI: 10.1145/3555776.3578614

Nygaard, Racin Wilhelm; Meling, Hein; Olsen, John Ingve

(2023)

Cost-effective data upkeep in decentralized storage systems. I: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing.

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9517-5.

s.165-173.

DOI: 10.1145/3555776.3577728

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 (Institute of Electrical and Electronics Engineers).

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

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

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 (Institute of Electrical and Electronics Engineers).

ISBN 978-1-5386-5035-6.

DOI: 10.1109/BigData.2018.8622144

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.

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

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

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 (Institute of Electrical and Electronics Engineers).

ISBN 978-1-4673-9302-7.

s.156-165.

DOI: 10.1109/SRDS.2015.29

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)

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

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 (Institute of Electrical and Electronics Engineers).

ISBN 978-1-4799-5584-8.

s.253-264.

DOI: 10.1109/SRDS.2014.28

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

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

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 (Institute of Electrical and Electronics Engineers).

ISBN 978-0-7695-5023-7.

s.98-102.

DOI: 10.1109/ICDCSW.2013.47

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

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

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

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

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

(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

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

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.

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.

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

(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 (Institute of Electrical and Electronics Engineers).

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)

An architecture for self-healing autonomous object groups. I: Proceedings of the 4th international conference on Autonomic and Trusted Computing.

Springer.

ISBN 978-3-540-73546-5.

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

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

Springer.

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

(2007)

An Architecture for Self-healing Autonomous Object Groups.

Universitetet i Stavanger.

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.

Meling, Hein; Evensen, Pål

(2007)

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

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

(2004)

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

Universitetet i Stavanger.

ISBN 8276442374.

Hefte 144/2004.

Formidling

Meling, Hein; Nygaard, Racin Wilhelm

(2023)

A few bits per chunk and a few iterations are enough to synchronize storage peers.

Sky Winter Retreat 2023;

2023-01-09 - 2023-01-12.

Meling, Hein

(2023)

BiMS: Bijective Maps for Efficiently Synchronizing Decentralized Storage Systems.

Sky Summer Retreat 2023;

2023-05-31 - 2023-06-02.

Gogada, Hanish; Olsen, John Ingve; Meling, Hein; Jehl, Leander

(2023)

POSTER SHARE ON An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols.

SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;

2023-03-27 - 2023-04-02.

Gogada, Hanish; Meling, Hein; Jehl, Leander; Olsen, John Ingve

(2023)

An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols.

the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems;

2023-07-19 - .

Meling, Hein

(2023)

Nye briller kan få skjermane til å sveva: – Folk fryktar endringar.

Deng, Chun; Mishra, Shubham; Gupta, Suyash; Crooks, Natacha; Meling, Hein

(2023)

Samurai : Slash your decentralized storage.

The 29th ACM symposium on operating systems principles (SOSP 2023);

2023-10-23 - 2023-10-26.

Meling, Hein

(2021)

QuickFeed on Programming Assignments.

NIK Norsk informatikkonferanse;

2021-11-29 - 2021-12-02.

Meling, Hein

(2020)

Autograder Status Rapport.

TN Utdanningsseminar;

2020-01-07 - .

Meling, Hein

(2019)

The Vision of a Global Academic Database of Degree Certificates.

Corpore Sano Workshop 2019;

2019-04-09.

Meling, Hein

(2019)

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

Foredragsserie;

2019-04-10.

Meling, Hein

(2019)

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

Paneldebatt i serien FinTek torsdag hos SR-bank Stavanger;

2019-03-28 - .

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

(2019)

Distributed Storage System based on Permissioned Blockchain.

34th ACM Symposium on Applied Computing;

2019-04-08 - 2019-04-12.

Meling, Hein

(2019)

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

Klynge innen automasjon og elektronikk;

2019-06-19 - .

Meling, Hein

(2019)

BBChain Status Report.

BBChain Workshop 2019;

2019-06-26 - 2019-06-27.

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

(2019)

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

Stavanger Workshop in collaboration with Credence INTPART project;

2019-08-04 - 2019-08-08.

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

(2019)

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

GI-Edition Lecture Notes in Informatics (LNI).

ISSN 1617-5468.

Volum P-292.

s.121-122.

DOI: 10.18420/se2019-36

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.

Technical Committee on Network Systems Workshop;

2019-10-10 - 2019-10-11.

Meling, Hein

(2019)

FinTek torsdag: Facebook Libra.

Paneldebatt i serien FinTek torsdag hos SR-bank Stavanger;

2019-12-19 - .

Meling, Hein

(2019)

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

CREDENCE Workshop;

2019-08-05 - 2019-08-07.

Meling, Hein

(2019)

Software Engineering for Dependability: Gorums.

CREDENCE Workshop;

2019-08-05 - 2019-08-07.

Meling, Hein

(2019)

CREDENCE Opportunities.

CREDENCE Workshop;

2019-08-05 - 2019-08-07.

Meling, Hein

(2019)

Teaching and Research at UiS.

CREDENCE Workshop;

2019-08-05 - 2019-08-07.

Meling, Hein

(2018)

The Future is Now - Bitcoin and Blockchains.

Lecture Series in The Future is Now: Shaping our world with science and mathematics;

2018-09-13 - .

Meling, Hein

(2018)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Lecture Series in Computer Science;

2018-02-15 - .

Meling, Hein

(2018)

Go Programming for Java Programmers.

Lecture Series in Computer Science;

2018-03-15 - .

Meling, Hein

(2018)

Bitcoin and Blockchains.

Guest lecture in Distributed Systems;

2018-03-19 - .

Meling, Hein

(2018)

Go Programming for Java Programmers.

Gjesteforelesning i operativsystemer og systemprogrammering;

2018-08-22 - .

Meling, Hein

(2018)

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

IDE-TechTalk;

2018-09-14 - .

Meling, Hein

(2018)

Gorums: New Abstractions for Implementing Quorum-based Systems.

BBChain Kickoff;

2018-09-19 - 2018-09-20.

Meling, Hein

(2018)

BBChain: Biometrics and Blockchains.

BBChain Kickoff;

2018-09-19 - 2018-09-20.

Meling, Hein

(2018)

Introduction to Writing a PhD Thesis.

Seminar;

2018-02-15 - .

Meling, Hein

(2018)

Introduction to Writing a Thesis.

Information meeting for bachelor and master students;

2018-12-13 - .

Meling, Hein

(2016)

Introduction to Go Programming.

IDE TechTalk;

2016-02-26 - .

Meling, Hein

(2016)

Paxos Explained from Scratch.

Tech Seminar at Schibsted;

2016-10-25 - .

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

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

Tech Seminar at Schibsted;

2016-10-25 - .

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

(2016)

Gorums: New Abstractions for Implementing Quorum-based Systems.

IDE TechTalk;

2016-05-27 - .

Meling, Hein

(2015)

Paxos Explained from Scratch.

Department lecture;

2015-05-22 - .

Meling, Hein

(2015)

Autograder: Better Management and Evaluation of Lab Assignments.

Department lecture;

2015-05-22 - .

Meling, Hein

(2015)

Autograder: Better Management and Evaluation of Lab Assignments.

T-Flip Workshop;

2015-09-02 - 2015-09-03.

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

(2015)

Improved robotic testing systems.

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

(2015)

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

Meling, Hein

(2015)

AutoGrader.

T-FLIP Kickoff;

2015-09-25 - .

Jehl, Leander; Meling, Hein

(2014)

Asynchronous Reconfiguration for Paxos State Machines.

ICDCN 2014;

2014-01-04 - 2014-01-07.

Mossige, Morten; Meling, Hein; Gotlieb, Arnaud

(2014)

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

Testing Software and Systems ;

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.

20th International Conference, CP 2014,;

2014-09-08 - 2014-09-12.

Meling, Hein

(2014)

P2S: a fault-tolerant publish/subscribe infrastructure.

The 8th ACM International Conference on Distributed Event-Based Systems;

2014-05-26 - 2014-05-29.

Meling, Hein

(2014)

Paxos Explained from Scratch.

Computer Science Security Research Seminar;

2014-06-06 - .

Meling, Hein

(2014)

Paxos Explained from Scratch.

The DEGAS project seminar series;

2014-06-11 - .

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

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

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation;

2013-03-18 - 2013-03-22.

Jehl, Leander; Meling, Hein

(2013)

Towards Fast and Efficient Failure Handling for Paxos State Machines.

33rd International Conference on Distributed Computing Systems Workshops;

2013-07-08 - 2013-07-11.

Jehl, Leander; Meling, Hein

(2013)

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

9th Workshop on Hot Topics in Dependable Systems ;

2013-11-03.

Meling, Hein; Jehl, Leander

(2013)

Paxos Explained from Scratch.

International Conference on Principles of Distributed Systems;

2013-12-16 - 2013-12-18.

Meling, Hein

(2013)

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

Certus User Partner Workshop;

2013-03-14 - 2013-03-15.

Meling, Hein

(2012)

Paxos Made Insanely Simple.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Meling, Hein

(2012)

Paxos Made Insanely Simple.

ABB seminar;

2012-11-14.

Chang, Tiancheng; Meling, Hein

(2012)

Byzantine Fault Tolerant Pub/Sub System.

NFR/VERDIKT konferansen;

2012-04-25 - 2012-04-26.

Chang, Tiancheng; Meling, Hein

(2012)

Byzantine Fault-Tolerant Pub/Sub.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement Paxos.

NFR/VERDIKT konferansen;

2012-04-25 - 2012-04-26.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

A self-stabilizing algorithm for finding independent trees.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Jehl, Leander Nikolaus; Meling, Hein

(2012)

Live Replacement in Paxos.

Workshop on Byzantine Fault Tolerant Publish/Subscribe;

2012-08-14 - 2012-08-18.

Meling, Hein

(2011)

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

The 25th International Symposium on DIStributed Computing (DISC 2011);

2011-09-20 - 2011-09-22.

Meling, Hein

(2011)

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

Systems lunch seminar series, UC San Diego;

2011-05-04.

Meling, Hein

(2011)

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

Tidal News Project Workshop;

2011-05-09 - 2011-05-13.

Meling, Hein

(2011)

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

Friday Lecture Series at IDE;

2011-09-16.

Meling, Hein

(2011)

Hvordan håndtere mitt iTunes mediabibliotek.

Friday Lecture Series at IDE;

2011-11-25 - .

Meling, Hein

(2010)

Ant System for Service Deployment in Private and Public Coulds.

utenTitteltekst;

2010-01-28.

Meling, Hein

(2010)

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

utenTitteltekst;

2010-08-27.

Meling, Hein

(2009)

Type-safe Dynamic Protocol Composition in Jgroup/ARM.

Third International DisCoTec Workshop on Middleware-Application Interaction;

2009-06-12.

Meling, Hein

(2008)

Annotation Markers for Runtime Replication Protocol Selection.

International Conference on Autonomic and Trusted Computing;

2008-06-23 - 2008-06-25.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

utenTitteltekst;

2008-04-29.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

utenTitteltekst;

2008-05-29.

Meling, Hein

(2008)

A Distributed Approach to Autonomous Fault Treatment in Spread.

Seventh European Dependable Computing Conference;

2008-05-07 - 2008-05-09.

Meling, Hein

(2008)

Can we sell Autonomic and Trusted Computing Systems?.

5th International Conference on Autonomic and Trusted Computing;

2008-06-23 - 2008-06-25.

Meling, Hein

(2007)

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

utenTitteltekst;

2007-01-10.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

utenTitteltekst;

2007-05-11.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

utenTitteltekst;

2007-05-29.

Meling, Hein

(2007)

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

The 21st IEEE International Parallel and Distributed Processing Symposium;

2007-03-30.

Meling, Hein

(2007)

An Architecture for Self-healing Autonomous Object Groups.

The 4th International Conference on Autonomic and Trusted Computing;

2007-07-11 - 2007-07-13.

Meling, Hein; Rong, Chunming

(2007)

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

The VERDIKT Conference;

2007-10-29 - 2007-10-30.

Meling, Hein

(2007)

Distributed Autonomous Fault Treatment in Spread.

Nordic workshop and doctoral symposium on dependability and security;

2007-10-09.

Meling, Hein

(2006)

Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM.

Norsk informatikkonferanse (NIK 2006);

2006-11-20 - 2006-11-22.

Meling, Hein

(2006)

Enkel bruk av PDF.

utenTitteltekst;

2006-11-29.

Meling, Hein

(2006)

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

utenTitteltekst;

2006-06-07.

Meling, Hein

(2006)

Reflective Agents in Future Telematics Systems.

utenTitteltekst;

2006-06-07.

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

(2005)

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

Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference;

2005-04-20 - 2005-04-22.

Meling, Hein

(2005)

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

utenTitteltekst;

2005-04-11.

Meling, Hein

(2005)

Experimental Assessment of Jgroup/ARM.

utenTitteltekst;

2005-11-25.

Meling, Hein

(2005)

Jgroup/ARM: Et feiltolerant klient-server system.

utenTitteltekst;

2005-05-12.

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.

The 23rd IEEE International Performance, Computing and Communications Conference;

2004-04-15.

Meling, Hein

(2003)

The Jgroup/ARM Dependable Computing Toolkit.

utenTitteltekst;

2003-09-24.

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

(2003)

Maintaining Binding Freshness in the Jgroup Dependable Naming Service.

Norsk Informatikkonferanse;

2003-11-24 - 2003-11-26.