Saddek Bensalem

Centre National de la Recherche Scientifique, Verimag, Université Grenoble Alpes, Institut polytechnique de Grenoble

论文数

15

总引用数

253

H-Index

10

关于

暂无简介。

研究焦点

Computer science15 · 253 次引用
Programming language9 · 179 次引用
Artificial intelligence11 · 168 次引用
Component (thermodynamics)7 · 162 次引用
Distributed computing10 · 147 次引用
Embedded system8 · 142 次引用
Robot9 · 124 次引用
Software6 · 106 次引用
Software engineering5 · 90 次引用
Deadlock5 · 85 次引用
Semantics (computer science)2 · 52 次引用
Engineering5 · 52 次引用

主要成就

10
H 指数
15
论文
253
总引用数
17
篇均引用
🏆 最高被引论文
Incremental Component-Based Construction and Verification of a Robotic System
46 次引用 · 2008
📈 最高产年份: 2011 (3 论文)
🤝 主要合作者: 34
🏛 所属机构: Centre National de la Recherche Scientifique, Verimag, Université Grenoble Alpes, Institut polytechnique de Grenoble

代表论文

  1. 1
    Incremental Component-Based Construction and Verification of a Robotic System
    46 次引用 · 2008
  2. 2
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    34 次引用 · 2005
  3. 3
    Rigorous design of robot software: A formal component-based approach
    33 次引用 · 2012
  4. 4
    Toward a More Dependable Software Architecture for Autonomous Robots
    27 次引用 · 2008
  5. 5
    A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
    20 次引用 · 2011
  6. 6
    Model-Based Implementation of Parallel Real-Time Systems
    19 次引用 · 2013
  7. 7
    Component-based verification using incremental design and invariants
    18 次引用 · 2014
  8. 8
    Autonomous Robot Software Design Challenge
    12 次引用 · 2012
  9. 9
    A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
    11 次引用 · 2011
  10. 10
    Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
    10 次引用 · 2018

主要合作者

RYRongjie Yan6 篇合著论文FIFélix Ingrand6 篇合著论文LDLavindra de Silva5 篇合著论文MBMarius Bozga4 篇合著论文JSJoseph Sifakis3 篇合著论文TNThanh-Hung Nguyen3 篇合著论文MGMatthieu Gallien2 篇合著论文JCJacques Combaz2 篇合著论文ALAxel Legay2 篇合著论文ABAbdelhakim Baouya1 篇合著论文MSMark Shilton1 篇合著论文MCMiquel Cantero1 篇合著论文SCSalim Chehida1 篇合著论文DSDaniel Silveira1 篇合著论文AGAndreas Griesmayer1 篇合著论文OROlli Rantanen1 篇合著论文MKMoez Krichen1 篇合著论文HRHarald Rueß1 篇合著论文MMMiguel Muñoz Arancón1 篇合著论文ATAhlem Triki1 篇合著论文

联系与链接

可合作
内容已生成 · 15 天前