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

Marius Bozga

universite grenoble alpes (uga)

38H指数
240论文数
5.0K被引数
收录论文 4
发表时间
logo
Generation and verification of learned stochastic automata using k-NN and statistical model checking
errAPPLIED INTELLIGENCE
IF3.5
err2021-11-09
err2
PREAI
errBaouya, Abdelhakim; Chehida, Salim; Ouchani, Samir; Bensalem, Saddek; Bozga, Marius
err分享
err收藏
Global and Local Deadlock Freedom in BIP
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2018-01-03
err4
errOAAI
errAttie, Paul C.; Bensalem, Saddek; Bozga, Marius; Jaber, Mohamad; Sifakis, Joseph; Zaraket, Fadi A.
err分享
err收藏
Rigorous Component-Based System Design Using the BIP Framework
errIEEE SOFTWARE
IF3
err2011-05-01
err180
errOAAI
errBasu, Ananda; Bensalem, Saddek; Bozga, Marius; Combaz, Jacques; Jaber, Mohamad; Thanh-Hung Nguyen; Sifakis, Joseph
err分享
err收藏
Source-to-Source Architecture Transformation for Performance Optimization in BIP
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2010-11-01
err16
errOAAI
errBozga, Marius; Jaber, Mohamad; Sifakis, Joseph
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Joseph Sifakis
H 指数: 57 · 论文数: 317
S
Saddek Bensalem
H 指数: 28 · 论文数: 165
P
Paul C. Attie
H 指数: 19 · 论文数: 77
M
Mohamad Jaber
H 指数: 18 · 论文数: 66
S
Samir Ouchani
H 指数: 17 · 论文数: 121
查看更多