Mohamad Jaber

Verimag, Université Joseph Fourier, American University of Beirut

Papers

4

Total Citations

393

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
393
Total Citations
98
Avg Citations/Paper
🏆 Most Cited Paper
Rigorous Component-Based System Design Using the BIP Framework
278 citations · 2011
📈 Most Prolific Year: 2011 (2 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Verimag, Université Joseph Fourier, American University of Beirut

Top Papers

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

Key Collaborators

TNThanh-Hung Nguyen3 shared papersMBMarius Bozga3 shared papersYFYlìès Falcone3 shared papersSBSaddek Bensalem2 shared papersJSJoseph Sifakis1 shared papersABAnanda Basu1 shared papersJCJacques Combaz1 shared papersBBBensalem Bensalem1 shared papers
Not generated yet