T. S. Andrew and M. Van-steen, Distributed systems-principles and paradigms, 2007.

H. Van, A. Veer, and . Wiles, Achieving technical interoperability, European Telecommunications Standards Institute, 2008.

S. Bandyopadhyay, M. Sengupta, S. Maiti, and S. Dutta, Role Of Middleware For Internet Of Things: A Study, International Journal of Computer Science & Engineering Survey, vol.2, issue.3, 2011.
DOI : 10.5121/ijcses.2011.2307

V. Terziyan, O. Kaykova, and D. Zhovtobryukh, UbiRoad: Semantic Middleware for Context-Aware Smart Road Environments, 2010 Fifth International Conference on Internet and Web Applications and Services, 2010.
DOI : 10.1109/ICIW.2010.50
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.4237

P. Eugster, P. Felber, R. Guerraoui, and A. Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, 2003.
DOI : 10.1145/857076.857078

G. Bouloukakis, N. Georgantas, S. Dutta, and V. Issarny, Integration of Heterogeneous Services and Things into Choreographies, ACM ICSOC, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01358043

N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, ESOCC, 2013.
DOI : 10.1007/978-3-642-40651-5_11
URL : https://hal.archives-ouvertes.fr/hal-00841332

. Chorevolution, CHOReVOLUTION Service Bus, Security and Cloud -First outcomes Automated Synthesis of Dynamic and Secured Choreographies, 2015.

A. Kattepur, N. Georgantas, G. Bouloukakis, and V. Issarny, Analysis of Timing Constraints in Heterogeneous Middleware Interactions, ACM ICSOC, 2015.
DOI : 10.1109/ICWS.2013.39
URL : https://hal.archives-ouvertes.fr/hal-01204786

G. Bouloukakis, I. Moscholios, N. Georgantas, and V. Issarny, Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC), 2017.
DOI : 10.1109/ICC.2017.7997451
URL : https://hal.archives-ouvertes.fr/hal-01470328

G. Bouloukakis, N. Georgantas, A. Kattepur, and V. Issarny, Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17, 2017.
DOI : 10.1137/1.9780898719734
URL : https://hal.archives-ouvertes.fr/hal-01415893

G. Bouloukakis, R. Agarwal, N. Georgantas, A. Pathak, and V. Issarny, Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015.
DOI : 10.1109/WiMOB.2015.7348016
URL : https://hal.archives-ouvertes.fr/hal-01204871

G. Bajaj, G. Bouloukakis, A. Pathak, P. Singh, N. Georgantas et al., Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015.
DOI : 10.1109/ITSC.2015.57
URL : https://hal.archives-ouvertes.fr/hal-01204827

T. Teixeira, S. Hachem, V. Issarny, and N. Georgantas, Service Oriented Middleware for the Internet of Things: A Perspective, ServiceWave, 2011.
DOI : 10.1109/CIMSA.2007.4362539
URL : https://hal.archives-ouvertes.fr/inria-00632794

A. Al-fuqaha, A. Khreishah, M. Guizani, A. Rayes, and M. Mohammadi, Toward better horizontal integration among IoT services, IEEE Communications Magazine, vol.53, issue.9, 2015.
DOI : 10.1109/MCOM.2015.7263375

A. Kim, F. Hekland, S. Petersen, and P. Doyle, When HART goes wireless: Understanding and implementing the WirelessHART standard, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008.
DOI : 10.1109/ETFA.2008.4638503

T. Lennvall, S. Svensson, and F. Hekland, A comparison of WirelessHART and ZigBee for industrial applications, 2008 IEEE International Workshop on Factory Communication Systems, 2008.
DOI : 10.1109/WFCS.2008.4638746

C. Gomez, J. Oller, and J. Paradells, Overview and Evaluation of Bluetooth Low Energy: An Emerging Low-Power Wireless Technology, Sensors, vol.12, issue.12, 2012.
DOI : 10.3390/s120100806

M. Park, IEEE 80211 ah: sub-1-GHz license-exempt operation for the internet of things, IEEE Communications Magazine, 2015.

L. Alliance, LoRaWAN Specification, LoRa Alliance, 2015.

