logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michele Sevegnani

university of glasgow

12H指数
71论文数
409被引数
收录论文 10
发表时间
logo
Rational Verification in Repeated Security Games重复安全博弈中的理性验证
errCOMPUTER SAFETY, RELIABILITY, AND SECURITY. SAFECOMP 2025 WORKSHOPS, COC3CPS, DECSOS, SASSUR, SENSEI, SRTOITS, AND WAISE
IF0
err2026-01-01
err0
PREAI
errPhetmanee, Surasak; Sevegnani, Michele; Andrei, Oana
err分享
err收藏
Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation利用双图模型铁路网络：电气化、故障与优化
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errAlmeida, Ricardo; Das, Susmoy; Archibald, Blair; Calder, Muffy; Sevegnani, Michele
err分享
err收藏
Formal Analysis of Resilience in Transport Systems with Bigraphs基于双图的运输系统弹性形式化分析
errCOMPUTER SAFETY, RELIABILITY, AND SECURITY. SAFECOMP 2025 WORKSHOPS, COC3CPS, DECSOS, SASSUR, SENSEI, SRTOITS, AND WAISE
IF0
err2026-01-01
err0
PREAI
errDas, Susmoy; Almeida, Ricardo; Archibald, Blair; Sevegnani, Michele
err分享
err收藏
A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction人机群交互中运行时预测性形式建模的用户研究评估
errACM Transactions on Human-Robot Interaction
IF5.5
err2025-06-11
err0
PREAI
errAyodeji O. Abioye; William Hunt; Yue Gu; Eike Schneiders; Mohammad Naiseh; Blair Archibald; Michele Sevegnani; Sarvapali D. Ramchurn; Joel E. Fischer; Mohammad D. Soorati
err分享
err收藏
Fine-Grained RNN With Transfer Learning for Energy Consumption Estimation on EVs
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2022-11-01
err14
errOAAI
errHua, Yining; Sevegnani, Michele; Yi, Dewei; Birnie, Andrew; McAslan, Steve
err分享
err收藏
Adaptive Model Verification for Modularized Industry 4.0 Applications面向模块化工业4.0应用的自适应模型验证
errIEEE ACCESS
IF3.6
err2022-01-01
err1
errOAAI
errXin, Xin; Keoh, Sye Loong; Sevegnani, Michele; Saerbeck, Martin; Khoo, Teck Ping
err分享
err收藏
A tale of two graph models: a case study in wireless sensor networks两个图模型的故事: 无线传感器网络的案例研究
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2021-12-01
err0
errOAAI
errArchibald, Blair; Kulcsar, Geza; Sevegnani, Michele
err分享
err收藏
BigraphTalk: Verified Design of IoT Applications
errIEEE INTERNET OF THINGS JOURNAL
IF8.9
err2020-04-01
err10
errOAAI
errArchibald, Blair; Shieh, Min-Zheng; Hu, Yu-Hsuan; Sevegnani, Michele; Lin, Yi-Bing
err分享
err收藏
Stochastic Model Checking for Predicting Component Failures and Service Availability
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2019-01-01
err10
errOAAI
errCalder, Muffy; Sevegnani, Michele
err分享
err收藏
Millimeter-Wave Contactless Vital Sign Monitoring Using Dynamic Metasurface Antenna基于动态超表面天线的毫米波非接触式生命体征监测
errIEEE Antennas and Wireless Propagation Letters
IF4.8
err
err0
PREAI
errAbdul Jabbar; Naila Azam; Prisila Ishabakaki; Masood Ur-Rehman; Muhammad Ali Imran; Michele Sevegnani; Hadi Larijani; Syed Aziz Shah; Qammer Abbasi; Muhammad Usman
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Muhammad Ali Imran
H 指数: 84 · 论文数: 2.1K
Q
Qammer H. Abbasi
H 指数: 52 · 论文数: 992
Yi-Bing Lin 封面图
Yi-Bing Lin (Yi‐Bing Lin)
H 指数: 51 · 论文数: 515
S
Sarvapali D. Ramchurn
H 指数: 43 · 论文数: 306
S
Syed Aziz Shah
H 指数: 35 · 论文数: 149
查看更多