BlockChain: A Distributed Solution to Automotive Security and Privacy, IEEE Commun. Mag, vol.55, issue.12, pp.119-125, 2017. ,
Blockchain-Based Dynamic Key Management for Heterogeneous Intelligent Transportation Systems, IEEE Internet Things, vol.4, issue.6, pp.1832-1843, 2017. ,
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. ,
Iot-cloud service optimization in next generation smart environments, IEEE Journal on Selected Areas in Communications, vol.34, issue.12, pp.4077-4090, 2016. ,
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
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
The internet of things: A survey, China Communications, vol.11, issue.10, pp.1-15, 2014. ,
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. ,
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. ,
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. ,
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. ,
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. ,
, , 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.
Real-time driver drowsiness detection for android application using deep neural networks techniques, Procedia computer science, vol.130, pp.400-407, 2018. ,
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02504586
Driver drowsiness detection model using convolutional neural networks techniques for android application, 2020. ,
Dag-based attack and defense modeling: Don't miss the forest for the attack trees, Computer Science Review, pp.13-14, 2014. ,
Model-Based Testing for Real-Time Systems, 2007. ,
A formal framework for conformance testing of distributed real-time systems, International Conference On Principles Of Distributed Systems, pp.139-142, 2010. ,
A formal framework for blackbox conformance testing of distributed real-time systems, IJCCBS, vol.3, issue.1, pp.26-43, 2012. ,
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
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
Interesting properties of the conformance relation tioco, 2006. ,
Quantitative attack tree analysis via priced timed automata, Formal Modeling and Analysis of Timed Systems, pp.156-171, 2015. ,
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
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
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. ,
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
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. ,
Self-managed and blockchain-based vehicular ad-hoc networks. the, ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, 2016. ,
Distributed and resource-aware load testing of WS-BPEL compositions, ICEIS (2), pp.29-38, 2018. ,
Blockchain based Intelligent Vehicle Data Sharing Framework, 2017. ,
Latency-aware application module management for fog computing environments, ACM Trans. Internet Technol, vol.19, issue.1, p.21, 2018. ,
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. ,
Scheduling of fog networks with optimized knapsack by symbiotic organisms search, 21st Conference of Open Innovations Association (FRUCT), pp.278-283, 2017. ,
Securing vehicle to vehicle data sharing using blockchain through visible light and acoustic side-channels, 2017. ,
Resource provisioning for iot services in the fog, 2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA), pp.32-39, 2016. ,
Towards distributed service allocation in fog-to-cloud (f2c) scenarios, 2016 IEEE Global Communications Conference (GLOBECOM), pp.1-6, 2016. ,
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. ,
Testing concurrent systems: A formal approach, Proceedings of the 10th International Conference on Concurrency Theory, CONCUR '99, pp.46-65, 1999. ,
LNSC: A security model for electric vehicle and charging pile management based on Blockchain ecosystem, IEEE Access, vol.6, pp.565-578, 2018. ,
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
Towards blockchainbased intelligent transportation systems, IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), pp.2663-2668, 2016. ,
Cost aware service placement and load dispatching in mobile cloud systems, IEEE Transactions on Computers, vol.65, issue.5, pp.1440-1452, 2016. ,
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. ,
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. ,