{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:38Z","timestamp":1775873678095,"version":"3.50.1"},"publisher-location":"Cham","reference-count":64,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031442445","type":"print"},{"value":"9783031442452","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-44245-2_2","type":"book-chapter","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T15:02:30Z","timestamp":1698073350000},"page":"10-27","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Abstract Interpretation in Industry \u2013 Experience and Lessons Learned"],"prefix":"10.1007","author":[{"given":"Daniel","family":"K\u00e4stner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Ferdinand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,24]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-61739-6_33","volume-title":"Static Analysis","author":"M Alt","year":"1996","unstructured":"Alt, M., Ferdinand, C., Martin, F., Wilhelm, R.: Cache behavior prediction by abstract interpretation. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 52\u201366. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61739-6_33"},{"key":"2_CR2","unstructured":"AUTOSAR: AUTOSAR (AUTomotive Open System ARchitecture). http:\/\/www.autosar.org"},{"key":"2_CR3","unstructured":"Barr, M.: Bookout v. Toyota, 2005 Camry software Analysis by Michael Barr (2013). http:\/\/www.safetyresearch.net\/Library\/BarrSlides_FINAL_SCRUBBED.pdf"},{"key":"2_CR4","unstructured":"Bouissou, O., et al.: Space software validation using abstract interpretation. In: Proceedings of the 13thData Systems in Aerospace (DASIA 2009) (2009)"},{"key":"2_CR5","unstructured":"BS EN 50657: Railway applications - Rolling stock applications - Software on Board Rolling Stock (2017)"},{"key":"2_CR6","unstructured":"CENELEC EN 50128: Railway Applications - Communication, Signalling and Processing Systems - Software for Railway Control and Protection Systems (2011)"},{"key":"2_CR7","unstructured":"Certification Authorities Software Team (CAST): Position Paper CAST-32A Multi-core Processors (2016)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the POPL\u201977, pp. 238\u2013252. ACM Press (1977). http:\/\/www.di.ens.fr\/~cousot\/COUSOTpapers\/POPL77.shtml. Accessed Sep 2017","DOI":"10.1145\/512950.512973"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of generalized type unions. In: Wortman, D.B. (ed.) Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, 28-30 March 1977, pp. 77\u201394. ACM (1977). https:\/\/doi.org\/10.1145\/800022.808314","DOI":"10.1145\/800022.808314"},{"key":"2_CR10","unstructured":"EASA: AMC-20 - amendment 23 - AMC 20\u2013193 use of multi-core processors (2022)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C Ferdinand","year":"2001","unstructured":"Ferdinand, C., et al.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469\u2013485. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45449-7_32"},{"issue":"2\u20133","key":"2_CR12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand, C., Wilhelm, R.: Efficient and precise cache behavior prediction for real-time systems. Real-Time Syst. 17(2\u20133), 131\u2013181 (1999)","journal-title":"Real-Time Syst."},{"key":"2_CR13","unstructured":"Freescale Inc.: QorIQTM P4080 Communications Processor Product Brief (2008). rev. 1"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-26601-1_1","volume-title":"Computer Safety, Reliability, and Security","author":"J Giet","year":"2019","unstructured":"Giet, J., Mauborgne, L., K\u00e4stner, D., Ferdinand, C.: Towards zero alarms in sound static analysis of finite state machines. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 3\u201318. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26601-1_1"},{"key":"2_CR15","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems (2010)"},{"key":"2_CR16","unstructured":"Infineon Technologies AG: AURIXTM TC27x D-Step User\u2019s Manual (2014)"},{"key":"2_CR17","unstructured":"ISO 26262: Road vehicles - Functional safety (2018)"},{"key":"2_CR18","unstructured":"ISO 26262: Road vehicles - Functional safety - Part 2: Management of functional safety (2018)"},{"key":"2_CR19","unstructured":"ISO 26262: Road vehicles - Functional safety - Part 6: Product development at the software level (2018)"},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Kaestner, D., Wilhelm, S., Mallon, C., Schank, S., Ferdinand, C., Mauborgne, L.: Automatic sound static analysis for integration verification of AUTOSAR software. In: WCX SAE World Congress Experience. SAE International (2023). https:\/\/doi.org\/10.4271\/2023-01-0591","DOI":"10.4271\/2023-01-0591"},{"key":"2_CR21","unstructured":"Karos, T.: The Gauge Domain in Astr\u00e9e. Master\u2019s thesis, Saarland University (2015)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D.: Applying abstract interpretation to demonstrate functional safety. In: Boulanger, J.L. (ed.) Formal Methods Applied to Industrial Complex Systems. ISTE\/Wiley, London, UK (2014)","DOI":"10.1002\/9781119004707.ch8"},{"key":"2_CR23","unstructured":"K\u00e4stner, D., Ferdinand, C.: Efficient verification of non-functional safety properties by abstract interpretation: timing, stack consumption, and absence of runtime errors. In: Proceedings of the 29th International System Safety Conference ISSC2011. Las Vegas (2011)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-319-10506-2_14","volume-title":"Computer Safety, Reliability, and Security","author":"D K\u00e4stner","year":"2014","unstructured":"K\u00e4stner, D., Ferdinand, C.: Proving the absence of stack overflows. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 202\u2013213. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10506-2_14"},{"key":"2_CR25","unstructured":"K\u00e4stner, D., Pister, M., Gebhard, G., Schlickling, M., Ferdinand, C.: Confidence in timing. In: SAFECOMP 2013 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) (2013)"},{"key":"2_CR26","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, D., et al.: Model-driven code generation and analysis. In: SAE World Congress 2014. SAE International (2014). https:\/\/doi.org\/10.4271\/2014-01-0217","DOI":"10.4271\/2014-01-0217"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., et al.: Meeting real-time requirements with multi-core processors. SAFECOMP 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) (2012)","DOI":"10.1007\/978-3-642-33675-1_10"},{"key":"2_CR28","unstructured":"K\u00e4stner, D., et al.: Astr\u00e9e: proving the absence of runtime errors. In: Embedded Real Time Software and Systems Congress ERTS $$^2$$ (2010)"},{"key":"2_CR29","unstructured":"K\u00e4stner, D., et al.: CompCert: practical experience on integrating and qualifying a formally verified optimizing compiler. In: ERTS2 2018 - Embedded Real Time Software and Systems. 3AF, SEE, SIE, Toulouse, France (2018). https:\/\/hal.inria.fr\/hal-01643290, archived in the HAL-INRIA open archive, https:\/\/hal.inria.fr\/hal-01643290\/file\/ERTS_2018_paper_59.pdf"},{"key":"2_CR30","unstructured":"K\u00e4stner, D., Leroy, X., Blazy, S., Schommer, B., Schmidt, M., Ferdinand, C.: Closing the gap - the formally verified optimizing compiler CompCert. In: SSS 2017: Developments in System Safety Engineering: Proceedings of the Twenty-fifth Safety-critical Systems Symposium, pp. 163\u2013180. CreateSpace (2017)"},{"key":"2_CR31","unstructured":"K\u00e4stner, D., Mauborgne, L., Ferdinand, C.: Detecting safety- and security-relevant programming defects by sound static analysis. In: Falk, R., Chan, J.C.B.S. (eds.) The Second International Conference on Cyber-Technologies and Cyber-Systems (CYBER 2017). IARIA Conferences, vol. 2, pp. 26\u201331. IARIA XPS Press (2017)"},{"key":"2_CR32","unstructured":"K\u00e4stner, D., Mauborgne, L., Ferdinand, C.: Detecting spectre vulnerabilities by sound static analysis. In: Anne\u00a0Coull, R.F., Chan, S. (ed.) The Fourth International Conference on Cyber-Technologies and Cyber-Systems (CYBER 2019). IARIA Conferences, vol. 4, pp. 29\u201337. IARIA XPS Press (2019). http:\/\/www.thinkmind.org\/download.php?articleid=cyber_2019_3_10_80050"},{"key":"2_CR33","unstructured":"K\u00e4stner, D., Mauborgne, L., Grafe, N., Ferdinand, C.: Advanced sound static analysis to detect safety- and security-relevant programming defects. In: Falk, R., Steve Chan, J.C.B. (eds.) 8th International Journal on Advances in Security. vol. 1 & 2, pp. 149\u2013159. IARIA (2018), https:\/\/www.iariajournals.org\/security\/"},{"key":"2_CR34","unstructured":"K\u00e4stner, D., Mauborgne, L., Wilhelm, S., Ferdinand, C.: high-precision sound analysis to find safety and cybersecurity defects. In: 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France (2020). https:\/\/hal.archives-ouvertes.fr\/hal-02479217"},{"key":"2_CR35","unstructured":"K\u00e4stner, D., Mauborgne, L., Wilhelm, S., Mallon, C., Ferdinand, C.: Static data and control coupling analysis. In: 11th Embedded Real Time Systems European Congress (ERTS2022). Toulouse, France (2022). https:\/\/hal.archives-ouvertes.fr\/hal-03694546"},{"key":"2_CR36","unstructured":"K\u00e4stner, D., Pohland, J.: Program analysis on evolving software. In: Roy, M. (ed.) CARS 2015 - Critical Automotive applications: Robustness & Safety. Paris, France (2015). https:\/\/hal.archives-ouvertes.fr\/hal-01192985"},{"key":"2_CR37","unstructured":"K\u00e4stner, D., H\u00fcmbert, C., Gebhard, G., Pister, M., Wegener, S., Ferdinand, C.: Taming Timing - Combining Static Analysis With Non-intrusive Tracing to Compute WCET Bounds on Multicore Processors. Embedded World Congress (2021)"},{"key":"2_CR38","doi-asserted-by":"publisher","unstructured":"K\u00e4stner, D., Salvi, S., Bienm\u00fcller, T., Ferdinand, C.: Exploiting synergies between static analysis and model-based testing (2015). https:\/\/doi.org\/10.1109\/EDCC.2015.20","DOI":"10.1109\/EDCC.2015.20"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-45789-5_22","volume-title":"Static Analysis","author":"M Langenbach","year":"2002","unstructured":"Langenbach, M., Thesing, S., Heckmann, R.: Pipeline modeling for timing analysis. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 294\u2013309. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45789-5_22"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Li, Y.T.S., Malik, S.: Performance analysis of embedded software using implicit path enumeration. In: Proceedings of the 32nd ACM\/IEEE Design Automation Conference, pp. 456\u2013461 (1995)","DOI":"10.1145\/217474.217570"},{"key":"2_CR41","unstructured":"Limited, M.: MISRA C++:2008 Guidelines for the use of the C++ language in critical systems (2008)"},{"issue":"26","key":"2_CR42","first-page":"63","volume":"8","author":"A Min\u00e9","year":"2012","unstructured":"Min\u00e9, A.: Static analysis of run-time errors in embedded real-time parallel C programs. Logic. Meth. Comput. Sci. (LMCS) 8(26), 63 (2012)","journal-title":"Logic. Meth. Comput. Sci. (LMCS)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A., Delmas, D.: Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. In: Proceedings of the 15th International Conference on Embedded Software (EMSOFT 2015), pp. 65\u201374. IEEE CS Press (2015)","DOI":"10.1109\/EMSOFT.2015.7318261"},{"key":"2_CR44","unstructured":"MISRA (Motor Industry Software Reliability Association) Working Group: MISRA-C:2012 Guidelines for the use of the C Language in Critical Systems. MISRA Limited (2013)"},{"key":"2_CR45","unstructured":"MISRA (Motor Industry Software Reliability Association) Working Group: MISRA-C:2023 Guidelines for the use of the C Language in Critical Systems. MISRA Limited (2023)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Nowotsch, J., Paulitsch, M., B\u00fchler, D., Theiling, H., Wegener, S., Schmidt, M.: Multi-core interference-sensitive wcet analysis leveraging runtime resource capacity enforcement. In: ECRTS 2014: Proceedings of the 26th Euromicro Conference on Real-Time Systems (2014)","DOI":"10.1109\/ECRTS.2014.20"},{"key":"2_CR47","unstructured":"Radio Technical Commission for Aeronautics: RTCA DO-178B. Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"2_CR48","unstructured":"Radio Technical Commission for Aeronautics: RTCA DO-178C. Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"2_CR49","unstructured":"Radio Technical Commission for Aeronautics: RTCA DO-333. Formal Methods Supplement to DO-178C and DO-278A (2011)"},{"issue":"2","key":"2_CR50","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s11241-007-9032-3","volume":"37","author":"J Reineke","year":"2007","unstructured":"Reineke, J., Grund, D., Berg, C., Wilhelm, R.: Timing predictability of cache replacement policies. Real-Time Syst. 37(2), 99\u2013122 (2007)","journal-title":"Real-Time Syst."},{"key":"2_CR51","unstructured":"Reineke, J., et al.: A definition and classification of timing anomalies. In: Mueller, F. (ed.) International Workshop on Worst-Case Execution Time Analysis (WCET) (2006)"},{"issue":"5","key":"2_CR52","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1275497.1275501","volume":"29","author":"X Rival","year":"2007","unstructured":"Rival, X., Mauborgne, L.: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5), 26 (2007). https:\/\/doi.org\/10.1145\/1275497.1275501","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR53","unstructured":"Schranzhofer, A., Chen, J.J., Thiele, L.: Timing predictability on multi-processor systems with shared resources. In: Workshop on Reconciling Performance with Predictability (RePP), 2010 (2009)"},{"issue":"7","key":"2_CR54","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"AC Shaw","year":"1989","unstructured":"Shaw, A.C.: Reasoning about time in higher-level language software. IEEE Trans. Softw. Eng. 15(7), 875\u2013889 (1989). https:\/\/doi.org\/10.1109\/32.29487","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR55","unstructured":"Software Engineering Institute SEI - CERT Division: SEI CERT C Coding Standard - Rules for Developing Safe, Reliable, and Secure Systems. Carnegie Mellon University (2016)"},{"key":"2_CR56","unstructured":"The MITRE Corporation: CWE \u2013 Common Weakness Enumeration. https:\/\/cwe.mitre.org. Accessed Sep 2017"},{"key":"2_CR57","unstructured":"Theiling, H.: Extracting safe and precise control flow from binaries. In: Proceedings of the 7th Conference on Real-Time Computing Systems and Applications. Cheju Island, South Korea (2000)"},{"key":"2_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-45828-X_26","volume-title":"Embedded Software","author":"H Theiling","year":"2002","unstructured":"Theiling, H.: ILP-based interprocedural path analysis. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 349\u2013363. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45828-X_26"},{"key":"2_CR59","doi-asserted-by":"publisher","unstructured":"Thesing, S.: Modeling a system controller for timing analysis. In: Min, S.L., Yi, W. (eds.) Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, 22-25 October 2006, Seoul, Korea, pp. 292\u2013300. ACM (2006). https:\/\/doi.org\/10.1145\/1176887.1176929","DOI":"10.1145\/1176887.1176929"},{"issue":"2\u20133","key":"2_CR60","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L Thiele","year":"2004","unstructured":"Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Syst. 28(2\u20133), 157\u2013177 (2004). https:\/\/doi.org\/10.1023\/B:TIME.0000045316.66276.6e","journal-title":"Real-Time Syst."},{"key":"2_CR61","unstructured":"Transcript of Morning Trial Proceedings had on the 14th day of October, 2013 Before the Honorable Patricia G. Parrish, District Judge, Case No. CJ-2008-7969 (2013). http:\/\/www.safetyresearch.net\/Library\/Bookout_v_Toyota_Barr_REDACTED.pdf"},{"key":"2_CR62","doi-asserted-by":"publisher","unstructured":"Venet, A.: The gauge domain: scalable analysis of linear inequality invariants (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_15","DOI":"10.1007\/978-3-642-31424-7_15"},{"key":"2_CR63","doi-asserted-by":"publisher","unstructured":"Wegener, S.: Towards multicore WCET analysis. In: Reineke, J. (ed.) 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). OpenAccess Series in Informatics (OASIcs), vol.\u00a057, pp. 1\u201312. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2017). https:\/\/doi.org\/10.4230\/OASIcs.WCET.2017.7, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2017\/7311","DOI":"10.4230\/OASIcs.WCET.2017.7"},{"key":"2_CR64","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-75058-3_9","volume-title":"Advances in Aeronautical Informatics","author":"R Wilhelm","year":"2018","unstructured":"Wilhelm, R., Reineke, J., Wegener, S.: Keeping up with real time. In: Durak, U., Becker, J., Hartmann, S., Voros, N.S. (eds.) Advances in Aeronautical Informatics, pp. 121\u2013133. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75058-3_9"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44245-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T08:14:08Z","timestamp":1707380048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44245-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031442445","9783031442452"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44245-2_2","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":"24 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Static Analysis Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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":"22 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/sas-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}