About Me

Welcome to the home page of Professor Hein Meling of the Department of Electrical Engineering and Computer Science at the University of Stavanger, Norway.

I completed my PhD in 2006 from the Norwegian University of Science and Technology. Prior to that, I received an MS in computer science from University of Stavanger in 1997. I was associate professor from 2002, and full professor since 2014, both at the University of Stavanger.

Recent News

  • Our evaluation paper on different reconfiguration algorithms for atomic storage The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage has been published at OPODIS, 2016.
  • The Tidal News project has ended; here is a popular science summary of the results of the project.
  • Here is a link to the LaTeX workshop slides.
  • Leander is on a roll! Our paper SmartMerge: A New Approach to Reconfiguration for Atomic Storage has been accepted for DISC, 2015.
  • Our paper Replacement: Decentralized Failure Handling for Replicated State Machines has been accepted for SRDS, 2015.
  • It seems our Paxos Explained from Scratch tutorial have made it to the front page of Hacker News. We should really update it!
  • Yay! Finally, our Zorfu paper was accepted for publication in IEEE Transactions on Dependable and Secure Computing. Check it out here.
  • Consider submitting your paper to DEBS 2015 to be organized in Oslo June 29-July 3 2015.
  • Our paper BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration has been accepted for OPODIS, 2014.
  • Our paper Byzantine Fault Tolerance from Intrusion Detection was selected as a runner up for the best paper award at SRDS, 2014.
  • Morten's paper Testing Robot Controllers using Constraint Programming and Continuous Integration has been accepted for publication in Information and Software Technology.
  • Leander will be presenting our brief announcement: Replacement - Handling Failures in a Replicated State Machine at DISC 2014 in Austin, Texas.
  • Morten's paper Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System has won the best application track paper award at CP 2014, to be presented in September.
  • Our paper Byzantine Fault Tolerance from Intrusion Detection was just accepted for publication at SRDS, Japan, October 2014. Great job, Sisi and my other co-authors.
  • Morten is on roll these days, two of his papers have been accepted for publication. First, Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System has been accepted at CP 2014, and Testing Robotized Paint System using Constraint Programming: An Industrial Case Study has been accepted at ICTSS 2014.
  • I presented my Paxos tutorial to the Future Technologies Group, the DEGAS project at Lawrence Berkeley National Lab. June 11, 2014.
  • I presented my Paxos tutorial at University of California, Davis. June 6, 2014.
  • I'm visiting University of California, San Diego, June-August 2014.
  • Sisi Duan and Haibin Zhang from University of California, Davis is visiting our department January-April 2014. Thanks to the Leiv Eiriksson Mobility Program for funding their stay.
  • Leander recently presented our paper on Asynchronous Reconfiguration of Paxos State Machines at ICDCN 2014 in India.
  • I delivered a tutorial on Paxos at OPODIS. Many people have responded positively to the approach we have adopted. If you are interested in the slides, click here. There is also a 10-page tutorial paper available in the OPODIS proceedings or here.

Professional Activities

  • Proceedings Chair DEBS 2015.
  • Program Committee ICDCS 2014.
  • Program Committee DAIS 2014.
  • Program Committee OPODIS 2013.
  • In August 2012 we organized a Workshop on Byzantine Fault Tolerance in Large Scale Loosely Coupled Systems in Stavanger. Invited speakers: Lorenzo Alvisi, Allen Clement, Marko Vukolic, and Reza Sherafat.

Funding

I am truly grateful to our funding agencies for making our research possible. In particular, I wish to thank the Research Council of Norway for funding two major projects: IS-Home and Tidal News. These projects have funded the PhD education of a total of 5 students. I'm also fortunate to have been awarded several PhD positions from the faculty of science and technology at the University of Stavanger. In addition, I would like to thank Prekubator TTO and our industrial supporters: Altibox, Lyse, Telenor iLabs, and ABB Robotics for their contributions to computer science research.

Contact

Professor Hein Meling
Postal:
University of Stavanger
Department of Electrical Engineering and Computer Science
4036 Stavanger, Norway
Email:
Phone: +47 518 32080
Office: Kjølv Egelands hus, E-424

Always look for the simplest and most elementary way to explain something. Only if you can't explain it simply, you need to resort to more sophistication.

—Richard Feynman

Think Different

Research

Research Interests

My main interest is in secure and dependable distributed computing, including cryptocurrencies and block chains.

