Michele Sevegnani

According to our database, Michele Sevegnani authored at least 31 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

2023

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.

Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Quantitative Verification and Strategy Synthesis for BDI Agents.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CAN-verify: A Verification Tool For BDI Agents.

Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs.

Yining Hua, Michele Sevegnani, Dewei Yi, Andrew Birnie, Steve McAslan

IEEE Trans. Ind. Informatics, 2022

Modelling and verifying BDI agents with bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Sci. Comput. Program., 2022

Probabilistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Formal Aspects Comput., 2022

Adaptive Model Verification for Modularized Industry 4.0 Applications.

Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo

IEEE Access, 2022

Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.

Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

Verifying BDI Agents in Dynamic Environments.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

A tale of two graph models: a case study in wireless sensor networks.

Blair Archibald, Géza Kulcsár, Michele Sevegnani

Formal Aspects Comput., 2021

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Probablistic Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

CoRR, 2021

Probabilistic BDI Agents: Actions, Plans, and Intentions.

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Finite Models for a Spatial Logic with Discrete and Topological Path Operators.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Practical Bigraphs via Subgraph Isomorphism.

Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

BigraphTalk: Verified Design of IoT Applications.

Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin

IEEE Internet Things J., 2020

Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications.

Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck

Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020

Analysing Spatial Properties on Neighbourhood Spaces.

Sven Linker, Fabio Papacchini, Michele Sevegnani

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Conditional Bigraphs.

Blair Archibald, Muffy Calder, Michele Sevegnani

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Stochastic Model Checking for Predicting Component Failures and Service Availability.

Muffy Calder, Michele Sevegnani

IEEE Trans. Dependable Secur. Comput., 2019

2018

Modelling and Verification of Large-Scale Sensor Network Infrastructures.

Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Formalising Sensor Topologies for Target Counting.

Sven Linker, Michele Sevegnani

Proceedings of the Proceedings First Workshop on Architectures, 2017

2016

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces.

Steve Benford, Muffy Calder, Tom Rodden, Michele Sevegnani

ACM Trans. Comput. Hum. Interact., 2016

BigraphER: Rewriting and Analysis Engine for Bigraphs.

Michele Sevegnani, Muffy Calder

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Bigraphs with sharing.

Michele Sevegnani, Muffy Calder

Theor. Comput. Sci., 2015

2014

Real-time verification of wireless home networks using bigraphs with sharing.

Muffy Calder, Alexandros Koliousis, Michele Sevegnani, Joseph S. Sventek

Sci. Comput. Program., 2014

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.

Muffy Calder, Michele Sevegnani

Formal Aspects Comput., 2014

Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?

Muffy Calder, Michele Sevegnani

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2012

Bigraphs with sharing and applications in wireless networks.

Michele Sevegnani

PhD thesis, 2012

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.

Muffy Calder, Michele Sevegnani

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012