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}
}
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, "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}
}
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}
}
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}
}
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 }
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}
}
M. Schwammberger, Konzeption und Implementierung eines grafikgestützten Systems, das das Faktorisierungsverfahren von Brillhart und Morrison transparent macht.
@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}
}
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},
