Hein Meling

Nygaard, Racin Wilhelm; Meling, Hein

(2024)

arXiv.org.

ISSN 2331-8422.

DOI: 10.48550/arXiv.2304.04891

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

(2023)

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)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9517-5.

s.121-124.

DOI: 10.1145/3555776.3578614

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

(2023)

Association for Computing Machinery (ACM).

ISBN 979-8-4007-0128-3.

DOI: 10.1145/3584684.3597266

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

(2023)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-9517-5.

s.165-173.

DOI: 10.1145/3555776.3577728

Baloochestani Asl, Arian; Jehl, Leander; Meling, Hein

(2022)

ISBN 978-3-031-16092-9.

s.37-54.

DOI: 10.1007/978-3-031-16092-9_4

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)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 9781665434850.

DOI: 10.1109/DAPPS52256.2021.00017

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

(2021)

Association for Computing Machinery (ACM).

ISBN 9781450385343.

s.236-247.

DOI: 10.1145/3464298.3493397

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

(2019)

Journal of Logical and Algebraic Methods in Programming.

ISSN 2352-2208.

Volum 104.

s.254-273.

DOI: 10.1016/j.jlamp.2019.02.004

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

(2018)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-5775-3.

s.29-35.

DOI: 10.1145/3231104.3231957

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

(2018)

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)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-1-5386-5035-6.

DOI: 10.1109/BigData.2018.8622144

Jehl, Leander; Meling, Hein

(2017)

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)

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)

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)

The AI Magazine.

ISSN 0738-4602.

Volum 38.

Hefte 2.

s.94-96.

DOI: 10.1609/aimag.v38i2.2723

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

(2017)

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)

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)

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)

AAAI Press.

ISBN 978-1-57735-770-4.

s.4200-4204.

DOI: 10.1109/icst.2013.71

Jehl, Leander; Vitenberg, Roman; Meling, Hein

(2015)

Springer.

ISBN 978-3-642-33650-8.

s.154-169.

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

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

(2015)

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)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-1-4673-9302-7.

s.156-165.

DOI: 10.1109/SRDS.2015.29

Jehl, Leander; Meling, Hein

(2014)

Springer.

ISBN 978-3-642-45248-2.

s.119-133.

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

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

(2014)

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)

Springer.

ISBN 978-3-662-43351-5.

s.171-185.

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

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2014)

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)

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)

Springer.

ISBN 978-3-319-10428-7.

s.25-41.

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

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

(2014)

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)

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)

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)

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)

IEEE conference proceedings.

ISBN 978-1-4673-2230-0.

s.154 -161.

DOI: 10.1109/EUROCON.2013.6624980

Jehl, Leander; Meling, Hein

(2013)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-0-7695-5023-7.

s.98-102.

DOI: 10.1109/ICDCSW.2013.47

Jehl, Leander; Meling, Hein

(2013)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-2457-1.

DOI: 10.1145/2524224.2524232

Mossige, Morten; Gotlieb, Arnaud; Meling, Hein

(2013)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-1-4673-5961-0.

s.489 -490 .

DOI: 10.1109/ICST.2013.71

Meling, Hein; Jehl, Leander

(2013)

Springer Science+Business Media B.V..

ISBN 978-3-319-03849-0.

s.1-10.

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

Azab, Abdulrahman; Meling, Hein

(2013)

IEEE conference proceedings.

ISBN 978-1-4799-2845-3.

DOI: 10.1109/ICITCS.2013.6717810

Azab, Abdulrahman; Meling, Hein

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

Distributed Computing Systems.

ISSN 1063-6927.

s.193-202.

DOI: 10.1109/ICDCS.2012.38

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

(2012)

Lecture Notes in Computer Science (LNCS).

ISSN 0302-9743.

Volum 7272.

s.185-193.

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

Evensen, Pål; Meling, Hein

(2012)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-1315-5.

s.85-94.

DOI: 10.1145/2335484.2335494

Azab, Abdulrahman; Meling, Hein

(2012)

Springer.

ISBN 978-3-642-30822-2.

s.162-176.

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

Chang, Tiancheng; Meling, Hein

(2012)

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 978-0-7695-4784-8.

s.454-457.

DOI: 10.1109/srds.2012.14

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

(2011)

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)

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)

Association for Computing Machinery (ACM).

ISBN 978-1-4503-0423-8.

s.317-326.

DOI: 10.1145/2002259.2002301

Saadallah, Nejm; Meling, Hein

(2011)

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)

IEEE conference proceedings.

ISBN 978-1-4244-9795-9.

DOI: 10.1109/ccca.2011.6031461

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)

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.

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.

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)

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.