Dr Michele Sevegnani

  • Research Fellow (School of Computing Science)

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

Biography

I am a Research Fellow at the University of Glasgow, as part of the Science of Sensor Systems Software (S4) EPSRC programme grant. I completed my PhD in 2012 at the University of Glasgow's School of Computing Science with a thesis on bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour. In 2013, I was awarded a three-year EPSRC Doctoral Prize Fellowship at the University of Glasgow to continue my work on Formal Modelling and Analysis of Complex Location-Aware Systems.

Personal site

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

Research interests

My current 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 was recently involved in the development of a run-time verification system for home networks management (with the EPSRC Homework project), in the modelling and analysis of a mixed-reality game (the Savannah game from the MRL in Nottingham), in the definition of a predictive stochastic model for a communication system used in air traffic control and in the design of bigraphical frameworks for modelling and analysis of autonomous vehicles.

Keywords
  • New formalism: Bigraphs with sharing (time & space)
  • Modelling & verification
  • 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
  • Autonomous vehicles & swarm

Selected publications

Grants

  • The Royal Society of Edinburgh, RSE International Exchange Programme: RSE - MOST Joint Project
    Formal methods for Internet of Things (IoT) device management platforms
    1 May 2017 – 1 May 2019

Supervision

Teaching

  • AF2 (Algorithmics Foundations 2), UGS
  • Linux, UGS

All publications

List by: Type | Date

Jump to: 2017 | 2016 | 2015 | 2014 | 2012
Number of items: 9.

2017

Calder, M. and Sevegnani, M. (2017) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, (doi:10.1109/TDSC.2017.2650901) (Early Online Publication)

2016

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. In: CAV 2016: 28th International Conference on Computer Aided Verification, Toronto, Canada, 17-23 Jul 2016, pp. 494-501. ISBN 9783319415390 (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 Jun 27 11:26:05 2017 BST.
Number of items: 9.

Articles

Calder, M. and Sevegnani, M. (2017) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, (doi:10.1109/TDSC.2017.2650901) (Early Online Publication)

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

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. In: CAV 2016: 28th International Conference on Computer Aided Verification, Toronto, Canada, 17-23 Jul 2016, pp. 494-501. ISBN 9783319415390 (doi:10.1007/978-3-319-41540-6_27)

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 Jun 27 11:26:05 2017 BST.