Science Explorer Interactive view Map
Researcher · Verimag · France

Saddek Bensalem

Saddek Bensalem publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Software, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Real-Time Systems Scheduling.

OpenAlex
World rank
#226,109
of 1,633,909 ranked researchers
Rank in France
#12,059
of 96,116
Works
41
Citations
168
Citations per work
4.1

What does Saddek Bensalem research?

Computational Theory and Mathematics: 30.8%Hardware and Architecture: 25.0%Software: 13.5%Artificial Intelligence: 11.5%other fields: 19.2%31%top field
Computational Theory and Mathematics30.8%Hardware and Architecture25.0%Software13.5%Artificial Intelligence11.5%other fields19.2%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics31% of their works
  2. 2Hardware and Architecture25% of their works
  3. 3Software14% of their works
  4. 4Artificial Intelligence12% of their works
  5. 5Computer Networks and Communications8% of their works
  6. 6Safety, Risk, Reliability and Quality4% of their works

Research topics

Which keywords describe Saddek Bensalem's research?

The keywords of their largest research topics: Model Checking, Embedded Systems, Satisfiability Modulo Theories, Symbolic Model Checker, Hard Real-Time Systems, High-Level Synthesis, Reconfigurable Computing and Scheduling Algorithms.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking142 topics
  2. Embedded Systems122 topics
  3. Satisfiability Modulo Theories121 topic
  4. Symbolic Model Checker121 topic
  5. Hard Real-Time Systems61 topic
  6. High-Level Synthesis61 topic
  7. Reconfigurable Computing61 topic
  8. Scheduling Algorithms61 topic
  9. Automated Testing31 topic
  10. Deadlock Prevention31 topic
  11. Distributed Systems31 topic
  12. Fault Tolerance31 topic
  13. Petri Nets31 topic
  14. Software Fault Localization31 topic
  15. Formal Verification21 topic
  16. Ontology21 topic
  17. Semantic Web21 topic
  18. Static Analysis21 topic

Where does Saddek Bensalem work?

Saddek Bensalem's main affiliation in the publication record is Verimag, France.

How many publications and citations does Saddek Bensalem have?

Science Explorer counts 41 works and 168 citations for Saddek Bensalem, ranking #226,109 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.