Orna Grümberg
Orna Grümberg publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.
- World rank
- #10,413 of 1,633,909 ranked researchers
- Rank in Israel
- #183 of 8,450
- Works
- 47
- Citations
- 2.5k
- Citations per work
- 53.9
What does Orna Grümberg 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 Mathematics35% of their works
- 2Artificial Intelligence26% of their works
- 3Software18% of their works
- 4Hardware and Architecture7% of their works
- 5Management Science and Operations Research5% of their works
- 6Computer Networks and Communications4% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Logic, Reasoning, and Knowledge
- Advanced Software Engineering Methodologies
- Simulation Techniques and Applications
- Distributed systems and fault tolerance
Which keywords describe Orna Grümberg's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Metamodeling, Static Analysis and Automated Testing.
- Distributed Systems
- Simulation Optimization
- Modal Logic
- Answer Set Programming
- Model-Driven Engineering
- Automated Testing
- Metamodeling
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Static Analysis
- Domain-Specific Languages
- Software Fault Localization
- Autonomic Computing
- Self-Adaptive Systems
- Verification and Validation
- Fault Tolerance
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 19 words, with their numbers
- Model Checking293 topics
- Temporal Logic222 topics
- Satisfiability Modulo Theories191 topic
- Symbolic Model Checker191 topic
- Formal Verification71 topic
- Metamodeling72 topics
- Static Analysis71 topic
- Automated Testing41 topic
- Domain-Specific Languages41 topic
- Model-Driven Engineering41 topic
- Software Fault Localization41 topic
- Answer Set Programming31 topic
- Autonomic Computing31 topic
- Modal Logic31 topic
- Self-Adaptive Systems31 topic
- Simulation Optimization31 topic
- Verification and Validation31 topic
- Distributed Systems21 topic
- Fault Tolerance21 topic
Where does Orna Grümberg work?
Orna Grümberg's main affiliation in the publication record is Technion – Israel Institute of Technology, Israel.
How many publications and citations does Orna Grümberg have?
Science Explorer counts 47 works and 2,533 citations for Orna Grümberg, ranking #10,413 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.