{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T06:42:07Z","timestamp":1769755327245,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742330","type":"print"},{"value":"9783031742347","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74234-7_14","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:01:58Z","timestamp":1728640918000},"page":"218-228","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Gaussian-Based and\u00a0Outside-the-Box Runtime Monitoring Join Forces"],"prefix":"10.1007","author":[{"given":"Vahid","family":"Hashemi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8122-2881","authenticated-orcid":false,"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6397-3100","authenticated-orcid":false,"given":"Sabine","family":"Rieder","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Sch\u00f6n","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vorhoff","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,12]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Azeem, M., Grobelna, M., Kanav, S., Kretinsky, J., Mohr, S., Rieder, S.: Monitizer: automating design and evaluation of neural network monitors. arXiv preprint arXiv:2405.10350 (2024). https:\/\/doi.org\/10.48550\/arXiv.2405.10350","DOI":"10.48550\/arXiv.2405.10350"},{"issue":"4","key":"14_CR2","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1109\/TPAMI.2017.2699184","volume":"40","author":"LC Chen","year":"2018","unstructured":"Chen, L.C., Papandreou, G., Kokkinos, I., Murphy, K., Yuille, A.L.: DeepLab: semantic image segmentation with deep convolutional nets, atrous convolution, and fully connected CRFS. IEEE Trans. Pattern Anal. Mach. Intell. 40(4), 834\u2013848 (2018). https:\/\/doi.org\/10.1109\/TPAMI.2017.2699184","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Cheng, C.H., N\u00fchrenberg, G., Yasuoka, H.: Runtime monitoring neuron activation patterns. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 300\u2013303 (2019). https:\/\/doi.org\/10.23919\/DATE.2019.8714971","DOI":"10.23919\/DATE.2019.8714971"},{"key":"14_CR4","unstructured":"Corbi\u00e8re, C., Thome, N., Bar-Hen, A., Cord, M., P\u00e9rez, P.: Addressing failure prediction by learning model confidence. In: Proceedings of the 33rd International Conference on Neural Information Processing Systems, pp. 2902\u20132913 (2019). https:\/\/dl.acm.org\/doi\/10.5555\/3454287.3454548"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Gu\u00e9rin, J., Delmas, K., Ferreira, R., Guiochet, J.: Out-of-distribution detection is not all you need. In: Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence. AAAI 2023\/IAAI 2023\/EAAI 2023. AAAI Press (2023). https:\/\/doi.org\/10.1609\/aaai.v37i12.26732","DOI":"10.1609\/aaai.v37i12.26732"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-030-88494-9_14","volume-title":"Runtime Verification","author":"V Hashemi","year":"2021","unstructured":"Hashemi, V., K\u0159et\u00ednsk\u00fd, J., Mohr, S., Seferis, E.: Gaussian-based runtime detection of\u00a0out-of-distribution inputs for neural networks. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 254\u2013264. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_14"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hashemi, V., K\u0159et\u00ednsk\u00fd, J., Rieder, S., Sch\u00f6n, T., Vorhoff, J.: Gaussian-based and outside-the-box runtime monitoring join forces. arXiv preprint (2024)","DOI":"10.1007\/978-3-031-74234-7_14"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Lukina, A., Schilling, C.: Outside the box: abstraction-based monitoring of neural networks. In: De\u00a0Giacomo, G., Catala, A., Dilkina, B. (eds.) ECAI 2020 : 24th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 325, pp. 2433\u20132440. IOS Press, Amsterdam (2020). https:\/\/doi.org\/10.3233\/FAIA200375","DOI":"10.3233\/FAIA200375"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M., Igel, C.: Detection of traffic signs in real-world images: the German traffic sign detection benchmark. In: International Joint Conference on Neural Networks, no.\u00a01288 (2013)","DOI":"10.1109\/IJCNN.2013.6706807"},{"key":"14_CR10","unstructured":"Krizhevsky, A.: Learning multiple layers of features from tiny images. University of Toronto, Toronto, Canada, Technical report (2009)"},{"key":"14_CR11","unstructured":"Lee, K., Lee, K., Lee, H., Shin, J.: A simple unified framework for detecting out-of-distribution samples and adversarial attacks. In: Advances in Neural Information Processing Systems, vol.\u00a031 (2018)"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s11263-019-01247-4","volume":"128","author":"L Liu","year":"2020","unstructured":"Liu, L., et al.: Deep learning for generic object detection: a survey. Int. J. Comput. Vis. 128(2), 261\u2013318 (2020). https:\/\/doi.org\/10.1007\/s11263-019-01247-4","journal-title":"Int. J. Comput. Vis."},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-030-88494-9_3","volume-title":"Runtime Verification","author":"A Lukina","year":"2021","unstructured":"Lukina, A., Schilling, C., Henzinger, T.A.: Into the unknown: active monitoring of\u00a0neural networks. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 42\u201361. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_3"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Morteza, P., Li, Y.: Provable guarantees for understanding out-of-distribution detection. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 7831\u20137840 (2022)","DOI":"10.1609\/aaai.v36i7.20752"},{"key":"14_CR15","unstructured":"Ovadia, Y., et al.: Can you trust your model\u2019s uncertainty? Evaluating predictive uncertainty under dataset shift. In: Proceedings of the 33rd International Conference on Neural Information Processing Systems, pp. 14003\u201314014 (2019). https:\/\/dl.acm.org\/doi\/abs\/10.5555\/3454287.3455541"},{"key":"14_CR16","unstructured":"Ramesh, V.: CIFAR-10 PyTorch implementation (2021). https:\/\/github.com\/iVishalr\/cifar10-pytorch. Accessed 04 Dec 2023"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Shafaei, A., Schmidt, M.W., Little, J.: A less biased evaluation of out-of-distribution sample detectors. In: British Machine Vision Conference (2019). https:\/\/doi.org\/10.48550\/arXiv.1809.04729","DOI":"10.48550\/arXiv.1809.04729"},{"key":"14_CR18","doi-asserted-by":"publisher","unstructured":"Shankar, V., Dave, A., Roelofs, R., Ramanan, D., Recht, B., Schmidt, L.: Do image classifiers generalize across time? In: 2021 IEEE\/CVF International Conference on Computer Vision (ICCV), pp. 9641\u20139649 (2021). https:\/\/doi.org\/10.1109\/ICCV48922.2021.00952","DOI":"10.1109\/ICCV48922.2021.00952"},{"key":"14_CR19","unstructured":"Sun, Y., Ming, Y., Zhu, X., Li, Y.: Out-of-distribution detection with deep nearest neighbors. In: International Conference on Machine Learning, pp. 20827\u201320840. PMLR (2022)"},{"key":"14_CR20","doi-asserted-by":"publisher","unstructured":"Tan, M., Le, Q.V.: EfficientNet: rethinking model scaling for convolutional neural networks. ArXiv (2019). https:\/\/doi.org\/10.48550\/arXiv.1905.11946","DOI":"10.48550\/arXiv.1905.11946"},{"key":"14_CR21","unstructured":"Wackerly, D., Mendenhall, W., Scheaffer, R.L.: Mathematical Statistics with Applications. Cengage Learning (2014). ISBN 9781111798789"},{"key":"14_CR22","unstructured":"Yang, J., Zhou, K., Li, Y., Liu, Z.: Generalized out-of-distribution detection: a survey. arXiv preprint arXiv:2110.11334 (2021)"},{"issue":"9","key":"14_CR23","doi-asserted-by":"publisher","first-page":"1612","DOI":"10.1007\/s11431-020-1582-8","volume":"63","author":"C Zhao","year":"2020","unstructured":"Zhao, C., Sun, Q., Zhang, C., Tang, Y., Qian, F.: Monocular depth estimation based on deep learning: an overview. Sci. China Technol. Sci. 63(9), 1612\u20131627 (2020). https:\/\/doi.org\/10.1007\/s11431-020-1582-8","journal-title":"Sci. China Technol. Sci."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74234-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T13:41:31Z","timestamp":1732887691000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74234-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,12]]},"ISBN":["9783031742330","9783031742347"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74234-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,12]]},"assertion":[{"value":"12 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Instanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/yeni.cmpe.bogazici.edu.tr\/rv24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}