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

Brahim Hamid

Université de Toulouse

13H指数
117论文数
542被引数
收录论文 10
发表时间
logo
Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games基于模型的卫星系统协作维护机动可靠性及性能分析：一种随机博弈方法
errJournal of Systems and Software
IF4.1
err2025-09-05
err0
PREAI
errAbdelhakim Baouya; Brahim Hamid; Otmane Ait Mohamed; Saddek Bensalem
err分享
err收藏
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations无人机辅助吊装作业验证与确认中的时钟偏差检测与缓解
errAD HOC NETWORKS
IF4.8
err2025-04-01
err0
PREAI
errBaouya, A; Hamid, B; Mohamed, OA; Bensalem, S
err分享
err收藏
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-01-01
err2
PREAI
errRouland, Quentin; Hamid, Brahim; Jaskolka, Jason
err分享
err收藏
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games
errINTERNET OF THINGS
IF7.6
err2024-07-01
err2
PREAI
errBaouya, Abdelhakim; Hamid, Brahim; Guergen, Levent; Bensalem, Saddek
err分享
err收藏
Software Design Trends Supporting Multiconcern Assurance
errIEEE SOFTWARE
IF3
err2022-07-01
err1
errOAAI
errJaskolka, Jason; Hamid, Brahim; Kokaly, Sahar
err分享
err收藏
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-08-01
err19
PREAI
errRouland, Quentin; Hamid, Brahim; Jaskolka, Jason
err分享
err收藏
Formal specification and verification of reusable communication models for distributed systems architecture
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2020-07-01
err10
errOAAI
errRouland, Quentin; Hamid, Brahim; Jaskolka, Jason
err分享
err收藏
Engineering secure systems: Models, patterns and empirical validation
errCOMPUTERS & SECURITY
IF5.4
err2018-08-01
err15
errOAAI
errHamid, Brahim; Weber, Donatus
err分享
err收藏
A model-driven approach for developing a model repository: Methodology and tool support
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2017-03-01
err8
errOAAI
errHamid, Brahim
err分享
err收藏
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2016-12-01
err14
errOAAI
errHamid, Brahim; Perez, Jon
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
O
Otmane Aı̈t Mohamed
H 指数: 18 · 论文数: 192
J
Jon Pérez
H 指数: 15 · 论文数: 72
S
Saddek Bensalem
H 指数: 13 · 论文数: 65
S
Sahar Kokaly
H 指数: 12 · 论文数: 29
J
Jason Jaskolka
H 指数: 12 · 论文数: 95
查看更多