Alessandro Cimatti
Alessandro Cimatti publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Software Testing and Debugging Techniques.
- World rank
- #114,277 of 1,633,909 ranked researchers
- Rank in Italy
- #3,208 of 65,712
- Works
- 89
- Citations
- 460
- Citations per work
- 5.2
What does Alessandro Cimatti research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software29% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Artificial Intelligence16% of their works
- 4Computer Networks and Communications4% of their works
- 5Safety, Risk, Reliability and Quality4% of their works
- 6Hardware and Architecture4% of their works
Research topics
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Safety Systems Engineering in Autonomy
- Logic, Reasoning, and Knowledge
- Advanced Software Engineering Methodologies
Which keywords describe Alessandro Cimatti's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Automated Testing and Domain-Specific Languages.
- Modal Logic
- Answer Set Programming
- Safety Assurance
- Assurance Cases
- Software Fault Localization
- Domain-Specific Languages
- Software Reliability Modeling
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Architecture-Based Approach
- Automated Testing
- Model-Driven Engineering
- Model-Based Development
- Formal Verification
- Static Analysis
- Autonomic Computing
- Self-Adaptive Systems
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 Checking383 topics
- Temporal Logic332 topics
- Satisfiability Modulo Theories291 topic
- Symbolic Model Checker291 topic
- Architecture-Based Approach131 topic
- Software Reliability Modeling131 topic
- Automated Testing101 topic
- Domain-Specific Languages101 topic
- Model-Driven Engineering101 topic
- Software Fault Localization101 topic
- Model-Based Development92 topics
- Assurance Cases51 topic
- Formal Verification51 topic
- Safety Assurance51 topic
- Static Analysis51 topic
- Answer Set Programming41 topic
- Autonomic Computing41 topic
- Modal Logic41 topic
- Self-Adaptive Systems41 topic
Where does Alessandro Cimatti work?
Alessandro Cimatti's main affiliation in the publication record is Fondazione Bruno Kessler, Italy.
How many publications and citations does Alessandro Cimatti have?
Science Explorer counts 89 works and 460 citations for Alessandro Cimatti, ranking #114,277 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.