| Bigraphs with sharing M Sevegnani, M Calder Theoretical Computer Science 577, 43-73, 2015 | 55 | 2015 |
| 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 | 34 | 2014 |
| BigraphER: Rewriting and Analysis Engine for Bigraphs M Sevegnani, M Calder Computer Aided Verification, 28th International Conference, CAV 2016 …, 2016 | 33 | 2016 |
| 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 | 33 | 2016 |
| 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 | 32 | 2014 |
| A SAT based algorithm for the matching problem in bigraphs with sharing M Sevegnani, C Unsworth, M Calder University of Glasgow, Tech. Rep, 2010 | 18 | 2010 |
| Bigraphs with sharing and applications in wireless networks M Sevegnani University of Glasgow, 2012 | 17 | 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 | 16 | 2018 |
| 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 | 11 | 2019 |
| 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 |
| 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 | 9 | 2020 |
| Towards a bigraphical encoding of actors M Sevegnani, E Pereira | 9 | 2014 |
| Analysing spatial properties on neighbourhood spaces S Linker, F Papacchini, M Sevegnani 45th International Symposium on Mathematical Foundations of Computer Science …, 2020 | 6 | 2020 |
| Bigraphs with sharing M Sevegnani, M Calder | 5 | 2010 |
| Conditional bigraphs B Archibald, M Calder, M Sevegnani International Conference on Graph Transformation, 3-19, 2020 | 4 | 2020 |
| Modelling and verifying BDI agents with bigraphs B Archibald, M Calder, M Sevegnani, M Xu Science of Computer Programming 215, 102760, 2022 | 3 | 2022 |
| Probablistic bigraphs B Archibald, M Calder, M Sevegnani arXiv preprint arXiv:2105.02559, 2021 | 3 | 2021 |
| 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 | 3 | 2019 |
| 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 | 3 | 2014 |
| Formalising sensor topologies for target counting S Linker, M Sevegnani arXiv preprint arXiv:1802.01791, 2018 | 2 | 2018 |
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
