Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis

Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015)
In: Falaschi Moreno (eds.), Logic-Based Program Synthesis and Transformation..
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)

Weighted Dynamic Pushdown Networks

Wenner Alexander (2009)
In: Hlineny Petr, Matyas Vaclav, Vojnar Tomas (eds.), Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Germany: .
Type of Publication: Research article in edited proceedings (conference)

Publications

Contact

Top-Links

Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander (2015) In: Falaschi Moreno (eds.), Logic-Based Program Synthesis and Transformation.. Type of Publication: Research article in edited proceedings (conference)
Contextual Locking for Dynamic Pushdown Networks Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2013) In: Francesco Logozzo, Manuel Fahndrich (eds.), 20th Static Analysis Symposium.. 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)
Weighted Dynamic Pushdown Networks Wenner Alexander (2010) In: Gordon Andrew (eds.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010.. Type of Publication: Research article in edited proceedings (conference)
Weighted Dynamic Pushdown Networks Wenner Alexander (2009) In: Hlineny Petr, Matyas Vaclav, Vojnar Tomas (eds.), Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Germany: . 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)