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)
Art der Publikation: Forschungsartikel (Zeitschrift)

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. Berlin, Heidelberg, New York: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Finger Trees in Isabelle/HOL

Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010)
Art der Publikation: Sonstige wissenschaftliche Veröffentlichung

Predecessor sets of dynamic pushdown networks with tree-regular constraints

Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009)
In: Bouajjani Ahmed, Maler Oded (Hrsg.), Computer Aided Verification..
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Precise fixpoint-based analysis of programs with thread-creation and procedures

Lammich Peter, Müller-Olm Markus (2007)
In: Caires Luís, Vasconcelos Vasco T. (Hrsg.), CONCUR 2007 - Concurrency Theory. Berlin: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Publikationen

Kontakt

Top-Links

Dijkstra's Shortest Path Algorithm in Isabelle/HOL Nordhoff Benedikt, Lammich Peter (2012) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung
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) Art der Publikation: Forschungsartikel (Zeitschrift)
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.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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. Berlin, Heidelberg, New York: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
The Isabelle Collections Framework Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Finger Trees in Isabelle/HOL Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung
A decision procedure for detecting atomicity violations for communicating processes with locks Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas (2009) In: Pasareanu Corina S. (Hrsg.), Model Checking Software.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Predecessor sets of dynamic pushdown networks with tree-regular constraints Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: Bouajjani Ahmed, Maler Oded (Hrsg.), Computer Aided Verification.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Conflict analysis of programs with procedures, dynamic thread creation, and monitors Lammich Peter, Müller-Olm Markus (2008) In: Alpuente María, Vidal Germán (Hrsg.), Static analysis. Berlin: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Precise fixpoint-based analysis of programs with thread-creation and procedures Lammich Peter, Müller-Olm Markus (2007) In: Caires Luís, Vasconcelos Vasco T. (Hrsg.), CONCUR 2007 - Concurrency Theory. Berlin: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)