Michele Sevegnani

57 papers A 1B 10C 1Misc 2Journal 28Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formalising privacy regulations with bigraphs. Softw. Syst. Model. Ebtihal Althubiti, Blair Archibald, Michele Sevegnani
2026	J	`jnl`	Responsible AI in criminal justice: LLMs in policing and risks to case progression. CoRR Muffy Calder, Marion Oswald, Elizabeth McClory-Tiarks, Michele Sevegnani, Evdoxia Taka
2025	J	`jnl`	A Digital Twinning Approach to Decarbonisation: Research Challenges. CoRR Blair Archibald, Paul Harvey, Michele Sevegnani
2025	J	`jnl`	A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction. ACM Trans. Hum. Robot Interact. Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Blair Archibald, Michele Sevegnani, Sarvapali D. Ramchurn, Joel E. Fischer, Mohammad Divband Soorati
2025	Misc	`conf`	BiCoq : Bigraphs Formalisation with Coq. SAC Cécile Marcon, Cyril Allignol, Célia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux
2025	J	`jnl`	CAN-Verify: Automated analysis for BDI agents. Sci. Comput. Program. Mengwei Xu, Blair Archibald, Michele Sevegnani
2025	J	`jnl`	Federated Deep Reinforcement Learning for Privacy-Preserving Robotic-Assisted Surgery. CoRR Sana Hafeez, Sundas Rafat Mulkana, Muhammad Ali Imran, Michele Sevegnani
2025	—	`conf`	Formal Analysis of Resilience in Transport Systems with Bigraphs. SAFECOMP (Workshops) Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani
2025	—	`conf`	Introducing The Maximum Common Bigraph Problem. GCM@STAF Kyle Burns, Michele Sevegnani, Ciaran McCreesh, James Trimble
2025	J	`jnl`	Mapping the Probabilistic AI Ecosystem in Criminal Justice in England and Wales. CoRR Evdoxia Taka, Temitope Lawal, Muffy Calder, Michele Sevegnani, Kyriakos Kotsoglou, Elizabeth McClory-Tiarks, Marion Oswald
2025	—	`conf`	Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. RSSRail Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani
2025	J	`jnl`	Modelling and verifying BDI agents under uncertainty. Sci. Comput. Program. Blair Archibald, Michele Sevegnani, Mengwei Xu
2025	J	`jnl`	Practical Modelling with Bigraphs. Formal Aspects Comput. Blair Archibald, Muffy Calder, Michele Sevegnani
2025	—	`conf`	Rational Verification in Repeated Security Games. SAFECOMP (Workshops) Surasak Phetmanee, Michele Sevegnani, Oana Andrei
2024	B	`conf`	A Bigraphs Paper of Sorts. ICGT Blair Archibald, Michele Sevegnani
2024	—	`conf`	Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs. GCM Ebtihal Althubiti, Michele Sevegnani
2024	—	`conf`	Modelling Real-time Systems with Bigraphs. GCM Maram Albalwe, Blair Archibald, Michele Sevegnani
2024	J	`jnl`	Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. Formal Aspects Comput. Maram Albalwe, Blair Archibald, Michele Sevegnani
2024	J	`jnl`	Practical Modelling with Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani
2024	J	`jnl`	Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2024	B	`conf`	StEVe: A Rational Verification Tool for Stackelberg Security Games. IFM Surasak Phetmanee, Michele Sevegnani, Oana Andrei
2024	—	`conf`	The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. HRI (Companion) 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	J	`jnl`	The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. CoRR 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	—	`conf`	Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. DataMod Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024	J	`jnl`	Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. CoRR Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2023	B	`conf`	CAN-verify: A Verification Tool For BDI Agents. iFM Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani
2023	—	`conf`	Quantitative Verification and Strategy Synthesis for BDI Agents. NFM Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2023	B	`conf`	Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. RO-MAN Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati
2022	J	`jnl`	Adaptive Model Verification for Modularized Industry 4.0 Applications. IEEE Access Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo
2022	J	`jnl`	Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs. IEEE Trans. Ind. Informatics Yining Hua, Michele Sevegnani, Dewei Yi, Andrew Birnie, Steve McAslan
2022	J	`jnl`	Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2022	J	`jnl`	Probabilistic Bigraphs. Formal Aspects Comput. Blair Archibald, Muffy Calder, Michele Sevegnani
2022	—	`conf`	Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study. WF-IoT Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck
2022	C	`conf`	Verifying BDI Agents in Dynamic Environments. SEKE Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	J	`jnl`	A tale of two graph models: a case study in wireless sensor networks. Formal Aspects Comput. Blair Archibald, Géza Kulcsár, Michele Sevegnani
2021	B	`conf`	Finite Models for a Spatial Logic with Discrete and Topological Path Operators. MFCS Sven Linker, Fabio Papacchini, Michele Sevegnani
2021	J	`jnl`	Modelling and Verifying BDI Agents with Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	—	`conf`	Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	A	`conf`	Practical Bigraphs via Subgraph Isomorphism. CP Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani
2021	B	`conf`	Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
2021	J	`jnl`	Probablistic Bigraphs. CoRR Blair Archibald, Muffy Calder, Michele Sevegnani
2020	B	`conf`	Analysing Spatial Properties on Neighbourhood Spaces. MFCS Sven Linker, Fabio Papacchini, Michele Sevegnani
2020	J	`jnl`	Analysing Spatial Properties on Neighbourhood Spaces. CoRR Sven Linker, Fabio Papacchini, Michele Sevegnani
2020	J	`jnl`	BigraphTalk: Verified Design of IoT Applications. IEEE Internet Things J. Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin
2020	B	`conf`	Conditional Bigraphs. ICGT Blair Archibald, Muffy Calder, Michele Sevegnani
2020	—	`conf`	Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications. SmartIoT Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck
2019	J	`jnl`	Stochastic Model Checking for Predicting Component Failures and Service Availability. IEEE Trans. Dependable Secur. Comput. Muffy Calder, Michele Sevegnani
2018	B	`conf`	Modelling and Verification of Large-Scale Sensor Network Infrastructures. ICECCS Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann
2017	—	`conf`	Formalising Sensor Topologies for Target Counting. ALP4IoT@iFM Sven Linker, Michele Sevegnani
2016	—	`conf`	BigraphER: Rewriting and Analysis Engine for Bigraphs. CAV (2) Michele Sevegnani, Muffy Calder
2016	J	`jnl`	On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces. ACM Trans. Comput. Hum. Interact. Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani
2015	J	`jnl`	Bigraphs with sharing. Theor. Comput. Sci. Michele Sevegnani, Muffy Calder
2014	Misc	`conf`	Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? EDCC Muffy Calder, Michele Sevegnani
2014	J	`jnl`	Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects Comput. Muffy Calder, Michele Sevegnani
2014	J	`jnl`	Real-time verification of wireless home networks using bigraphs with sharing. Sci. Comput. Program. Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek
2012	—	`—`	Bigraphs with sharing and applications in wireless networks. Michele Sevegnani
2012	B	`conf`	Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. IFM Muffy Calder, Michele Sevegnani