Concepedia

Mirka Leino

ML

Statistics

Publications

9

Citations

543

H-Index

9

Active since

1997

Affiliations

Microsoft (United States)(Current)

Iowa State University

Radboud University Nijmegen

Satakunta University of Applied Sciences

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

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignSoftware Testing

Publications per year

1997–2015

9

Publications

9

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

Open Innovation Between Higher Education and Industry

Kari Laine, Mirka Leino, Petteri Pulkkinen · Journal of the Knowledge Economy · 2015 · 35 citations

Innovation Study, Business, Education +5

Exception safety for C

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

Safety Case, Engineering, Verification +20

1–5 of 9