Guillaume Brat
Papers
2
Total Citations
51
H-Index
2
About
No biography available yet.
Research Focus
Systems engineering2 · 51 citations
Computer science2 · 51 citations
Software engineering2 · 51 citations
Engineering2 · 51 citations
Formal verification1 · 35 citations
Flexibility (engineering)1 · 35 citations
Programming language1 · 35 citations
Formal methods1 · 35 citations
Embedded system1 · 16 citations
Benchmarking1 · 16 citations
Operating system1 · 16 citations
Component-based software engineering1 · 16 citations
Key Achievements
2
H-Index
2
Papers
51
Total Citations
26
Avg Citations/Paper
🏆 Most Cited Paper
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
35 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 13
🏛 Institutions: Ames Research Center
Top Papers
- 1
- 2Space ROS: An Open-Source Framework for Space Robotics and Flight Software16 citations · 2023
Key Collaborators
HBHamza Bourbouh1 shared papersSCSummer Chambers1 shared papersBRBrian Roberts1 shared papersMFMichael Fisher1 shared papersMFMarie Farrell1 shared papersAMAnastasia Mavridou1 shared papersNBNick B. Cramer1 shared papersKHKimberly Hambuchen1 shared papersIŠIrfan Šljivo1 shared papersAOAmalaye Oyake1 shared papersLALouise A. Dennis1 shared papersAPAustin Probe1 shared papersMDMatthew Deans1 shared papers
Not generated yet