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) | Peer reviewed | Published

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, 199-213. Berlin, Heidelberg, New York: .

Research article in edited proceedings (conference) | Peer reviewed | Published

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) | Peer reviewed | Published

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) \| Peer reviewed \| Published
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, 477-498. . Research article in edited proceedings (conference) \| Peer reviewed \| Published
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, 199-213. Berlin, Heidelberg, New York: . Research article in edited proceedings (conference) \| Peer reviewed \| Published
Weighted Dynamic Pushdown Networks Wenner Alexander (2010) In: Gordon Andrew (eds.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, 590-609. . Research article in edited proceedings (conference) \| Peer reviewed \| Published
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) \| Peer reviewed \| Published
Predecessor sets of dynamic pushdown networks with tree-regular constraints Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: (eds.), , -. \| Peer reviewed