Science Explorer Back to mapMap
Discussion
Researcher · Microsoft (United States) · United States

Patrice Godefroid

Patrice Godefroid 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.

OpenAlex
World rank
#18,292
of 7,710,434 ranked researchers
Rank in United States
#6,571
of 1,627,098
Works
140
Citations
17k
Citations per work
122.4
h-index
60
i10-index 108Top 0.4% in Software
Patrice Godefroid

What does Patrice Godefroid research?

Patrice Godefroid's work is mostly in Computer Science (91%).

Physical Sciences: 127 works · 90.8% of their workComputer Science: 127 works · 90.8% of their workSoftware: 52 works · 37.1% of their workComputational Theory and Mathematics: 27 works · 19.3% of their workArtificial Intelligence: 20 works · 14.4% of their workInformation Systems: 11 works · 7.8% of their workSignal Processing: 9 works · 6.3% of their workComputer Networks and Communications: 8 works · 5.9% of their workEverything else: 13 works · 9.2% of their workTHEIR WORKPatrice Godefroid140works
Physical Sciences91%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science12790.8%
  2. Everything else139.2%
  1. 1Software37% of their works
  2. 2Computational Theory and Mathematics19% of their works
  3. 3Artificial Intelligence14% of their works
  4. 4Information Systems8% of their works
  5. 5Signal Processing6% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe Patrice Godefroid's research?

The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling and Machine Learning.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking952 topics
  2. Automated Testing891 topic
  3. Software Fault Localization891 topic
  4. Satisfiability Modulo Theories691 topic
  5. Symbolic Model Checker691 topic
  6. Architecture-Based Approach561 topic
  7. Software Reliability Modeling561 topic
  8. Machine Learning512 topics
  9. Android Malware261 topic
  10. Detection261 topic
  11. Formal Verification261 topic
  12. Static Analysis261 topic
  13. Code Clone Detection251 topic
  14. Refactoring251 topic
  15. Log Analysis131 topic
  16. Performance Prediction131 topic
  17. Security Policies111 topic
  18. Side-Channel Attacks111 topic

Where does Patrice Godefroid work?

Patrice Godefroid's main affiliation in the publication record is Microsoft (United States), United States.

How many publications and citations does Patrice Godefroid have?

OpenAlex counts 140 works and 17,139 citations for Patrice Godefroid, an h-index of 60, ranking #18,292 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Patrice Godefroid. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.