". I. Poole, Weightless wireless -M2M white space communications -tutorial, 2014.

A. Al-fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash, Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications, IEEE Communications Surveys & Tutorials, vol.17, issue.4, 2015.
DOI : 10.1109/COMST.2015.2444095

X. Zhang and K. G. Shin, Gap Sense: Lightweight coordination of heterogeneous wireless devices, 2013 Proceedings IEEE INFOCOM, 2013.
DOI : 10.1109/INFCOM.2013.6567122
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.7037

I. Tinnirello, D. Croce, N. Galioto, D. Garlisi, and F. Giuliano, Cross-Technology WiFi/ZigBee Communications: Dealing With Channel Insertions and Deletions, IEEE Communications Letters, vol.20, issue.11, 2016.
DOI : 10.1109/LCOMM.2016.2603978

G. Aloi, G. Caliciuri, G. Fortino, R. Gravina, P. Pace et al., A Mobile Multi-Technology Gateway to Enable IoT Interoperability, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016.
DOI : 10.1109/IoTDI.2015.29

Q. Zhu, R. Wang, Q. Chen, Y. Liu, and W. Qin, IoT gateway: Bridgingwireless sensor networks into IoT, IEEE/IFIP EUC, 2010.
DOI : 10.1109/euc.2010.58

M. Tucic, V. Moravcevic, G. Velikic, D. Saric, and V. Mihic, Device abstraction and virtualization: Concept of device in device, 2015 IEEE 5th International Conference on Consumer Electronics, Berlin (ICCE-Berlin), 2015.
DOI : 10.1109/ICCE-Berlin.2015.7391300

Z. Shelby and C. Bormann, 6LoWPAN: The wireless embedded Internet, 2011.
DOI : 10.1002/9780470686218

F. A?ssaoui, G. Garzone, and N. Seydoux, Providing Interoperability for Autonomic Control of Connected Devices Semantic Sensor Network Ontology, 2005.

J. Kiljander, A. Elia, F. Morandi, P. Hyttinen, J. Takalo-mattila et al., Semantic Interoperability Architecture for Pervasive Computing and Internet of Things, IEEE Access, vol.2, 2014.
DOI : 10.1109/ACCESS.2014.2347992

G. Xiao, J. Guo, L. D. Xu, and Z. Gong, User interoperability with heterogeneous IoT devices through transformation, IEEE Transactions on Industrial Informatics, 2014.

D. Androcec and N. Vrcek, Thing as a Service Interoperability: Review and Framework Proposal, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016.
DOI : 10.1109/FiCloud.2016.51

F. Michahelles and S. Mayer, Toward a Web of Systems, XRDS

R. Agarwal, D. Fernandez, T. Elsaleh, A. Gyrard, J. Lanza et al., Unified IoT ontology to enable interoperability and federation of testbeds, 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 2016.
DOI : 10.1109/WF-IoT.2016.7845470
URL : https://hal.archives-ouvertes.fr/hal-01386917

M. Bermudez-edo, T. Elsaleh, P. Barnaghi, and K. Taylor, IoT-Lite: A Lightweight Semantic Model for the Internet of Things, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), 2016.
DOI : 10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0035

J. R. Hobbs and F. Pan, Time ontology in OWL, W3C working draft, 2006.

E. Zeeb, A. Bobek, H. Bohn, and F. Golatowski, Service-Oriented Architectures for Embedded Systems Using Devices Profile for Web Services, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007.
DOI : 10.1109/AINAW.2007.330

Z. Shelby, The constrained application protocol (CoAP), Tech. Rep, 2014.
DOI : 10.17487/rfc7252
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.9288

T. F. Roy, The REpresentational State Transfer (REST), 2000.

P. Saint-andre, Extensible messaging and presence protocol (XMPP): Core, 2011.
DOI : 10.17487/rfc6120

O. Standard, Oasis advanced message queuing protocol (amqp) version 1.0., 2012

I. Fette, The websocket protocol, 2011.
DOI : 10.17487/rfc6455

