K. Rustan - Concepedia

Author

K. Rustan

Also Known As

K Rustan, K. Rustan, Leino, K. Rustan M., Rustan K.

Publications

665

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	327
2	Computer Science	4	4	327
3	Athletic Training	1	1	73
4	Computer Engineering	1	1	205
5	Systems Engineering	1	1	205

K. Rustan

Publications

482

Citations

H-Index

Page 1

	Year	Citations
An overview of JML tools and applications1 1www.jmlspecs.org Lilian Burdy, Yoonsik Cheon, David R. Cok, Electronic Notes in Theoretical Computer Science Software MaintenanceJava Source FilesEngineeringObject-oriented ModelingVerification	2003	205
JML: notations and tools supporting detailed design in Java Gary T. Leavens, Clyde Ruby, K. Rustan,	2000	126
Wrestling with rep exposure David Detlefs, K. Rustan, Mirka Leino, EngineeringReputation ManagementVerificationSoftware EngineeringSoftware Analysis	1998	73
Exception safety for C K. Rustan, Mirka Leino, Wolfram Schulte Software Engineering and Formal Methods Safety CaseEngineeringVerificationSafety ScienceSoftware Engineering	2004	27
Checking object invariants K. Rustan, Mirka Leino, Raymie Stata Dental implantology update Software MaintenanceProgram CheckingEngineeringVerificationComputer-aided Verification	1997	22
Verification of Multithreaded Object-Oriented Programs with Invariants Bart Jacobs, K. Rustan, Mirka Leino,	2004	19
Inferring Object Invariants Bor-Yuh Evan Chang, K. Rustan, Mirka Leino Electronic Notes in Theoretical Computer Science	2005	10

Page 1