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

Quentin Rouland

Université du Québec en Outaouais

5H指数
18论文数
106被引数
收录论文 4
发表时间
logo
A Formal Approach for Security Pattern Enforcement in Software Architecture一种用于软件架构中安全模式实施的形式化方法
errComputers & Security
IF5.4
err2025-11-17
err0
errOAAI
errQuentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo
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收藏
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收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Luigi Logrippo
H 指数: 21 · 论文数: 149
K
Kamel Adi
H 指数: 14 · 论文数: 77
B
Brahim Hamid
H 指数: 13 · 论文数: 117
J
Jason Jaskolka
H 指数: 12 · 论文数: 95
O
Omer Nguena Timo
H 指数: 8 · 论文数: 42
已加载全部