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

Amel Mammar

imt - institut mines-telecom

17H指数
129论文数
953被引数
收录论文 10
发表时间
logo
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDsASTD不变量保持的证明义务生成Rodin插件
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errCartellier, Quelen; Frappier, Marc; Mammar, Amel
err分享
err收藏
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2022-09-01
err0
PREAI
errAbbassi, Imed; Mammar, Amel; Graiet, Mohamed
err分享
err收藏
Towards correct cloud resource allocation in FOSS applications
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2019-02-01
err13
PREAI
errJlassi, Sindyana; Mammar, Amel; Abbassi, Imed; Graiet, Mohamed
err分享
err收藏
Intrusion Detection Systems: A Cross-Domain Overview
errIEEE COMMUNICATIONS SURVEYS AND TUTORIALS
IF46.7
err2019-01-01
err69
PREAI
errTidjon, Lionel N.; Frappier, Marc; Mammar, Amel
err分享
err收藏
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-12-01
err1
PREAI
errMammar, Amel; Nguyen, Thi Mai; Laleau, Regine
err分享
err收藏
Towards Correct Cloud Resource Allocation in Business Processes
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2017-01-01
err21
PREAI
errGraiet, Mohamed; Mammar, Amel; Boubaker, Souha; Gaaloul, Walid
err分享
err收藏
An automated approach for merging business process fragments
errCOMPUTERS IN INDUSTRY
IF9.1
err2016-10-01
err8
PREAI
errZemni, Mohamed Anis; Mammar, Amel; Ben Hadj-Alouane, Nejib
err分享
err收藏
An advanced approach for modeling and detecting software vulnerabilities一种先进的软件漏洞建模与检测方法
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2012-09-01
err17
errOAAI
errShahmehri, Nahid; Mammar, Amel; de Oca, Edgardo Montes; Byers, David; Cavalli, Ana; Ardi, Shanai; Jimenez, Willy
err分享
err收藏
A systematic approach to integrate common timed security rules within a TEFSM-based system specification
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2012-01-01
err1
PREAI
errMammar, Amel; Mallouli, Wissam; Cavalli, Ana
err分享
err收藏
From a B formal specification to an executable code: application to the relational database domain
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2006-04-01
err19
PREAI
errMammar, A; Laleau, R
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nahid Shahmehri
H 指数: 27 · 论文数: 173
A
Ana Cavalli
H 指数: 25 · 论文数: 246
W
Walid Gaaloul
H 指数: 23 · 论文数: 279
M
Marc Frappier
H 指数: 18 · 论文数: 200
R
Régine Laleau
H 指数: 17 · 论文数: 151
查看更多