• Sign in
  • Sign up
conf.researchr.org / Michele Sevegnani
  • NASA Formal Methods 2023 profile
  • STAF 2024 profile
  • STAF 2025 profile
Michele Sevegnani

Registered user since Thu 30 Mar 2023

Name:Michele Sevegnani
Country:United Kingdom
Affiliation:University of Glasgow
Personal website: https://www.dcs.gla.ac.uk/~michele/
X (Twitter): https://x.com/michele_seve
Research interests:Formal methods, bigraphs, stochastic processes, spatial logics

Contributions

2025

GCM

  • Author of Introducing The Maximum Common Bigraph Problem within the GCM 2025-track
  • Committee Member in Program Committee within the GCM 2025-track

2024

ICGT

  • Author of A Bigraph Paper of Sorts within the ICGT Research Papers-track

GCM

  • Author of Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs within the GCM 2024-track
  • Committee Member in Program Committee within the GCM 2024-track
  • Author of Modelling Real-time Systems with Bigraphs within the GCM 2024-track

2023

NFM

  • Author of Quantitative Verification and Strategy Synthesis for BDI Agents within the NFM 2023-track
Share
xWed 21 May 06:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up