R. Kyusakov, J. Eliasson, J. Delsing, J. Van-deventer, and J. Gustafsson, Integration of Wireless Sensor and Actuator Nodes With IT Infrastructure Using Service-Oriented Architecture, IEEE Transactions on Industrial Informatics, vol.9, issue.1, 2013.
DOI : 10.1109/TII.2012.2198655

V. Karagiannis, P. Chatzimisios, F. Vazquez-gallego, and J. Alonso-zarate, A survey on application layer protocols for the internet of things, Transaction on IoT and Cloud Computing, 2015.

K. Fysarakis, I. Askoxylakis, O. Soultatos, I. Papaefstathiou, C. Manifavas et al., Which IoT Protocol? Comparing Standardized Approaches over a Common M2M Application, 2016 IEEE Global Communications Conference (GLOBECOM), 2016.
DOI : 10.1109/GLOCOM.2016.7842383
URL : http://eprints.bournemouth.ac.uk/24345/1/2016_globecom.pdf

A. Talaminos-barroso, M. Estudillo-valderrama, L. M. Roa, J. Reina-tosina, and F. Ortega-ruiz, A Machine-to- Machine protocol benchmark for eHealth applications?Use case: Respiratory rehabilitation Computer methods and programs in biomedicine, 2016.

L. Atzori, A. Iera, and G. Morabito, The Internet of Things: A survey, Computer Networks, vol.54, issue.15, 2010.
DOI : 10.1016/j.comnet.2010.05.010

J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami, Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, vol.29, issue.7, 2013.
DOI : 10.1016/j.future.2013.01.010

M. Razzaque, M. Milojevic-jevric, A. Palade, and S. Clarke, Middleware for Internet of Things: A Survey, IEEE Internet of Things Journal, vol.3, issue.1, 2016.
DOI : 10.1109/JIOT.2015.2498900

D. Guinard, V. Trifa, S. Karnouskos, P. Spiess, and D. Savio, Interacting with the SOA-Based Internet of Things: Discovery, Query, Selection, and On-Demand Provisioning of Web Services, IEEE transactions on Services Computing, 2010.
DOI : 10.1109/TSC.2010.3

M. Eisenhauer, P. Rosengren, and P. Antolin, HYDRA: A Development Platform for Integrating Wireless Devices and Sensors into Ambient Intelligence Systems, The Internet of Things, 2010.
DOI : 10.1007/978-1-4419-1674-7_36

C. Fok, G. Roman, and C. Lu, Servilla: A flexible service provisioning middleware for heterogeneous sensor networks, Science of Computer Programming, vol.77, issue.6, 2012.
DOI : 10.1016/j.scico.2010.11.006
URL : http://doi.org/10.1016/j.scico.2010.11.006

I. Corredor, J. F. Martínez, M. Familiar, and L. López, Knowledge-Aware and Service-Oriented Middleware for deploying pervasive services, Journal of Network and Computer Applications, vol.35, issue.2, 2012.
DOI : 10.1016/j.jnca.2011.05.009

K. Aberer, M. Hauswirth, and A. Salehi, Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks, 2007 International Conference on Mobile Data Management, 2007.
DOI : 10.1109/MDM.2007.36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.4766

P. Evensen and H. Meling, SenseWrap: A service oriented middleware with sensor virtualization and self-configuration, 2009 International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2009.
DOI : 10.1109/ISSNIP.2009.5416827

C. Perera, P. Jayaraman, A. Zaslavsky, D. Georgakopoulos, and P. Christen, MOSDEN: An Internet of Things Middleware for Resource Constrained Mobile Devices, 2014 47th Hawaii International Conference on System Sciences, 2014.
DOI : 10.1109/HICSS.2014.137

S. Cherrier and Y. Ghamri-doudane, The " Object-as-a-Service " paradigm, IEEE GIIS, 2014.
DOI : 10.1109/giis.2014.6934281
URL : https://hal.archives-ouvertes.fr/hal-01058957

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, D-LITe: Building Internet of Things Choreographies, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01422433

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, Fault-recovery and coherence in internet of things choreographies, IEEE WF-IoT, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00957056

D. Chappell, Enterprise service bus, 2004.

