Gregory Horvath
Jet Propulsion Laboratory, California Institute of Technology
Papers
2
Total Citations
10
H-Index
2
About
No biography available yet.
Research Focus
Aerospace engineering2 · 10 citations
Computer science2 · 10 citations
Engineering2 · 10 citations
Software2 · 10 citations
Spacecraft2 · 10 citations
Model checking1 · 8 citations
Formal verification1 · 8 citations
Programming language1 · 8 citations
Promela1 · 8 citations
Reference architecture1 · 2 citations
Resource-oriented architecture1 · 2 citations
Software system1 · 2 citations
Key Achievements
2
H-Index
2
Papers
10
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
8 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Jet Propulsion Laboratory, California Institute of Technology
Top Papers
- 1
- 2
Key Collaborators
Not generated yet