Mohammed Benattou
Mohammed Benattou publishes mostly in Software, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Software System Performance and Reliability.
- World rank
- #1,237,309 of 1,633,909 ranked researchers
- Rank in Morocco
- #871 of 2,015
- Works
- 17
- Citations
- 29
- Citations per work
- 1.7
What does Mohammed Benattou research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software33% of their works
- 2Computer Networks and Communications29% of their works
- 3Computational Theory and Mathematics19% of their works
- 4Artificial Intelligence10% of their works
- 5Electrical and Electronic Engineering5% of their works
- 6Mechanical Engineering5% of their works
Research topics
Which keywords describe Mohammed Benattou's research?
The keywords of their largest research topics: Automated Testing, Model Checking, Software Fault Localization, Distributed Systems, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach and Formal Methods.
- Petri Nets
- Multi-Agent Systems
- Formal Verification
- Agent-Based Modeling
- Performance Prediction
- Formal Methods
- Symbolic Model Checker
- Distributed Systems
- Model Checking
- Automated Testing
- Software Fault Localization
- Satisfiability Modulo Theories
- Architecture-Based Approach
- Log Analysis
- Software Reliability Modeling
- Deadlock Prevention
- Mobile Agents
- Network Management
- Static Analysis
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 19 words, with their numbers
- Automated Testing41 topic
- Model Checking42 topics
- Software Fault Localization41 topic
- Distributed Systems32 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Architecture-Based Approach21 topic
- Formal Methods22 topics
- Log Analysis21 topic
- Performance Prediction21 topic
- Software Reliability Modeling21 topic
- Agent-Based Modeling11 topic
- Deadlock Prevention11 topic
- Formal Verification11 topic
- Mobile Agents11 topic
- Multi-Agent Systems11 topic
- Network Management11 topic
- Petri Nets11 topic
- Static Analysis11 topic
Where does Mohammed Benattou work?
Mohammed Benattou's main affiliation in the publication record is Université Ibn-Tofail, Morocco.
How many publications and citations does Mohammed Benattou have?
Science Explorer counts 17 works and 29 citations for Mohammed Benattou, ranking #1,237,309 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.