Denis Sabatier
Denis Sabatier publishes mostly in Software, Computational Theory and Mathematics and Safety, Risk, Reliability and Quality, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Software Reliability and Analysis Research.
- World rank
- #4,042,322 of 7,710,434 ranked researchers
- Rank in United States
- #1,100,327 of 1,627,098
- Works
- 17
- Citations
- 152
- Citations per work
- 8.9
What does Denis Sabatier research?
Denis Sabatier's work is mostly in Computer Science (62%), Engineering (15%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences1377.0%
- Computer Science1061.6%
- Engineering315.4%
- Everything else423.0%
- 1Software31% of their works
- 2Computational Theory and Mathematics15% of their works
- 3Safety, Risk, Reliability and Quality13% of their works
- 4Artificial Intelligence10% of their works
- 5Hardware and Architecture5% of their works
- 6Control and Systems Engineering3% of their works
Research topics
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Software Reliability and Analysis Research
- Safety Systems Engineering in Autonomy
- Software Testing and Debugging Techniques
- Semantic Web and Ontologies
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
Which keywords describe Denis Sabatier's research?
The keywords of their largest research topics: Model Checking, Model-Based Development, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Assurance Cases, Domain-Specific Languages and Model-Driven Engineering.
- Static Analysis
- Self-Adaptive Systems
- Formal Verification
- Software Fault Localization
- Software Reliability Modeling
- Model-Driven Engineering
- Assurance Cases
- Symbolic Model Checker
- Model-Based Development
- Model Checking
- Satisfiability Modulo Theories
- Architecture-Based Approach
- Domain-Specific Languages
- Safety Assurance
- Automated Testing
- Autonomic Computing
- Ontology
- Semantic Web
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Model Checking72 topics
- Model-Based Development62 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Architecture-Based Approach51 topic
- Assurance Cases51 topic
- Domain-Specific Languages51 topic
- Model-Driven Engineering51 topic
- Safety Assurance51 topic
- Software Reliability Modeling51 topic
- Automated Testing21 topic
- Software Fault Localization21 topic
- Autonomic Computing11 topic
- Formal Verification11 topic
- Ontology11 topic
- Self-Adaptive Systems11 topic
- Semantic Web11 topic
- Static Analysis11 topic
Where does Denis Sabatier work?
Denis Sabatier's main affiliation in the publication record is Clearside Biomedical (United States), United States.
How many publications and citations does Denis Sabatier have?
OpenAlex counts 17 works and 152 citations for Denis Sabatier, an h-index of 6, ranking #4,042,322 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Denis Sabatier. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.