Mohamad Jaber

Verimag, Université Joseph Fourier, American University of Beirut

论文数

4

总引用数

393

H-Index

4

关于

暂无简介。

研究焦点

Component (thermodynamics)4 · 393 次引用
Programming language4 · 393 次引用
Computer science4 · 393 次引用
Distributed computing4 · 393 次引用
Software3 · 379 次引用
Software system3 · 379 次引用
Correctness1 · 278 次引用
Software development1 · 278 次引用
Formalism (music)1 · 278 次引用
Compiler1 · 278 次引用
Component-based software engineering1 · 278 次引用
Software design1 · 278 次引用

主要成就

4
H 指数
4
论文
393
总引用数
98
篇均引用
🏆 最高被引论文
Rigorous Component-Based System Design Using the BIP Framework
278 次引用 · 2011
📈 最高产年份: 2011 (2 论文)
🤝 主要合作者: 8
🏛 所属机构: Verimag, Université Joseph Fourier, American University of Beirut

代表论文

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 次引用 · 2011
  2. 2
    Runtime Verification of Component-Based Systems
    57 次引用 · 2011
  3. 3
    Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    44 次引用 · 2013
  4. 4
    Fully automated runtime enforcement of component-based systems with formal and sound recovery
    14 次引用 · 2016

主要合作者

TNThanh-Hung Nguyen3 篇合著论文MBMarius Bozga3 篇合著论文YFYlìès Falcone3 篇合著论文SBSaddek Bensalem2 篇合著论文JSJoseph Sifakis1 篇合著论文ABAnanda Basu1 篇合著论文JCJacques Combaz1 篇合著论文BBBensalem Bensalem1 篇合著论文
尚未生成