Joseph Sifakis
Joseph Sifakis publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Embedded Systems Design Techniques.
- World rank
- #26,202 of 1,633,909 ranked researchers
- Rank in France
- #1,468 of 96,116
- Works
- 83
- Citations
- 643
- Citations per work
- 7.7
What does Joseph Sifakis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture28% of their works
- 2Computational Theory and Mathematics22% of their works
- 3Artificial Intelligence15% of their works
- 4Computer Networks and Communications9% of their works
- 5Software7% of their works
- 6Information Systems3% of their works
Research topics
Which keywords describe Joseph Sifakis's research?
The keywords of their largest research topics: Embedded Systems, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Hard Real-Time Systems, Scheduling Algorithms, High-Level Synthesis and Reconfigurable Computing.
- Self-Adaptive Systems
- Domain-Specific Languages
- Static Analysis
- Performance Optimization
- Formal Verification
- Reconfigurable Computing
- Scheduling Algorithms
- Symbolic Model Checker
- Model Checking
- Embedded Systems
- Satisfiability Modulo Theories
- Hard Real-Time Systems
- High-Level Synthesis
- Deadlock Prevention
- Parallel Computing
- Petri Nets
- Autonomic Computing
- Model-Driven Engineering
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 Systems232 topics
- Model Checking222 topics
- Satisfiability Modulo Theories161 topic
- Symbolic Model Checker161 topic
- Hard Real-Time Systems121 topic
- Scheduling Algorithms121 topic
- High-Level Synthesis111 topic
- Reconfigurable Computing111 topic
- Deadlock Prevention61 topic
- Formal Verification61 topic
- Parallel Computing61 topic
- Performance Optimization61 topic
- Petri Nets61 topic
- Static Analysis61 topic
- Autonomic Computing51 topic
- Domain-Specific Languages51 topic
- Model-Driven Engineering51 topic
- Self-Adaptive Systems51 topic
Where does Joseph Sifakis work?
Joseph Sifakis's main affiliation in the publication record is Verimag, France.
How many publications and citations does Joseph Sifakis have?
Science Explorer counts 83 works and 643 citations for Joseph Sifakis, ranking #26,202 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.