Alexandre Petrenko
Alexandre Petrenko 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 Machine Learning and Algorithms.
- World rank
- #245,601 of 1,633,909 ranked researchers
- Rank in Canada
- #8,528 of 38,960
- Works
- 57
- Citations
- 234
- Citations per work
- 4.1
What does Alexandre Petrenko research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software28% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Artificial Intelligence16% of their works
- 4Hardware and Architecture16% of their works
- 5Information Systems5% of their works
- 6Computer Networks and Communications4% of their works
Research topics
Which keywords describe Alexandre Petrenko's research?
The keywords of their largest research topics: Automated Testing, Software Fault Localization, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Active Learning, Machine Learning and Embedded Cores.
- Formal Verification
- Deadlock Prevention
- Reconfigurable Computing
- Architecture-Based Approach
- Embedded Cores
- Active Learning
- Satisfiability Modulo Theories
- Software Fault Localization
- Automated Testing
- Model Checking
- Symbolic Model Checker
- Machine Learning
- Test Data Compression
- High-Level Synthesis
- Software Reliability Modeling
- Petri Nets
- 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 Testing151 topic
- Software Fault Localization151 topic
- Model Checking112 topics
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Active Learning61 topic
- Machine Learning61 topic
- Embedded Cores51 topic
- Test Data Compression51 topic
- Architecture-Based Approach41 topic
- High-Level Synthesis41 topic
- Reconfigurable Computing41 topic
- Software Reliability Modeling41 topic
- Deadlock Prevention31 topic
- Petri Nets31 topic
- Formal Verification21 topic
- Static Analysis21 topic
Where does Alexandre Petrenko work?
Alexandre Petrenko's main affiliation in the publication record is Computer Research Institute of Montréal, Canada.
How many publications and citations does Alexandre Petrenko have?
Science Explorer counts 57 works and 234 citations for Alexandre Petrenko, ranking #245,601 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.