Erweiterte Suche


Zielgruppennavigation: 

 

Hauptnavigation: 

Sprache:

Arbeitsgruppe Softwareentwicklung und Verifikation

Prof. Dr. Markus Müller-Olm
Institut für Informatik
Einsteinstraße 62
48149 Münster
Germany

Tel.: +49-251-83-33792
Fax: +49-251-83-33755

Alexander Wenner


Anschrift

Institut für Informatik
Fachbereich Mathematik und Informatik der WWU Münster
Einsteinstraße 62
48149 Münster

Email

alexander.wenner AT uni-muenster.de

Telefon

+49 251 83-32749

Raum

715

Lebenslauf

  • Juni 2002: Abitur am Gymnasium Borghorst in Steinfurt
  • August 2008: Diplom in Informatik an der WWU Münster
  • Seit September 2008: Mitarbeiter der Arbeitsgruppe Softwareentwicklung und Verifikation am Institut für Informatik der WWU Münster

Lehre

    SS 15

    • Seminar zum Thema Ausgewählte Themen aus der Theorie der Programmierung

    WS 14/15

    • Seminar zum Thema Spezifikation und Verifikation von Echtzeitsystemen
    • Projektseminar zum Thema Android-Programmierung

    SS 14

    • Seminar zum Thema Computersicherheit

    WS 13/14

    • Projektseminar zum Thema Interaktive Verifikation mit Isabelle/HOL
    • Softwarepraktikum

    SS 13

    • Projektseminar zum Thema Analyse von Android-Software

    WS 12/13

    • Seminar zum Thema Ausgewählte Themen aus der Theorie der Programmierung
    • Softwarepraktikum

    SS 12

    • Übung zur Vorlesung Theorie der Programmierung

    WS 11/12

    • Seminar zum Thema Ausgewählte Themen aus der Theorie der Programmierung
    • Projektseminar zum Thema Kontraktprüfung für Java
    • Softwarepraktikum

    SS 11

    • Übung zur Vorlesung Theorie der Programmierung
    • Seminar zum Thema Ausgewählte Themen aus der Theorie der Programmierung

    WS 10/11

    • Übung zur Vorlesung Software Engineering
    • Softwarepraktikum

    SS 10

    • Übung zur Vorlesung Theorie der Programmierung
    • Proseminar/Seminar zum Thema Ausgewählte Themen aus der Theorie der Programmierung
    • Projektseminar zum Thema Erweiterung des Isabelle Collections Frameworks

    WS 09/10

    • Übung zur Vorlesung Model Checking
    • Proseminar/Seminar zum Thema Theorie der Programmierung
    • Softwarepraktikum

    SS 09

    • Übung zur Vorlesung Theorie der Programmierung
    • Projektseminar zum Thema Baumautomaten

Publikationen

  • Peter Lammich, Markus Markus Müller-Olm, Helmut Seidl, Alexander Wenner. Contextual Locking for Dynamic Pushdown Networks.
    Proceedings of 20th Static Analysis Symposium (SAS 2013). Springer-Verlag 2013. LNCS 7935.
    sas2013.pdf
  • Thomas Martin Gawlitza, Peter Lammich, Markus Markus Müller-Olm, Helmut Seidl, Alexander Wenner. Join-Lock-Sensitive Forward Reachability Analysis of Concurrent Programs with Dynamic Process Creation.
    Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI 2011). Springer-Verlag 2011. LNCS 6538.
    vmcai2011.pdf
  • Alexander Wenner. Weighted Dynamic Pushdown Networks.
    Proceedings of 19th European Symposium on Programming (ESOP 2010). Springer-Verlag 2010. LNCS 6012.
    esop2010.pdf
  • Alexander Wenner. Weighted Dynamic Pushdown Networks.
    Proceedings of 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 2009 (MEMICS 2009).
    memics2009.pdf or on DROPS
  • Peter Lammich, Markus Müller-Olm, and Alexander Wenner. Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.
    Proceedings of Computer Aided Verification (CAV 2009). Springer-Verlag 2009. LNCS 5643.
    cav2009.pdf
  • Alexander Wenner. Optimale Analyse gewichteter dynamischer Push-Down Netzwerke.
    Diplomarbeit am Fachbereich Mathematik und Informatik der WWU Münster 2008.
    dipl2008.pdf
Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: