Michele Sevegnani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
15
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ANT | A Challenge-Led Digital Twin Federation Architecture For Urban Passenger Transport Decarbonisation. | Jingjun Li, Heather Steele, Joseph D. Preece, David Kirkwood, Shiqi Sun, Wenhua Jiang, Alan Logan, Susmoy Das, Ricardo Almeida, Michele Sevegnani, John M. Easton, Clive Roberts, David Flynn, Philip Greening |
| 2026 | ITP | Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. | Ricardo Almeida, Blair Archibald, Basile Pesin, Michele Sevegnani |
| 2026 | SLE | A nanopass approach to a modular RDF implementation. | Duncan Guthrie, Paul Harvey, Michele Sevegnani |
| 2025 | SAC | BiCoq : Bigraphs Formalisation with Coq. | Ccile Marcon, Cyril Allignol, Clia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux |
| 2025 | SAFECOMP | Formal Analysis of Resilience in Transport Systems with Bigraphs. | Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani |
| 2025 | SAFECOMP | Rational Verification in Repeated Security Games. | Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2024 | HRI | The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. | Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani |
| 2024 | IFM | StEVe: A Rational Verification Tool for Stackelberg Security Games. | Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2023 | IFM | CAN-verify: A Verification Tool For BDI Agents. | Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
| 2023 | RO-MAN | Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. | Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati |
| 2022 | SEKE | Verifying BDI Agents in Dynamic Environments. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2021 | CP | Practical Bigraphs via Subgraph Isomorphism. | Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani |
| 2021 | MFCS | Finite Models for a Spatial Logic with Discrete and Topological Path Operators. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2021 | SEFM | Probabilistic BDI Agents: Actions, Plans, and Intentions. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2020 | MFCS | Analysing Spatial Properties on Neighbourhood Spaces. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2018 | ICECCS | Modelling and Verification of Large-Scale Sensor Network Infrastructures. | Michele Sevegnani, Milan Kabc, Muffy Calder, Julie A. McCann |
| 2016 | CAV | BigraphER: Rewriting and Analysis Engine for Bigraphs. | Michele Sevegnani, Muffy Calder |
| 2014 | EDCC | Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? | Muffy Calder, Michele Sevegnani |
| 2012 | IFM | Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. | Muffy Calder, Michele Sevegnani |