Alan Hartman
Alan Hartman publishes mostly in Software, Artificial Intelligence and Hardware and Architecture, on topics such as Software Testing and Debugging Techniques, VLSI and Analog Circuit Testing and Software Reliability and Analysis Research.
- World rank
- #249,166 of 1,633,909 ranked researchers
- Rank in Israel
- #2,040 of 8,450
- Works
- 19
- Citations
- 178
- Citations per work
- 9.4
What does Alan Hartman research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software46% of their works
- 2Artificial Intelligence17% of their works
- 3Hardware and Architecture12% of their works
- 4Information Systems8% of their works
- 5Computational Theory and Mathematics8% of their works
- 6Control and Systems Engineering4% of their works
Research topics
- Software Testing and Debugging Techniques
- VLSI and Analog Circuit Testing
- Software Reliability and Analysis Research
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Metaheuristic Optimization Algorithms Research
- Advanced Software Engineering Methodologies
Which keywords describe Alan Hartman's research?
The keywords of their largest research topics: Automated Testing, Software Fault Localization, Architecture-Based Approach, Embedded Cores, Model Checking, Software Reliability Modeling, Test Data Compression and Domain-Specific Languages.
- Self-Adaptive Systems
- Formal Verification
- Autonomic Computing
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Software Reliability Modeling
- Embedded Cores
- Software Fault Localization
- Automated Testing
- Architecture-Based Approach
- Model Checking
- Test Data Compression
- Model-Driven Engineering
- Symbolic Model Checker
- Differential Evolution
- Particle Swarm Optimization
- Static Analysis
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 17 words, with their numbers
- Automated Testing61 topic
- Software Fault Localization61 topic
- Architecture-Based Approach31 topic
- Embedded Cores31 topic
- Model Checking32 topics
- Software Reliability Modeling31 topic
- Test Data Compression31 topic
- Domain-Specific Languages21 topic
- Model-Driven Engineering21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Autonomic Computing11 topic
- Differential Evolution11 topic
- Formal Verification11 topic
- Particle Swarm Optimization11 topic
- Self-Adaptive Systems11 topic
- Static Analysis11 topic
Where does Alan Hartman work?
Alan Hartman's main affiliation in the publication record is IBM Research - Haifa, Israel.
How many publications and citations does Alan Hartman have?
Science Explorer counts 19 works and 178 citations for Alan Hartman, ranking #249,166 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.
Other researchers named Alan Hartman
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.