Jacques Combaz

Verimag

论文数

7

总引用数

362

H-Index

5

关于

暂无简介。

研究焦点

Distributed computing7 · 362 次引用
Computer science7 · 362 次引用
Programming language7 · 362 次引用
Software3 · 327 次引用
Component (thermodynamics)3 · 314 次引用
Software engineering3 · 314 次引用
Component-based software engineering2 · 311 次引用
Software system2 · 311 次引用
Correctness2 · 281 次引用
Software design1 · 278 次引用
Compiler1 · 278 次引用
Formalism (music)1 · 278 次引用

主要成就

5
H 指数
7
论文
362
总引用数
52
篇均引用
🏆 最高被引论文
Rigorous Component-Based System Design Using the BIP Framework
278 次引用 · 2011
📈 最高产年份: 2011 (2 论文)
🤝 主要合作者: 13
🏛 所属机构: Verimag

代表论文

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 次引用 · 2011
  2. 2
    Rigorous design of robot software: A formal component-based approach
    33 次引用 · 2012
  3. 3
    Model-Based Implementation of Parallel Real-Time Systems
    19 次引用 · 2013
  4. 4
    Rigorous implementation of real-time systems – from theory to application
    16 次引用 · 2013
  5. 5
    Runtime Verification of Timed Properties in Autonomous Robots
    11 次引用 · 2020
  6. 6
    Rigorous System Design Flow for Autonomous Systems
    3 次引用 · 2014
  7. 7
    Open Real-time Systems: From Modeling to Implementation
    2 次引用 · 2011

主要合作者

JSJoseph Sifakis3 篇合著论文TATesnim Abdellatif3 篇合著论文ATAhlem Triki2 篇合著论文MBMarius Bozga2 篇合著论文SBSaddek Bensalem2 篇合著论文FIFélix Ingrand2 篇合著论文SBSaddek Bensalem2 篇合著论文ABAnanda Basu1 篇合著论文LDLavindra de Silva1 篇合著论文MJMohamad Jaber1 篇合著论文MFMohammed Foughali1 篇合著论文BBBensalem Bensalem1 篇合著论文TNThanh-Hung Nguyen1 篇合著论文
尚未生成