L. Alboaie, S. Alboaie, and A. Panu, Swarm Communication - A Messaging Pattern Proposal for Dynamic Scalability in Cloud, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013.
DOI : 10.1109/HPCC.and.EUC.2013.277

L. Alboaie, S. Alboaie, and T. Barbu, Extending swarm communication to unify choreography and long-lived processes, 2014.

. Choreos, Final CHOReOS Architectural Style Large Scale Choreographies for the Future Internet, Tech. Rep, 2013.

. Choreos, Integrated CHOReOS middleware -Enabling large-scale, QoS-aware adaptive choreographies Large Scale Choreographies for the Future Internet, Tech. Rep, 2013.

B. Negash, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen, LISA: Lightweight Internet of Things Service Bus Architecture, Procedia Computer Science, vol.52, 2015.
DOI : 10.1016/j.procs.2015.05.010
URL : http://doi.org/10.1016/j.procs.2015.05.010

B. Negash, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen, LISA 2.0: lightweight internet of things service bus architecture using node centric networking, Journal of Ambient Intelligence and Humanized Computing, vol.7, issue.3, 2016.
DOI : 10.1109/WF-IoT.2014.6803174

B. Cheng, D. Zhu, S. Zhao, and J. Chen, Situation-Aware IoT Service Coordination Using the Event-Driven SOA Paradigm, IEEE Transactions on Network and Service Management, vol.13, issue.2, 2016.
DOI : 10.1109/TNSM.2016.2541171

Y. Tao, X. Xu, and X. Wang, Service-Based Interactive Proxy for Sensor Networks in Smart Home: An Implementation of Home Service Bus, 2014 5th International Conference on Digital Home, 2014.
DOI : 10.1109/ICDH.2014.52

A. Ismail and W. Kastner, A middleware architecture for vertical integration Ponte -M2M Bridge Framework, 2016.
DOI : 10.1109/cpps.2016.7483915

M. Blackstock and R. Lea, IoT interoperability: A hub-based approach, 2014 International Conference on the Internet of Things (IOT)
DOI : 10.1109/IOT.2014.7030119

W. Macêdo, T. Rocha, and E. Moreno, GoThings-An Application-layer Gateway Architecture for the Internet of Things, WEBIST, 2015.

P. Desai, A. Sheth, and P. Anantharam, Semantic Gateway as a Service Architecture for IoT Interoperability, 2015 IEEE International Conference on Mobile Services, 2015.
DOI : 10.1109/MobServ.2015.51
URL : http://arxiv.org/abs/1410.4977

S. K. Datta, C. Bonnet, and N. Nikaein, An IoT gateway centric architecture to provide novel M2M services, 2014 IEEE World Forum on Internet of Things (WF-IoT), 2014.
DOI : 10.1109/WF-IoT.2014.6803221

M. Collina, G. Corazza, and A. Vanelli-coralli, Introducing the QEST broker: Scaling the IoT by bridging MQTT and REST, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications, (PIMRC), 2012.
DOI : 10.1109/PIMRC.2012.6362813

A. Castellani, T. Fossati, and S. Loreto, HTTP-CoAP cross protocol proxy: an implementation viewpoint, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 2012.
DOI : 10.1109/MASS.2012.6708523

S. Han, S. Park, G. Lee, and N. Crespi, Extending the Devices Profile for Web Services Standard Using a REST Proxy, IEEE Internet Computing, vol.19, issue.1, 2015.
DOI : 10.1109/MIC.2014.44
URL : https://hal.archives-ouvertes.fr/hal-01255144

S. Datta and C. Bonnet, Smart M2M Gateway Based Architecture for M2M Device and Endpoint Management, 2014 IEEE International Conference on Internet of Things(iThings), and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom), 2014.
DOI : 10.1109/iThings.2014.18

S. Datta and C. Bonnet, A lightweight framework for efficient M2M device management in oneM2M architecture, 2015 International Conference on Recent Advances in Internet of Things (RIoT), 2015.
DOI : 10.1109/RIOT.2015.7104900
URL : https://hal.archives-ouvertes.fr/hal-01206815

