@inproceedings{DBLP:conf/mmb/IvkovicKHG12,
author = {Nikola Ivkovic and
Dario Kresic and
Kai{-}Steffen Hielscher and
Reinhard German},
editor = {Jens B. Schmitt},
title = {Verifying Worst Case Delays in Controller Area Network},
booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
and Fault Tolerance - 16th International {GI/ITG} Conference, {MMB}
{\&} {DFT} 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7201},
pages = {91--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28540-0\_7},
doi = {10.1007/978-3-642-28540-0\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmb/IvkovicKHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/HaeriKT11,
author = {Soroush Haeri and
Dario Kresic and
Ljiljana Trajkovic},
title = {Probabilistic verification of {BGP} convergence},
booktitle = {Proceedings of the 19th annual {IEEE} International Conference on
Network Protocols, {ICNP} 2011, Vancouver, BC, Canada, October 17-20,
2011},
pages = {127--128},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNP.2011.6089037},
doi = {10.1109/ICNP.2011.6089037},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/HaeriKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Kresic2008,
author = {Dario Kresic},
title = {Zur konsistenz-basierten Validation von Protokollen mit zeitlichen
Anforderungen},
school = {University of Erlangen-Nuremberg, Germany},
year = {2008},
url = {http://www.opus.ub.uni-erlangen.de/opus/volltexte/2008/936/},
urn = {urn:nbn:de:bvb:29-opus-9368},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Kresic2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
