Alexander Wenner

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

Curriculum Vitae (CV)

Statische Analyse paraller Programme
Modelle für Nebenläufigkeit

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

Publications

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

Show all publications

Projects

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