Dr Michele Sevegnani

Senior Lecturer (Computing Science)

telephone: 01413301621
email: Michele.Sevegnani@glasgow.ac.uk

Room S144, Computing Science, Sir Alwyn Williams Bldg

Biography

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

List by: Type | Date

Jump to: 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2016 | 2015 | 2014 | 2012

Number of items: 45.

2025

Burns, Kyle ORCID: https://orcid.org/0000-0003-4812-0098, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871 and Trimble, James (2025) Introducing The Maximum Common Bigraph Problem. In: 16th International Workshop on Graph Computation Models (GCM 2025), Koblenz, Germany, 10-13 June 2025, (Accepted for Publication)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei (2025) Modelling and verifying BDI agents under uncertainty. Science of Computer Programming, 242, 103254. (doi: 10.1016/j.scico.2024.103254)

Metere, Roberto, Ye, Kangfeng, Gu, Yue ORCID: https://orcid.org/0000-0002-8134-5822, Zhang, Zhi, Alrajeh, Dalal, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Yadav, Poonam (2025) Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. In: 12th International Symposium DataMod 2024: From Data to Models and Back, Aveiro, Portugal, 4-5 November 2024, ISBN 9783031879074 (doi: 10.1007/978-3-031-87908-1_9)

Althubiti, Ebtihal, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formalising privacy regulations with bigraphs. Software and Systems Modeling, (Accepted for Publication)

Abioye, Ayodeji O., Hunt, William, Gu, Yue ORCID: https://orcid.org/0000-0002-8134-5822, Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) CAN-Verify: automated analysis for BDI agents. Science of Computer Programming, 241, 103233. (doi: 10.1016/j.scico.2024.103233)

Albalwe, Maram, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Real-time Systems with Bigraphs. In: 15th International Workshop on Graph Computation Models, Enschede, Netherlands, 09 Jul 2024, pp. 96-116. (doi: 10.4204/EPTCS.417.6)

Althubiti, Ebtihal and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) 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, (doi: 10.4204/EPTCS.417.2)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2025) Practical modelling with bigraphs. Formal Aspects of Computing, (doi: 10.1145/3721142) (Early Online Publication)

2024

Phetmanee, Surasak ORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID: https://orcid.org/0000-0002-1306-0219 (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)

Albalwe, Maram, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2024) Modelling and analysing routing protocols diagrammatically with bigraphs. Formal Aspects of Computing, 36(3), 17. (doi: 10.1145/3685934)

Dalby, Connor, Dibble, Austin Jon, Carvalheiro, Joana ORCID: https://orcid.org/0000-0002-0520-5481, Queirazza, Filippo, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Harvey, Monika ORCID: https://orcid.org/0000-0003-1694-1174, Svanera, Michele ORCID: https://orcid.org/0000-0002-7828-9209 and Fracasso, Alessio ORCID: https://orcid.org/0000-0002-4542-112X (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2024) A Bigraphs Paper of Sorts. In: 17th International Conference on Graph Transformation (ICGT 2024), Enschede, Netherlands, 10-11 July 2024, pp. 21-38. ISBN 9783031642845 (doi: 10.1007/978-3-031-64285-2_2)

Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Yue, Hunt, William, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Soorati, Mohammad 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, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061, Rivoalen, Thibault, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (2023) Quantitative modelling and analysis of BDI agents. Software and Systems Modeling, (doi: 10.1007/s10270-023-01121-5) (Early Online Publication)

Xin, Xin, Keoh, Sye Loong ORCID: https://orcid.org/0000-0003-3640-5010, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Saerbeck, Martin (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Xin ORCID: https://orcid.org/0000-0003-4703-7356, Keoh, Sye Loong ORCID: https://orcid.org/0000-0003-3640-5010, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Saerbeck, Martin and Khoo, Teck Ping (2022) Adaptive model verification for modularized industry 4.0 applications. IEEE Access, 10, pp. 125353-125364. (doi: 10.1109/ACCESS.2022.3225399)

Hua, Yining, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Yi, Dewei, Birnie, Andrew and McAslan, Steve (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

2021

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Kulcsár, Géza and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Burns, Kyle ORCID: https://orcid.org/0000-0003-4812-0098, McCreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Sven, Papacchini, Fabio and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Xin, Keoh, Sye Loong ORCID: https://orcid.org/0000-0003-3640-5010, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Saerbeck, Martin (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, Sven, Papacchini, Fabio and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Shieh, Min-Zheng, Hu, Yu-Hsuan, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Lin, Yi-Bing (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, Sven and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Sven and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Michele ORCID: https://orcid.org/0000-0001-6773-9481, Kabac, Milan, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and McCann, Julie 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, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 (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, Steve, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Rodden, Tom and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi: 10.1016/j.tcs.2015.02.011)

2014

Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Pereira, Eloi (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, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Koliousis, Alexandros, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Sventek, Joseph (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, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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. ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, M. ORCID: https://orcid.org/0000-0001-6773-9481 (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)

This list was generated on Sun Jun 15 04:27:40 2025 BST.

Jump to: Articles | Conference Proceedings

Number of items: 45.

Articles

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (2022) Probabilistic bigraphs. Formal Aspects of Computing, 34(2), 10. (doi: 10.1145/3545180)

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (2022) Modelling and verifying BDI agents with bigraphs. Science of Computer Programming, 215, 102760. (doi: 10.1016/j.scico.2021.102760)

Conference Proceedings

Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232, Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 and Xu, Mengwei ORCID: https://orcid.org/0000-0003-4978-3061 (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, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481 (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)

This list was generated on Sun Jun 15 04:27:40 2025 BST.

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
Rational Verification for Stackelberg Security Games

Teaching

Research datasets

Jump to: 2023 | 2021

Number of items: 2.

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]

This list was generated on Sat Jun 14 14:17:02 2025 BST.

We use cookies

Necessary cookies

Analytics cookies

Clarity

Dr Michele Sevegnani

Biography

Research interests

Keywords

Experience & applications

Publications

2025

2024

2023

2022

2021

2020

2019

2018

2016

2015

2014

2012

Articles

Conference Proceedings

Grants

Supervision

Teaching

Research datasets

2023

2021