Michele Sevegnani

University of Glasgow

Papers

4

Total Citations

17

H-Index

3

About

No biography available yet.

Research Focus

Computer science4 · 17 citations
Artificial intelligence3 · 13 citations
Software engineering2 · 11 citations
Human–computer interaction3 · 9 citations
Modular design1 · 8 citations
Distributed computing1 · 8 citations
Cyber-physical system1 · 8 citations
Data mining1 · 8 citations
Formal verification1 · 8 citations
Data verification1 · 8 citations
Flexibility (engineering)1 · 8 citations
Probabilistic logic1 · 8 citations

Key Achievements

3
H-Index
4
Papers
17
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Adaptive Model Verification for Modularized Industry 4.0 Applications
8 citations · 2022
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: University of Glasgow

Top Papers

  1. 1
    Adaptive Model Verification for Modularized Industry 4.0 Applications
    8 citations · 2022
  2. 2
    Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime
    4 citations · 2023
  3. 3
    CAN-verify: A Verification Tool For BDI Agents
    3 citations · 2023
  4. 4
    A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction
    2 citations · 2025

Key Collaborators

BABlair Archibald3 shared papersMXMengwei Xu2 shared papersYGYue Gu2 shared papersMDMohammad Divband Soorati2 shared papersWHWilliam Hunt2 shared papersJEJoel E. Fischer1 shared papersXXXin Xin1 shared papersESEike Schneiders1 shared papersSDSarvapali D. Ramchurn1 shared papersTPTeck Ping Khoo1 shared papersSLSye Loong Keoh1 shared papersMSMartin Saerbeck1 shared papersTRThibault Rivoalen1 shared papersMNMohammad Naiseh1 shared papersAOAyodeji O. Abioye1 shared papers
Not generated yet