{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:40:09Z","timestamp":1749922809806,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031954962","type":"print"},{"value":"9783031954979","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-95497-9_14","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:15:36Z","timestamp":1749921336000},"page":"211-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LolaPrompts: Assisting the\u00a0General Public in\u00a0Performing Real-Driving Emission Tests"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8987-6134","authenticated-orcid":false,"given":"Melane","family":"Navaratnarajah","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5742-4452","authenticated-orcid":false,"given":"Ma\u2019ayan","family":"Armony","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6897-2506","authenticated-orcid":false,"given":"Sebastian","family":"Biewer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2766-9615","authenticated-orcid":false,"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4869-6794","authenticated-orcid":false,"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"14_CR1","unstructured":"Accessibility Guidelines Working Group: Web content accessibility guidelines (WCAG) 2.1. https:\/\/www.w3.org\/TR\/WCAG21\/#dfn-media-alternative-for-text"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Biewer, S., et al.: Conformance relations and hyperproperties for doping detection in time and space. Log. Methods Comput. Sci. 18(1) (2022). https:\/\/doi.org\/10.46298\/LMCS-18(1:14)2022, https:\/\/doi.org\/10.46298\/lmcs-18(1:14)2022","DOI":"10.46298\/LMCS-18(1:14)2022"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: RTLola on Board: testing real driving emissions on your phone. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 365\u2013372. Springer (2021)","DOI":"10.1007\/978-3-030-72013-1_20"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2), 205\u2013218 (2023)","DOI":"10.1007\/s10009-022-00689-5"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 166\u2013174. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/TIME.2005.26, https:\/\/doi.org\/10.1109\/TIME.2005.26","DOI":"10.1109\/TIME.2005.26"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Barthe, G., Biewer, S., Finkbeiner, B., Hermanns, H.: Is your software on dope? - Formal analysis of surreptitiously enhanced programs. In: Yang, H. (ed.) Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10201, pp. 83\u2013110. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54434-1_4, https:\/\/doi.org\/10.1007\/978-3-662-54434-1_4","DOI":"10.1007\/978-3-662-54434-1_4"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Dimitrova, R., Gazda, M., Mousavi, M.R., Biewer, S., Hermanns, H.: Conformance-based doping detection for cyber-physical systems. In: Gotsman, A., Sokolova, A. (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held asPart of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12136, pp. 59\u201377. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-50086-3_4, https:\/\/doi.org\/10.1007\/978-3-030-50086-3_4","DOI":"10.1007\/978-3-030-50086-3_4"},{"key":"14_CR8","unstructured":"Faymonville, P., Finkbeiner, B., Schwenger, M., Torfah, H.: Real-time stream-based monitoring. arXiv preprint arXiv:1711.03829 (2017)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Gou, M.S., et al.: Kaspar Explains: the effect of causal explanations on visual perspective taking skills in children with autism spectrum disorder. In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), pp. 1407\u20131412. IEEE (2023)","DOI":"10.1109\/RO-MAN57019.2023.10309464"},{"key":"14_CR10","unstructured":"Joint Research Centre (European Commission), Zardini, A., Bonnel, P.: Real Driving Emissions Regulation: European methodology to fine tune the EU real driving emissions data evaluation method. Publications Office of the European Union, https:\/\/data.europa.eu\/doi\/10.2760\/176284"},{"issue":"9","key":"14_CR11","doi-asserted-by":"publisher","first-page":"094017","DOI":"10.1088\/1748-9326\/aa8850","volume":"12","author":"JE Jonson","year":"2017","unstructured":"Jonson, J.E., Borken-Kleefeld, J., Simpson, D., Ny\u00edri, A., Posch, M., Heyes, C.: Impact of excess NOx emissions from diesel cars on air quality, public health and eutrophication in Europe. Environ. Res. Lett. 12(9), 094017 (2017)","journal-title":"Environ. Res. Lett."},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-030-03769-7_17","volume-title":"Runtime Verification","author":"MA K\u00f6hl","year":"2018","unstructured":"K\u00f6hl, M.A., Hermanns, H., Biewer, S.: Efficient monitoring of real driving emissions. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 299\u2013315. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_17"},{"key":"14_CR13","first-page":"338","volume":"40","author":"K Kurtyka","year":"2019","unstructured":"Kurtyka, K., Pielecha, J.: The evaluation of exhaust emission in RDE tests including dynamic driving conditions. Transp. Res. Proc. 40, 338\u2013345 (2019)","journal-title":"Transp. Res. Proc."},{"key":"14_CR14","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.28431935","author":"M Navaratnarajah","year":"2025","unstructured":"Navaratnarajah, M., Armony, M., Biewer, S., Hermanns, H., Mousavi, M.R.: Lolaprompts (2025). https:\/\/doi.org\/10.6084\/m9.figshare.28431935","journal-title":"Lolaprompts"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.envpol.2016.01.053","volume":"212","author":"R Oldenkamp","year":"2016","unstructured":"Oldenkamp, R., van Zelm, R., Huijbregts, M.A.: Valuing the human health damage caused by the fraud of Volkswagen. Environ. Pollut. 212, 121\u2013127 (2016)","journal-title":"Environ. Pollut."},{"key":"14_CR16","first-page":"1","volume":"301","author":"E Union","year":"2017","unstructured":"Union, E.: Commission regulation (EU) 2018\/1832 of 5 November 2018 amending directive 2007\/46\/EC of the European parliament and of the council, commission regulation (EC) no 692\/2008 and commission regulation (EU) 2017\/1151 for the purpose of improving the emission type approval tests and procedures for light passenger and commercial vehicles, including those for in-service conformity and real-driving emissions and introducing devices for monitoring the consumption of fuel and electric energy. Official J. European Union L 301, 1\u2013314 (2017)","journal-title":"Official J. European Union L"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95497-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:15:40Z","timestamp":1749921340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95497-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031954962","9783031954979"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95497-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}