Othman Nasri
Othman Nasri publishes mostly in Control and Systems Engineering, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Real-Time Systems Scheduling.
- World rank
- #1,437,167 of 1,633,909 ranked researchers
- Rank in Tunisia
- #1,553 of 2,282
- Works
- 16
- Citations
- 16
- Citations per work
- 1.0
What does Othman Nasri research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Control and Systems Engineering28% of their works
- 2Computational Theory and Mathematics22% of their works
- 3Electrical and Electronic Engineering17% of their works
- 4Automotive Engineering11% of their works
- 5Software11% of their works
- 6Mechanical Engineering6% of their works
Research topics
Which keywords describe Othman Nasri's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Autonomous Vehicles, Machine Learning, Architecture-Based Approach, Automated Testing, Control Systems and Deadlock Prevention.
- Vehicle Dynamics
- Software Reliability Modeling
- Scheduling Algorithms
- Petri Nets
- Fault Detection
- Deadlock Prevention
- Automated Testing
- Machine Learning
- Symbolic Model Checker
- Model Checking
- Autonomous Vehicles
- Architecture-Based Approach
- Control Systems
- Driver Assistance Systems
- Hard Real-Time Systems
- Process Monitoring
- Software Fault Localization
- Trajectory Prediction
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
- Model Checking31 topic
- Symbolic Model Checker31 topic
- Autonomous Vehicles22 topics
- Machine Learning22 topics
- Architecture-Based Approach11 topic
- Automated Testing11 topic
- Control Systems11 topic
- Deadlock Prevention11 topic
- Driver Assistance Systems11 topic
- Fault Detection11 topic
- Hard Real-Time Systems11 topic
- Petri Nets11 topic
- Process Monitoring11 topic
- Scheduling Algorithms11 topic
- Software Fault Localization11 topic
- Software Reliability Modeling11 topic
- Trajectory Prediction11 topic
- Vehicle Dynamics11 topic
Where does Othman Nasri work?
Othman Nasri's main affiliation in the publication record is University of Sousse, Tunisia.
How many publications and citations does Othman Nasri have?
Science Explorer counts 16 works and 16 citations for Othman Nasri, ranking #1,437,167 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.