Peter Lammich
According to our database^{1},
Peter Lammich
authored at least 61 papers
between 2007 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
CoCon: A Conference Management System with Formally Verified Document Confidentiality.
J. Autom. Reason., 2021
Proceedings of the Programming Languages and Systems, 2021
2020
J. Autom. Reason., 2020
Arch. Formal Proofs, 2020
Proceedings of the Automated Reasoning  10th International Joint Conference, 2020
2019
J. Autom. Reason., 2019
Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches.
J. Autom. Reason., 2019
J. Autom. Reason., 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Proceedings of the Computer Safety, Reliability, and Security, 2019
Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction.
J. Autom. Reason., 2018
J. Autom. Reason., 2018
Arch. Formal Proofs, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
Arch. Formal Proofs, 2017
Arch. Formal Proofs, 2017
Arch. Formal Proofs, 2017
Arch. Formal Proofs, 2017
The GRAT Tool Chain  Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees.
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2017  20th International Conference, Melbourne, VIC, Australia, August 28, 2017
2016
Arch. Formal Proofs, 2016
Arch. Formal Proofs, 2016
Arch. Formal Proofs, 2016
Arch. Formal Proofs, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2014
Arch. Formal Proofs, 2014
Arch. Formal Proofs, 2014
Arch. Formal Proofs, 2014
Arch. Formal Proofs, 2014
Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm.
Arch. Formal Proofs, 2014
Arch. Formal Proofs, 2014
Verified Efficient Implementation of Gabow's Strongly Connected Component Algorithm.
Proceedings of the Interactive Theorem Proving  5th International Conference, 2014
Proceedings of the Computer Aided Verification  26th International Conference, 2014
2013
Proceedings of the Semantics, 2013
Arch. Formal Proofs, 2013
Proceedings of the Static Analysis  20th International Symposium, 2013
2012
Arch. Formal Proofs, 2012
Arch. Formal Proofs, 2012
Arch. Formal Proofs, 2012
Proceedings of the Interactive Theorem Proving  Third International Conference, 2012
2011
A decision procedure for detecting atomicity violations for communicating processes with locks.
Int. J. Softw. Tools Technol. Transf., 2011
JoinLockSensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Static analysis of interruptdriven programs synchronized via the priority ceiling protocol.
Proceedings of the 38th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2011
PhD thesis, 2011
2010
Arch. Formal Proofs, 2010
Arch. Formal Proofs, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
2009
Arch. Formal Proofs, 2009
Arch. Formal Proofs, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.
Proceedings of the Static Analysis, 15th International Symposium, 2008
2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors.
Arch. Formal Proofs, 2007
Proceedings of the CONCUR 2007  Concurrency Theory, 18th International Conference, 2007