Saddek Bensalem

Université Joseph Fourier, Verimag, Institut polytechnique de Grenoble

Papers

9

Total Citations

207

H-Index

6

About

No biography available yet.

Research Focus

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

Key Achievements

6
H-Index
9
Papers
207
Total Citations
23
Avg Citations/Paper
🏆 Most Cited Paper
Designing autonomous robots
71 citations · 2009
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 43
🏛 Institutions: Université Joseph Fourier, Verimag, Institut polytechnique de Grenoble

Top Papers

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

Key Collaborators

MBMarius Bozga3 shared papersACAndrew Coles2 shared papersIDIulia Dragomir2 shared papersMWMark Woods2 shared papersJOJorge Ocón2 shared papersMJMohamad Jaber2 shared papersJCJacques Combaz2 shared papersTNThanh-Hung Nguyen2 shared papersFIFélix Ingrand2 shared papersYFYlìès Falcone2 shared papersTKThomas Keller2 shared papersANAyoub Nouri1 shared papersMFMohammed Foughali1 shared papersFPFlorian Pommerening1 shared papersKBKarl Buckley1 shared papersACAndrew Coles1 shared papersFJFrancisco Javier Colmenero1 shared papersDLDaisy Lachat1 shared papersRNRichard Nicholson1 shared papersJDJuan Delfa1 shared papers
Not generated yet