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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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