Navigation

Skiplinks

Maike Schwammberger, M.Sc.

Forschung

Meine Forschungsinteressen sind:

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

Publikationen

  • [inproceedings] bibtex
    M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL," in Proc. \rm Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, \rm Porto, Portugal, 10th April 2018, 2018, pp. 17-31.
    @Inproceedings{EPTCS269.3,
      author = {Schwammberger, Maike},
      year = {2018},
      title = {Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL},
      editor = {Gleirscher, Mario and Kugele, Stefan and Linker, Sven},
      booktitle = {{\rm Proceedings 2nd International Workshop on} Safe Control of Autonomous Vehicles, {\rm Porto, Portugal, 10th April 2018}},
      series = {Electronic Proceedings in Theoretical Computer Science},
      volume = {269},
      publisher = {Open Publishing Association},
      pages = {17-31},
      doi = {10.4204/EPTCS.269.3},
      }
  • M. Schwammberger, "An abstract model for proving safety of autonomous urban traffic," Theor. Comput. Sci., vol. 744, pp. 143-169, 2018.
    @article{DBLP:journals/tcs/Schwammberger18,
      author = {Maike Schwammberger},
      title = {An abstract model for proving safety of autonomous urban traffic},
      journal = {Theor. Comput. Sci.},
      volume = {744},
      pages = {143--169},
      year = {2018},
      url = {https://doi.org/10.1016/j.tcs.2018.05.028},
      doi = {10.1016/j.tcs.2018.05.028},
      timestamp = {Fri, 28 Sep 2018 17:00:52 +0200},
      biburl = {https://dblp.org/rec/bib/journals/tcs/Schwammberger18},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Schwammberger, "Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres," in Proc. Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017., 2017, pp. 59-74.
    @inproceedings{DBLP:journals/corr/abs-1709-02559,
      author = {Maike Schwammberger},
      title = {Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres},
      booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
      pages = {59--74},
      year = {2017},
      url = {https://doi.org/10.4204/EPTCS.257.7},
      doi = {10.4204/EPTCS.257.7},
      timestamp = {Mon, 16 Oct 2017 16:32:11 +0200},
      biburl = {http://dblp.org/rec/bib/journals/corr/abs-1709-02559},
      bibsource = {dblp computer science bibliography, http://dblp.org} }
  • [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} }
Webmaster (Stand: 10.09.2018)