Dr Peter Lammich

Lecturer in Comp Science Formal Methods

View graph of relations

Publications

  1. 2019
  2. Accepted/In press

    Generating Verified LLVM from Isabelle/HOL

    Lammich, P., 1 Jun 2019, (Accepted/In press) ITP 2019: Interactive Theorem Proving.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Accepted/In press

    Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra

    Lammich, P. & Nipkow, T., 1 Jun 2019, (Accepted/In press) ITP 2019: Interactive Theorem Proving.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Accepted/In press

    Refinement with Time – Refining the Run-time of Algorithms in Isabelle/HOL

    Lammich, P. & Haslbeck, M. P. L., 1 Jun 2019, (Accepted/In press) ITP2019: Interactive Theorem Proving.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Accepted/In press

    Efficient Verified (UN)SAT Certificate Checking

    Lammich, P., 30 Apr 2019, (Accepted/In press) In : Journal of Automated Reasoning.

    Research output: Contribution to journalArticle

  6. Accepted/In press

    Formal Verification of Memory Preservation of x86-64 Binaries

    Bockenek, J. A., Verbeek, F., Lammich, P. & Ravindran, B., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    Refinement to Imperative HOL

    Lammich, P., 1 Apr 2019, In : Journal of Automated Reasoning. 62, 4, p. 481-503 22 p.

    Research output: Contribution to journalArticle

  8. Published

    Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL

    Lammich, P. & Sefidgar, S. R., 1 Feb 2019, In : Journal of Automated Reasoning. 62, 2, p. 261-280 19 p.

    Research output: Contribution to journalArticle

  9. 2018
  10. Published

    A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

    Blanchette, J. C., Fleury, M., Lammich, P. & Weidenbach, C., 1 Jun 2018, In : Journal of Automated Reasoning. 61, 1-4, p. 333-365 22 p.

    Research output: Contribution to journalArticle

  11. Published

    Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

    Brunner, J. & Lammich, P., 1 Jan 2018, In : Journal of Automated Reasoning. 60, 1, p. 3-21 18 p.

    Research output: Contribution to journalArticle

  12. Published

    A Formally Verified Validator for Classical Planning Problems and Solutions

    Abdulaziz, M. & Lammich, P., 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). p. 474-479 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next

Research Explorer downloads

14

Research output: Contribution to journalArticle

5

Research output: Contribution to journalArticle

2

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2

Research output: Chapter in Book/Report/Conference proceedingChapter

1

Research output: Chapter in Book/Report/Conference proceedingConference contribution