Davide Basile
Davide Basile publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Safety, Risk, Reliability and Quality, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Model-Driven Software Engineering Techniques.
- World rank
- #702,550 of 1,633,909 ranked researchers
- Rank in Italy
- #26,465 of 65,712
- Works
- 20
- Citations
- 48
- Citations per work
- 2.4
What does Davide Basile research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence18% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Safety, Risk, Reliability and Quality9% of their works
- 4Information Systems9% of their works
- 5Software9% of their works
- 6Aerospace Engineering9% of their works
Research topics
Which keywords describe Davide Basile's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Domain-Specific Languages, Model-Driven Engineering and Self-Adaptive Systems.
- Static Analysis
- Petri Nets
- Hard Real-Time Systems
- Fault Tolerance
- Deadlock Prevention
- Self-Adaptive Systems
- Domain-Specific Languages
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Autonomic Computing
- Model-Driven Engineering
- Answer Set Programming
- Distributed Systems
- Formal Verification
- Modal Logic
- Scheduling Algorithms
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 Checking53 topics
- Temporal Logic42 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Autonomic Computing21 topic
- Domain-Specific Languages21 topic
- Model-Driven Engineering21 topic
- Self-Adaptive Systems21 topic
- Answer Set Programming11 topic
- Deadlock Prevention11 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- Formal Verification11 topic
- Hard Real-Time Systems11 topic
- Modal Logic11 topic
- Petri Nets11 topic
- Scheduling Algorithms11 topic
- Static Analysis11 topic
Where does Davide Basile work?
Davide Basile's main affiliation in the publication record is Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy.
How many publications and citations does Davide Basile have?
Science Explorer counts 20 works and 48 citations for Davide Basile, ranking #702,550 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.