Maram Mohammed S Albalwe
m.albalwe.1@research.gla.ac.uk
Research title: Modelling and Analysing routing protocols for WSN using Bigraphs
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
m.albalwe.1@research.gla.ac.uk
Research title: Modelling and Analysing routing protocols for WSN using Bigraphs
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3685934) (Accepted for Publication)
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, (Accepted for Publication)
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3685934) (Accepted for Publication)
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, (Accepted for Publication)
Sevegnani, M. , Archibald, B. and Albalwe, M. M. S. (2023) RPL Bigraphs model with contikiRPL. [Data Collection]