Stavros Tripakis
Stavros Tripakis publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Real-Time Systems Scheduling.
- World rank
- #368,138 of 1,633,909 ranked researchers
- Rank in France
- #21,170 of 96,116
- Works
- 63
- Citations
- 234
- Citations per work
- 3.7
What does Stavros Tripakis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics30% of their works
- 2Hardware and Architecture27% of their works
- 3Artificial Intelligence18% of their works
- 4Software10% of their works
- 5Computer Networks and Communications7% of their works
- 6Control and Systems Engineering2% of their works
Research topics
Which keywords describe Stavros Tripakis's research?
The keywords of their largest research topics: Model Checking, Embedded Systems, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Hard Real-Time Systems and Scheduling Algorithms.
- Static Analysis
- Model-Driven Engineering
- Domain-Specific Languages
- Deep Learning
- Petri Nets
- Scheduling Algorithms
- Reconfigurable Computing
- Symbolic Model Checker
- Embedded Systems
- Model Checking
- Satisfiability Modulo Theories
- High-Level Synthesis
- Hard Real-Time Systems
- Deadlock Prevention
- Adversarial Examples
- Distributed Systems
- Fault Tolerance
- 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
- Model Checking232 topics
- Embedded Systems212 topics
- Satisfiability Modulo Theories201 topic
- Symbolic Model Checker201 topic
- High-Level Synthesis121 topic
- Reconfigurable Computing121 topic
- Hard Real-Time Systems91 topic
- Scheduling Algorithms91 topic
- Deadlock Prevention71 topic
- Petri Nets71 topic
- Adversarial Examples41 topic
- Deep Learning41 topic
- Distributed Systems41 topic
- Domain-Specific Languages41 topic
- Fault Tolerance41 topic
- Model-Driven Engineering41 topic
- Formal Verification31 topic
- Static Analysis31 topic
Where does Stavros Tripakis work?
Stavros Tripakis's main affiliation in the publication record is Verimag, France.
How many publications and citations does Stavros Tripakis have?
Science Explorer counts 63 works and 234 citations for Stavros Tripakis, ranking #368,138 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.