V. Stavridou
V. Stavridou publishes mostly in Software, Artificial Intelligence and Information Systems, on topics such as Safety Systems Engineering in Autonomy, Advanced Software Engineering Methodologies and Formal Methods in Verification.
- World rank
- #209,622 of 1,633,909 ranked researchers
- Rank in United States
- #84,227 of 358,040
- Works
- 20
- Citations
- 153
- Citations per work
- 7.7
What does V. Stavridou research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software19% of their works
- 2Artificial Intelligence19% of their works
- 3Information Systems14% of their works
- 4Safety, Risk, Reliability and Quality14% of their works
- 5Hardware and Architecture14% of their works
- 6Computational Theory and Mathematics10% of their works
Research topics
- Safety Systems Engineering in Autonomy
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Security and Verification in Computing
- Software System Performance and Reliability
- Parallel Computing and Optimization Techniques
Which keywords describe V. Stavridou's research?
The keywords of their largest research topics: Model-Based Development, Assurance Cases, Model Checking, Safety Assurance, Architecture-Based Approach, Autonomic Computing, Satisfiability Modulo Theories and Self-Adaptive Systems.
- Static Analysis
- Security Policies
- Performance Optimization
- Log Analysis
- Symbolic Model Checker
- Self-Adaptive Systems
- Autonomic Computing
- Safety Assurance
- Assurance Cases
- Model-Based Development
- Model Checking
- Architecture-Based Approach
- Satisfiability Modulo Theories
- Software Reliability Modeling
- Formal Verification
- Parallel Computing
- Performance Prediction
- Side-Channel Attacks
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-Based Development52 topics
- Assurance Cases31 topic
- Model Checking32 topics
- Safety Assurance31 topic
- Architecture-Based Approach21 topic
- Autonomic Computing21 topic
- Satisfiability Modulo Theories21 topic
- Self-Adaptive Systems21 topic
- Software Reliability Modeling21 topic
- Symbolic Model Checker21 topic
- Formal Verification11 topic
- Log Analysis11 topic
- Parallel Computing11 topic
- Performance Optimization11 topic
- Performance Prediction11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
- Static Analysis11 topic
Where does V. Stavridou work?
V. Stavridou's main affiliation in the publication record is SRI International, United States.
How many publications and citations does V. Stavridou have?
Science Explorer counts 20 works and 153 citations for V. Stavridou, ranking #209,622 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.