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)
Type of Publication: Research article (journal)

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 (eds.), Verification, Model Checking and Abstract Interpretation. Berlin, Heidelberg, New York: .
Type of Publication: Research article in edited proceedings (conference)

Finger Trees in Isabelle/HOL

Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010)
Type of Publication: Other scientific publication

Predecessor sets of dynamic pushdown networks with tree-regular constraints

Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009)
In: Bouajjani Ahmed, Maler Oded (eds.), Computer Aided Verification..
Type of Publication: Research article in edited proceedings (conference)

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. (eds.), CONCUR 2007 - Concurrency Theory. Berlin: .
Type of Publication: Research article in edited proceedings (conference)

Publications

Contact

Top-Links

Dijkstra's Shortest Path Algorithm in Isabelle/HOL Nordhoff Benedikt, Lammich Peter (2012) Type of Publication: Other scientific publication
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) Type of Publication: Research article (journal)
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 (eds.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages.. Type of Publication: Research article in edited proceedings (conference)
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 (eds.), Verification, Model Checking and Abstract Interpretation. Berlin, Heidelberg, New York: . Type of Publication: Research article in edited proceedings (conference)
The Isabelle Collections Framework Lammich Peter, Lochbihler Andreas (2010) In: Kaufmann Matt, Paulson Lawrence C. (eds.), Interactive Theorem Proving.. Type of Publication: Research article in edited proceedings (conference)
Finger Trees in Isabelle/HOL Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) Type of Publication: Other scientific publication
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. (eds.), Model Checking Software.. Type of Publication: Research article in edited proceedings (conference)
Predecessor sets of dynamic pushdown networks with tree-regular constraints Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: Bouajjani Ahmed, Maler Oded (eds.), Computer Aided Verification.. Type of Publication: Research article in edited proceedings (conference)
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 (eds.), Static analysis. Berlin: . Type of Publication: Research article in edited proceedings (conference)
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. (eds.), CONCUR 2007 - Concurrency Theory. Berlin: . Type of Publication: Research article in edited proceedings (conference)