Christopher Bischopink, M.Sc.

Contact

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

Christopher Bischopink, M.Sc.

Department of Computing Science  (» Postal address)

A03-2-218 (» Adress and map )

nach Vereinbarung

+49 441 798-2997  (F&P) 

Lectures

Winter term 2022 / 2023

2.01.456 Real-Time-Systems

Research interests

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

Publications

  • [inproceedings] bibtex | Go to document Go to document
    C. Bischopink and E. -R. Olderog, "Spatial and Timing Properties in Highway Traffic" in Proc. Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, 2022, pp. 114-131.
    @inproceedings{DBLP:conf/ictac/BischopinkO22,
      author = {Christopher Bischopink and E.-R. Olderog},
      editor = {Helmut Seidl and Zhiming Liu and Corina S. Pasareanu},
      title = {Spatial and Timing Properties in Highway Traffic},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {13572},
      pages = {114--131},
      publisher = {Springer},
      year = {2022},
      url = {https://doi.org/10.1007/978-3-031-17715-6\_9},
      doi = {10.1007/978-3-031-17715-6\_9},
      timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
      biburl = {https://dblp.org/rec/conf/ictac/BischopinkO22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [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, 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} }

Theses

  • [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 }
(Changed: 10 Oct 2022)