R. Morabito, R. Petrolo, V. Loscrí, and N. Mitton, Enabling a lightweight Edge Gateway-as-a-Service for the Internet of Things, 2016 7th International Conference on the Network of the Future (NOF), 2016.
DOI : 10.1109/NOF.2016.7810110
URL : https://hal.archives-ouvertes.fr/hal-01371423

G. Suciu, S. Halunga, A. Vulpe, and V. Suciu, Generic platform for IoT and cloud computing interoperability study, International Symposium on Signals, Circuits and Systems ISSCS2013, 2013.
DOI : 10.1109/ISSCS.2013.6651222

]. S. Soursos, I. Zarko, P. Zwickl, I. Gojmerac, G. Bianchi et al., Towards the cross-domain interoperability of IoT platforms, 2016 European Conference on Networks and Communications (EuCNC), 2016.
DOI : 10.1109/EuCNC.2016.7561070

A. Bröring, Enabling IoT Ecosystems through Platform Interoperability, IEEE Software, vol.34, issue.1, p.2017
DOI : 10.1109/MS.2017.2

F. Ciccozzi, I. Crnkovic, D. Di-ruscio, I. Malavolta, P. Pelliccione et al., Model-Driven Engineering for Mission-Critical IoT Systems, IEEE Software, vol.34, issue.1, 2017.
DOI : 10.1109/MS.2017.1

P. Grace, B. Pickering, and M. Surridge, Model-driven interoperability: engineering heterogeneous IoT systems, Annals of Telecommunications, vol.7, issue.3, 2016.
DOI : 10.1109/MIC.2003.1200306
URL : https://link.springer.com/content/pdf/10.1007%2Fs12243-015-0487-2.pdf

D. Evans, The internet of things: How the next evolution of the internet is changing everything, 2011.

K. Sood, S. Yu, and Y. Xiang, Software-defined wireless networking opportunities and challenges for Internetof-things: A review, IEEE Internet of Things Journal, 2016.
DOI : 10.1109/jiot.2015.2480421

Z. Qin, G. Denker, C. Giannelli, P. Bellavista, and N. Venkatasubramanian, A Software Defined Networking architecture for the Internet-of-Things, 2014 IEEE Network Operations and Management Symposium (NOMS), 2014.
DOI : 10.1109/NOMS.2014.6838365

O. Salman, I. Elhajj, A. Kayssi, and A. Chehab, Edge computing enabling the Internet of Things, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), 2015.
DOI : 10.1109/WF-IoT.2015.7389122

C. Lee, Y. Chang, C. Chuang, and Y. Lai, Interoperability enhancement for Internet of Things protocols based on software-defined network, 2016 IEEE 5th Global Conference on Consumer Electronics, 2016.
DOI : 10.1109/GCCE.2016.7800510

T. Zachariah, N. Klugman, B. Campbell, J. Adkins, N. Jackson et al., The Internet of Things Has a Gateway Problem, Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, HotMobile '15, 2015.
DOI : 10.1109/MPRV.2009.82

D. Thangavel, X. Ma, A. Valera, H. Tan, and C. Tan, Performance evaluation of MQTT and CoAP via a common middleware, 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2014.
DOI : 10.1109/ISSNIP.2014.6827678

S. Mukherjee and S. Elias, An applications interoperability model for heterogeneous internet of things environments, Computers & Electrical Engineering, 2017.

S. Bandyopadhyay and A. Bhattacharyya, Lightweight Internet protocols for web enablement of sensors using constrained gateway devices, 2013 International Conference on Computing, Networking and Communications (ICNC), 2013.
DOI : 10.1109/ICCNC.2013.6504105

Y. Sun, X. Qiao, B. Cheng, and J. Chen, A low-delay, lightweight publish/subscribe architecture for delaysensitive IoT services, IEEE ICWS, 2013.
DOI : 10.1109/icws.2013.33

S. Lee, H. Kim, D. Hong, and H. Ju, Correlation analysis of MQTT loss and delay according to QoS level, IEEE ICOIN, 2013.

Z. B. Babovic, J. Protic, and V. Milutinovic, Web Performance Evaluation for Internet of Things Applications, IEEE Access, vol.4, 2016.
DOI : 10.1109/ACCESS.2016.2615181

