Concepedia

K. Rustan

KR

7

Publications

482

Citations

7

H-Index

1997

Active since

Affiliations

Microsoft (United States)(Current)

Iowa State University

Radboud University Nijmegen

K. Rustan is an author at Microsoft (United States) specializing in formal verification, verification, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignSoftware Testing

Publications per year

1997–2005

7

Publications

7

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25

JML: notations and tools supporting detailed design in Java

Gary T. Leavens, Clyde Ruby, K. Rustan et al. · 2000 · 126 citations

Wrestling with rep exposure

David Detlefs, K. Rustan, Mirka Leino et al. · 1998 · 73 citations

Engineering, Reputation Management, Verification +18

Exception safety for C

K. Rustan, Mirka Leino, Wolfram Schulte · Software Engineering and Formal Methods · 2004 · 27 citations

Safety Case, Engineering, Verification +20

Checking object invariants

K. Rustan, Mirka Leino, Raymie Stata · Dental implantology update · 1997 · 22 citations

Software Maintenance, Program Checking, Engineering +23

Rows per page

1–5 of 7