A. Dorri, M. Steger, S. S. Kanhere, and R. Jurdak, BlockChain: A Distributed Solution to Automotive Security and Privacy, IEEE Commun. Mag, vol.55, issue.12, pp.119-125, 2017.

A. Lei, H. Cruickshank, Y. C. Sun, and Z. , Blockchain-Based Dynamic Key Management for Heterogeneous Intelligent Transportation Systems, IEEE Internet Things, vol.4, issue.6, pp.1832-1843, 2017.

H. R. Arkian, A. Diyanat, and A. Pourkhalili, Mist: Fog-based data analytics scheme with cost-efficient resource provisioning for iot crowdsensing applications, Journal of Network and Computer Applications, vol.82, pp.152-165, 2017.

M. Barcelo, A. Correa, J. Llorca, A. M. Tulino, J. L. Vicario et al., Iot-cloud service optimization in next generation smart environments, IEEE Journal on Selected Areas in Communications, vol.34, issue.12, pp.4077-4090, 2016.

N. Bertrand, A. Stainer, T. Jéron, and M. Krichen, A game approach to determinize timed automata, International Conference on Foundations of Software Science and Computational Structures, pp.245-259, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00524830

N. Bertrand, A. Stainer, T. Jéron, and M. Krichen, A game approach to determinize timed automata, Formal Methods in System Design, vol.46, issue.1, pp.42-80, 2015.
URL : https://hal.archives-ouvertes.fr/inria-00524830

F. Yang, S. Wang, J. Li, Z. Liu, and Q. Sun, The internet of things: A survey, China Communications, vol.11, issue.10, pp.1-15, 2014.

L. Gu, D. Zeng, S. Guo, A. Barnawi, and Y. Xiang, Cost efficient resource management in fog computing supported medical cyber-physical system, IEEE Transactions on Emerging Topics in Computing, vol.5, issue.1, pp.108-119, 2017.

C. Guerrero, I. Lera, J. , and C. , A lightweight decentralized service placement policy for performance optimization in fog computing, Journal of Ambient Intelligence and Humanized Computing, vol.10, issue.6, pp.2435-2452, 2019.

H. Gupta, A. V. Dastjerdi, S. K. Ghosh, and R. Buyya, ifogsim: A toolkit for modeling and simulation of resource management techniques in the internet of things, edge and fog computing environments, Softw., Pract. Exper, vol.47, issue.9, pp.1275-1296, 2017.

Z. Huang, K. Lin, S. Yu, and J. Y. Hsu, Co-locating services in iot systems to minimize the communication energy cost, Journal of Innovation in Digital Ecosystems, vol.1, issue.1, pp.47-57, 2014.

J. Kang, R. Yu, X. H. Hossain, and E. , Enabling Localized Peer-to-Peer Electricity Trading Among Plug-in Hybrid Electric Vehicles Using Consortium Blockchains, IEEE Trans. Ind. Informatics, vol.13, issue.6, pp.3154-3164, 2017.

R. Jabbar, K. Al-khalifa, M. Kharbeche, W. Alhajyaseen, M. Jafari et al., , 2018.

, Applied internet of things iot: Car monitoring system for modeling of road safety and traffic system in the state of qatar, In Qatar Foundation Annual Research Conference Proceedings, vol.3, p.1072, 2018.

R. Jabbar, K. Al-khalifa, M. Kharbeche, W. Alhajyaseen, M. Jafari et al., Real-time driver drowsiness detection for android application using deep neural networks techniques, Procedia computer science, vol.130, pp.400-407, 2018.

R. Jabbar, M. Shinoy, M. Kharbeche, K. Al-khalifa, M. Krichen et al., Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02504586

R. Jabbar, M. Shinoy, M. Kharbeche, K. Al-khalifa, M. Krichen et al., Driver drowsiness detection model using convolutional neural networks techniques for android application, 2020.

B. Kordy, L. Piètre-cambacédès, and P. Schweitzer, Dag-based attack and defense modeling: Don't miss the forest for the attack trees, Computer Science Review, pp.13-14, 2014.

M. Krichen, Model-Based Testing for Real-Time Systems, 2007.

M. Krichen, A formal framework for conformance testing of distributed real-time systems, International Conference On Principles Of Distributed Systems, pp.139-142, 2010.

M. Krichen, A formal framework for blackbox conformance testing of distributed real-time systems, IJCCBS, vol.3, issue.1, pp.26-43, 2012.

M. Krichen, Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems, Habilitationà diriger des recherches, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02495153