E. Davis, A. Calveras, and I. Demirkol, Improving Packet Delivery Performance of Publish/Subscribe Protocols in Wireless Sensor Networks, Sensors, vol.3, issue.1, 2013.
DOI : 10.1080/15501320601069861

F. Mehmeti and T. Spyropoulos, Performance analysis of " on-the-spot " mobile data offloading, IEEE GLOBECOM, 2013.

F. Mehmeti and T. Spyropoulos, Performance Analysis of Mobile Data Offloading in Heterogeneous Networks, IEEE Transactions on Mobile Computing, vol.16, issue.2
DOI : 10.1109/TMC.2016.2557799

F. Mehmeti and T. Spyropoulos, Is it worth to be patient? Analysis and optimization of delayed mobile data offloading, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014.
DOI : 10.1109/INFOCOM.2014.6848181

K. Lee, J. Lee, Y. Yi, I. Rhee, and S. Chong, Mobile data offloading: how much can WiFi deliver, Proceedings of the 6th International COnference, 2010.
DOI : 10.1109/tnet.2012.2218122

E. Hyytiä, T. Spyropoulos, and J. Ott, Optimizing Offloading Strategies in Mobile Cloud Computing, 2013.

H. Wu and K. Wolter, Tradeoff Analysis for Mobile Cloud Offloading Based on an Additive Energy-Performance Metric, Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014.
DOI : 10.4108/icst.valuetools.2014.258222
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.3413

T. Phung-duc, H. Masuyama, S. Kasahara, and Y. Takahashi, A simple algorithm for the rate matrices of level-dependent QBD processes, Proceedings of the 5th International Conference on Queueing Theory and Network Applications, QTNA '10, 2010.
DOI : 10.1145/1837856.1837864

E. Altman and U. Yechiali, Analysis of customers??? impatience in queues with server vacations, Queueing Systems, vol.66, issue.4, 2006.
DOI : 10.1080/03155986.1976.11731635

G. Latouche and V. Ramaswami, Introduction to matrix analytic methods in stochastic modeling. Siam, 1999.

M. Vernon, J. Zahorjan, and E. Lazowska, A comparison of performance Petri nets and queueing network models, 1986.

L. Aldred, W. Van-der-aalst, M. Dumas, and A. Ter-hofstede, On the Notion of Coupling in Communication Middleware, OTM Confederated International Conferences " On the Move to Meaningful Internet Systems, 2005.
DOI : 10.1007/11575801_6

A. Kattepur and M. Nambiar, Performance Modeling of Multi-tiered Web Applications with Varying Service Demands, IPDPS Workshops, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01118352

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and modelchecking of large heterogeneous systems, Formal Techniques for Distributed Systems, 2010.
DOI : 10.1007/s10009-011-0201-2
URL : https://hal.archives-ouvertes.fr/inria-00554321

L. Waszniowski, J. Krákora, and Z. Hanzálek, Case study on distributed and fault tolerant system modeling based on timed automata, Journal of Systems and Software, vol.82, issue.10, 2009.
DOI : 10.1016/j.jss.2009.04.042

Y. Zhou, J. Ge, P. Zhang, and W. Wu, ????????????????????????????????????????????????????????????, Science China Information Sciences, vol.22, issue.3, 2016.
DOI : 10.3724/SP.J.1001.2011.04017

M. Kim, M. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian, Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters, 2007.
DOI : 10.1007/978-3-540-75454-1_19

B. Aziz, A formal model and analysis of an IoT protocol, Ad Hoc Networks, 2016.
DOI : 10.1016/j.adhoc.2015.05.013

R. Alur and D. L. Dill, A theory of timed automata, Theoretical computer science, 1994.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, MMMECCS, 2001.
DOI : 10.1007/3-540-46029-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2142

A. Nouri, M. Bozga, A. Legay, and S. Bensalem, Performance Evaluation of Complex Systems Using the SBIP Framework, VECoS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01406591

F. He, L. Baresi, C. Ghezzi, and P. Spoletini, Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata, 2007.
DOI : 10.1007/3-540-48320-9_12

