Universität MünsterSoftware Construction and VerificationDepartment of Computer Science
  • zum Inhalt
  • zur Hauptnavigation
  • de
  • en
  • Home
  • Research
  • Teaching
  • People
  • Publications
  • Student Counselling
  • Home
    • Research

Research

Please visit the pages of the members of our group for information about our research and scientific activities. You can download preprints of most of our publications from the publications page.

Current Project

  • Model Checking of Navigation Logics (MoNaLog)
    (DFG)

Past Projects

  • Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs
    (DFG, SPP 1496 "Reliably Secure Software Systems"): Phase 1, Phase 2, Phase 3
  • Symbolic Analysis of Complex Features of Software
    (DAAD)
  • Optimal Interprocedural Analysis of Programs with Thread Creation (OpIAT)
    (DFG): Phase 1, Phase 2

    Top of page

    Contact

    University of Münster
    Software Construction and Verification Group

    Einsteinstraße 62
    48149 Münster

    Tel: +49 251 83-33792
    Fax: +49 251 83-33755
    markus.mueller-olm@uni-muenster.de
     
    living.knowledge
    • Legal Disclosure
    • Privacy Statement
    • Accessibility

    © 2023 AG Müller-Olm, WWU Münster