Alexander Wenner

Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Curriculum Vitae (CV)

Statische Analyse paraller Programme
Modelle für Nebenläufigkeit

Akademische Ausbildung
seit 09/2008	Promotion im Fach Informatik, Westfälische Wilhelms-Universität Münster
10/2002 - 08/2008	Diplom im Fach Informatik, Westfälische Wilhelms-Universität Münster
Berufliche Stationen
seit 09/2008	Wissenschaftlicher Mitarbeiter, Institut für Informatik, Westfälische Wilhelms-Universität Münster

Publikationen

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. Springer International Publishing. doi:10.1007/978-3-319-27436-2_12 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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, 477-498. Springer. Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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, 199-213. Berlin, Heidelberg, New York: Springer. doi:10.1007/978-3-642-18275-4_15 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Weighted Dynamic Pushdown Networks Wenner Alexander (2010) In: Gordon Andrew (Hrsg.), Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, 590-609. Springer. doi:10.1007/978-3-642-11957-6_31 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
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: Dagstuhl Publishing. doi:10.4230/DROPS.MEMICS.2009.2344 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht

Alle Publikationen anzeigen

Projekte

SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2014 - 30.06.2018 \| 3. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster
Optimale Interprozedurale Analyse von Programmen mit dynamischer Thread-Erzeugung (OpIAT) Laufzeit: 01.12.2012 - 31.12.2015 \| 2. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt
Optimale interprozedurale Analyse von Programmen mit dynamischer Threaderzeugung (OpIAT) Laufzeit: 20.09.2007 - 30.11.2012 \| 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt