论文数
8
总引用数
448
H-Index
6
关于
暂无简介。
研究焦点
Computer science8 · 448 次引用
Programming language7 · 444 次引用
Distributed computing7 · 414 次引用
Component (thermodynamics)5 · 400 次引用
Software3 · 379 次引用
Software system3 · 379 次引用
Correctness2 · 281 次引用
Software engineering2 · 281 次引用
Compiler1 · 278 次引用
Formalism (music)1 · 278 次引用
Software design1 · 278 次引用
Component-based software engineering1 · 278 次引用
主要成就
6
H 指数
8
论文
448
总引用数
56
篇均引用
🏆 最高被引论文
Rigorous Component-Based System Design Using the BIP Framework
278 次引用 · 2011
📈 最高产年份: 2011 (2 论文)
🤝 主要合作者: 20
🏛 所属机构: Verimag, Université Joseph Fourier, Centre National de la Recherche Scientifique, Université Grenoble Alpes
代表论文
- 1
- 2Runtime Verification of Component-Based Systems57 次引用 · 2011
- 3
- 4
- 5
- 6
- 7
- 8
主要合作者
TNThanh-Hung Nguyen4 篇合著论文SBSaddek Bensalem4 篇合著论文SBSaddek Bensalem3 篇合著论文MJMohamad Jaber3 篇合著论文JSJoseph Sifakis2 篇合著论文JCJacques Combaz2 篇合著论文YFYlìès Falcone2 篇合著论文SCSalim Chehida1 篇合著论文ABAnanda Basu1 篇合著论文IDIulia Dragomir1 篇合著论文BBBensalem Bensalem1 篇合著论文MKMoez Krichen1 篇合著论文ATAhlem Triki1 篇合著论文MMMarta Millet1 篇合著论文ALAxel Legay1 篇合著论文SISimon Iosti1 篇合著论文RYRongjie Yan1 篇合著论文STStavros Tripakis1 篇合著论文ABAbdelhakim Baouya1 篇合著论文MCMiquel Cantero1 篇合著论文
尚未生成