On lions, impala, and bigraphs: Modelling interactions in physical/virtual spaces, ACM Trans. Comput.-Hum. Interact, vol.23, p.56, 2016. ,
Real-time verification of wireless home networks using bigraphs with sharing, Science of Computer Programming, vol.80, pp.288-310, 2014. ,
Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems, Proceedings of the 1st ACM Int, pp.32-39, 2017. ,
, Logic in Computer Science: Modelling and Reasoning About Systems, 2004.
Multi-agent systems design and prototyping with bigraphical reactive systems, Distributed Applications and Interoperable Systems, pp.201-208, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01287744
The Space and Motion of Communicating Agents, 2009. ,
A comprehensive survey on fog computing: State-of-the-art and research challenges, IEEE Communications Surveys Tutorials, vol.20, issue.1, pp.416-464, 2018. ,
A microservice-enabled architecture for smart surveillance using blockchain technology, IEEE Int. Smart Cities Conference (ISC2), pp.1-4, 2018. ,
A brs-based approach to model and verify cloud systems elasticity, 1st Int. Conference on Cloud Forward: From Distributed to Complete Computing, vol.68, pp.29-41, 2015. ,
A bigraphical model for specifying cloudbased elastic systems and their behaviour, Int. Journal of Parallel, Emergent and Distributed Systems, vol.32, issue.6, pp.593-616, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01906821
Modelling and verification of large-scale sensor network infrastructures, 2018 23rd Int. Conference on Engineering of Complex Computer Systems (ICECCS), pp.71-81, 2018. ,
Modeling and verification of evolving cyberphysical spaces, Proceedings of the 11th Joint Meeting on Foundations of Software Engineering, pp.38-48, 2017. ,
Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed iot applications in the fog, 33rd Annual ACM Symposium on Applied Computing, pp.751-760, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01908928
All one needs to know about fog computing and related edge computing paradigms: A complete survey, Journal of Systems Architecture, 2019. ,