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 (Hrsg.), Logic-Based Program Synthesis and Transformation..
Art der Publikation: 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: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Weighted Dynamic Pushdown Networks

Wenner Alexander (2009)
In: Hlineny Petr, Matyas Vaclav, Vojnar Tomas (Hrsg.), Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Germany: .
Art der Publikation: Forschungsartikel in Sammelband (Konferenz)

Publikationen

Kontakt

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 (Hrsg.), Logic-Based Program Synthesis and Transformation.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Contextual Locking for Dynamic Pushdown Networks Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2013) In: Francesco Logozzo, Manuel Fahndrich (Hrsg.), 20th Static Analysis Symposium.. Art der Publikation: 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: . Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Weighted Dynamic Pushdown Networks Wenner Alexander (2010) In: Gordon Andrew (Hrsg.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Weighted Dynamic Pushdown Networks Wenner Alexander (2009) In: Hlineny Petr, Matyas Vaclav, Vojnar Tomas (Hrsg.), Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Germany: . Art der Publikation: 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.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)