M. Krichen and R. Alroobaea, A new modelbased framework for testing security of iot systems in smart cities using attack trees and price timed automata, 14th International Conference on Evaluation of Novel Approaches to Software Engineering -ENASE, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02295652

M. Krichen and S. Tripakis, Interesting properties of the conformance relation tioco, 2006.

R. Kumar, E. Ruijters, and M. Stoelinga, Quantitative attack tree analysis via priced timed automata, Formal Modeling and Analysis of Timed Systems, pp.156-171, 2015.

L. Li, J. Liu, L. C. Zhang, and Z. , CreditCoin: A Privacy-Preserving Blockchain-Based Incentive Announcement Network for Communications of Smart Vehicles, IEEE Trans. Intell. Transp. Syst, pp.1-17, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01846911

M. Lahami, F. Fakhfakh, M. Krichen, and M. Jmaïel, Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS'12), pp.71-86, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482412

M. Lahami and M. Krichen, Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems, Proceedings of the 22nd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'13), pp.377-382, 2013.

M. Lahami, M. Krichen, M. Bouchakwa, and M. Jmaïel, Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems, Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS'12), pp.103-118, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482414

M. Lahami, M. Krichen, and M. Jmaïel, Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, Science of Computer Programming (SCP), vol.122, issue.C, pp.1-28, 2016.

B. Leiding, P. M. Hogrefe, and D. , Self-managed and blockchain-based vehicular ad-hoc networks. the, ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, 2016.

A. J. Maâlej, M. Lahami, M. Krichen, and M. Jmaïel, Distributed and resource-aware load testing of WS-BPEL compositions, ICEIS (2), pp.29-38, 2018.

M. Singh and S. K. , Blockchain based Intelligent Vehicle Data Sharing Framework, 2017.

R. Mahmud, K. Ramamohanarao, and R. Buyya, Latency-aware application module management for fog computing environments, ACM Trans. Internet Technol, vol.19, issue.1, p.21, 2018.

B. Ottenwälder, B. Koldehofe, K. Rothermel, and U. Ramachandran, Migcep: Operator migration for mobility driven distributed complex event processing, Proceedings of the 7th ACM International Conference on Distributed Event-based Systems, DEBS '13, pp.183-194, 2013.

D. Rahbari and M. Nickray, Scheduling of fog networks with optimized knapsack by symbiotic organisms search, 21st Conference of Open Innovations Association (FRUCT), pp.278-283, 2017.

S. Rowan, M. Clear, M. H. Goldrick, and C. M. , Securing vehicle to vehicle data sharing using blockchain through visible light and acoustic side-channels, 2017.

O. Skarlat, S. Schulte, M. Borkowski, and P. Leitner, Resource provisioning for iot services in the fog, 2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA), pp.32-39, 2016.

V. B. Souza, X. Masip-bruin, E. Marin-tordera, W. Ramirez, and S. Sanchez, Towards distributed service allocation in fog-to-cloud (f2c) scenarios, 2016 IEEE Global Communications Conference (GLOBECOM), pp.1-6, 2016.

M. Taneja and A. Davy, Resource aware placement of iot application modules in fogcloud computing paradigm, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pp.1222-1228, 2017.

J. Tretmans, Testing concurrent systems: A formal approach, Proceedings of the 10th International Conference on Concurrency Theory, CONCUR '99, pp.46-65, 1999.

X. Huang, C. Xu, P. W. Liu, and H. , LNSC: A security model for electric vehicle and charging pile management based on Blockchain ecosystem, IEEE Access, vol.6, pp.565-578, 2018.

Y. Xia, X. Etchevers, L. Letondeur, T. Coupaye, and F. Desprez, Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed iot applications in the fog, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC '18, pp.751-760, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01908928

Y. Yuan and F. Y. Wang, Towards blockchainbased intelligent transportation systems, IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), pp.2663-2668, 2016.

L. Yang, J. Cao, G. Liang, and X. Han, Cost aware service placement and load dispatching in mobile cloud systems, IEEE Transactions on Computers, vol.65, issue.5, pp.1440-1452, 2016.

Z. Yang, K. Zheng, K. Y. Leung, and V. C. , A blockchain-based reputation system for data credibility assessment in vehicular networks, IEEE 28th Annu. Int. Symp. Pers. Indoor, Mob. Radio Commun, pp.1-5, 2017.

H. Zhang, Y. Xiao, S. Bu, D. Niyato, F. R. Yu et al., Computing resource allocation in three-tier iot fog networks: A joint optimization approach combining stackelberg game and matching, IEEE Internet of Things Journal, vol.4, issue.5, pp.1204-1215, 2017.