Dr Michele Sevegnani

  • Lecturer (Computing Science Administration)

Biography

I am a Lecturer at the School of Computing Science, University of Glasgow. I previously held positions at the same institution as Research Fellow in the Science of Sensor Systems Software (S4) EPSRC programme grant and as EPSRC Doctoral Prize FellowI completed my PhD in 2012 at the University of Glasgow with a thesis on 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 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

Teaching

  • ADS2 (Algorithms and Data Structures)

All publications

List by: Type | Date

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

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)

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 Mon Jun 18 00:05:37 2018 BST.
Number of items: 10.

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

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. 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 Mon Jun 18 00:05:37 2018 BST.