I'm also interested in networking, operating systems, programming languages, and many other computing related topics.

Current Projects

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.

Goxos: A Go-based Paxos Implementation

Funded by Research Council of Norway (Tidal News project) and University of Stavanger

Goxos is our Go-based Paxos implementation. It was designed to be a flexible component approach, making it easy to extend with new functionality. We have used it to implement a live replacement approach to recover from failures and a new batching approach for Paxos. We are currently building a fault tolerant pub/sub framework, based on Paxos. In the future we are planning to add support for Byzantine fault tolerant pub/sub and chain replication protocols.

Past Projects

Tidal News

Funded by Research Council of Norway, VERDIKT program, 2010-2014

The project focuses on properties of and mechanisms for large-scale data dissemination in the Internet including both cluster-based and infrastructure-less P2P systems. Applications of interest range from devising new technologies for online social networks to improving the protocols that power up large-scale clusters of companies like Google and Amazon.com. We emphasize non-functional properties of dissemination (including privacy, dependability, and adaptivity) while also considering dissemination semantics (such as a notification system and publish/subscribe for textual documents). Partners: University of Oslo, University of Stavanger. Link to Tidal News project page.

IS-Home: Integrated IP-based Service for the Home

Funded by Research Council of Norway, VERDIKT program, 2007-2010

The main goal of IS-home was develop Integrated Services for smart home environments. Our initial research focused on discovery and self-configuration of sensor devices in the home, enabling generic and transparent access to sensors from external applications. We also developed a middleware framework called EventCaster being used in-house at Altibox. We used EventCaster to monitor, collect, and analyze set-top box channel zap data in near real-time. Partners: Lyse Tele (now Altibox), University of Stavanger, Telsey, Laerdal Medical, SAFER

DARM: Distributed Autonomous Replication Management

Funded by Telenor iLabs, 2007

DARM was a framework for Distributed Autonomous Replication Management to support failure recovery in the Spread group communication system.

Jgroup/ARM: A Group Communication System with Autonomous Replication Management

Funded by Research Council of Norway, ICT 2010 program, 1998-2002

Jgroup extends Java RMI distributed object model with the group communication paradigm and has been designed specifically for application support in partitionable distributed systems. ARM is a framework for Autonomous Replication Management layered on top of Jgroup, providing application-specific and adaptive replication policies and configurable replica placement schemes. Partners: University of Bologna, University of Stavanger, NTNU. Link to Jgroup/ARM project page.

The Anthill Project

The Anthill project aimed at providing a framework to simplify development, deployment, and evaluation of peer-to-peer applications based on autonomous mobile agents in the form of ants. Partners: University of Bologna, NTNU. Link to Anthill project page.

Teaching

Current Courses

Distributed Systems, 2007-

Operating Systems, 2012-

Advanced Distributed Systems, On-demand PhD course since 2007

Students

PhD Students

Graduated

  • Pål Evensen, 2013 (now with Lyse Smart)
  • Nejm Saadallah, 2013 (now with IRIS)
  • Morten Mossige, 2015 (now with ABB Robotics
    and adjunct associate professor at UiS)
  • Leander Jehl, 2016 (now with F5 IT
    and lecturer at UiS)

Working on it

  • Tormod Erevik Lea
  • Ragnar Stølsmark
  • Rui Wang (HVL)

Students Collaboration

  • Narasimha Raghavan, UiO (graduated 2016)
  • James Anderson, UCSD (graduated 2011)
  • Mate Csorba, NTNU (graduated 2011)

Hosted Students Visiting UiS

  • Sisi Duan, UC Davis, 2014
  • Haibin Zhang, UC Davis, 2014

