| Bigraphs with sharing M Sevegnani, M Calder Theoretical Computer Science 577, 43-73, 2015 | 47 | 2015 |
| Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing M Calder, M Sevegnani Formal Aspects of Computing 26 (3), 537-561, 2014 | 27 | 2014 |
| Real-time verification of wireless home networks using bigraphs with sharing M Calder, A Koliousis, M Sevegnani, J Sventek Science of Computer Programming 80, 288-310, 2014 | 26 | 2014 |
| On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces S Benford, T Rodden, M Calder, M Sevegnani ACM Transactions on Computer-Human Interaction 23 (2), 1-56, 2016 | 21 | 2016 |
| BigraphER: Rewriting and Analysis Engine for Bigraphs M Sevegnani, M Calder Computer Aided Verification, 28th International Conference, CAV 2016 …, 2016 | 18 | 2016 |
| Bigraphs with sharing and applications in wireless networks M Sevegnani University of Glasgow, 2012 | 16 | 2012 |
| A SAT based algorithm for the matching problem in bigraphs with sharing M Sevegnani, C Unsworth, M Calder University of Glasgow, Tech. Rep, 2010 | 16 | 2010 |
| Process algebra for event-driven runtime verification: a case study of wireless network management M Calder, M Sevegnani International Conference on Integrated Formal Methods, 21-23, 2012 | 11 | 2012 |
| Modelling and verification of large-scale sensor network infrastructures M Sevegnani, M Kabác, M Calder, J McCann 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 7 | 2018 |
| Towards a bigraphical encoding of actors M Sevegnani, E Pereira | 6 | 2014 |
| Stochastic model checking for predicting component failures and service availability M Calder, M Sevegnani IEEE Transactions on Dependable and Secure Computing 16 (1), 174-187, 2019 | 4 | 2019 |
| BigraphTalk: verified design of IoT applications B Archibald, MZ Shieh, YH Hu, M Sevegnani, YB Lin IEEE Internet of Things Journal 7 (4), 2955-2967, 2020 | 3 | 2020 |
| Conditional bigraphs B Archibald, M Calder, M Sevegnani International Conference on Graph Transformation, 3-19, 2020 | 2 | 2020 |
| Formalising sensor topologies for target counting S Linker, M Sevegnani arXiv preprint arXiv:1802.01791, 2018 | 2 | 2018 |
| Do I need to fix a failed component now, or can I wait until tomorrow? M Calder, M Sevegnani 2014 Tenth European Dependable Computing Conference, 70-81, 2014 | 2 | 2014 |
| Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications X Xin, SL Keoh, M Sevegnani, M Saerbeck 2020 IEEE International Conference on Smart Internet of Things (SmartIoT), 43-50, 2020 | 1 | 2020 |
| Target counting with Presburger constraints and its application in sensor networks S Linker, M Sevegnani Proceedings of the Royal Society A 475 (2231), 20190278, 2019 | 1 | 2019 |
| Analysing spatial properties on neighbourhood spaces S Linker, F Papacchini, M Sevegnani arXiv preprint arXiv:2007.01266, 2020 | | 2020 |
| Applications of bigraphs with sharing M Sevegnani Third International Workshop on Bigraphs (Bigraph 2013), 2013 | | 2013 |
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
