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

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

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

Research article in edited proceedings (conference)

Publications

Operated by

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. . 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. . 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: . 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. . 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: . 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. . Research article in edited proceedings (conference)