Joseph Sifakis

Verimag, Centre National de la Recherche Scientifique

Papers

5

Total Citations

343

H-Index

5

About

No biography available yet.

Research Focus

Computer science5 · 343 citations
Distributed computing4 · 331 citations
Programming language4 · 331 citations
Software3 · 306 citations
Component (thermodynamics)2 · 296 citations
Software development2 · 290 citations
Software design2 · 290 citations
Software engineering2 · 290 citations
Component-based software engineering1 · 278 citations
Formalism (music)1 · 278 citations
Correctness1 · 278 citations
Compiler1 · 278 citations

Key Achievements

5
H-Index
5
Papers
343
Total Citations
69
Avg Citations/Paper
🏆 Most Cited Paper
Rigorous Component-Based System Design Using the BIP Framework
278 citations · 2011
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: Verimag, Centre National de la Recherche Scientifique

Top Papers

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 citations · 2011
  2. 2
    Model-Based Implementation of Parallel Real-Time Systems
    19 citations · 2013
  3. 3
    Component-based verification using incremental design and invariants
    18 citations · 2014
  4. 4
    Rigorous implementation of real-time systems – from theory to application
    16 citations · 2013
  5. 5
    Autonomous Robot Software Design Challenge
    12 citations · 2012

Key Collaborators

SBSaddek Bensalem3 shared papersJCJacques Combaz3 shared papersTNThanh-Hung Nguyen2 shared papersMBMarius Bozga2 shared papersATAhlem Triki1 shared papersALAxel Legay1 shared papersRYRongjie Yan1 shared papersBBBensalem Bensalem1 shared papersFIFélix Ingrand1 shared papersTATesnim Abdellatif1 shared papersMJMohamad Jaber1 shared papersABAnanda Basu1 shared papers
Not generated yet