Michele Sevegnani

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Venues

CoRR

Formal Aspects Comput.

MFCS

ICGT

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Blair Archibald, Muffy Calder, Michele Sevegnani
Practical Modelling with Bigraphs. CoRR (2024)
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. HRI (Companion) (2024)
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. CoRR (2024)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. 23 (2) (2024)
Blair Archibald, Michele Sevegnani
A Bigraphs Paper of Sorts. ICGT (2024)
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. RO-MAN (2023)
Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
CAN-verify: A Verification Tool For BDI Agents. iFM (2023)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM (2023)
Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck
Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. WF-IoT (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probabilistic Bigraphs. Formal Aspects Comput. 34 (2) (2022)
Yining Hua, Michele Sevegnani, Dewei Yi, Andrew Birnie, Steve McAslan
Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs. IEEE Trans. Ind. Informatics 18 (11) (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Verifying BDI Agents in Dynamic Environments. SEKE (2022)
Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo
Adaptive Model Verification for Modularized Industry 4.0 Applications. IEEE Access 10 (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. 215 (2022)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS (2021)
Blair Archibald, Géza Kulcsár, Michele Sevegnani
A tale of two graph models: a case study in wireless sensor networks. Formal Aspects Comput. 33 (6) (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Modelling and Verifying BDI Agents with Bigraphs. CoRR (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM (2021)
Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani
Practical Bigraphs via Subgraph Isomorphism. CP (2021)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Finite Models for a Spatial Logic with Discrete and Topological Path Operators. MFCS (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani
Probablistic Bigraphs. CoRR (2021)
Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck
Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. SmartIoT (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. MFCS (2020)
Blair Archibald, Muffy Calder, Michele Sevegnani
Conditional Bigraphs. ICGT (2020)
Sven Linker, Fabio Papacchini, Michele Sevegnani
Analysing Spatial Properties on Neighbourhood Spaces. CoRR (2020)
Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin
BigraphTalk: Verified Design of IoT Applications. IEEE Internet Things J. 7 (4) (2020)
Muffy Calder, Michele Sevegnani
Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Secur. Comput. 16 (1) (2019)
Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann
Modelling and Verification of Large-Scale Sensor Network Infrastructures. ICECCS (2018)
Sven Linker, Michele Sevegnani
Formalising Sensor Topologies for Target Counting. ALP4IoT@iFM (2017)
Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani
On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ACM Trans. Comput. Hum. Interact. 23 (2) (2016)
Michele Sevegnani, Muffy Calder
BigraphER: Rewriting and Analysis Engine for Bigraphs. CAV (2) (2016)
Michele Sevegnani, Muffy Calder
Bigraphs with sharing. Theor. Comput. Sci. 577 (2015)
Muffy Calder, Michele Sevegnani
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? EDCC (2014)
Muffy Calder, Michele Sevegnani
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects Comput. 26 (3) (2014)
Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek
Real-time verification of wireless home networks using bigraphs with sharing. Sci. Comput. Program. 80 (2014)
Muffy Calder, Michele Sevegnani
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. IFM (2012)

Michele Sevegnani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michele Sevegnani