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).

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: .

Forschungsartikel in Sammelband (Konferenz)

Finger Trees in Isabelle/HOL

Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010)

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. .

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: .

Forschungsartikel in Sammelband (Konferenz)

Publikationen

Betrieben von

Top-Links

Dijkstra's Shortest Path Algorithm in Isabelle/HOL Nordhoff Benedikt, Lammich Peter (2012) 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). 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. . 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: . Forschungsartikel in Sammelband (Konferenz)
The Isabelle Collections Framework Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (Hrsg.), Interactive Theorem Proving. . Forschungsartikel in Sammelband (Konferenz)
Finger Trees in Isabelle/HOL Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) 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. . 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. . 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: . 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: . Forschungsartikel in Sammelband (Konferenz)