Jean Souyris
Jean Souyris publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Software, on topics such as Real-Time Systems Scheduling, Formal Methods in Verification and Software Reliability and Analysis Research.
- World rank
- #2,093,352 of 7,710,434 ranked researchers
- Rank in France
- #90,795 of 324,115
- Works
- 28
- Citations
- 761
- Citations per work
- 27.2
What does Jean Souyris research?
Jean Souyris's work is mostly in Computer Science (60%), Engineering (23%), Decision Sciences (5%).
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 Sciences2382.3%
- Computer Science1759.5%
- Engineering622.8%
- Everything else412.6%
- Social Sciences15.1%
- Decision Sciences15.1%
- 1Hardware and Architecture28% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Software15% of their works
- 4Safety, Risk, Reliability and Quality13% of their works
- 5Control and Systems Engineering10% of their works
- 6Statistics, Probability and Uncertainty5% of their works
Research topics
Which keywords describe Jean Souyris's research?
The keywords of their largest research topics: Embedded Systems, Model Checking, Hard Real-Time Systems, Scheduling Algorithms, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach and Assurance Cases.
- Static Analysis
- Process Monitoring
- Fault Detection
- Reconfigurable Computing
- Software Reliability Modeling
- Assurance Cases
- Symbolic Model Checker
- Scheduling Algorithms
- Model Checking
- Embedded Systems
- Hard Real-Time Systems
- Satisfiability Modulo Theories
- Architecture-Based Approach
- Safety Assurance
- High-Level Synthesis
- Bayesian Networks
- Fault Tree Analysis
- Formal Verification
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
- Embedded Systems182 topics
- Model Checking142 topics
- Hard Real-Time Systems121 topic
- Scheduling Algorithms121 topic
- Satisfiability Modulo Theories111 topic
- Symbolic Model Checker111 topic
- Architecture-Based Approach101 topic
- Assurance Cases101 topic
- Safety Assurance101 topic
- Software Reliability Modeling101 topic
- High-Level Synthesis61 topic
- Reconfigurable Computing61 topic
- Bayesian Networks41 topic
- Fault Detection41 topic
- Fault Tree Analysis41 topic
- Process Monitoring41 topic
- Formal Verification31 topic
- Static Analysis31 topic
Where does Jean Souyris work?
Jean Souyris's main affiliation in the publication record is Airbus (France), France.
How many publications and citations does Jean Souyris have?
OpenAlex counts 28 works and 761 citations for Jean Souyris, an h-index of 11, ranking #2,093,352 of 7,710,434 researchers worldwide on the quality 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 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 Jean Souyris. Posts are plain text and can be reported.