You can download this list as a single bib file. Send me an email if you need a paper that is not listed.
Publications
-
-
Reasoning About JML: Differences Between KeY and OpenJML
-
An Exercise in Verifying Sequential Programs with VerCors
-
A Formalization of the LLL Basis Reduction Algorithm
-
A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
-
A verified factorization algorithm for integer polynomials with polynomial complexity
-
A verified LLL algorithm
-
Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)
-
Certifying safety and termination proofs for integer transition systems
-
Parsing and Printing of and with Triples