Hein Meling

Professor

Hein Meling

Kontakt

Telefon: 5183 2080

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 directs the Reliable Systems Lab. He led the BBChain project—funded by the Research Council of Norway—to investigate efficient, trustworthy computing using blockchains and biometric authentication, and previously served as co-principal investigator on three major RCN-supported initiatives. Meling holds a PhD from the Norwegian University of Science and Technology (2006) and has co-authored over 75 peer-reviewed publications. His research centers on fault-tolerant and secure distributed computing, with particular emphasis on blockchain technologies, Byzantine fault tolerance, and decentralized storage. His team develops high-level programming models, middleware platforms, and protocols that enhance the robustness and reliability of large-scale network services.

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.

Teaching competences:

Basic course in higher education pedagogies (uniped) (100 hours, 2006-2007)

Course in Scientific Writing (3 days, 2010)

Course in Doctoral Supervision (1 day, 2012)

Publikasjoner

Vitenskapelige publikasjoner

Niccolò Meneghetti; Hein Meling; Kyoseung Koo; Yoojin Choi (2025) Reproducibility Report for ACM SIGMOD 2024 Paper: 'PreVision: An Out-of-Core Matrix Computation System with Optimal Buffer Replacement'. I: Proceedings of the ACM SIGMOD International Conference on Management of Data. ISSN 0730-8078. s.35-43. DOI: 10.1145/3687998.3717050

Hein Meling; Yue Gong; Kaiqiang Yu; Cheng Long (2025) Reproducibility Report for ACM SIGMOD 2024 Paper: 'Fast Maximal Quasi-clique Enumeration: A Pruning and Branching Co-Design Approach'. I: Proceedings of the ACM SIGMOD International Conference on Management of Data. ISSN 0730-8078. s.91-93. DOI: 10.1145/3687998.3717040

Arian Baloochestani Asl; Hanish Gogada; Leander Jehl; Hein Meling (2024) Iniva: Inclusive and Incentive-compatible Vote Aggregation. I: Julia Lawall; Marc Dacier, 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9798350341058. DOI: 10.1109/DSN58291.2024.00050

Racin Wilhelm Nygaard; Hein Meling; John Ingve Olsen (2023) Cost-effective data upkeep in decentralized storage systems. I: Maart Lanperne; Jiman Hong; Juw Won Park; Tomas Cerny, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery (ACM). ISBN 9781450395175. s.165-173. DOI: 10.1145/3555776.3577728

Hanish Gogada; John Ingve Olsen; Hein Meling; Leander Jehl (2023) An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. I: Maart Lanperne; Jiman Hong; Tomas Cerny; Juw Won Park, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery (ACM). ISBN 9781450395175. s.121-124. DOI: 10.1145/3555776.3578614

Hanish Gogada; Hein Meling; Leander Jehl; John Ingve Olsen (2023) An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols. I: Yanhong Annie Liu; Elad MIchael Schiller, ApPLIED 2023: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems. Association for Computing Machinery (ACM). ISBN 9798400701283. DOI: 10.1145/3584684.3597266

Rodrigo Queiroz Saramago; Hein Meling; Leander Nikolaus Jehl (2023) A Privacy-Preserving and Transparent Certification System for Digital Credentials. I: Leibniz International Proceedings in Informatics. Online ISSN 1868-8969. Volum 253. s.9:1-9:24. DOI: 10.4230/LIPIcs.OPODIS.2022.9

Arian Baloochestani Asl; Leander Jehl; Hein Meling (2022) Rebop : Reputation-based incentives in committee-based blockchains. I: Eyers David; Voulgaris Spyros, Distributed Applications and Interoperable Systems 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Springer Cham. ISBN 9783031160929. s.37-54. DOI: 10.1007/978-3-031-16092-9_4

