Joseph Sifakis

Verimag, Centre National de la Recherche Scientifique

论文数

5

总引用数

343

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
5
论文
343
总引用数
69
篇均引用
🏆 最高被引论文
Rigorous Component-Based System Design Using the BIP Framework
278 次引用 · 2011
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 12
🏛 所属机构: Verimag, Centre National de la Recherche Scientifique

代表论文

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

主要合作者

SBSaddek Bensalem3 篇合著论文JCJacques Combaz3 篇合著论文TNThanh-Hung Nguyen2 篇合著论文MBMarius Bozga2 篇合著论文ATAhlem Triki1 篇合著论文ALAxel Legay1 篇合著论文RYRongjie Yan1 篇合著论文BBBensalem Bensalem1 篇合著论文FIFélix Ingrand1 篇合著论文TATesnim Abdellatif1 篇合著论文MJMohamad Jaber1 篇合著论文ABAnanda Basu1 篇合著论文
尚未生成