Concepedia

SeungJoon Park

SP

Statistics

Publications

2

Citations

124

H-Index

2

Active since

2000

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

SeungJoon Park is an author at Ames Research Center specializing in program analysis, system software, and automated reasoning.

Top concepts

Publications per year

2000–2000

2

Publications

2

Formal Analysis of the Remote Agent Before and After Flight

Klaus Havelund, Mike Lowry, SeungJoon Park et al. · 2000 · 74 citations

Using predicate abstraction to reduce object-oriented programs for model checking

W. Visser, SeungJoon Park, John Penix · 2000 · 50 citations

, , +19

1–2 of 2