Master students

  • Erik Berg, co-advised, NTNU 1999
  • Tor Arve Stangeland, 2003
  • Sveinung Tollefsen, 2003
  • Dennis S. Makarov, 2003
  • May Britt Hansen, 2004
  • Rohnny Moland, 2004
  • Erlend Aasland, 2005
  • Rune Vestvik, 2005
  • Gaute Eilertsen, 2006
  • Joakim Gilje, 2007
  • Helge Aarseth, 2007
  • Henrik W. Lund, 2007
  • Magnar J. Grødem, 2007
  • Jan Magne Tjensvold, 2008
  • Yinjun Wu, 2010
  • Daniel Nyvik, 2010
  • Jarle S. Heldstab, 2010
  • Kristian Nesvik Andersen, 2010
  • Rolf Martin Tønnesen, 2010
  • Kjartan Stavland, 2010
  • Xu Yunpeng, 2010
  • Utpal Kumar, UCSD 2010/11
  • Josef Kejzlar, Czech TU 2012
  • Thomas Kallevik, 2012
  • Torbjørn Søiland, 2012
  • Stephen Michael Joten, 2013
  • Tormod Erevik Lea, 2013
  • Heine Furubotten, 2015
  • Janicke Falch, 2016
  • Eric Freeman, 2016
  • Andreas Bjerga, 2016
  • Fredrik Wæhre Severinsen, 2016

Bachelor students

  • Henning Hommeland, 2003
  • Jo Andreas Lind, 2003
  • Erlend Aasland, 2003
  • Sturle Gloppen, 2003
  • Kjartan Rosnes, 2004
  • Ingvar Didrik Haukland, 2004
  • Dag Morten Meltveit, 2004
  • Knut Greiner, 2004
  • Bjarte Sværen, 2004
  • Øyvind Reinsberg, 2004
  • Jo Bjørnar Hausnes, 2005
  • Sten Christoffer Eliesen, 2007
  • Jan Magne Tjensvold, 2006
  • Harald Høiland Tjøstheim, 2006
  • Dagfinn Rasmussen, 2006
  • Jarle H. Skjørestad, 2008
  • Marius Myrestrand, 2009
  • Hamidou, 2009
  • Jonas Flesjå, 2010
  • Lars Berg, 2010
  • Oddbjørn Haaland, 2010
  • Øivind Boge, 2012
  • Kristian Hiim, 2012
  • Tor Einar Gudmestad, 2012
  • Brage Michael Ellingsen Roalkvam, 2013
  • Heine Furubotten, 2013
  • Christian Stigen Larsen, 2014
  • Emil Haaland, 2014
  • Stian Ramstad, 2014
  • Knut Helland, 2014
  • Joakim Hagen, 2015
  • Ragnvald Fuglestein, 2016
  • Tomasz Gliniecki, 2016
  • Thomas Darvik, 2016
  • Tor Christian Frausing, 2016
  • Patrick Håland, 2016
  • Christer Jensen, 2016
  • Kenneth Susort, 2016

Publications

Selected

