Marco Roveri
Marco Roveri publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Advanced Software Engineering Methodologies.
- World rank
- #232,451 of 1,633,909 ranked researchers
- Rank in Italy
- #7,156 of 65,712
- Works
- 49
- Citations
- 188
- Citations per work
- 3.8
What does Marco Roveri research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence23% of their works
- 2Software20% of their works
- 3Computational Theory and Mathematics18% of their works
- 4Information Systems6% of their works
- 5Safety, Risk, Reliability and Quality5% of their works
- 6Hardware and Architecture5% of their works
Research topics
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Logic, programming, and type systems
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Safety Systems Engineering in Autonomy
- Advanced Malware Detection Techniques
Which keywords describe Marco Roveri's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Model-Based Development, Domain-Specific Languages, Model-Driven Engineering, Autonomic Computing and Self-Adaptive Systems.
- Detection
- Static Analysis
- Software Fault Localization
- Formal Verification
- Assurance Cases
- Self-Adaptive Systems
- Model-Driven Engineering
- Model-Based Development
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Domain-Specific Languages
- Autonomic Computing
- Architecture-Based Approach
- Automated Testing
- Safety Assurance
- Software Reliability Modeling
- Android Malware
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 Checking152 topics
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Model-Based Development92 topics
- Domain-Specific Languages71 topic
- Model-Driven Engineering71 topic
- Autonomic Computing61 topic
- Self-Adaptive Systems61 topic
- Architecture-Based Approach31 topic
- Assurance Cases31 topic
- Automated Testing31 topic
- Formal Verification31 topic
- Safety Assurance31 topic
- Software Fault Localization31 topic
- Software Reliability Modeling31 topic
- Static Analysis31 topic
- Android Malware21 topic
- Detection21 topic
Where does Marco Roveri work?
Marco Roveri's main affiliation in the publication record is Fondazione Bruno Kessler, Italy.
How many publications and citations does Marco Roveri have?
Science Explorer counts 49 works and 188 citations for Marco Roveri, ranking #232,451 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 Marco Roveri
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.