Dr Michele Sevegnani
- Senior Lecturer (Computing Science)
telephone:
01413301621
email:
Michele.Sevegnani@glasgow.ac.uk
Room S144, Computing Science, Sir Alwyn Williams Bldg
https://orcid.org/0000-0001-6773-9481Biography
I am Senior Lecturer at the School of Computing Science. I received a PhD in Computing Science from the University of Glasgow and an MSc in Bioinformatics jointly from the universities of Edinburgh and Trento (Italy). I previously held positions at the University of Glasgow as Research Fellow in the Science of Sensor Systems Software (S4) EPSRC programme grant and as EPSRC Doctoral Prize Fellow. My research is within the field of formal modelling and verification with a particular focus on spatial and probabilistic aspects. My main contribution to date is bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour.
Find out more on my personal website.
Research interests
My research focusses on the theory of bigraphs and how to use it to reason about safety, reliability and predictability of location-aware, event-based, software systems, particularly complex systems that are already deployed.
I currently lead FARM, a PETRAS research projects on formal methods for resiliance modelling in Agritech and MAGIC, a PETRAS project on modelling perspectives in autonomous aerial and ground vehicles. I have also recently received an Amazon Research Award on Automated Reasonig for the project “From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone”.
In the past, I have lead a research programme on formal methods for IoT device management platforms, with the Royal Society of Edinburgh and the Taiwan Ministry of Science and Technology, and was visiting researcher at UC Berkeley, modelling autonomous swarm systems.
I am the lead developer of BigraphER, a suite of open-source tools for rewriting, simulation and visual display of bigraphs.
Recent research includes estimation techniques for networks of sensors with overlapping ranges, digital twinning for Mixed-Reality systems, and human-autonomy teaming in connected vehicular systems.
Keywords
- New computational models: Bigraphs with sharing (time & space)
- Modelling & verification (Digital Twin)
- Probabilistic model-checking
- Event-based systems
- Systems that evolve in multiple dimensions (location, bandwidth, signal, connectivity, etc.)
Experience & applications
- Mixed-reality systems
- Networking - IoT - Communication protocols
- System monitoring, management & deployment
- Connected and autonomous vehicles
Publications
2025
Xu, M. , Archibald, B. and Sevegnani, M. (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)
Archibald, B., Calder, M. and Sevegnani, M. (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (Accepted for Publication)
2024
Archibald, B., Sevegnani, M. and Xu, M. (2024) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, (Accepted for Publication)
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)
Dalby, C., Dibble, A. J., Carvalheiro, J. , Queirazza, F., Sevegnani, M. , Harvey, M. , Svanera, M. and Fracasso, A. (2024) Delineating in-vivo T1-weighted intensity profiles within the human insula cortex using 7-tesla MRI. bioRxiv, (doi: 10.1101/2024.08.05.605123)
Phetmanee, S. , Sevegnani, M. and Andrei, O. (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 November 2024, (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)
Althubiti, E. A. S. and Sevegnani, M. (2024) Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs. In: 15th International Workshop on Graph Computation Models (GCM 2024), Enschede, Netherlands, 9 July 2024, (Accepted for Publication)
Archibald, B. and Sevegnani, M. (2024) A Bigraphs Paper of Sorts. In: 17th International Conference on Graph Transformation (ICGT 2024), Enschede, Netherlands, 10-11 July 2024, (Accepted for Publication)
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M. (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)
2023
Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)
Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M. (2023) CAN-verify: A Verification Tool for BDI Agents. In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023, ISBN 9783031477058 (doi: 10.1007/978-3-031-47705-8_19)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)
Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2023) Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. In: IEEE 8th World Forum on Internet of Things (WF-IoT2022), Yokohama, Japan, 31 Oct - 04 Nov, ISBN 9781665491532 (doi: 10.1109/WF-IoT54382.2022.10152177)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative Verification and Strategy Synthesis for BDI Agents. In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023, pp. 241-259. ISBN 9783031331695 (doi: 10.1007/978-3-031-33170-1_15)
2022
Xin, X. , Keoh, S. L. , Sevegnani, M. , Saerbeck, M. and Khoo, T. P. (2022) Adaptive model verification for modularized industry 4.0 applications. IEEE Access, 10, pp. 125353-125364. (doi: 10.1109/ACCESS.2022.3225399)
Hua, Y., Sevegnani, M. , Yi, D., Birnie, A. and McAslan, S. (2022) Fine-grained RNN with transfer learning for energy consumption estimation on EVs. IEEE Transactions on Industrial Informatics, 18(11), pp. 8182-8190. (doi: 10.1109/TII.2022.3143155)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, ISBN 1891706543 (doi: 10.18293/SEKE2022-149)
Archibald, B. , Calder, M. and Sevegnani, M. (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)
2021
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)
Archibald, B. , Kulcsár, G. and Sevegnani, M. (2021) A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, 33(6), pp. 1249-1277. (doi: 10.1007/s00165-021-00558-z)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)
Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, 15.1-15.17. ISBN 9783959772112
Linker, S., Papacchini, F. and Sevegnani, M. (2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In: 46th Mathematical Foundations of Computer Science Conference, Tallinn, Estonia, 23-27 Aug 2021, 72:1-72:16. ISBN 9783959772013 (doi: 10.4230/LIPIcs.MFCS.2021.72)
2020
Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2020) Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. In: IEEE International Conference on Smart Internet of Things (IEEE SmartIoT 2020), Beijing, China, 14-16 Aug 2020, ISBN 9781728165158 (doi: 10.1109/SmartIoT49966.2020.00016)
Linker, S., Papacchini, F. and Sevegnani, M. (2020) Analysing Spatial Properties on Neighbourhood Spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prague, Czech Republic, 24-28 Aug 2020, (doi: 10.4230/LIPIcs.MFCS.2020.66)
Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6_1)
Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)
2019
Linker, S. and Sevegnani, M. (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences, 475, 20190278. (doi: 10.1098/rspa.2019.0278)
Calder, M. and Sevegnani, M. (2019) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 16(1), pp. 174-187. (doi: 10.1109/TDSC.2017.2650901)
2018
Linker, S. and Sevegnani, M. (2018) Formalising Sensor Topologies for Target Counting. In: 1st Workshop on Architectures, Languages and Paradigms for IoT, Turin, Italy, 18 Sept 2017, pp. 43-57. (doi: 10.4204/EPTCS.264.5)
Sevegnani, M. , Kabac, M., Calder, M. and McCann, J. A. (2018) Modelling and Verification of Large-Scale Sensor Network Infrastructures. In: 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12-14 Dec 2018, pp. 71-81. ISBN 9781538693414 (doi: 10.1109/ICECCS2018.2018.00016)
2016
Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)
Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi: 10.1145/2882784)
2015
Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi: 10.1016/j.tcs.2015.02.011)
2014
Sevegnani, M. and Pereira, E. (2014) Towards a bigraphical encoding of actors. In: MeMo2014: 1st International Workshop on Meta Models for Process Languages, Berlin, Germany, 6 June 2014, (Unpublished)
Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi: 10.1007/s00165-012-0270-3)
Calder, M. , Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi: 10.1016/j.scico.2013.08.004)
Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi: 10.1109/EDCC.2014.15)
2012
Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi: 10.1007/978-3-642-30729-4)
Articles
Xu, M. , Archibald, B. and Sevegnani, M. (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)
Archibald, B., Calder, M. and Sevegnani, M. (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (Accepted for Publication)
Archibald, B., Sevegnani, M. and Xu, M. (2024) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, (Accepted for Publication)
Albalwe, M., Archibald, B. and Sevegnani, M. (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)
Dalby, C., Dibble, A. J., Carvalheiro, J. , Queirazza, F., Sevegnani, M. , Harvey, M. , Svanera, M. and Fracasso, A. (2024) Delineating in-vivo T1-weighted intensity profiles within the human insula cortex using 7-tesla MRI. bioRxiv, (doi: 10.1101/2024.08.05.605123)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)
Xin, X. , Keoh, S. L. , Sevegnani, M. , Saerbeck, M. and Khoo, T. P. (2022) Adaptive model verification for modularized industry 4.0 applications. IEEE Access, 10, pp. 125353-125364. (doi: 10.1109/ACCESS.2022.3225399)
Hua, Y., Sevegnani, M. , Yi, D., Birnie, A. and McAslan, S. (2022) Fine-grained RNN with transfer learning for energy consumption estimation on EVs. IEEE Transactions on Industrial Informatics, 18(11), pp. 8182-8190. (doi: 10.1109/TII.2022.3143155)
Archibald, B. , Calder, M. and Sevegnani, M. (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)
Archibald, B. , Kulcsár, G. and Sevegnani, M. (2021) A tale of two graph models: a case study in wireless sensor networks. Formal Aspects of Computing, 33(6), pp. 1249-1277. (doi: 10.1007/s00165-021-00558-z)
Archibald, B. , Shieh, M.-Z., Hu, Y.-H., Sevegnani, M. and Lin, Y.-B. (2020) BigraphTalk: verified design of IoT applications. IEEE Internet of Things Journal, 7(4), pp. 2955-2967. (doi: 10.1109/JIOT.2020.2964026)
Linker, S. and Sevegnani, M. (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences, 475, 20190278. (doi: 10.1098/rspa.2019.0278)
Calder, M. and Sevegnani, M. (2019) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 16(1), pp. 174-187. (doi: 10.1109/TDSC.2017.2650901)
Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)
Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi: 10.1145/2882784)
Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi: 10.1016/j.tcs.2015.02.011)
Calder, M. and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi: 10.1007/s00165-012-0270-3)
Calder, M. , Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi: 10.1016/j.scico.2013.08.004)
Calder, M. and Sevegnani, M. (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. Lecture Notes in Computer Science, 7321(2012), pp. 21-23. (doi: 10.1007/978-3-642-30729-4)
Conference Proceedings
Phetmanee, S. , Sevegnani, M. and Andrei, O. (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 November 2024, (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)
Althubiti, E. A. S. and Sevegnani, M. (2024) Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs. In: 15th International Workshop on Graph Computation Models (GCM 2024), Enschede, Netherlands, 9 July 2024, (Accepted for Publication)
Archibald, B. and Sevegnani, M. (2024) A Bigraphs Paper of Sorts. In: 17th International Conference on Graph Transformation (ICGT 2024), Enschede, Netherlands, 10-11 July 2024, (Accepted for Publication)
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M. (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)
Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)
Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M. (2023) CAN-verify: A Verification Tool for BDI Agents. In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023, ISBN 9783031477058 (doi: 10.1007/978-3-031-47705-8_19)
Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2023) Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. In: IEEE 8th World Forum on Internet of Things (WF-IoT2022), Yokohama, Japan, 31 Oct - 04 Nov, ISBN 9781665491532 (doi: 10.1109/WF-IoT54382.2022.10152177)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2023) Quantitative Verification and Strategy Synthesis for BDI Agents. In: NASA Formal Methods Symposium (NFM), Houston, TX, USA, 16-18 May 2023, pp. 241-259. ISBN 9783031331695 (doi: 10.1007/978-3-031-33170-1_15)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2022) Verifying BDI Agents in Dynamic Environments. In: 34th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, USA, 01-10 Jul 2022, ISBN 1891706543 (doi: 10.18293/SEKE2022-149)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Probabilistic BDI Agents: Actions, Plans, and Intentions. In: SEFM 2021, 6-10 Dec 2021, pp. 262-281. ISBN 9783030921231 (doi: 10.1007/978-3-030-92124-8_15)
Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)
Archibald, B. , Burns, K. , McCreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), 25-29 Oct 2021, 15.1-15.17. ISBN 9783959772112
Linker, S., Papacchini, F. and Sevegnani, M. (2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. In: 46th Mathematical Foundations of Computer Science Conference, Tallinn, Estonia, 23-27 Aug 2021, 72:1-72:16. ISBN 9783959772013 (doi: 10.4230/LIPIcs.MFCS.2021.72)
Xin, X., Keoh, S. L. , Sevegnani, M. and Saerbeck, M. (2020) Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. In: IEEE International Conference on Smart Internet of Things (IEEE SmartIoT 2020), Beijing, China, 14-16 Aug 2020, ISBN 9781728165158 (doi: 10.1109/SmartIoT49966.2020.00016)
Linker, S., Papacchini, F. and Sevegnani, M. (2020) Analysing Spatial Properties on Neighbourhood Spaces. In: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Prague, Czech Republic, 24-28 Aug 2020, (doi: 10.4230/LIPIcs.MFCS.2020.66)
Archibald, B. , Calder, M. and Sevegnani, M. (2020) Conditional Bigraphs. In: 13th International Conference on Graph Transformation (ICGT 2020), Bergen, Norway, 25-26 Jun 2020, pp. 3-19. ISBN 9783030513719 (doi: 10.1007/978-3-030-51372-6_1)
Linker, S. and Sevegnani, M. (2018) Formalising Sensor Topologies for Target Counting. In: 1st Workshop on Architectures, Languages and Paradigms for IoT, Turin, Italy, 18 Sept 2017, pp. 43-57. (doi: 10.4204/EPTCS.264.5)
Sevegnani, M. , Kabac, M., Calder, M. and McCann, J. A. (2018) Modelling and Verification of Large-Scale Sensor Network Infrastructures. In: 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12-14 Dec 2018, pp. 71-81. ISBN 9781538693414 (doi: 10.1109/ICECCS2018.2018.00016)
Sevegnani, M. and Pereira, E. (2014) Towards a bigraphical encoding of actors. In: MeMo2014: 1st International Workshop on Meta Models for Process Languages, Berlin, Germany, 6 June 2014, (Unpublished)
Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi: 10.1109/EDCC.2014.15)
Grants
- Amazon Research Award (Automated Reasoning)
From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone
2022 – 2023 - PETRAS National Centre of Excellence
Formal methods for Agritech Resilience Modelling (FARM)
2020 – 2021 - EPSRC IAA
HEVMAX: Formal models for xEV range maximisation
2021 - PETRAS National Centre of Excellence
Multi-Perspective Design of IoT Cybersecurity in Ground and Aerial Vehicles (MAGIC)
2020 – 2022 - The Royal Society International Exchanges Cost Share 2019 MOST Taiwan
Digital twins for monitoring, optimisation, and automation in Agritech
2020 – 2022 - The Royal Society of Edinburgh, RSE International Exchange Programme: RSE - MOST Joint Project
Formal methods for Internet of Things (IoT) device management platforms
2017 – 2019 - SICSA (Scottish Informatics and Computer Alliance)
Research Challenge on Next Generation Mixed-Reality Systems
2016 - London Mathematical Society - Computer Science Small Grant
2014 - Royal Society International Exchange Scheme
Bigraphs for real-time verification of heterogeneous mobile robotic systems
2013
Supervision
If you are interested in completing a PhD related to my research, then please contact me. You can find information about the application process here.
- Althubiti, Ebtihal Abdulmaeen S
Formalising Privacy Regulations with Bigraphs - Phetmanee, Surasak
Probabilistic Model Checking for Algorithmic Trading
Research datasets
2023
Sevegnani, M. , Archibald, B. and Albalwe, M. M. S. (2023) RPL Bigraphs model with contikiRPL. [Data Collection]
2021
Archibald, B. , Burns, K., Mccreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances. [Data Collection]