[1] Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, and Andrea Bondavalli. Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera. IEEE Transactions on Parallel and Distributed Systems (TPDS), 27(9):2667 -- 2681, September 2016.
[2] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Generating tests for robotized painting using constraint programming. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 4200--4204. IJCAI/AAAI Press, 2016. [ http ]
[3] Leander Jehl and Hein Meling. The case for reconfiguration without consensus. In Panagiota Fatourou, Ernesto Jiménez, and Fernando Pedone, editors, 20th International Conference on Principles of Distributed Systems (OPODIS), pages 31:1--31:16, dec 2016.
[4] Leander Jehl, Roman Vitenberg, and Hein Meling. Smartmerge: A new approach to reconfiguration for atomic storage. In Yoram Moses, editor, Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings, volume 9363 of Lecture Notes in Computer Science, pages 154--169. Springer, 2015. [ DOI | http ]
[5] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement: The Smart way to Handle Failures in a Replicated State Machine. In 34rd IEEE International Symposium on Reliable Distributed Systems (SRDS), pages 156--165. IEEE Computer Society, oct 2015.
[6] James Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, and Keith Marzullo. Local Recovery for High Availability in Strongly Consistent Cloud Services. IEEE Transactions on Dependable and Secure Computing (TDSC), jun 2015. Preprint (ISSN: 1545-5971). [ DOI | .pdf ]
[7] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Testing robot controllers using constraint programming and continuous integration. Information & Software Technology, 57:169--185, 2015. [ DOI | http | .pdf ]
[8] Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, and Haibin Zhang. Byzid: Byzantine fault tolerance from intrusion detection. In 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS), pages 253--264. IEEE Computer Society, oct 2014. Best Paper Candidate Award. [ DOI | http | .pdf ]
[9] Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. Bchain: Byzantine replication with high throughput and embedded reconfiguration. In Marcos K. Aguilera, Leonardo Querzoni, and Marc Shapiro, editors, 18th International Conference on Principles of Distributed Systems (OPODIS), volume 8878 of Lecture Notes in Computer Science, pages 91--106. Springer, dec 2014. [ DOI | http | .pdf ]
[10] Leander Jehl and Hein Meling. Asynchronous reconfiguration for paxos state machines. In Mainak Chatterjee, Jian-Nong Cao, Kishore Kothapalli, and Sergio Rajsbaum, editors, 15th International Conference on Distributed Computing and Networking (ICDCN), volume 8314 of Lecture Notes in Computer Science, pages 119--133. Springer, jan 2014. [ DOI | http | .pdf ]
[11] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Using CP in automatic test generation for ABB robotics' paint control system. In Barry O'Sullivan, editor, 20th International Conference on Principles and Practice of Constraint Programming (CP), volume 8656 of Lecture Notes in Computer Science, pages 25--41. Springer, sep 2014. Best Application Paper Award. [ DOI | http | .pdf ]
[12] Leander Jehl and Hein Meling. Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach. In Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep '13, pages 5:1--5:5, New York, NY, USA, 2013. ACM. [ DOI | http | .pdf ]
[13] Hein Meling and Leander Jehl. Tutorial Summary: Paxos Explained from Scratch. In Roberto Baldoni, Nicolas Nisse, and Maarten van Steen, editors, 17th International Conference on Principles of Distributed Systems (OPODIS), volume 8304 of Lecture Notes in Computer Science, pages 1--10. Springer, 2013. [ DOI | .pdf ]
[14] Hein Meling, Keith Marzullo, and Alessandro Mei. When You Don't Trust Clients: Byzantine Proposer Fast Paxos. In 32nd IEEE International Conference on Distributed Computing Systems (ICDCS), pages 193--202. IEEE, 2012. [ .pdf ]
[15] Pål Evensen and Hein Meling. AdScorer: an event-based system for near real-time impact analysis of television advertisements (industry article). In François Bry, Adrian Paschke, Patrick Th. Eugster, Christof Fetzer, and Andreas Behrend, editors, Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems (DEBS), pages 85--94. ACM, 2012. [ .pdf ]
[16] Hein Meling, Alberto Montresor, Bjarne E. Helvik, and Özalp Babaoglu. Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw., Pract. Exper., 38(9):885--923, 2008. [ .pdf ]
[17] Bjarne E. Helvik, Hein Meling, and Alberto Montresor. An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. In Mario Dal Cin, Mohamed Kaâniche, and András Pataricza, editors, 5th European Dependable Computing Conference (EDCC), volume 3463 of Lecture Notes in Computer Science, pages 179--198. Springer, 2005. [ .pdf ]
[18] Özalp Babaoglu, Hein Meling, and Alberto Montresor. Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. In 22nd IEEE International Conference on Distributed Computing Systems (ICDCS), pages 15--22, 2002. [ .pdf ]

Selected Talks

[1] Hein Meling. Paxos Explained from Scratch. Invited tutorial at OPODIS, Nice, France, December 2013. [ .pdf ]
[2] Hein Meling. Failure Injection for Testing and Evaluating the Dependability of a Distributed System. Invited Talk at Certus User Partner Workshop, Oslo, Norway, March 2013. [ .pdf ]
[3] Hein Meling. Self-repairing Replicated Systems and Dependability Evaluation. Invited Keynote Talk at the CANOE Workshop, Toronto, Canada, August 2010. [ .pdf ]

All Publications

