Michele Sevegnani
University of Glasgow
H-index: 12
Europe-United Kingdom
Top articles of Michele Sevegnani
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
2024/3/11
Yue Gu
H-Index: 15
Eike Schneiders
H-Index: 1
Mohammad Naiseh
H-Index: 1
Blair Archibald
H-Index: 5
Michele Sevegnani
H-Index: 7
CAN-VERIFY: A Verification Tool For BDI Agents
2023/11/6
Quantitative modelling and analysis of BDI agents
Software and Systems Modeling
2023/8/28
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
2023/8/28
Quantitative verification and strategy synthesis for BDI agents
2023/5/16
Adaptive Model Verification for Modularized Industry 4.0 Applications
IEEE Access
2022/11/28
Xin Xin
H-Index: 6
Michele Sevegnani
H-Index: 7
Run-time probabilistic model checking for failure prediction: A smart lift case study
2022/10/26
Xin Xin
H-Index: 6
Michele Sevegnani
H-Index: 7
Verifying BDI agents in dynamic environments
2022/9/21
Probabilistic bigraphs
Formal Aspects of Computing
2022/9/19
Modelling and verifying BDI agents with bigraphs
Science of Computer Programming
2022/3/1
Fine-grained rnn with transfer learning for energy consumption estimation on evs
IEEE Transactions on Industrial Informatics
2022/1/14
Observable and attention-directing BDI agents for human-autonomy teaming
arXiv preprint arXiv:2110.12579
2021/10/25
A Tale of Two Graph Models: A Case Study in Wireless Sensor Networks
Formal Aspects of Computing
2021/12
Blair Archibald
H-Index: 5
Michele Sevegnani
H-Index: 7
Practical Bigraphs via Subgraph Isomorphism
2021
Finite Models for a Spatial Logic with Discrete and Topological Path Operators
2021/6/29
Probabilistic BDI agents: actions, plans, and intentions
2021
Analysing spatial properties on neighbourhood spaces
2020/8/18
Dynamic probabilistic model checking for sensor validation in Industry 4.0 applications
2020/8/14
Xin Xin
H-Index: 6
Michele Sevegnani
H-Index: 7
Conditional bigraphs
2020/6/23
Bigraphtalk: Verified design of IoT applications
IEEE Internet of Things Journal
2020/1/6