TY - STD TI - van der Aalst W. Process mining - data science in action. 2016. ID - ref1 ER - TY - JOUR AU - Arlat, J. AU - Fabre, J. C. AU - Rodriguez, M. PY - 2002 DA - 2002// TI - Dependability of COTS microkernel-based systems JO - IEEE Trans Comput VL - 51 UR - https://doi.org/10.1109/12.980005 DO - 10.1109/12.980005 ID - Arlat2002 ER - TY - STD TI - Bersani MM, Garcia-Valls M. Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. J Softw: Evol Process. 2017; 30(3). ID - ref3 ER - TY - STD TI - Blair GS, Coulson G, Andersen A, Blair L, Clarke M, Costa F, Duran-Limon H, Fitzpatrick T, Johnston L, Moreira R, Parlavantzas N, Saikoski K. The design and implementation of Open ORB 2. IEEE Distrib Syst Online. 2001; 2(6). ID - ref4 ER - TY - STD TI - Caporuscio M, Inverardi P, Pelliccione P. Compositional verification of middleware-based software architecture descriptions. In: Proceedings. 26th International Conference on Software Engineering: 2004. p. 221–30. https://doi.org/10.1109/icse.2004.1317444. ID - ref5 ER - TY - CHAP AU - Clarke, M. AU - Blair, G. S. AU - Coulson, G. AU - Parlavantzas, N. PY - 2001 DA - 2001// TI - An efficient component model for the construction of adaptive middleware BT - Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg PB - Springer-Verlag CY - London, UK ID - Clarke2001 ER - TY - STD TI - Costa FM, Morris KA, Kon F, Clarke PJ. Model-Driven Domain-Specific Middleware. In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS): 2017. p. 1961–71. https://doi.org/10.1109/icdcs.2017.197. ID - ref7 ER - TY - CHAP AU - Dobbelaere, P. AU - Esmaili, K. S. PY - 2017 DA - 2017// TI - Kafka versus rabbitmq: A comparative study of two industry reference publish/subscribe implementations: Industry paper BT - Proceedings of the 11th ACM International Conference on Distributed and Event-Based Systems, Association for Computing Machinery PB - DEBS 17 CY - New York, NY, USA ID - Dobbelaere2017 ER - TY - STD TI - Donovan AA, Kernighan BW. The Go Programming Language, 1st edn: Addison-Wesley Professional; 2015. ID - ref9 ER - TY - STD TI - García-Valls M, Perez-Palacin D, Mirandola R. Extending the verification capabilities of middleware for reliable distributed self-adaptive system. In: INDIN: 2014. p. 164–9. https://doi.org/10.1109/indin.2014.6945502. ID - ref10 ER - TY - JOUR AU - Garcia-Valls, M. AU - Perez-Palacin, D. AU - Mirandola, R. PY - 2018 DA - 2018// TI - Pragmatic cyber physical systems design based on parametric models JO - J Syst Softw VL - 144 UR - https://doi.org/10.1016/j.jss.2018.06.044 DO - 10.1016/j.jss.2018.06.044 ID - Garcia-Valls2018 ER - TY - STD TI - Garlan D, Schmerl B, Cheng SW. Software Architecture-Based Self-Adaptation: Springer; 2009, pp. 31–55. https://doi.org/10.1007/978-0-387-89828-5_2. ID - ref12 ER - TY - STD TI - Hoare CAR. Communicating Sequential Processes: Prentice-Hall, Inc.; 1985. https://doi.org/10.1007/978-3-662-09507-2_19. ID - ref13 ER - TY - STD TI - IBM. An architectural blueprint for autonomic computing. Tech. rep: IBM; 2005. ID - ref14 ER - TY - JOUR AU - Issarny, V. AU - Kloukinas, C. AU - Zarras, A. PY - 2002 DA - 2002// TI - Systematic aid for developing middleware architectures JO - Commun ACM VL - 45 UR - https://doi.org/10.1145/508448.508474 DO - 10.1145/508448.508474 ID - Issarny2002 ER - TY - STD TI - Kliem A, Boelke A, Grohnert A, Traeder N. Self-adaptive middleware for ubiquitous medical device integration. In: e-Health Networking, Applications and Services (Healthcom) 2014 IEEE 16th International Conference on: 2014. p. 298–304. https://doi.org/10.1109/healthcom.2014.7001858. ID - ref16 ER - TY - STD TI - Kon F, Roman M, Liu P, Mao J, Yamane T, Magalhaes L, Campbell R. Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective ORB. In: Middleware 2000, vol 1795. Springer: 2000. p. 121–43. https://doi.org/10.1007/3-540-45559-0_7. ID - ref17 ER - TY - STD TI - Kwiatkowska M, Norman G, Parker D. PRISM 4.0: Verification of probabilistic real-time systems In: Gopalakrishnan G, Qadeer S, editors. Proc. 23rd International Conference on Computer Aided Verification (CAV’11), LNCS, vol 6806. Springer: 2011. p. 585–91. https://doi.org/10.1007/978-3-642-22110-1_47. ID - ref18 ER - TY - JOUR AU - Medvidovic, N. AU - Taylor, R. N. PY - 2000 DA - 2000// TI - A classification and comparison framework for software architecture description languages JO - IEEE Trans Softw Eng VL - 26 UR - https://doi.org/10.1109/32.825767 DO - 10.1109/32.825767 ID - Medvidovic2000 ER - TY - JOUR AU - Meyerson, J. PY - 2014 DA - 2014// TI - The go programming language JO - IEEE Softw VL - 31 UR - https://doi.org/10.1109/MS.2014.127 DO - 10.1109/MS.2014.127 ID - Meyerson2014 ER - TY - STD TI - Park S, Song J. Self-adaptive middleware framework for internet of things. In: 2015IEEE 4th Global Conference on Consumer Electronics (GCCE): 2015. p. 81–2. https://doi.org/10.1109/gcce.2015.7398741. ID - ref21 ER - TY - JOUR AU - Pereira, F. M. Q. AU - Valente, M. T. O. AU - Bigonha, R. S. AU - Bigonha, M. A. S. PY - 2006 DA - 2006// TI - Arcademis: A Framework for Object-oriented Communication Middleware Development JO - Softw Pract Exp VL - 36 UR - https://doi.org/10.1002/spe.706 DO - 10.1002/spe.706 ID - Pereira2006 ER - TY - STD TI - Portocarrero JMT, Delicato FC, Pires PF, Rodrigues TC, Batista TV. SAMSON: Self-adaptive Middleware for Wireless Sensor Networks. In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC ’16: 2016. p. 1315–22. https://doi.org/10.1145/2851613.2851766. ID - ref23 ER - TY - STD TI - Qiu Q, Wu Q, Pedram M. Stochastic modeling of a power-managed system: construction and optimization. In: Proceedings 1999 International Symposium on Low Power Electronics and Design (Cat. No.99TH8477): 1999. p. 194–199. https://doi.org/10.1109/lpe.1999.799438. ID - ref24 ER - TY - STD TI - Rafique A, Van Landuyt D, Reniers V, Joosen W. Towards an Adaptive Middleware for Efficient Multi-Cloud Data Storage. In: Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, Crosscloud’17: 2017. p. 4:1–6. https://doi.org/10.1145/3069383.3069387. ID - ref25 ER - TY - STD TI - Rosa CGMMN, Cavalcanti DJM. Lightweight formalisation of adaptive middleware. J Syst Archit. 2018. https://doi.org/https://doi.org/10.1016/j.sysarc.2018.12.002. http://www.sciencedirect.com/science/article/pii/S1383762118300936. UR - http://www.sciencedirect.com/science/article/pii/S1383762118300936 ID - ref26 ER - TY - STD TI - Rosa N. Middleware Reconfiguration Relying on Formal Methods. In: 2015 IEEE International Conference on Computer and Information Technology: 2015. p. 648–55. https://doi.org/10.1109/cit/iucc/dasc/picom.2015.93. ID - ref27 ER - TY - STD TI - Rosa N, Campos G, Cavalcanti D. Using software architecture principles and lightweight formalisation to build adaptive middleware. In: Proceedings of the ARM 2017, ARM ’17: 2017. p. 1:1–7. https://doi.org/10.1145/3152881.3152882. ID - ref28 ER - TY - STD TI - Rosa NS. Middleware Adaptation through Process Mining. In: 2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA): 2017. p. 244–251. https://doi.org/10.1109/aina.2017.25. ID - ref29 ER - TY - JOUR AU - Salehie, M. AU - Tahvildari, L. PY - 2009 DA - 2009// TI - Self-adaptive Software: Landscape and Research Challenges JO - ACM Trans Auton Adapt Syst VL - 4 UR - https://doi.org/10.1145/1516533.1516538 DO - 10.1145/1516533.1516538 ID - Salehie2009 ER - TY - STD TI - Sarray I, Ressouche A, Gaffé D, Tigli JY, Lavirotte S. Safe Composition in Middleware for the Internet of Things. In: Proceedings of the 2Nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT: 2015. p. 7–12. https://doi.org/10.1145/2836127.2836131. ID - ref31 ER - TY - STD TI - Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall; 1996. ID - ref32 ER - TY - CHAP AU - Silva, A. AU - Rosa, N. PY - 2019 DA - 2019// TI - Afirm: An adaptive functional middleware BT - Proceedings of the 18th Workshop on Adaptive and Reflexive Middleware, ARM 19 PB - Association for Computing Machinery CY - New York, NY, USA ID - Silva2019 ER - TY - STD TI - Singhai A, Singhai A, Sane A, Campbell R. Quarterware for Middleware In: Sane A, editor. Proc. 18th International Conference on Distributed Computing Systems: 1998. p. 192–201. https://doi.org/10.1109/icdcs.1998.679502. ID - ref34 ER - TY - CHAP AU - Sylla, A. N. AU - Louvel, M. AU - Rutten, E. PY - 2016 DA - 2016// TI - Combining transactional and behavioural reliability in adaptive middleware BT - ARM 2016 PB - ACM CY - New York, NY, USA ID - Sylla2016 ER - TY - STD TI - Tarkoma S. Publish / Subscribe Systems: Design and Principles: Wiley; 2012. ID - ref36 ER - TY - STD TI - Uddin M, Akbar M. Addressing Techniques in Wireless Sensor Networks: A Short Survey. In: Proc. International Conference on Electrical and Computer Engineering ICECE ’06: 2006. p. 581–4. https://doi.org/10.1109/ICECE.2006.355698. ID - ref37 ER - TY - STD TI - Vergnaud T, Hugues J, Pautet L, Kordon F. PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. 2004:106–19. https://doi.org/10.1007/978-3-540-24841-5_8. ID - ref38 ER - TY - JOUR AU - Vinoski, S. PY - 2003 DA - 2003// TI - The performance presumption [middleware evaluation] JO - IEEE Internet Comput VL - 7 UR - https://doi.org/10.1109/MIC.2003.1189194 DO - 10.1109/MIC.2003.1189194 ID - Vinoski2003 ER - TY - STD TI - Volter M, Kircher M, Zdun U. Remoting Patterns: Foundations of Enterprise, Internet and Real Time Distributed Object Middleware: Wiley; 2005. ID - ref40 ER - TY - STD TI - Warren I, Sun J, Krishnamohan S, Weerasinghe T. An automated formal approach to managing dynamic reconfiguration. In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE’06): 2006. p. 37–46. https://doi.org/10.1109/ase.2006.12. ID - ref41 ER - TY - STD TI - Yaghoobirafi K, Nazemi E. A Self-Adaptive Middleware for Attaining Semantic Self-Interoperation Property. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W): 2016. p. 293–8. https://doi.org/10.1109/fas-w.2016.70. ID - ref42 ER -