[1] Narasimha Raghavan Veeraragavan, Leonardo Montecchi, Nicola Nostro, Roman Vitenberg, Hein Meling, and Andrea Bondavalli. Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera. IEEE Transactions on Parallel and Distributed Systems (TPDS), 27(9):2667 -- 2681, September 2016.
[2] Leander Jehl, Roman Vitenberg, and Hein Meling. Smartmerge: A new approach to reconfiguration for atomic storage. In Yoram Moses, editor, Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings, volume 9363 of Lecture Notes in Computer Science, pages 154--169. Springer, 2015. [ DOI | http ]
[3] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement: The Smart way to Handle Failures in a Replicated State Machine. In 34rd IEEE International Symposium on Reliable Distributed Systems (SRDS), pages 156--165. IEEE Computer Society, oct 2015.
[4] James Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, and Keith Marzullo. Local Recovery for High Availability in Strongly Consistent Cloud Services. IEEE Transactions on Dependable and Secure Computing (TDSC), jun 2015. Preprint (ISSN: 1545-5971). [ DOI | .pdf ]
[5] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Testing robot controllers using constraint programming and continuous integration. Information & Software Technology, 57:169--185, 2015. [ DOI | http | .pdf ]
[6] Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, and Haibin Zhang. Byzid: Byzantine fault tolerance from intrusion detection. In 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS), pages 253--264. IEEE Computer Society, oct 2014. Best Paper Candidate Award. [ DOI | http | .pdf ]
[7] Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. Bchain: Byzantine replication with high throughput and embedded reconfiguration. In Marcos K. Aguilera, Leonardo Querzoni, and Marc Shapiro, editors, 18th International Conference on Principles of Distributed Systems (OPODIS), volume 8878 of Lecture Notes in Computer Science, pages 91--106. Springer, dec 2014. [ DOI | http | .pdf ]
[8] Leander Jehl and Hein Meling. Asynchronous reconfiguration for paxos state machines. In Mainak Chatterjee, Jian-Nong Cao, Kishore Kothapalli, and Sergio Rajsbaum, editors, 15th International Conference on Distributed Computing and Networking (ICDCN), volume 8314 of Lecture Notes in Computer Science, pages 119--133. Springer, jan 2014. [ DOI | http | .pdf ]
[9] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Testing robotized paint system using constraint programming: An industrial case study. In Mercedes G. Merayo and Edgardo Montes de Oca, editors, 26th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), volume 8763 of Lecture Notes in Computer Science, pages 145--160. Springer, sep 2014. [ DOI | http | .pdf ]
[10] Tiancheng Chang, Sisi Duan, Hein Meling, Sean Peisert, and Haibin Zhang. P2S: a fault-tolerant publish/subscribe infrastructure. In Umesh Bellur and Ravi Kothari, editors, The 8th ACM International Conference on Distributed Event-Based Systems (DEBS), pages 189--197. ACM, may 2014. [ DOI | http | .pdf ]
[11] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Using CP in automatic test generation for ABB robotics' paint control system. In Barry O'Sullivan, editor, 20th International Conference on Principles and Practice of Constraint Programming (CP), volume 8656 of Lecture Notes in Computer Science, pages 25--41. Springer, sep 2014. Best Application Paper Award. [ DOI | http | .pdf ]
[12] Abdulrahman Azab, Hein Meling, and Reggie Davidrajuh. A fuzzy-logic based coordinated scheduling technique for inter-grid architectures. In Kostas Magoutis and Peter Pietzuch, editors, 14th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems (DAIS), volume 8460 of Lecture Notes in Computer Science, pages 171--185. Springer, jun 2014. [ DOI | http ]
[13] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Brief Announcement: Replacement - Handling Failures in a Replicated State Machine. In 28th International Symposium Distributed Computing (DISC), Lecture Notes in Computer Science. Springer, oct 2014. [ .pdf ]
[14] Abdulrahman Azab and Hein Meling. Slick: A coordinated job allocation technique for inter-grid architectures. In David Al-Dabass, Alessandra Orsoni, and Zheng Xie, editors, Seventh UKSim/AMSS European Modelling Symposium (EMS), pages 491--496. IEEE, 2013.
[15] Leander Jehl and Hein Meling. Towards Fast and Efficient Failure Handling for Paxos State Machines. In Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on, pages 98--102, 2013. [ DOI | .pdf ]
[16] Leander Jehl and Hein Meling. Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach. In Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep '13, pages 5:1--5:5, New York, NY, USA, 2013. ACM. [ DOI | http | .pdf ]
[17] Narasimha Raghavan Veeraragavan, Andrea Bondavalli, Leonardo Montecchi, Roman Vitenberg, Nicola Nostro, and Hein Meling. Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis. In Sung Y. Shin and José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), pages 439--446. ACM, 2013. [ DOI | .pdf ]
[18] Hein Meling and Leander Jehl. Tutorial Summary: Paxos Explained from Scratch. In Roberto Baldoni, Nicolas Nisse, and Maarten van Steen, editors, 17th International Conference on Principles of Distributed Systems (OPODIS), volume 8304 of Lecture Notes in Computer Science, pages 1--10. Springer, 2013. [ DOI | .pdf ]
[19] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. In The Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST), pages 489--490. IEEE, 2013. [ DOI | .pdf ]
[20] Narasimha Raghavan Veeraragavan, Hein Meling, and Roman Vitenberg. QoE estimation models for tele-immersive applications. In Proceedings of Eurocon 2013, International Conference on Computer as a Tool, pages 154--161. IEEE, 2013. [ DOI | .pdf ]
[21] Tiancheng Chang and Hein Meling. Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure. In 1st International Workshop on Dependability Issues in Cloud Computing (DISCCO) held in conjunction with the 31st IEEE Symposium on Reliable Distributed Systems (SRDS), pages 454--456. IEEE, 2012. [ .pdf ]
[22] Hein Meling, Keith Marzullo, and Alessandro Mei. When You Don't Trust Clients: Byzantine Proposer Fast Paxos. In 32nd IEEE International Conference on Distributed Computing Systems (ICDCS), pages 193--202. IEEE, 2012. [ .pdf ]
[23] Pål Evensen and Hein Meling. AdScorer: an event-based system for near real-time impact analysis of television advertisements (industry article). In François Bry, Adrian Paschke, Patrick Th. Eugster, Christof Fetzer, and Andreas Behrend, editors, Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems (DEBS), pages 85--94. ACM, 2012. [ .pdf ]
[24] Narasimha Raghavan Veeraragavan, Roman Vitenberg, and Hein Meling. Reliability Modeling and Analysis of Modern Distributed Interactive Multimedia Applications: A Case Study of a Distributed Opera Performance. In Karl M. Göschka and Seif Haridi, editors, 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), volume 7272 of Lecture Notes in Computer Science, pages 185--193. Springer, 2012. [ .pdf ]
[25] Abdulrahman Azab and Hein Meling. Stroll: A Universal Filesystem-Based Interface for Seamless Task Deployment in Grid Computing. In Karl M. Göschka and Seif Haridi, editors, 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), volume 7272 of Lecture Notes in Computer Science, pages 162--176. Springer, 2012. [ .pdf ]
[26] Nejm Saadallah, Hein Meling, and Beniot Daireaux. Modeling a drilling control system, as a Discrete-Event-System. In Communications, Computing and Control Applications (CCCA), International Conference on, pages 1--5, 2011. [ DOI ]
[27] Nejm Saadallah, Hein Meling, and Beniot Daireaux. A simple machine in a complex environment: A Petri net approach. In Intelligent Engineering Systems (INES), 15th IEEE International Conference on, pages 387--392, 2011. [ DOI ]
[28] Máté J. Csorba, Hein Meling, and Poul E. Heegaard. A Bio-inspired Method for Distributed Deployment of Services. New Generation Comput., 29(2):185--222, 2011. [ .pdf ]
[29] Keith Marzullo, Hein Meling, and Alessandro Mei. Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. In 25th International Symposium Distributed Computing (DISC), Lecture Notes in Computer Science, pages 143--144. Springer, 2011. [ .pdf ]
[30] Pål Evensen and Hein Meling. A paradigm comparison for collecting TV channel statistics from high-volume channel zap events. In David M. Eyers, Opher Etzion, Avigdor Gal, Stanley B. Zdonik, and Paul Vincent, editors, Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems (DEBS), pages 317--326. ACM, 2011. [ .pdf ]
[31] Mate J. Csorba, Hein Meling, and Poul E. Heegaard. Ant System for Service Deployment in Private and Public Clouds. In Proceedings of the 2nd Workshop on Bio-inspired Algorithms for Distributed Systems, BADS '10, pages 19--28, New York, NY, USA, 2010. ACM. [ DOI | http | .pdf ]
[32] Abdulrahman Azab and Hein Meling. A Virtual File System Interface for Computational Grids. In Finn Arve Aagesen and Svein J. Knapskog, editors, EUNICE, volume 6164 of Lecture Notes in Computer Science, pages 87--96. Springer, 2010. [ .pdf ]
[33] Pål Evensen and Hein Meling. SenseWrap: A service oriented middleware with sensor virtualization and self-configuration. In Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2009 5th International Conference on, pages 261--266, 2009. [ DOI | .pdf ]
[34] Pål Evensen and Hein Meling. Sensor Virtualization with Self-configuration and Flexible Interactions. In Proceedings of the 3rd ACM International Workshop on Context-Awareness for Self-Managing Systems, Casemans '09, pages 31--38, New York, NY, USA, 2009. ACM. [ DOI | http | .pdf ]
[35] Hein Meling and Alberto Montresor. Type-safe Dynamic Protocol Composition in Jgroup/ARM. In Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction, MAI '09, pages 1--6, New York, NY, USA, 2009. ACM. [ DOI | http | .pdf ]
[36] Máté J. Csorba, Hein Meling, and Poul E. Heegaard. Laying Pheromone Trails for Balanced and Dependable Component Mappings. In Thrasyvoulos Spyropoulos and Karin Anna Hummel, editors, Self-Organizing Systems, 4th IFIP TC 6 International Workshop (IWSOS), volume 5918 of Lecture Notes in Computer Science, pages 50--64. Springer, 2009. [ .pdf ]
[37] Abdulrahman Azab and Hein Meling. Decentralized Service Allocation in a Broker Overlay Based Grid. In Martin Gilje Jaatun, Gansen Zhao, and Chunming Rong, editors, First International Conference on Cloud Computing (CloudCom), volume 5931 of Lecture Notes in Computer Science, pages 200--211. Springer, 2009. [ .pdf ]
[38] Máté J. Csorba, Hein Meling, Poul E. Heegaard, and Peter Herrmann. Foraging for Better Deployment of Replicated Service Components. In Twittie Senivongse and Rui Oliveira, editors, 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), volume 5523 of Lecture Notes in Computer Science, pages 87--101, 2009. [ .pdf ]
[39] Hein Meling and Joakim L. Gilje. A Distributed Approach to Autonomous Fault Treatment in Spread. In 7th European Dependable Computing Conference (EDCC), pages 46--55. IEEE Computer Society, 2008. [ .pdf ]
[40] Hein Meling, Alberto Montresor, Bjarne E. Helvik, and Özalp Babaoglu. Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw., Pract. Exper., 38(9):885--923, 2008. [ .pdf ]
[41] Hein Meling. Annotation Markers for Runtime Replication Protocol Selection. In Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence Tianruo Yang, and Jianhua Ma, editors, 5th International Conference on Autonomic and Trusted Computing (ATC), volume 5060 of Lecture Notes in Computer Science, pages 496--506. Springer, 2008. [ .pdf ]
[42] Hein Meling and Joakim L. Gilje. Distributed Autonomous Fault Treatment in Spread. In NOrdic workshop and doctoral symposium on DEpendability and Security, Oslo, Norway, October 2007. [ .pdf ]
[43] Hein Meling. A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System. In Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS) held in conjunction with the 21th International Parallel and Distributed Processing Symposium (IPDPS), pages 1--8. IEEE, 2007. [ .pdf ]
[44] Hein Meling. An Architecture for Self-healing Autonomous Object Groups. In Bin Xiao, Laurence Tianruo Yang, Jianhua Ma, Christian Müller-Schloer, and Yu Hua, editors, 4th International Conference on Autonomic and Trusted Computing (ATC), volume 4610 of Lecture Notes in Computer Science, pages 156--168. Springer, 2007. [ .pdf ]
[45] Chunming Rong, Hein Meling, and Dagfinn Waage. Towards Integrated Services for Health Monitoring. In AINA Workshops (2), pages 776--781. IEEE Computer Society, 2007. [ .pdf ]
[46] Hein Meling. Non-hierarchical Dynamic Protocol Composition in Jgroup/ARM. In Proceedings of the Norsk Informatikkonferanse (NIK), Molde, Norway, November 2006. [ .pdf ]
[47] Hein Meling. Adaptive Middleware Support and Autonomous Fault Treatment: Architectural Design, Prototyping and Experimental Evaluation. PhD thesis, Norwegian University of Science and Technology, Department of Telematics, May 2006. [ http | .pdf ]
[48] Bjarne E. Helvik, Hein Meling, and Alberto Montresor. An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. In Mario Dal Cin, Mohamed Kaâniche, and András Pataricza, editors, 5th European Dependable Computing Conference (EDCC), volume 3463 of Lecture Notes in Computer Science, pages 179--198. Springer, 2005. [ .pdf ]
[49] Hein Meling and Bjarne E. Helvik. Performance consequences of inconsistent client-side membership information in the open group model. In International Workshop on Middleware Performance (IWMP) held in conjunction with the 2004 IEEE International Conference on Performance, Computing, and Communications, pages 777--782, 2004. [ DOI | .pdf ]
[50] Hein Meling, Jo Andreas Lind, and Henning Hommeland. Maintaining Binding Freshness in the Jgroup Dependable Naming Service. In Proceedings of the Norsk Informatikkonferanse (NIK), Oslo, Norway, November 2003. [ .pdf ]
[51] Alberto Montresor, Hein Meling, and Özalp Babaoglu. Toward Self-organizing, Self-repairing and Resilient Distributed Systems. In André Schiper, Alexander A. Shvartsman, Hakim Weatherspoon, and Ben Y. Zhao, editors, Future Directions in Distributed Computing, volume 2584 of Lecture Notes in Computer Science, pages 119--123. Springer, 2003. [ .pdf ]
[52] Alberto Montresor, Hein Meling, and Ozalp Babaoglu. Towards Self-Organizing, Self-Repairing and Resilient Large-Scale Distributed Systems. In International Workshop on Future Directions in Distributed Computing (FuDiCo), Bertinoro, Italy, June 2002. [ .pdf ]
[53] Marcin Solarski and Hein Meling. Towards Upgrading Actively Replicated Servers On-the-Fly. In Workshop on Dependable On-line Upgrading of Distributed Systems held in conjunction with the 26th International Computer Software and Applications Conference (COMPSAC), pages 1038--1046. IEEE Computer Society, 2002. [ .pdf ]
[54] Alberto Montresor, Hein Meling, and Özalp Babaoglu. Towards Adaptive, Resilient and Self-organizing Peer-to-Peer Systems. In Enrico Gregori, Ludmila Cherkasova, Gianpaolo Cugola, Fabio Panzieri, and Gian Pietro Picco, editors, NETWORKING Workshops, volume 2376 of Lecture Notes in Computer Science, pages 300--305. Springer, 2002. [ .pdf ]
[55] Alberto Montresor, Hein Meling, and Özalp Babaoglu. Messor: Load-Balancing through a Swarm of Autonomous Agents. In Gianluca Moro and Manolis Koubarakis, editors, 1st International Workshop on Agents and Peer-to-Peer Computing, (AP2PC), volume 2530 of Lecture Notes in Computer Science, pages 125--137. Springer, 2002. [ .pdf ]
[56] Özalp Babaoglu, Hein Meling, and Alberto Montresor. Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems. In 22nd IEEE International Conference on Distributed Computing Systems (ICDCS), pages 15--22, 2002. [ .pdf ]
[57] Hein Meling, Alberto Montresor, and Ozalp Babaoglu. Peer-to-Peer Document Sharing using the Ant Paradigm. In Proceedings of the Norsk Informatikkonferanse (NIK), Tromsø, Norway, November 2001. [ .pdf ]
[58] Hein Meling and Bjarne E. Helvik. ARM: Autonomous Replication Management in Jgroup. In Proceedings of the 4th European Research Seminar on Advances in Distributed Systems (ERSADS), Bertinoro, Italy, May 2001. [ .pdf ]
[59] Finn Arve Aagesen, Bjarne E. Helvik, Ulrik Johansen, and Hein Meling. Plug and Play for Telecommunication Functionality -- Architecture and Demonstration Issues. In Int'l Conf. on Information Technology for the New Millennium (IConIT), Bangkok, Thailand, May 2001. [ .pdf ]
[60] Finn Arve Aagesen, Bjarne E. Helvik, Hein Meling, and Ulrik Johansen. Plug and Play for Telecommunications -- Architecture and Demonstration Issues. In Proceedings of the Norsk Informatikkonferanse (NIK), Trondheim, Norway, November 1999. [ .pdf ]
[61] Audun Jøsang, Hein Meling, and May Lu. The establishment of public key infrastructures; Are we on the right path? In Proceedings of the Norsk Informatikkonferanse (NIK), Trondheim, Norway, November 1999. [ .pdf ]
[62] Finn Arve Aagesen, Bjarne E. Helvik, Vilas Wuwongse, Hein Meling, Rolv Bræk, and Ulrik Johansen. Towards a Plug and Play Architecture for Telecommunications. In Thongchai Yongchareon, Finn Arve Aagesen, and Vilas Wuwongse, editors, SMARTNET, volume 160 of IFIP Conference Proceedings, pages 321--334. Kluwer, 1999. [ .pdf ]
[63] Hein Meling. A Study of Recovery Cryptosystems. Master's thesis, Stavanger University College, June 1997. [ .pdf ]