Rodrigo Queiroz Saramago; Leander Jehl; Hein Meling; Veronica Estrada-Galiñanes (2021) A tree-based construction for verifiable diplomas with issuer transparency. I: Lisa O`Conner, 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

Rodrigo Queiroz Saramago; Leander Nikolaus Jehl; Hein Meling; Veronica Estrada Galiñanes (2021) A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. I: arXiv.

Racin Wilhelm Nygaard; Vero Estrada-Galiñanes; Hein Meling (2021) Snarl : entangled merkle trees for improved file availability and storage utilization. I: Kaiwen Zhang; Abdelouahed Gherbi, Middleware 21 : Proceedings of the 22nd International middleware conference, Québec city Canada December 6 - 10, 2021. Association for Computing Machinery (ACM). ISBN 9781450385343. s.236-247. DOI: 10.1145/3464298.3493397

Rui Wang; Lars Michael Kristensen; Hein Meling; Volker Stolz (2019) Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. I: Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. Volum 104. s.254-273. DOI: 10.1016/j.jlamp.2019.02.004

Abdulrahman Azab; Hein Meling; Eivind Hovig; Antti Pursula (2018) Filesystem Front-end for Seamless Job Management in Sensitive Data e-Infrastructures and Cloud Federation. I: Naoki Abe; Jeffrey Saltz; Donald Kossmann; Mu Qiao; Kisung Lee; Nesreen Ahmed; Xiaohua Hu; Jingrui He; Bing Liu; Yang Song; Jiliang Tang; Huan Liu, 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781538650356. DOI: 10.1109/BigData.2018.8622144

Sebastian Mæland Pedersen; Hein Meling; Leander Jehl (2018) An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. I: Chryssis Georgiou; Elad M. Schiller, 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 9781450357753. s.29-35. DOI: 10.1145/3231104.3231957

Rui Wang; Lars Michael Kristensen; Hein Meling; Volker Stolz (2018) Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 11090. s.158-180. DOI: 10.1007/978-3-662-58381-4_8

Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (2017) Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 10416 LNCS. s.387-404. DOI: 10.1007/978-3-319-66158-2_25

Tormod Erevik Lea; Leander Jehl; Hein Meling (2017) Towards New Abstractions for Implementing Quorum-Based Systems. I: Distributed Computing Systems. ISSN 1063-6927. s.2380-2385. DOI: 10.1109/ICDCS.2017.166

Morten Mossige; Arnaud Gotlieb; Hein Meling (2017) Deploying Constraint Programming for Testing ABB’s Painting Robots. I: The AI Magazine. ISSN 0738-4602. Volum 38. s.94-96. DOI: 10.1609/aimag.v38i2.2723

Rui Wang; Lars Michael Kristensen; Hein Meling; Volker Stolz (2017) Application of Model-based Testing on a Quorum-based Distributed Storage. I: CEUR Workshop Proceedings. Online ISSN 1613-0073. Volum 1846. s.177-196.

Rui Wang; Lars Michael Kristensen; Hein Meling; Volker Stolz (2017) Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. I: Marina Walden, Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISBN 9789521236082. s.22-24. DOI: 10.1007/978-3-662-58381-4_8

Leander Jehl; Hein Meling (2017) The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. I: Leibniz International Proceedings in Informatics. Online ISSN 1868-8969. Volum 70. s.31.1-31.17. DOI: 10.4230/LIPIcs.OPODIS.2016.31

Leander Jehl; Tormod Erevik Lea; Hein Meling (2016) Replacement: Decentralized Failure Handling for Replicated State Machines. I: Symposium on Reliable Distributed Systems. Proceedings. ISSN 1060-9857. Volum 2016-January. s.156-165. DOI: 10.1109/SRDS.2015.29

Morten Mossige; Arnaud Gotlieb; Hein Meling (2016) Generating Tests for Robotized Painting Using Constraint Programming. I: Subbarao Kambhampati, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. AAAI Press. ISBN 9781577357704. s.4200-4204. DOI: 10.1109/icst.2013.71

Narasimha Raghavan Veeraragavan; Leonardo Montecchi; Nicola Nostro; Roman Vitenberg; Hein Meling; Andrea Bondavalli (2016) Modeling QoE in dependable tele-immersive applications: a case study of world opera. I: IEEE Transactions on Parallel and Distributed Systems. ISSN 1045-9219. Volum 27. s.2667-2681. DOI: 10.1109/TPDS.2015.2503291

James W. Anderson; Hein Meling; Alexander Rasmussen; Amin Vahdat; Keith Marzullo (2015) Local recovery for high availability in strongly consistent cloud services. I: IEEE Transactions on Dependable and Secure Computing. ISSN 1545-5971. Volum PP. s.172-184. DOI: 10.1109/TDSC.2015.2443781

Leander Jehl; Roman Vitenberg; Hein Meling (2015) SmartMerge: A New Approach to Reconfiguration for Atomic Storage. I: Yoram Moses, Distributed Computing - 29th International Symposium, DISC 2015. Springer. ISBN 9783642336508. s.154-169. DOI: 10.1007/978-3-662-48653-5_11

Leander Jehl; Tormod Erevik Lea; Hein Meling (2015) Replacement: Decentralized Failure Handling for Replicated State Machines. I: Pascal Felber; Nalini Venkatasubramanian, Proceedings of the 2015 IEEE 34th International Symposium on Reliable Distributed Systems. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781467393027. s.156-165. DOI: 10.1109/SRDS.2015.29

Leander Jehl; Tormod Erevik Lea; Hein Meling (2014) Brief Announcement: Replacement - Handling Failures in a Replicated State Machine. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 8784. s.531-532. DOI: 10.1007/978-3-662-45174-8

Sisi Duan; Karl Levitt; Hein Meling; Sean Peisert; Haibin Zhang (2014) ByzID: Byzantine Fault Tolerance from Intrusion Detection. I: Antonio Casimiro; Xavier Defago; D. Manivannan, Proceedings of the 2014 IEEE 33rd International Symposium on Reliable Distributed Systems. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781479955848. s.253-264. DOI: 10.1109/SRDS.2014.28

Abdulrahman Azab; Hein Meling; Reggie Davidrajuh (2014) A fuzzy-logic based coordinated scheduling technique for inter-grid architectures. I: Kostas Magoutis; Peter Pietzuch, Distributed Applications and Interoperable Systems, 14th IFIP WG 6.1 International Conference, DAIS 2014. Springer. ISBN 9783662433515. s.171-185. DOI: 10.1007/978-3-662-43352-2_14

Leander Jehl; Hein Meling (2014) Asynchronous Reconfiguration for Paxos State Machines. I: Mainak Chatterjee; Jian-nong Cao; Kishore Kothapalli; Sergio Rajsbaum, Distributed Computing and Networking, 15th International Conference, ICDCN 2014. Springer. ISBN 9783642452482. s.119-133. DOI: 10.1007/978-3-642-45249-9_8

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Testing robot controllers using constraint programming and continuous integration. I: Information and Software Technology. ISSN 0950-5849. Volum 57. s.169-185. DOI: 10.1016/j.infsof.2014.09.009

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. I: Barry O’Sullivan, Principles and Practice of Constraint Programming. Springer. ISBN 9783319104287. s.25-41. DOI: 10.1007/978-3-319-10428-7_6

Morten Mossige; Arnaud Gotlieb; Hein Meling (2014) Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. I: Mercedes G. Merayo; Edgardo Montes de Oca, Testing Software and Systems. Springer. ISBN 9783662448564. s.145-160. DOI: 10.1007/978-3-662-44857-1_10

Tiancheng Chang; Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang (2014) P2S: a fault-tolerant publish/subscribe infrastructure. I: Umesh Bellur; Ravi Kothari, 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 9781450327374. s.189-197. DOI: 10.1145/2611286.2611305

Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang (2014) BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 8878. s.91-106. DOI: 10.1007/978-3-319-14472-6_7

Abdulrahman Azab; Hein Meling (2013) Building Composite Grid Tasks Using STROLL File-System. I: Kuinam J Kim, Proceeding of The International Conference on IT Convergence and Security. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781479928453. DOI: 10.1109/ICITCS.2013.6717810

Hein Meling; Leander Jehl (2013) Tutorial Summary: Paxos Explained from Scratch. I: Roberto Baldoni; Nicolas Nisse; Maarten van Steen, Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings. Springer Science+Business Media B.V.. ISBN 9783319038490. s.1-10. DOI: 10.1007/978-3-319-03850-6_1

Leander Jehl; Hein Meling (2013) Towards fast and efficient failure handling for paxos state machines. I: . ICDSW 2013, Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9780769550237. s.98-102. DOI: 10.1109/ICDCSW.2013.47

Leander Jehl; Hein Meling (2013) Towards Byzantine fault tolerant publish/subscribe: a state machine approach. I: Christian Cachin; Robbert Van Renesse, Proceedings of the 9th Workshop on Hot Topics in Dependable. Association for Computing Machinery (ACM). ISBN 9781450324571. DOI: 10.1145/2524224.2524232

Morten Mossige; Arnaud Gotlieb; Hein Meling (2013) Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment. I: . ICST 2013, Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781467359610. s.489-490. DOI: 10.1109/ICST.2013.71

Abdulrahman Azab; Hein Meling (2013) SLICK: A Coordinated Job Allocation Technique for Inter-grid Architectures. I: 2013 EMS, European Modelling Symposium 2013. IEEE Press. ISBN 9781479925780. s.460-465. DOI: 10.1109/ems.2013.82

Narasimha Raghavan Veeraragavan; Hein Meling; Roman Vitenberg (2013) QoE Estimation Models for Tele-immersive Applications. I: Igor Kuzle; Hrvoje Pandzic; Tomislav Capuder, Proceedings of IEEE Eurocon 2013. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781467322300. s.154-161. DOI: 10.1109/EUROCON.2013.6624980

Narasimha Raghavan Veeraragavan; Andrea Bondavalli; Leonardo Montecchi; Roman Vitenberg; Nicola Nostro; Hein Meling (2013) Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. I: Shin Sung Y.; Maldonado José Carlos, Proceedings of the 28th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM). ISBN 9781450316569. s.439-446. DOI: 10.1145/2480362.2480450

Tiancheng Chang; Hein Meling (2012) Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure (position paper). I: Istvan Majzik; Leszek T Lilien; Takahiro Hara, Proceedings of the 31st International Symposium on Reliable Distributed Systems (SRDS). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9780769547848. s.454-457. DOI: 10.1109/srds.2012.14

Hein Meling; Keith Marzullo; Alessandro Mei (2012) When You Don't Trust Clients: Byzantine Proposer Fast Paxos. I: Distributed Computing Systems. ISSN 1063-6927. s.193-202. DOI: 10.1109/ICDCS.2012.38

Abdulrahman Azab; Hein Meling (2012) Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. I: Karl Michael Göschka; Seif Haridi, Distributed Applications and Interoperable Systems. Springer. ISBN 9783642308222. s.162-176. DOI: 10.1007/978-3-642-30823-9_14

Pål Evensen; Hein Meling (2012) AdScorer: an event-based system for near real-time impact analysis of television advertisements. I: Andreas Behrend, Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems, DEBS 2012. Association for Computing Machinery (ACM). ISBN 9781450313155. s.85-94. DOI: 10.1145/2335484.2335494

Narasimha Raghavan Veeraragavan; Roman Vitenberg; Hein Meling (2012) Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 7272. s.185-193. DOI: 10.1007/978-3-642-30823-9_16

Keith Ansel Marzullo; Hein Meling; Alessandro Mei (2011) Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. s.143-144. DOI: 10.1007/978-3-642-24100-0_11

Nejm Saadallah; Hein Meling; Benoit Daireaux (2011) Modeling a drilling control system, as a Discrete-Event-System. I: . ., International Conference on Communications, Computing and Control Applications (CCCA). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781424497959. DOI: 10.1109/ccca.2011.6031461

Mate Jozsef Csorba; Hein Meling; Poul Einar Heegaard (2011) A Bio-inspired Method for Distributed Deployment of Services. I: New generation computing. ISSN 0288-3635. Volum 29. s.185-222. DOI: 10.1007/s00354-010-0104-x

Nejm Saadallah; Hein Meling (2011) A simple machine in a complex environment: A Petri net approach. I: . ., 15th IEEE International Conference on Intelligent Engineering Systems (INES). IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781424489558. s.387-392. DOI: 10.1109/ines.2011.5954778

Pål Evensen; Hein Meling (2011) A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. I: Avigdor Gal; David M. Eyers; Paul Vincent; Stanley B. Zdonik; Opher Etzion, Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, DEBS 2011. Association for Computing Machinery (ACM). ISBN 9781450304238. s.317-326. DOI: 10.1145/2002259.2002301

Mate Jozsef Csorba; Hein Meling; Poul Einar Heegaard (2010) Ant system for service development in private and public clouds. I: Gianluigi Folino; Carlo Mastroianni; Paraskevi Fragopoulou; Junichi Suzuki, Proceeding of the 2nd workshop on Bio-inspired algorithms for distributed systems. Association for Computing Machinery (ACM). ISBN 9781450300865. s.19-28.

Abdulrahman Azab; Hein Meling (2010) A Virtual File System Interface for Computational Grids. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. s.87-96. DOI: 10.1007/978-3-642-13971-0_9

Mate Jozsef Csorba; Hein Meling; Poul Einar Heegaard (2009) Laying Pheromone Trails for Balanced and Dependable Component Mappings. I: Gunn Elisabeth Birkelund; Arne Mastekaasa, Integrert? Innvandrere og barn av innvandrere i utdanning og arbeidsliv. Abstrakt forlag. ISBN 9788279352785. s.50-64.

Mate Jozsef Csorba; Hein Meling; Poul Einar Heegaard; Peter Herrmann (2009) Foraging for Better Deployment of Replicated Service Components. I: Gerhard Goos, Distributed Applications and Interoperable Systems. Springer. ISBN 9783642021633. s.87-101.

Hein Meling; Alberto Montresor (2009) Type-safe Dynamic Protocol Composition in Jgroup/ARM. I: Ukjent Ukjent, Proceedings of the Third International DisCoTec Workshop on Middleware-Application Integration. ACM Publications. ISBN 9781605584898. s.5-10.

Hein Meling; Pål Evensen (2009) Sensor virtualization with self-configuration and flexible interactions. I: Ukjent Ukjent, Proceedings of the 3rd ACM International Workshop on Context-Awareness for Self-Managing Systems. ACM Publications. ISBN 9781605584393. s.31-38.

Abdulrahman Azab; Hein Meling (2009) Decentralized Service Allocation in a Broker Overlay Based Grid. I: Martin Gilje Jaatun; Gansen Zhao; Chunming Rong, Cloud Computing. Springer. ISBN 9783642106644. s.200-211.

Pål Evensen; Hein Meling (2009) SenseWrap : a service oriented middleware with sensor virtualisation and self-configuration. I: S. Marusic, Proceedings of 2009 Fifth International Conference on Intelligent Sensors, Sensor Networks and Information Processing : ISSNIP : 7-10 December 2009, Melbourne, Australia. IEEE (Institute of Electrical and Electronics Engineers). ISBN 9781424435180. s.261-266.

Hein Meling (2008) Annotation Markers for Runtime Replication Protocol Selection. I: Proceedings of the 5th International Conference on Autonomic and Trusted Computing. Springer. s.496-506.

Hein Meling; Alberto Montresor; Bjarne E. Helvik; Ozalp Babaoglu (2008) Jgroup/ARM: a distributed object group platform with autonomous replication management. I: Software, Practice & Experience. ISSN 0038-0644. Volum 38. s.885-923.

Hein Meling; Joakim Løvås Gilje (2008) A distributed approach to autonomous fault treatment in spread. I: al et, 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.

Hein Meling; Chunming Rong; Dagfinn Wåge (2007) Towards Integrated Services for Health Monitoring. I: Advanced Information Networking and Applications. ISSN 1550-445X. Volum 21. s.776-781.

Hein Meling (2007) A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed Systems. I: Proceedings, International Parallel and Distributed Processing Symposium (IPDPS). ISSN 1530-2075. Volum 21.

Hein Meling (2007) An architecture for self-healing autonomous object groups. I: Bin Xiao; Laurence T. Yang; Jianhua Ma, Proceedings of the 4th international conference on Autonomic and Trusted Computing. Springer. ISBN 9783540735465.

Hein Meling (2006) Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM. I: Norsk informatikkonferanse (NIK 2006). Tapir Akademisk Forlag. s.17-28.

Bjarne E. Helvik; Hein Meling; Alberto Montresor (2005) An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system. I: Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. Volum 3463.

Alberto Montresor; Hein Meling; Ozalp Babaoglu (2003) Toward Self-Organizing, Self-Repairing and Resilient Distributed Systems. I: Future Directions in Distributed Computing. Springer. s.119-123.

Bøker og kapitler

Vero Estrada-Galiñanes; Racin Wilhelm Nygaard; Viktor Tron; Rodrigo Saramago; Leander Jehl; Hein Meling (2019) Building a disaster-resilient storage layer for next generation networks: The role of redundancy. I: N. N, Network Systems - Workshop October 10-11, 2019. NS2019-99-NS2019-119. Institute of Electronics, Information and Communication Engineers. s.53-58.

Frank Eliassen; Hein Meling; Roman Vitenberg (2015) Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, DEBS '15. Association for Computing Machinery (ACM). ISBN 9781450332866.

Erlend Tøssebro; Hein Meling (2013) Norsk informatikkonferanse NIK 2013, Universitetet i Stavanger, 18. - 20.november 2013. Akademika forlag. ISBN 9788232103652.

Hein Meling; Pål Evensen (2007) Autonomous Communication Middleware for Integrated Home Services The IS-home project. I: . ., The VERDIKT Conference. Ukjent.

Hein Meling; Joakim Løvås Gilje (2007) Distributed Autonomous Fault Treatment in Spread. I: Simin Nadjm-Tehrani; Luigia Petre; Mikael Asplund, Nordic workshop and doctoral symposium on dependability and security. Pedagogiska fakulteten.

Hein Meling (2007) An Architecture for Self-healing Autonomous Object Groups. Universitetet i Stavanger. ISBN 9788276443257.

Bjarne E. Helvik; Hein Meling; Alberto Montresor (2004) An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. Universitetet i Stavanger. ISBN 9788276442373.

Formidling

Hein Meling (2025) Fortifying Data Availability and Synchronization in Decentralized Storage Systems. Relab Group Meeting; 2025-06-05.

Hein Meling (2025) Fortifying Data Availability and Synchronization in
 Decentralized Storage Systems. International Workshop on Resilient Networks Design and Modeling; 2025-06-08 - 2025-06-10. DOI: http://www.rndm.pl/2025/program.html

Hanish Gogada; John Ingve Olsen; Hein Meling; Leander Jehl (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.

Hanish Gogada; Hein Meling; Leander Jehl; John Ingve Olsen (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.

Hein Meling (2023) Nye briller kan få skjermane til å sveva: – Folk fryktar endringar.

Hein Meling; Racin Wilhelm Nygaard (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.

Chun Deng; Shubham Mishra; Suyash Gupta; Natacha Crooks; Hein Meling (2023) Samurai : Slash your decentralized storage. The 29th ACM symposium on operating systems principles (SOSP 2023); 2023-10-23 - 2023-10-26.

Hein Meling (2023) BiMS: Bijective Maps for Efficiently Synchronizing Decentralized Storage Systems. Sky Summer Retreat 2023; 2023-05-31 - 2023-06-02.

Hein Meling (2021) QuickFeed on Programming Assignments. NIK Norsk informatikkonferanse; 2021-11-29 - 2021-12-02.

Hein Meling (2020) Autograder Status Rapport. TN Utdanningsseminar; 2020-01-07.

Hein Meling (2019) The Vision of a Global Academic Database of Degree Certificates. Corpore Sano Workshop 2019; 2019-04-09.

Hein Meling (2019) Blokkjeder - hva er det og hva kan det brukes til. Foredragsserie; 2019-04-10.

Hein Meling (2019) Blokkjedeteknologier med anvendelse i en global database for vitnemål. Klynge innen automasjon og elektronikk; 2019-06-19.

Hein Meling (2019) BBChain Status Report. BBChain Workshop 2019; 2019-06-26 - 2019-06-27.

Hein Meling (2019) FinTek torsdag: Facebook Libra. Paneldebatt i serien FinTek torsdag hos SR-bank Stavanger; 2019-12-19.

Mohammad Hossein Tabatabaei; Roman Vitenberg; Hein Meling (2019) Understanding Blockchain: Definitions, Properties, Architecture, and Comparisons. Stavanger Workshop in collaboration with Credence INTPART project; 2019-08-04 - 2019-08-08.

Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (2019) Time-aware test execution scheduling for cyber-physical systems. I: GI-Edition Lecture Notes in Informatics (LNI). ISSN 1617-5468. Volum P-292. s.121-122. DOI: 10.18420/se2019-36

Vero Estrada-Galiñanes; Racin Wilhelm Nygaard; Viktor Tron; Rodrigo Saramago; Leander Jehl; Hein Meling (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.

Hein Meling (2019) Teaching and Research at UiS. CREDENCE Workshop; 2019-08-05 - 2019-08-07.

Hein Meling (2019) Software Engineering for Dependability: Gorums. CREDENCE Workshop; 2019-08-05 - 2019-08-07.

Hein Meling (2019) BBChain's Vision of a Global Academic Database of Degree Certificates. CREDENCE Workshop; 2019-08-05 - 2019-08-07.

Hein Meling (2019) CREDENCE Opportunities. CREDENCE Workshop; 2019-08-05 - 2019-08-07.

Hein Meling (2019) FinTek torsdag: Blockchain – steget mot et pengeløst samfunn?. Paneldebatt i serien FinTek torsdag hos SR-bank Stavanger; 2019-03-28.

Racin Wilhelm Nygaard; Hein Meling; Leander Jehl (2019) Distributed Storage System based on Permissioned Blockchain. 34th ACM Symposium on Applied Computing; 2019-04-08 - 2019-04-12.

Hein Meling (2018) Mostly Gorums and a little bit of Blockchains at Berkeley Lab. IDE-TechTalk; 2018-09-14.

Hein Meling (2018) Gorums: New Abstractions for Implementing Quorum-based Systems. Lecture Series in Computer Science; 2018-02-15.

Hein Meling (2018) BBChain: Biometrics and Blockchains. BBChain Kickoff; 2018-09-19 - 2018-09-20.

Hein Meling (2018) Gorums: New Abstractions for Implementing Quorum-based Systems. BBChain Kickoff; 2018-09-19 - 2018-09-20.

Hein Meling (2018) Go Programming for Java Programmers. Gjesteforelesning i operativsystemer og systemprogrammering; 2018-08-22.

Hein Meling (2018) Go Programming for Java Programmers. Lecture Series in Computer Science; 2018-03-15.

Hein Meling (2018) Introduction to Writing a Thesis. Information meeting for bachelor and master students; 2018-12-13.

Hein Meling (2018) Introduction to Writing a PhD Thesis. Seminar; 2018-02-15.

Hein Meling (2018) Bitcoin and Blockchains. Guest lecture in Distributed Systems; 2018-03-19.

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

Hein Meling (2016) Introduction to Go Programming. IDE TechTalk; 2016-02-26.

Tormod Erevik Lea; Leander Jehl; Hein Meling (2016) Gorums: New Abstractions for Implementing Quorum-based Systems. IDE TechTalk; 2016-05-27.

Hein Meling; Tormod Erevik Lea; Leander Jehl (2016) Gorums: New Abstractions for Implementing Quorum-based Systems. Tech Seminar at Schibsted; 2016-10-25.

Hein Meling (2016) Paxos Explained from Scratch. Tech Seminar at Schibsted; 2016-10-25.

Hein Meling (2015) AutoGrader. T-FLIP Kickoff; 2015-09-25.

Roman Vitenberg; Hein Meling; Kristin Straumsheim Grønli (2015) Gjør det mørke nettet enda mørkere.

Morten Mossige; Hein Meling; Leiv Gunnar Lie (2015) Improved robotic testing systems.

Hein Meling (2015) Autograder: Better Management and Evaluation of Lab Assignments. Department lecture; 2015-05-22.

Hein Meling (2015) Autograder: Better Management and Evaluation of Lab Assignments. T-Flip Workshop; 2015-09-02 - 2015-09-03.

Hein Meling (2015) Paxos Explained from Scratch. Department lecture; 2015-05-22.

Hein Meling (2014) Paxos Explained from Scratch. The DEGAS project seminar series; 2014-06-11.

Hein Meling (2014) Paxos Explained from Scratch. Computer Science Security Research Seminar; 2014-06-06.

Hein Meling (2014) P2S: a fault-tolerant publish/subscribe infrastructure. The 8th ACM International Conference on Distributed Event-Based Systems; 2014-05-26 - 2014-05-29.

Morten Mossige; Hein Meling; Arnaud Gotlieb (2014) Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. Testing Software and Systems ; 2014-09-23 - 2014-09-25.

Leander Jehl; Hein Meling (2014) Asynchronous Reconfiguration for Paxos State Machines. ICDCN 2014; 2014-01-04 - 2014-01-07.

Morten Mossige; Hein Meling; Arnaud Gotlieb (2014) Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System. 20th International Conference, CP 2014,; 2014-09-08 - 2014-09-12.

Hein Meling (2013) Failure injection for testing and evaluating the dependability of a distributed system. Certus User Partner Workshop; 2013-03-14 - 2013-03-15.

Hein Meling; Leander Jehl (2013) Paxos Explained from Scratch. International Conference on Principles of Distributed Systems; 2013-12-16 - 2013-12-18.

Leander Jehl; Hein Meling (2013) Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach. 9th Workshop on Hot Topics in Dependable Systems ; 2013-11-03.

Leander Jehl; Hein Meling (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.

Morten Mossige; Arnaud Gotlieb; Hein Meling (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.

Hein Meling (2012) Paxos Made Insanely Simple. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Hein Meling (2012) Paxos Made Insanely Simple. ABB seminar; 2012-11-14.

Tiancheng Chang; Hein Meling (2012) Byzantine Fault Tolerant Pub/Sub System. NFR/VERDIKT konferansen; 2012-04-25 - 2012-04-26.

Leander Nikolaus Jehl; Hein Meling (2012) A self-stabilizing algorithm for finding independent trees. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Tiancheng Chang; Hein Meling (2012) Byzantine Fault-Tolerant Pub/Sub. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Leander Nikolaus Jehl; Hein Meling (2012) Live Replacement Paxos. NFR/VERDIKT konferansen; 2012-04-25 - 2012-04-26.

Leander Nikolaus Jehl; Hein Meling (2012) Live Replacement in Paxos. Workshop on Byzantine Fault Tolerant Publish/Subscribe; 2012-08-14 - 2012-08-18.

Hein Meling (2011) Brief Announcement: When You Don’t Trust Clients: Byzantine Proposer Fast Paxos. Friday Lecture Series at IDE; 2011-09-16.

Hein Meling (2011) The Byzantine Proposers of Paxos (How to be Fast and Tolerate Byzantine Proposers). Tidal News Project Workshop; 2011-05-09 - 2011-05-13.

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

Hein Meling (2011) When You Don’t Trust Clients: Byzantine Proposer Fast Paxos. Systems lunch seminar series, UC San Diego; 2011-05-04.

Hein Meling (2011) Hvordan håndtere mitt iTunes mediabibliotek. Friday Lecture Series at IDE; 2011-11-25.

Hein Meling (2010) Self-repairing replicated systems and dependability evaluation Invited Keynote Lecture for CANOE Workshop 2010. utenTitteltekst; 2010-08-27.

Hein Meling (2010) Ant System for Service Deployment in Private and Public Coulds. utenTitteltekst; 2010-01-28.

Hein Meling (2009) Type-safe Dynamic Protocol Composition in Jgroup/ARM. Third International DisCoTec Workshop on Middleware-Application Interaction; 2009-06-12.

Hein Meling (2008) A Distributed Approach to Autonomous Fault Treatment in Spread. Seventh European Dependable Computing Conference; 2008-05-07 - 2008-05-09.

Hein Meling (2008) A Distributed Approach to Autonomous Fault Treatment in Spread. utenTitteltekst; 2008-05-29.

Hein Meling (2008) Can we sell Autonomic and Trusted Computing Systems?. 5th International Conference on Autonomic and Trusted Computing; 2008-06-23 - 2008-06-25.

Hein Meling (2008) Annotation Markers for Runtime Replication Protocol Selection. International Conference on Autonomic and Trusted Computing; 2008-06-23 - 2008-06-25.

Hein Meling (2008) A Distributed Approach to Autonomous Fault Treatment in Spread. utenTitteltekst; 2008-04-29.

Hein Meling (2007) Distributed Autonomous Fault Treatment in Spread. Nordic workshop and doctoral symposium on dependability and security; 2007-10-09.

Hein Meling; Chunming Rong (2007) Integrated IP-based Serivces for smart Home environment The IS-home project. The VERDIKT Conference; 2007-10-29 - 2007-10-30.

Hein Meling (2007) Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. utenTitteltekst; 2007-01-10.

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

Hein Meling (2007) An Architecture for Self-healing Autonomous Object Groups. utenTitteltekst; 2007-05-29.

Hein Meling (2007) An Architecture for Self-healing Autonomous Object Groups. utenTitteltekst; 2007-05-11.

Hein Meling (2007) An Architecture for Self-healing Autonomous Object Groups. The 4th International Conference on Autonomic and Trusted Computing; 2007-07-11 - 2007-07-13.

Hein Meling (2006) Reflective Agents in Future Telematics Systems. utenTitteltekst; 2006-06-07.

Hein Meling (2006) Enkel bruk av PDF. utenTitteltekst; 2006-11-29.

Hein Meling (2006) Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. utenTitteltekst; 2006-06-07.

Hein Meling (2006) Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM. Norsk informatikkonferanse (NIK 2006); 2006-11-20 - 2006-11-22.

Hein Meling (2005) Jgroup/ARM: Et feiltolerant klient-server system. utenTitteltekst; 2005-05-12.

Hein Meling (2005) An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system. utenTitteltekst; 2005-04-11.

Hein Meling (2005) Experimental Assessment of Jgroup/ARM. utenTitteltekst; 2005-11-25.

Bjarne E. Helvik; Hein Meling; Alberto Montresor (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.

Hein Meling; Helene Pahr-Iversen (2004) Doktorgrad i pålitelighet.

Hein Meling; Bjarne E. Helvik (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.

Hein Meling; Jo Andreas Sægrov Lind; Henning Hommeland (2003) Maintaining Binding Freshness in the Jgroup Dependable Naming Service. Norsk Informatikkonferanse; 2003-11-24 - 2003-11-26.

Hein Meling (2003) The Jgroup/ARM Dependable Computing Toolkit. utenTitteltekst; 2003-09-24.

Kilde: Nasjonalt vitenarkiv