Jun.-Prof. Dr. Maike Schwammberger

Contact

  • E-Mail:

Jun.-Prof. Dr. Maike Schwammberger

Research

Research Interests:

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

Publications

  • [inproceedings] bibtex | Go to document Go to document
    C. Bischopink and M. Schwammberger, "Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections" in Proc. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, 2019.
    doi: 10.1007/978-3-030-54994-7_18
    @inproceedings{DBLP:conf/fm/BischopinkS19,
      author = {Christopher Bischopink and Maike Schwammberger},
      editor = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
      title = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
      booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}},
      series = {Lecture Notes in Computer Science},
      volume = {12232},
      pages = {249--264},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-54994-7\_18},
      doi = {10.1007/978-3-030-54994-7\_18},
      timestamp = {Mon, 17 Aug 2020 17:09:20 +0200},
      biburl = {https://dblp.org/rec/conf/fm/BischopinkS19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018., 2018.
    @inproceedings{Schwammberger18a,
      author = {Maike Schwammberger},
      title = {Introducing Liveness into Multi-lane Spatial Logic lane change controllers using {UPPAAL}},
      editor = {Mario Gleirscher and Stefan Kugele and Sven Linker},
      booktitle = {Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018.},
      series = {{EPTCS}},
      volume = {269},
      pages = {17--31},
      year = {2018},
      url = {https://doi.org/10.4204/EPTCS.269.3}
  • M. Schwammberger, "An abstract model for proving safety of autonomous urban traffic" Theor. Comput. Sci. vol. 744, 2018.
    doi: 10.1016/j.tcs.2018.05.028
    @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 | Go to document Go to document
    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.
    doi: 10.4204/EPTCS.257.7
    @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 | Go to document Go to document
    E. -R. Olderog and M. Schwammberger, "Formalising a Hazard Warning Communication Protocol with Timed Automata" in Proc. Models, Algorithms, Logics and Tools, 2017.
    @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 and M. Schwammberger, "An Abstract Model for Proving Safety of Autonomous Urban Traffic" in Proc. Theoretical Aspects of Computing (ICTAC), 2016.
    doi: 10.1007/978-3-319-46750-4_16
    @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.
    @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 }

Theses

  • [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.
    @misc{MS10, title = {Faktorisierung mit Kettenbrüchen},
      author = {Maike Schwammberger},
      type = {Bachelor Thesis},
      school = {Carl von Ossietzky Universität Oldenburg},
     
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page