L. Baresi, C. Ghezzi, and L. Mottola, On Accurate Automatic Verification of Publish-Subscribe Architectures, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.57

T. Pongthawornkamol, K. Nahrstedt, and G. Wang, The Analysis of Publish/Subscribe Systems over Mobile Wireless Ad Hoc Networks, 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services (MobiQuitous), 2007.
DOI : 10.1109/MOBIQ.2007.4451024

T. Pongthawornkamol, K. Nahrstedt, and G. Wang, Probabilistic QoS modeling for reliability/timeliness prediction in distributed content-based publish/subscribe systems over best-effort networks, Proceeding of the 7th international conference on Autonomic computing, ICAC '10, 2010.
DOI : 10.1145/1809049.1809083

D. Kassa, K. Nahrstedt, and G. Wang, Analytical models of short-message reliability in mobile wireless networks, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, MSWiM '11, 2011.
DOI : 10.1145/2068897.2068960

A. A. Gaddah, A pro-active mobility management scheme for publish/subscribe middleware systems, 2008.

A. Gaddah and T. Kunz, EXtending Mobility to Publish/Subscribe Systems Using a Pro-Active Caching Approach, Mobile Information Systems, 2010.
DOI : 10.1155/2010/130137
URL : http://doi.org/10.1155/2010/130137

S. Kounev, K. Sachs, J. Bacon, and A. Buchmann, A Methodology for Performance Modeling of Distributed Event-Based Systems, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008.
DOI : 10.1109/ISORC.2008.51

G. Mühl, A. Schröter, H. Parzyjegla, S. Kounev, and J. Richling, Stochastic Analysis of Hierarchical Publish/Subscribe??Systems, Euro-Par, 2009.
DOI : 10.1109/ISORC.2008.51

T. Martinec, L. Marek, A. Steinhauser, P. Tuma, Q. Noorshams et al., Constructing performance model of JMS middleware platform, Proceedings of the 5th ACM/SPEC international conference on Performance engineering, ICPE '14, 2014.
DOI : 10.1145/2568088.2568096
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.17

K. Sachs, S. Kounev, and A. Buchmann, Performance modeling and analysis of message-oriented event-driven systems, Software & Systems Modeling, 2013.
DOI : 10.1016/0304-3975(81)90049-9

G. Singh and A. Singh, Measuring Tradeoffs between Performance and QoS in Event Based Systems, 2015.

V. Setty, G. Kreitz, R. Vitenberg, M. Van-steen, G. Urdaneta et al., The hidden pub/sub of Spotify:(industry article), ACM DEBS, 2013.

V. Setty, G. Kreitz, G. Urdaneta, R. Vitenberg, and M. Van-steen, Maximizing the number of satisfied subscribers in pub/sub systems under capacity constraints, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014.
DOI : 10.1109/INFOCOM.2014.6848205

V. J. Setty, Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning, 2015.

D. Schrank, B. Eisele, and T. Lomax, TTI's 2012 urban mobility report, Texas A&M Transportation Institute. The Texas A&M University System, 2012.

J. Yoon, B. Noble, and M. Liu, Surface street traffic estimation, Proceedings of the 5th international conference on Mobile systems, applications and services , MobiSys '07, 2007.
DOI : 10.1145/1247660.1247686
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.7551

P. Mohan, V. N. Padmanabhan, and R. Ramjee, Nericell: rich monitoring of road and traffic conditions using mobile smartphones, ACM SenSys, 2008.

J. Reumann, Goops: Pub/sub at google, Lecture & Personal Communications at EuroSys & CANOE Summer School, 2009.

B. Billet and V. Issarny, dioptase: data Streaming Middleware for the Internet of Things, 2015.

K. Ueno and M. Tatsubori, Early capacity testing of an enterprise service bus, IEEE ICWS, 2006.
DOI : 10.1109/icws.2006.57
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.397

S. Desmet, B. Volckaert, S. Van-assche, D. Van-der-weken, B. Dhoedt et al., Throughput evaluation of different enterprise service bus approaches, 2007.

E. Clarke, A. Emerson, and P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 1986.
DOI : 10.1145/5397.5399
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.9102

