Concepedia

Jacob Neal Sarvela

JN

Statistics

Publications

5

Citations

1.1K

H-Index

5

Active since

1997

Affiliations

The University of Texas at Austin(Current)

Ludwig-Maximilians-Universität München

Jacob Neal Sarvela is an author at The University of Texas at Austin specializing in parallel programming, formal verification, and system software.

Top concepts

DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification

Publications per year

1997–2004

5

Publications

5

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 662 citations

Engineering, Software Engineering, Model Refinement +23

Stochastic Dynamics and Deterministic Skeletons: Population Behavior of Dungeness Crab

Kevin Higgins, Alan Hastings, Jacob Neal Sarvela et al. · Science · 1997 · 231 citations

Biology, Stochastic Dynamics, Density Dependent +10

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 139 citations

Engineering, Software Engineering, Model Refinement +23

Refinements and multi-dimensional separation of concerns

Don Batory, Jia Liu, Jacob Neal Sarvela · 2003 · 53 citations

Program Specifications, Engineering, Compiler Technology +26

Refinements and multi-dimensional separation of concerns

Don Batory, Jia Liu, Jacob Neal Sarvela · ACM SIGSOFT Software Engineering Notes · 2003 · 11 citations

Program Specifications, Engineering, Software Engineering +25

1–5 of 5