-
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)
Nye briller kan få skjermane til å sveva: – Folk fryktar endringar.
-
-
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.
-
-
Meling, Hein
(2023)
BiMS: Bijective Maps for Efficiently Synchronizing Decentralized Storage Systems.
Sky Summer Retreat 2023;
2023-05-31 - 2023-06-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 - .
-
-
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.
QuickFeed on Programming Assignments.
NIK Norsk informatikkonferanse;
2021-11-29 - 2021-12-02.
-
-
Meling, Hein
(2020)
Autograder Status Rapport.
TN Utdanningsseminar;
2020-01-07 - .
-
-
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)
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 - .
-
-
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)
The Vision of a Global Academic Database of Degree Certificates.
Corpore Sano Workshop 2019;
2019-04-09.
-
-
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.
-
-
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
(2019)
FinTek torsdag: Facebook Libra.
Paneldebatt i serien FinTek torsdag hos SR-bank Stavanger;
2019-12-19 - .
-
-
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
-
-
Meling, Hein
(2019)
BBChain's Vision of a Global Academic Database of Degree Certificates.
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)
Go Programming for Java Programmers.
Gjesteforelesning i operativsystemer og systemprogrammering;
2018-08-22 - .
-
-
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)
Mostly Gorums and a little bit of Blockchains at Berkeley Lab.
IDE-TechTalk;
2018-09-14 - .
-
-
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
(2018)
Go Programming for Java Programmers.
Lecture Series in Computer Science;
2018-03-15 - .
-
-
Meling, Hein
(2018)
Gorums: New Abstractions for Implementing Quorum-based Systems.
Lecture Series in Computer Science;
2018-02-15 - .
-
-
Meling, Hein
(2018)
Bitcoin and Blockchains.
Guest lecture in Distributed Systems;
2018-03-19 - .
-
-
Meling, Hein
(2016)
Introduction to Go Programming.
IDE TechTalk;
2016-02-26 - .
-
-
Lea, Tormod Erevik;
Jehl, Leander;
Meling, Hein
(2016)
Gorums: New Abstractions for Implementing Quorum-based Systems.
IDE TechTalk;
2016-05-27 - .
-
-
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 - .
-
-
Meling, Hein
(2015)
Autograder: Better Management and Evaluation of Lab Assignments.
T-Flip Workshop;
2015-09-02 - 2015-09-03.
-
-
Meling, Hein
(2015)
Autograder: Better Management and Evaluation of Lab Assignments.
Department lecture;
2015-05-22 - .
-
-
Meling, Hein
(2015)
Paxos Explained from Scratch.
Department lecture;
2015-05-22 - .
-
-
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 - .
-
-
Mossige, Morten;
Meling, Hein;
Lie, Leiv Gunnar
(2015)
Improved robotic testing systems.
-
-
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.
-
-
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.
-
-
Meling, Hein
(2014)
Paxos Explained from Scratch.
Computer Science Security Research Seminar;
2014-06-06 - .
-
-
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.
The DEGAS project seminar series;
2014-06-11 - .
-
-
Jehl, Leander;
Meling, Hein
(2014)
Asynchronous Reconfiguration for Paxos State Machines.
ICDCN 2014;
2014-01-04 - 2014-01-07.
-
-
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;
Jehl, Leander
(2013)
Paxos Explained from Scratch.
International Conference on Principles of Distributed Systems;
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.
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.
-
-
Chang, Tiancheng;
Meling, Hein
(2012)
Byzantine Fault Tolerant Pub/Sub System.
NFR/VERDIKT konferansen;
2012-04-25 - 2012-04-26.
-
-
Jehl, Leander Nikolaus;
Meling, Hein
(2012)
Live Replacement in Paxos.
Workshop on Byzantine Fault Tolerant Publish/Subscribe;
2012-08-14 - 2012-08-18.
-
-
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)
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 Paxos.
NFR/VERDIKT konferansen;
2012-04-25 - 2012-04-26.
-
-
Meling, Hein
(2012)
Paxos Made Insanely Simple.
ABB seminar;
2012-11-14.
-
-
Meling, Hein
(2012)
Paxos Made Insanely Simple.
Workshop on Byzantine Fault Tolerant Publish/Subscribe;
2012-08-14 - 2012-08-18.
-
-
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)
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)
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)
A Distributed Approach to Autonomous Fault Treatment in Spread.
utenTitteltekst;
2008-04-29.
-
-
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-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)
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)
Distributed Autonomous Fault Treatment in Spread.
Nordic workshop and doctoral symposium on dependability and security;
2007-10-09.
-
-
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)
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-29.
-
-
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.
The 4th International Conference on Autonomic and Trusted Computing;
2007-07-11 - 2007-07-13.
-
-
Meling, Hein
(2006)
Enkel bruk av PDF.
utenTitteltekst;
2006-11-29.
-
-
Meling, Hein
(2006)
Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM.
Norsk informatikkonferanse (NIK 2006);
2006-11-20 - 2006-11-22.
-
-
Meling, Hein
(2006)
Reflective Agents in Future Telematics Systems.
utenTitteltekst;
2006-06-07.
-
-
Meling, Hein
(2006)
Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation.
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)
Jgroup/ARM: Et feiltolerant klient-server system.
utenTitteltekst;
2005-05-12.
-
-
Meling, Hein
(2005)
Experimental Assessment of Jgroup/ARM.
utenTitteltekst;
2005-11-25.
-
-
Meling, Hein
(2005)
An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system.
utenTitteltekst;
2005-04-11.
-
-
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;
Pahr-Iversen, Helene
(2004)
Doktorgrad i pålitelighet.
-
-
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.
-