Grailing Jones

Jet Propulsion Laboratory

Papers

2

Total Citations

26

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 26 citations
Astrobiology1 · 18 citations
Physics1 · 18 citations
Model checking1 · 8 citations
Programming language1 · 8 citations
Promela1 · 8 citations
Software1 · 8 citations
Aerospace engineering1 · 8 citations
Spacecraft1 · 8 citations
Engineering1 · 8 citations
Formal verification1 · 8 citations

Key Achievements

2
H-Index
2
Papers
26
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Automated and Adaptive Mission Planning for Orbital Express
18 citations · 2008
📈 Most Prolific Year: 2008 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Jet Propulsion Laboratory

Top Papers

  1. 1
    Automated and Adaptive Mission Planning for Orbital Express
    18 citations · 2008
  2. 2
    A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
    8 citations · 2009

Key Collaborators

GHGregory Horvath1 shared papersCCCaroline Chouinard1 shared papersDTDaniel Tran1 shared papersDKDarin Koblick1 shared papersRKRussell Knight1 shared papersRJRajeev Joshi1 shared papers
Not generated yet