K. Rustan M. Leino

Available identifiers

zbMath Open leino.k-rustan-mMaRDI QIDQ633284

List of research outcomes

Publication	Date of Publication	Type
Quicksort revisited. Verifying alternative versions of quicksort	2021-05-20	Paper
An Assertional Proof of the Stability and Correctness of Natural Mergesort	2017-07-12	Paper
Behavioral interface specification languages	2014-08-13	Paper
Automating Theorem Proving with SMT	2013-08-07	Paper
Stepwise refinement of heap-manipulating code in Chalice	2013-03-22	Paper
Automating Induction with an SMT Solver	2012-06-15	Paper
Doomed program points	2011-03-31	Paper
Dafny: An Automatic Program Verifier for Functional Correctness	2011-01-07	Paper
Deadlock-Free Channels and Locks	2010-05-04	Paper
A Polymorphic Intermediate Verification Language: Design and Logical Encoding	2010-04-27	Paper
Verification: Theory and Practice	2010-03-23	Paper
Efficient weakest preconditions	2009-08-27	Paper
A Basis for Verifying Multi-threaded Programs	2009-03-31	Paper
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier	2008-12-04	Paper
Verification of Equivalent-Results Methods	2008-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q5447372	2008-03-06	Paper
Using History Invariants to Verify Observers	2007-09-04	Paper
Specification and verification challenges for sequential object-oriented programs	2007-08-23	Paper
Programming Languages and Systems	2007-05-02	Paper
Programming Languages and Systems	2006-10-20	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Generating error traces from verification-condition counterexamples	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4426375	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4778702	2002-11-19	Paper
Virginity: A contribution to the specification of object-oriented software	2002-08-04	Paper
Annotation inference for modular checkers	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2763999	2002-01-22	Paper
A semantic approach to secure information flow	2000-06-04	Paper
Computing permutation encodings	2000-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4230924	1999-06-07	Paper
Joining specification statements	1999-04-28	Paper
Constructing a program with exceptions	1997-02-28	Paper
Conditional composition	1996-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q3813254	1988-01-01	Paper

Research outcomes over time

This page was built for person: K. Rustan M. Leino