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

  • A well-paying PhD research fellowship is available in the area of blockchains and smart contracts at the University of Stavanger. The project will provide opportunities for the selected PhD student to work with researchers in Stavanger and collaborators around the world: Lawrence Berkeley National Lab, University of California Davis, University of Oslo, University of Tromsø, University of Trento, Sapienza, and Cornell to name a few. A summer school is planned as part of the course work.
    The announcement has now been officially posted. The application deadline is January 3, 2018. Please feel free reach out if you have any questions about the position. To apply, please follow the instructions in the announcement.
  • I started my sabbatical at Lawrence Berkeley National Lab and UC Davis in mid-August 2017. I will be traveling regularly between Stavanger and Berkeley until August 2018.
  • 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 Research Interests and 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. Currently, I'm focusing on technology for blockchains and Byzantine fault tolerance.

Current Software Projects

Gorums

Funded by the University of Stavanger

Gorums is a novel framework for building fault tolerant distributed systems. Gorums offers a flexible and simple quorum call abstraction, used to communicate with a set of processes, and to collect and process their responses. Gorums provides separate abstractions for (a) selecting processes for a quorum call and (b) processing replies. These abstractions simplify the main control flow of protocol implementations, especially for quorum-based systems, where only a subset of the replies to a quorum call need to be processed. Gorums uses code generation to produce an RPC library that clients can use to invoke quorum calls. Gorums is a wrapper around the gRPC library. Services are defined using the protocol buffers interface definition language. We have implemented a number of prototype applications using Gorums, available on GitHub, which can be viewed here:


Past Funded Research 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

Past Software Projects

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.

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] Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, and Mats Carlsson. Time-aware test case execution scheduling for cyber-physical systems. In J. Christopher Beck, editor, Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, volume 10416 of Lecture Notes in Computer Science, pages 387--404. Springer, 2017. [ DOI | http ]
[2] Tormod Erevik Lea, Leander Jehl, and Hein Meling. Towards new abstractions for implementing quorum-based systems. In Kisung Lee and Ling Liu, editors, 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017, pages 2380--2385. IEEE Computer Society, 2017. Level 2.DOI | http ]
[3] James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, and Keith Marzullo. Local recovery for high availability in strongly consistent cloud services. IEEE Trans. Dependable Sec. Comput., 14(2):172--184, 2017. Level 2.DOI | http | .pdf ]
[4] Leander Jehl and Hein Meling. The case for reconfiguration without consensus: Comparing algorithms for atomic storage. In Panagiota Fatourou, Ernesto Jiménez, and Fernando Pedone, editors, 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, volume 70 of LIPIcs, pages 31:1--31:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [ DOI | http ]
[5] 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 ]
[6] 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. Top conference.DOI | http ]
[7] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement: Decentralized failure handling for replicated state machines. In 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015, pages 156--165. IEEE Computer Society, 2015. [ DOI | http ]
[8] 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, December 2014. Protocol used in Hyperledger Iroha. [ DOI | http | .pdf ]
[9] 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, October 2014. Best Paper Candidate Award. [ DOI | http | .pdf ]
[10] 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 ]
[11] 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 ]
[12] 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. Level 2..pdf ]
[13] Ö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. Level 2..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] Rui Wang, Lars Michael Kristensen, Hein Meling, and Volker Stolz. Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. In 29th Nordic Workshop on Programming Theory, 2017.
[2] Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, and Mats Carlsson. Time-aware test case execution scheduling for cyber-physical systems. In J. Christopher Beck, editor, Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, volume 10416 of Lecture Notes in Computer Science, pages 387--404. Springer, 2017. [ DOI | http ]
[3] Tormod Erevik Lea, Leander Jehl, and Hein Meling. Towards new abstractions for implementing quorum-based systems. In Kisung Lee and Ling Liu, editors, 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017, pages 2380--2385. IEEE Computer Society, 2017. Level 2.DOI | http ]
[4] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Deploying constraint programming for testing abb's painting robots. AI Magazine, 38(2):94--96, 2017. [ http ]
[5] Rui Wang, Lars Michael Kristensen, Hein Meling, and Volker Stolz. Application of Model-based Testing on a Quorum-based Distributed Storage. In International Workshop on Petri Nets and Software Engineering - PNSE'17, 2017.
[6] James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, and Keith Marzullo. Local recovery for high availability in strongly consistent cloud services. IEEE Trans. Dependable Sec. Comput., 14(2):172--184, 2017. Level 2.DOI | http | .pdf ]
[7] Leander Jehl and Hein Meling. The case for reconfiguration without consensus: Comparing algorithms for atomic storage. In Panagiota Fatourou, Ernesto Jiménez, and Fernando Pedone, editors, 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, volume 70 of LIPIcs, pages 31:1--31:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [ DOI | http ]
[8] 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 Trans. Parallel Distrib. Syst., 27(9):2667--2681, 2016. Level 2.DOI | http ]
[9] 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 ]
[10] 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. Top conference.DOI | http ]
[11] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement: Decentralized failure handling for replicated state machines. In 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015, pages 156--165. IEEE Computer Society, 2015. [ DOI | http ]
[12] Morten Mossige, Arnaud Gotlieb, and Hein Meling. Testing robot controllers using constraint programming and continuous integration. Information & Software Technology, 57:169--185, 2015. Level 2.DOI | http | .pdf ]
[13] 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, December 2014. Protocol used in Hyperledger Iroha. [ DOI | http | .pdf ]
[14] 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, October 2014. Best Paper Candidate Award. [ DOI | http | .pdf ]
[15] 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, September 2014. [ DOI | http | .pdf ]
[16] 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, September 2014. Best Application Paper Award. [ DOI | http | .pdf ]
[17] 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, June 2014. [ DOI | http ]
[18] 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 ]
[19] 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, January 2014. [ DOI | http | .pdf ]
[20] Leander Jehl, Tormod Erevik Lea, and Hein Meling. Replacement - handling failures in a replicated state machine. In Fabian Kuhn, editor, Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings, volume 8784 of Lecture Notes in Computer Science, pages 531--532. Springer, 2014. [ .pdf | .pdf ]
[21] 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.
[22] 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 ]
[23] 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 ]
[24] 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 ]
[25] 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 ]
[26] 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 ]
[27] 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 ]
[28] 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 ]
[29] 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. Level 2..pdf ]
[30] 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 ]
[31] 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 ]
[32] 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 ]
[33] 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 ]
[34] 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 ]
[35] 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 ]
[36] Keith Marzullo, Hein Meling, and Alessandro Mei. Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. In David Peleg, editor, 25th International Symposium Distributed Computing (DISC), volume 6950 of Lecture Notes in Computer Science, pages 143--144. Springer, 2011. [ .pdf ]
[37] 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 ]
[38] 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 ]
[39] 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 ]
[40] 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 ]
[41] 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 ]
[42] 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 ]
[43] 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 ]
[44] 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 ]
[45] 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 ]
[46] 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 ]
[47] 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 ]
[48] 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 ]
[49] 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 ]
[50] 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 ]
[51] 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 ]
[52] 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 ]
[53] 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 ]
[54] 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 ]
[55] 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 ]
[56] 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 ]
[57] 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 ]
[58] Ö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. Level 2..pdf ]
[59] 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 ]