Dr Michele Sevegnani

  • Lecturer (Computing Science)

Biography

I am a 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.

Personal site

http://dcs.gla.ac.uk/~michele/


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 MAGIC, a PETRAS research project on modelling perspectives in autonomous aerial and ground vehicles, I 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

Selected publications

All publications

List by: Type | Date

Jump to: 2020 | 2019 | 2018 | 2016 | 2015 | 2014 | 2012
Number of items: 13.

2020

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, (doi: 10.1109/JIOT.2020.2964026) (Early Online Publication)

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)

This list was generated on Tue Feb 25 10:24:19 2020 GMT.
Number of items: 13.

Articles

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, (doi: 10.1109/JIOT.2020.2964026) (Early Online Publication)

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

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)

This list was generated on Tue Feb 25 10:24:19 2020 GMT.

Grants

  • PETRAS National Centre of Excellence
    Multi-Perspective Design of IoT Cybersecurity in Ground and Aerial Vehicles (MAGIC)
    2020 – 2021
  • 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.

A PhD scholarship is available for the project Optimising Interactions with Virtual Environments which I will jointly supervise with Monika Harvey at the School of Psychology. This project is part of the SOCIAL UKRI Centre for Doctoral Training in Socially Intelligent Agents. Please refer to this page for further information.

  • Xin, Xin
    Formal Verification of Safety Critical Systems with Uncertainty