Christopher Bischopink, M.Sc.
Christopher Bischopink, M.Sc.
Department of Computing Science (» Postal address)
Lectures
Summer term 2023
Research interests
- Multi-Lane Spatial Logic
- (Extended) Timed Automata
- Monitor Synthesis and Enforcement in Autonomous Traffic
Publications
- [inproceedings] bibtex |
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.
doi: 10.1007/978-3-031-17715-6_9@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
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} }
Theses
- [mastersthesis] bibtexC. 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] bibtexC. 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 }