Concepedia

Jeremy W. Nimmer

JW

Statistics

Publications

6

Citations

450

H-Index

6

Active since

2001

Affiliations

Massachusetts Institute of Technology(Current)

Jeremy W. Nimmer is an author at Massachusetts Institute of Technology specializing in programming languages, formal methods, and computer science.

Publications per year

2001–2002

6

Publications

6

Automatic generation of program specifications

Jeremy W. Nimmer, Michael D. Ernst · ACM SIGSOFT Software Engineering Notes · 2002 · 137 citations

Computing, Computer Engineering, Computer Science +16

Static verification of dynamically detected program invariants

Jeremy W. Nimmer, Michael D. Ernst · Electronic Notes in Theoretical Computer Science · 2001 · 91 citations · Full text

Computing, Computer Engineering, Computer Science +14

Automatic generation of program specifications

Jeremy W. Nimmer, Michael D. Ernst · 2002 · 85 citations

Computing, Computer Engineering, Computer Science +16

Invariant inference for static checking

Jeremy W. Nimmer, Michael D. Ernst · ACM SIGSOFT Software Engineering Notes · 2002 · 74 citations

Computing, Computer Science, Formal Methods +12

Invariant inference for static checking:

Jeremy W. Nimmer, Michael D. Ernst · 2002 · 50 citations

Computing, Computer Science, Formal Methods +12

1–5 of 6