N. Caro, W. Colitti, K. Steenhaut, G. Mangino, and G. Reali, Comparison of two lightweight protocols for smartphone-based sensing, IEEE SCVT, 2013.

L. Durkop, B. Czybik, and J. Jasperneite, Performance evaluation of M2M protocols over cellular networks in a lab environment, 2015 18th International Conference on Intelligence in Next Generation Networks, 2015.
DOI : 10.1109/ICIN.2015.7073809

E. Lazowska, J. Zahorjan, S. Graham, and K. Sevcik, Quantitative system performance: computer system analysis using queueing network models, 1984.
DOI : 10.1146/annurev.cs.01.060186.000543

F. Baskett, M. Chandy, R. Muntz, and F. Palacios, Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Journal of the ACM, vol.22, issue.2, 1975.
DOI : 10.1145/321879.321887

W. Chang, Preemptive Priority Queues, Operations Research, vol.13, issue.5, 1965.
DOI : 10.1287/opre.13.5.820

T. Field, JINQS: An extensible library for simulating multiclass queueing networks, v1. 0 user guide, 2006.

R. Baldoni, A. Virgillito, and .. , Distributed event routing in publish/subscribe communication systems: a survey List of figures 1.1 Platform for interoperability and interoperability effectiveness evaluation in IoT applications, 2005.

@. G. Bouloukakis, I. Moscholios, N. Georgantas, and V. Issarny, Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC)
DOI : 10.1109/ICC.2017.7997451
URL : https://hal.archives-ouvertes.fr/hal-01470328

@. G. Bouloukakis, N. Georgantas, A. Kattepur, and V. Issarny, Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17
DOI : 10.1137/1.9780898719734
URL : https://hal.archives-ouvertes.fr/hal-01415893

@. V. Issarny, G. Bouloukakis, N. Georgantas, and B. Billet, Revisiting Service-Oriented Architecture for the IoT: A Middleware Perspective, International Conference on Service Oriented Computing (icsoc)
DOI : 10.1109/TPDS.2012.105
URL : https://hal.archives-ouvertes.fr/hal-01358399

@. G. Bajaj, R. Agarwal, G. Bouloukakis, P. Singh, N. Georgantas et al., Towards building real-time, convenient route recommendation system for public transit, 2016 IEEE International Smart Cities Conference (ISC2)
DOI : 10.1109/ISC2.2016.7580779
URL : https://hal.archives-ouvertes.fr/hal-01351068

@. G. Bouloukakis, N. Georgantas, R. Agarwal, A. Pathak, and V. Issarny, Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015.
DOI : 10.1109/WiMOB.2015.7348016
URL : https://hal.archives-ouvertes.fr/hal-01204871

@. G. Bajaj, G. Bouloukakis, A. Pathak, P. Singh, N. Georgantas et al., Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015.
DOI : 10.1109/ITSC.2015.57
URL : https://hal.archives-ouvertes.fr/hal-01204827

@. A. Kattepur, N. Georgantas, G. Bouloukakis, and V. Issarny, Analysis of Timing Constraints in Heterogeneous Middleware Interactions, International Conference on Service Oriented Computing (icsoc), 2015.
DOI : 10.1109/ICWS.2013.39
URL : https://hal.archives-ouvertes.fr/hal-01204786

@. N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, European Conference on Service-Oriented and Cloud Computing (esocc), 2013.
DOI : 10.1007/978-3-642-40651-5_11
URL : https://hal.archives-ouvertes.fr/hal-00841332

. Demos, @. G. Posters, N. Bouloukakis, S. Georgantas, V. Dutta et al., Integration of Heterogeneous Services and Things into Choreographies Demo, International Conference on Service Oriented Computing (icsoc)

@. G. Bouloukakis, N. Georgantas, R. Agarwal, A. Pathak, and V. Issarny, Towards Enabling Mobile Social Crowd-Sensing for Unstructured Transport Information Management Poster Paper in D4D Challenge, 2015.

=. Onoffqn-pub_app and . Onoffqn, PUB-APP

=. Onoffqn-br_out and . Onoffqn, BR-OUT

C. Listing, 7: Pattern 4 (reliable) simulation constructor