Ensuring the Correctness and Well Modeling of Intelligent HMS
371
References
1. Catarinucci, L., et al.: An IoT-aware architecture for smart healthcare systems. IEEE IOT J.
2(6), 515–526 (2015)
2. Drira, K.: Multiscale and multiobjective modelling: a perspective for mastering the design
and operation complexity of IoT systems. In: 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp.
555–557 (2017)
3. Espada, J.: Service orchestration on the internet of things. IJIMAI 1(7), 76–77 (2012)
4. Garc´ ıa, C.G., Valdez, E.N., D´ ıaz, V.G., Garc´ ıa-Bustelo, B.P., Lovelle, J.C.: A review of artificial intelligence in the internet of things. IJIMAI 5(4), 9–20 (2019)
5. Gigli, M., Koo, S.: Internet of things: services and applications categorization. Adv. Internet
Things 1(2), 27–31 (2011)
6. Gupta, P., Agrawal, D., Chhabra, J., Dhir, P.K.: IoT based smart healthcare kit. In: 2016
International Conference on Computational Techniques in Information and Communication
Technologies (ICCTICT), pp. 237–242, March 2016
7. Dina, H., Maha, A., Dina, I.: Coordination emergency response framework-cerf- a proposed
model. Int. J. Comput. Sci. Inf. Secur. 16(11), 69–73 (2018)
8. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2012)
9. Krichen, M.: Improving formal verification and testing techniques for internet of things and
smart cities. Mob. Netw. Appl. 1–12 (2019)
10. Krichen, M., Cheikhrouhou, O., Lahami, M., Alroobaea, R., Jmal Maˆ alej, A.: Towards a
model-based testing framework for the security of internet of things for smart city applications. In: Mehmood, R., Bhaduri, B., Katib, I., Chlamtac, I. (eds.) SCITA 2017. LNICST, vol.
224, pp. 360–365. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94180-6 34
11. Krichen, M., Maˆ alej, A.J., Lahami, M.: A model-based approach to combine conformance
and load tests: an ehealth case study. Int. J. Crit. Comput.-Based Syst. 8(3–4), 282–310
(2018)
12. Madakam, S., Ramaswamy, R., Tripathi, S.: Internet of things (IoT): a literature review. J.
Comput. Commun. 3(5), 124 (2015)
13. Mainak, B., Singh, V.: Development of agent based model for predicting emergency response
time. Perspect. Sci. 8, 04 (2016)
14. Ouchani, S.: Ensuring the functional correctness of IoT through formal modeling and verification. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., M´ ery, D., Ordonez, C. (eds.)
MEDI 2018. LNCS, vol. 11163, pp. 401–417. Springer, Cham (2018). https://doi.org/10.
1007/978-3-030-00856-7 27
15. Ouchani, S., Ait Mohamed, O., Debbabi, M.: Efficient probabilistic abstraction for SysML
activity diagrams. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012.
LNCS, vol. 7504, pp. 263–277. Springer, Heidelberg (2012). https://doi.org/10.1007/9783-642-33826-7 18
16. Ouchani, S., Lenzini, G.: Attacks generation by detecting attack surfaces. Proc. Comput. Sci.
32, 529–536 (2014)
17. Molano, J.R., Lovelle, J.C., Mar´ ın, C., Granados, J.J., Crespo, R.G.: Metamodel for integration of internet of things, social networks, the cloud and industry 4.0. J. Amb. Intel. Hum.
Comput. 9(6), 709–723 (2018)
18. Leila, R., Tanir, O., Johan, L.: Understanding iot systems: a life cycle approach. Proc. Comput. Sci. (PCS) 130(1), 1057–1062 (2018)
371
References
1. Catarinucci, L., et al.: An IoT-aware architecture for smart healthcare systems. IEEE IOT J.
2(6), 515–526 (2015)
2. Drira, K.: Multiscale and multiobjective modelling: a perspective for mastering the design
and operation complexity of IoT systems. In: 2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp.
555–557 (2017)
3. Espada, J.: Service orchestration on the internet of things. IJIMAI 1(7), 76–77 (2012)
4. Garc´ ıa, C.G., Valdez, E.N., D´ ıaz, V.G., Garc´ ıa-Bustelo, B.P., Lovelle, J.C.: A review of artificial intelligence in the internet of things. IJIMAI 5(4), 9–20 (2019)
5. Gigli, M., Koo, S.: Internet of things: services and applications categorization. Adv. Internet
Things 1(2), 27–31 (2011)
6. Gupta, P., Agrawal, D., Chhabra, J., Dhir, P.K.: IoT based smart healthcare kit. In: 2016
International Conference on Computational Techniques in Information and Communication
Technologies (ICCTICT), pp. 237–242, March 2016
7. Dina, H., Maha, A., Dina, I.: Coordination emergency response framework-cerf- a proposed
model. Int. J. Comput. Sci. Inf. Secur. 16(11), 69–73 (2018)
8. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2012)
9. Krichen, M.: Improving formal verification and testing techniques for internet of things and
smart cities. Mob. Netw. Appl. 1–12 (2019)
10. Krichen, M., Cheikhrouhou, O., Lahami, M., Alroobaea, R., Jmal Maˆ alej, A.: Towards a
model-based testing framework for the security of internet of things for smart city applications. In: Mehmood, R., Bhaduri, B., Katib, I., Chlamtac, I. (eds.) SCITA 2017. LNICST, vol.
224, pp. 360–365. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94180-6 34
11. Krichen, M., Maˆ alej, A.J., Lahami, M.: A model-based approach to combine conformance
and load tests: an ehealth case study. Int. J. Crit. Comput.-Based Syst. 8(3–4), 282–310
(2018)
12. Madakam, S., Ramaswamy, R., Tripathi, S.: Internet of things (IoT): a literature review. J.
Comput. Commun. 3(5), 124 (2015)
13. Mainak, B., Singh, V.: Development of agent based model for predicting emergency response
time. Perspect. Sci. 8, 04 (2016)
14. Ouchani, S.: Ensuring the functional correctness of IoT through formal modeling and verification. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., M´ ery, D., Ordonez, C. (eds.)
MEDI 2018. LNCS, vol. 11163, pp. 401–417. Springer, Cham (2018). https://doi.org/10.
1007/978-3-030-00856-7 27
15. Ouchani, S., Ait Mohamed, O., Debbabi, M.: Efficient probabilistic abstraction for SysML
activity diagrams. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012.
LNCS, vol. 7504, pp. 263–277. Springer, Heidelberg (2012). https://doi.org/10.1007/9783-642-33826-7 18
16. Ouchani, S., Lenzini, G.: Attacks generation by detecting attack surfaces. Proc. Comput. Sci.
32, 529–536 (2014)
17. Molano, J.R., Lovelle, J.C., Mar´ ın, C., Granados, J.J., Crespo, R.G.: Metamodel for integration of internet of things, social networks, the cloud and industry 4.0. J. Amb. Intel. Hum.
Comput. 9(6), 709–723 (2018)
18. Leila, R., Tanir, O., Johan, L.: Understanding iot systems: a life cycle approach. Proc. Comput. Sci. (PCS) 130(1), 1057–1062 (2018)