{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T03:00:11Z","timestamp":1791342011482,"version":"4.3.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031453311","type":"print"},{"value":"9783031453328","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-45332-8_13","type":"book-chapter","created":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T05:01:36Z","timestamp":1697605296000},"page":"251-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Leveraging Static Analysis: An IDE for\u00a0RTLola"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4280-8441","authenticated-orcid":false,"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9672-2398","authenticated-orcid":false,"given":"Florian","family":"Kohn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5221-9253","authenticated-orcid":false,"given":"Malte","family":"Schledjewski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"13_CR1","unstructured":"Apache echarts. https:\/\/echarts.apache.org\/en\/index.html. Accessed 08 May 2023"},{"key":"13_CR2","unstructured":"D3.js - data-driven documents. https:\/\/d3js.org\/. Accessed 08 May 2023"},{"key":"13_CR3","unstructured":"Github - kieler\/elkjs: Elk\u2019s layout algorithms for javascript. https:\/\/github.com\/kieler\/elkjs. Accessed 08 May 2023"},{"key":"13_CR4","unstructured":"The go playground. https:\/\/go.dev\/play\/. Accessed 08 May 2023"},{"key":"13_CR5","unstructured":"Monaco editor. https:\/\/microsoft.github.io\/monaco-editor\/. Accessed 08 May 2023"},{"key":"13_CR6","unstructured":"Official page for language server protocol. https:\/\/microsoft.github.io\/language-server-protocol\/. Accessed 08 May 2023"},{"key":"13_CR7","unstructured":"Pinia \u2013 the intuitive store for vue.js. https:\/\/pinia.vuejs.org\/. Accessed 08 May 2023"},{"key":"13_CR8","unstructured":"Rust programming language. https:\/\/www.rust-lang.org\/. Accessed 08 May 2023"},{"key":"13_CR9","unstructured":"Typescript: Javascript fith syntax for types. https:\/\/www.typescriptlang.org\/. Accessed 08 May 2023"},{"key":"13_CR10","unstructured":"Visual studio code - code editing. redefined. https:\/\/code.visualstudio.com\/. Accessed 08 May 2023"},{"key":"13_CR11","unstructured":"Vue.js the progressive javascript framework. https:\/\/vuejs.org\/. Accessed 08 May 2023"},{"key":"13_CR12","unstructured":"Webassembly. https:\/\/webassembly.org\/. Accessed 08 May 2023"},{"key":"13_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-031-10769-6_16","volume-title":"Automated Reasoning","author":"C Alrabbaa","year":"2022","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P., M\u00e9ndez, J.: Evonne: Interactive proof visualization for description logics (system description). In: Blanchette, J., Kov\u00e1cs, L., Pattinson, D. (eds.) IJCAR 2022. LNCS, pp. 271\u2013280. Springer, Cham (2022)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-030-53291-8_3","volume-title":"Computer Aided Verification","author":"J Baumeister","year":"2020","unstructured":"Baumeister, J., Finkbeiner, B., Schirmer, S., Schwenger, M., Torens, C.: RTLola cleared for take-off: monitoring autonomous aircraft. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 28\u201339. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_3"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"d\u2019Angelo, B., et al.: Lola: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174. IEEE (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-030-88494-9_4","volume-title":"Runtime Verification","author":"JC Dauer","year":"2021","unstructured":"Dauer, J.C., Finkbeiner, B., Schirmer, S.: Monitoring with verified guarantees. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 62\u201380. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_4"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-030-25540-4_24","volume-title":"Computer Aided Verification","author":"P Faymonville","year":"2019","unstructured":"Faymonville, P., et al.: StreamLAB: stream-based monitoring of cyber-physical systems. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 421\u2013431. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_24"},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"Friese, M.J., Kallwies, H., Leucker, M., Sachenbacher, M., Streichhahn, H., Thoma, D.: Runtime verification of autosar timing extensions. In: Proceedings of the 30th International Conference on Real-Time Networks and Systems, pp. 173\u2013183. RTNS 2022, Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3534879.3534898","DOI":"10.1145\/3534879.3534898"},{"key":"13_CR19","series-title":"LNCS","first-page":"282","volume-title":"Runtime Verification","author":"F Gorostiaga","year":"2018","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: stream runtime verification for real-time event-streams. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, pp. 282\u2013298. Springer, Cham (2018)"},{"key":"13_CR20","unstructured":"Goulding, J.: The rust playground. https:\/\/play.rust-lang.org. Accessed 08 May 2023"},{"key":"13_CR21","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-031-17196-3_20","volume-title":"Runtime Verification","author":"H Kallwies","year":"2022","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: Tessla-an ecosystem for runtime verification. In: Dang, T., Stolz, V. (eds.) RV 2022. LNCS, vol. 13498, pp. 314\u2013324. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17196-3_20"},{"issue":"4","key":"13_CR22","doi-asserted-by":"publisher","first-page":"475","DOI":"10.3102\/0034654314564881","volume":"85","author":"FMV der Kleij","year":"2015","unstructured":"der Kleij, F.M.V., Feskens, R.C.W., Eggen, T.J.H.M.: Effects of feedback in a computer-based learning environment on students\u2019 learning outcomes: a meta-analysis. Rev. Educ. Res. 85(4), 475\u2013511 (2015). https:\/\/doi.org\/10.3102\/0034654314564881","journal-title":"Rev. Educ. Res."},{"key":"13_CR23","series-title":"Research Topics in Aerospace","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-030-83144-8_16","volume-title":"Automated Low-Altitude Air Delivery","author":"S Schirmer","year":"2022","unstructured":"Schirmer, S., Torens, C.: Safe operation monitoring for specific category unmanned aircraft. In: Dauer, J.C. (ed.) Automated Low-Altitude Air Delivery. RTA, pp. 393\u2013419. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-83144-8_16"},{"issue":"1","key":"13_CR24","doi-asserted-by":"publisher","first-page":"153","DOI":"10.3102\/0034654307313795","volume":"78","author":"VJ Shute","year":"2008","unstructured":"Shute, V.J.: Focus on formative feedback. Rev. Educ. Res 78(1), 153\u2013189 (2008). https:\/\/doi.org\/10.3102\/0034654307313795","journal-title":"Rev. Educ. Res"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45332-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T00:54:59Z","timestamp":1730336099000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45332-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031453311","9783031453328"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45332-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/atva-conference.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"115","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.05","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7 tool papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}