Dijkstra's Shortest Path Algorithm in Isabelle/HOL Nordhoff Benedikt, Lammich Peter (2012) Sonstige wissenschaftliche Veröffentlichung \| Veröffentlicht
A decision procedure for detecting atomicity violations for communicating processes with locks Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2011) In: International Journal on Software Tools for Technology Transfer, 13(1), 37-60. doi:10.1007/s10009-010-0159-5 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (Hrsg.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages, 93-104. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Join-lock-sensitive forward reachability analysis for concurrent programs with dynamic process creation Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (Hrsg.), Verification, Model Checking and Abstract Interpretation, 199-213. Berlin, Heidelberg, New York: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
The Isabelle Collections Framework Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving, 339-354. . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Finger Trees in Isabelle/HOL Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) Sonstige wissenschaftliche Veröffentlichung \| Veröffentlicht
A decision procedure for detecting atomicity violations for communicating processes with locks In: (Hrsg.), , -. \| Peer reviewed
Predecessor sets of dynamic pushdown networks with tree-regular constraints In: (Hrsg.), , -. \| Peer reviewed
Conflict analysis of programs with procedures, dynamic thread creation, and monitors In: (Hrsg.), , -. \| Peer reviewed
Precise fixpoint-based analysis of programs with thread-creation and procedures In: (Hrsg.), , -. \| Peer reviewed