No current affiliations available for this person. The person is no longer active at the university.

Academic Education
since 09/2008	PhD in Computer Science, Westfälische Wilhelms-Universität Münster
10/2002 - 08/2008	Diplom/MSc. in Computer Science, Westfälische Wilhelms-Universität Münster
Work Experience
since 09/2008	Research Assistant, Institut für Informatik, Westfälische Wilhelms-Universität Münster

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

SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components) Duration: 01/10/2014 - 30/06/2018 \| 3rd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster
Optimal Interprocedural Analysis of Programs with Thread Creation (2nd funding period) (OpIAT) Duration: 01/12/2012 - 31/12/2015 \| 2nd Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project
Optimal Interprocedural Analysis of Programs with Thread Creation (1st funding period) (OpIAT) Duration: 20/09/2007 - 30/11/2012 \| 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project