Angelo Gargantini
Angelo Gargantini publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Software Reliability and Analysis Research.
- World rank
- #648,192 of 1,633,909 ranked researchers
- Rank in Italy
- #24,097 of 65,712
- Works
- 66
- Citations
- 155
- Citations per work
- 2.3
What does Angelo Gargantini research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software38% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Artificial Intelligence12% of their works
- 4Computer Networks and Communications7% of their works
- 5Hardware and Architecture6% of their works
- 6Cognitive Neuroscience4% of their works
Research topics
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Software System Performance and Reliability
- Embedded Systems Design Techniques
- Safety Systems Engineering in Autonomy
Which keywords describe Angelo Gargantini's research?
The keywords of their largest research topics: Automated Testing, Software Fault Localization, Model Checking, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Domain-Specific Languages and Model-Driven Engineering.
- Reconfigurable Computing
- Log Analysis
- Assurance Cases
- Autonomic Computing
- Model-Driven Engineering
- Software Reliability Modeling
- Symbolic Model Checker
- Software Fault Localization
- Automated Testing
- Model Checking
- Architecture-Based Approach
- Domain-Specific Languages
- Model-Based Development
- Self-Adaptive Systems
- High-Level Synthesis
- Performance Prediction
- Safety Assurance
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 Testing151 topic
- Software Fault Localization151 topic
- Model Checking141 topic
- Symbolic Model Checker141 topic
- Architecture-Based Approach121 topic
- Software Reliability Modeling121 topic
- Domain-Specific Languages81 topic
- Model-Driven Engineering81 topic
- Model-Based Development72 topics
- Autonomic Computing41 topic
- Self-Adaptive Systems41 topic
- Assurance Cases31 topic
- High-Level Synthesis31 topic
- Log Analysis31 topic
- Performance Prediction31 topic
- Reconfigurable Computing31 topic
- Safety Assurance31 topic
Where does Angelo Gargantini work?
Angelo Gargantini's main affiliation in the publication record is University of Bergamo, Italy.
How many publications and citations does Angelo Gargantini have?
Science Explorer counts 66 works and 155 citations for Angelo Gargantini, ranking #648,192 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.