|
[1]
|
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 ]
|
|
[2]
|
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.
|
|
[3]
|
Morten Mossige, Arnaud Gotlieb, and Hein Meling.
Deploying constraint programming for testing abb's painting robots.
AI Magazine, 38(2):94--96, 2017.
[ http ]
|
|
[4]
|
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 ]
|
|
[5]
|
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 ]
|
|
[6]
|
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.
|
|
[7]
|
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 ]
|
|
[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]
|
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 ]
|
|
[10]
|
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 ]
|
|
[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]
|
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 ]
|
|
[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.
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 ]
|
|
[16]
|
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 ]
|
|
[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, 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 ]
|
|
[20]
|
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 ]
|
|
[21]
|
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 ]
|
|
[22]
|
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 ]
|
|
[23]
|
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 ]
|
|
[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]
|
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 ]
|
|
[26]
|
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 ]
|
|
[27]
|
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.
|
|
[28]
|
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 ]
|
|
[29]
|
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 ]
|
|
[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]
|
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 ]
|
|
[32]
|
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 ]
|
|
[33]
|
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 ]
|
|
[34]
|
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 ]
|
|
[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]
|
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 ]
|
|
[37]
|
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 ]
|
|
[38]
|
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 ]
|
|
[39]
|
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 ]
|
|
[40]
|
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 ]
|
|
[41]
|
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 ]
|
|
[42]
|
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 ]
|
|
[43]
|
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 ]
|
|
[44]
|
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 ]
|
|
[45]
|
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 ]
|
|
[46]
|
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 ]
|
|
[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 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 ]
|
|
[49]
|
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 ]
|
|
[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]
|
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 ]
|
|
[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]
|
Ö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 ]
|
|
[56]
|
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 ]
|
|
[57]
|
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 ]
|
|
[58]
|
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 ]
|
|
[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 ]
|
orcid.org/0000-0002-8564-2218