Navigation

Christopher Bischopink, M.Sc.

Kontakt

  • E-Mail: christopher.bischopink1@uol.de

Christopher Bischopink M. Sc.

Department für Informatik  (» Postanschrift)

https://uol.de/informatik/

A03-2-206 (» Adresse und Lageplan )

nach Vereinbarung

vorl.freie Zeit: nach Vereinbarung

+49 441 798-2997  (F&P

Forschungsinteressen

  •  Multi-Lane Spatial Logic
  • (Extended) Timed Automata
  • Monitor Synthesis and Enforcement in Autonomous Traffic

Publikationen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Bischopink und 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, pp. 249-264.
    @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} }

Abschlussarbeiten

  • [mastersthesis] bibtex
    C. Bischopink, "Moving Hazards - Communicating about Human Drivers in Autonomous Traffic," Master's Dissertation , Oldenburg, 2018.
    @mastersthesis{Bi18,
      author = {Cristopher Bischopink},
      title = {Moving Hazards - Communicating about Human Drivers in Autonomous Traffic},
      school = {University of Oldenburg},
      year = 2018, address = {Oldenburg},
      month = 12 }
  • [misc] bibtex
    C. Bischopink, Überführung von MLSL- zu QdL-FormelnOldenburg: , 2016.
    @misc{Bi16,
      author = {Cristopher Bischopink},
      title = {\"{U}berf\"{u}hrung von MLSL- zu QdL-Formeln},
      school = {University of Oldenburg},
      year = 2016, address = {Oldenburg},
      month = 10 }
Weojbmashrl0yteru6jlv (m.gieseking@ul7aolcy3.dnxe2fo) (Stand: 03.09.2020)