Entwicklung korrekter Systeme

Department für Informatik

Carl von Ossietzky Universität Oldenburg
Postfach 2503
26111 Oldenburg

Raum: A03-2-218 (» Adresse und Lageplan) Sprechzeiten: nach Vereinbarung Tel.: 0441 798-2362

Aktuelle Lehrveranstaltungen

Wintersemester 2017/2018

Sommersemester 2017


Forschung

Meine Forschungsinteressen sind:

  • (Erweiterungen von) Realzeitautomaten
  • Multi-Lane Spatial Logic
  • Model Checking

Publikationen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. -R. Olderog und M. Schwammberger, "Formalising a Hazard Warning Communication Protocol with Timed Automata," in Proc. Models, Algorithms, Logics and Tools, 2017, pp. 640-660.
    @inproceedings{OlderogSchwammberger17,
      author = {E.-R. Olderog and M. Schwammberger},
      title = {Formalising a Hazard Warning Communication Protocol with Timed Automata},
      editor = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Axel Legay and Radu Mardare},
      booktitle = {Models, Algorithms, Logics and Tools},
      pages = {640--660},
      series = {LNCS},
      volume = {10460},
      publisher = {Springer},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-63121-9_32} }
  • [inproceedings] bibtex
    M. Hilscher und M. Schwammberger, "An Abstract Model for Proving Safety of Autonomous Urban Traffic," in Proc. Theoretical Aspects of Computing (ICTAC), 2016, pp. 274-292.
    @inproceedings{HS16,
      author = {Hilscher, Martin and Schwammberger, Maike},
      editor = {Sampaio, Augusto and Wang, Farn},
      title = {An Abstract Model for Proving Safety of Autonomous Urban Traffic},
      booktitle = {Theoretical Aspects of Computing (ICTAC)},
      optbooktitle = {Theoretical Aspects of Computing -- ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24--31, 2016, Proceedings},
      year = {2016},
      publisher = {Springer},
      optaddress = {Cham},
      volume = {9965},
      series = {LNCS},
      pages = {274--292},
      isbn = {978-3-319-46750-4},
      doi = {10.1007/978-3-319-46750-4_16} }
  • [inproceedings] bibtex
    M. Schwammberger, "Properties of Communicating Controllers for Safe Traffic Manoeuvres," in Proc. Proceedings of the Doctoral Symposium of Formal Methods 2015, 2015, pp. 3-7.
    @inproceedings{MS15,
      author = {Maike Schwammberger},
      title = {Properties of Communicating Controllers for Safe Traffic Manoeuvres},
      booktitle = {Proceedings of the Doctoral Symposium of Formal Methods 2015},
      editor = {Aichernig, Bernhard K. and Rossini, Alessandro},
      pages = {3--7},
      year = 2015 }

Abschlussarbeiten

  • [mastersthesis] bibtex
    M. Schwammberger, "Semantik von Controllern für sicheren Fahrspurwechsel," Master's Dissertation , 2014.
    @mastersthesis{MS14, title = {Semantik von Controllern für sicheren Fahrspurwechsel},
      author = {Maike Schwammberger},
      type = {Master Thesis},
      school = {Carl von Ossietzky Universität Oldenburg},
      year = {2014} }
  • [misc] bibtex
    M. Schwammberger, Konzeption und Implementierung eines grafikgestützten Systems, das das Faktorisierungsverfahren von Brillhart und Morrison transparent macht, 2011.
    @misc{MS11, title = {Konzeption und Implementierung eines grafikgestützten Systems, das das Faktorisierungsverfahren von Brillhart und Morrison transparent macht},
      author = {Maike Schwammberger},
      type = {Bachelor Thesis},
      school = {Carl von Ossietzky Universität Oldenburg},
      year = {2011} }
  • [misc] bibtex
    M. Schwammberger, Faktorisierung mit Kettenbrüchen, 2010.
    @misc{MS10, title = {Faktorisierung mit Kettenbrüchen},
      author = {Maike Schwammberger},
      type = {Bachelor Thesis},
      school = {Carl von Ossietzky Universität Oldenburg},
      year = {2010} }