Saddek Bensalem

Université Joseph Fourier, Verimag, Institut polytechnique de Grenoble

论文数

9

总引用数

207

H-Index

6

关于

暂无简介。

研究焦点

Computer science9 · 207 次引用
Programming language6 · 192 次引用
Software3 · 172 次引用
Distributed computing5 · 121 次引用
Model checking4 · 118 次引用
Formal verification3 · 112 次引用
Scalability3 · 112 次引用
Runtime verification3 · 112 次引用
Component (thermodynamics)4 · 110 次引用
Operating system3 · 104 次引用
Embedded system3 · 104 次引用
High-level verification2 · 101 次引用

主要成就

6
H 指数
9
论文
207
总引用数
23
篇均引用
🏆 最高被引论文
Designing autonomous robots
71 次引用 · 2009
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 43
🏛 所属机构: Université Joseph Fourier, Verimag, Institut polytechnique de Grenoble

代表论文

  1. 1
    Designing autonomous robots
    71 次引用 · 2009
  2. 2
    Runtime Verification of Component-Based Systems
    57 次引用 · 2011
  3. 3
    Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    44 次引用 · 2013
  4. 4
    Runtime Verification of Timed Properties in Autonomous Robots
    11 次引用 · 2020
  5. 5
    The ERGO Framework and its Use in Planetary/Orbital Scenarios
    10 次引用 · 2018
  6. 6
    Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance
    6 次引用 · 2023
  7. 7
    Rigorous System Design Flow for Autonomous Systems
    3 次引用 · 2014
  8. 8
    ERGO: A Framework for the Development of Autonomous Robots
    3 次引用 · 2017
  9. 9
    Model-based design of resilient systems using quantitative risk assessment
    2 次引用 · 2023

主要合作者

MBMarius Bozga3 篇合著论文ACAndrew Coles2 篇合著论文IDIulia Dragomir2 篇合著论文MWMark Woods2 篇合著论文JOJorge Ocón2 篇合著论文MJMohamad Jaber2 篇合著论文JCJacques Combaz2 篇合著论文TNThanh-Hung Nguyen2 篇合著论文FIFélix Ingrand2 篇合著论文YFYlìès Falcone2 篇合著论文TKThomas Keller2 篇合著论文ANAyoub Nouri1 篇合著论文MFMohammed Foughali1 篇合著论文FPFlorian Pommerening1 篇合著论文KBKarl Buckley1 篇合著论文ACAndrew Coles1 篇合著论文FJFrancisco Javier Colmenero1 篇合著论文DLDaisy Lachat1 篇合著论文RNRichard Nicholson1 篇合著论文JDJuan Delfa1 篇合著论文
尚未生成