{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:12:16Z","timestamp":1743109936956,"version":"3.40.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031198489"},{"type":"electronic","value":"9783031198496"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19849-6_15","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T15:03:32Z","timestamp":1666191812000},"page":"242-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Verification of\u00a0Correct-by-Construction Driving Maneuvers"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Kittelmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Runge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tabea","family":"Bordis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software and Systems, pp. 273\u2013278 (2011)","DOI":"10.1145\/2038642.2038685"},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Angermann, A., Beuschel, M., Rau, M., Wohlfarth, U.: Matlab-simulink-stateflow. De Gruyter Oldenbourg (2020)","DOI":"10.1515\/9783110636420"},{"key":"15_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110746","volume":"171","author":"S Bernardi","year":"2021","unstructured":"Bernardi, S., Gentile, U., Marrone, S., Merseguer, J., Nardone, R.: Security modelling and formal verification of survivability properties: application to cyber-physical systems. J. Syst. Softw. 171, 110746 (2021)","journal-title":"J. Syst. Softw."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proceedings of the International Workshop on Software and Performance (WOSP), pp. 115\u2013124 (2007)","DOI":"10.1145\/1216993.1217012"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Bordis, T., Runge, T., Kn\u00fcppel, A., Th\u00fcm, T., Schaefer, I.: Variational correctness-by-construction. In: Cordy, M., Acher, M., Beuche, D., Saake, G. (eds.) Proceedings of the International Working Conference on Variability Modelling of Software-Intensive Systems (VAMOS), pp. 7:1\u20137:9. ACM (2020). https:\/\/doi.org\/10.1145\/3377024.3377038","DOI":"10.1145\/3377024.3377038"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Branicky, M.S.: Introduction to hybrid systems. In: Hristu-Varsakelis, D., Levine, W.S. (eds.) Handbook of Networked and Embedded Control Systems. Control Engineering, pp. 91\u2013116. Birkh\u00e4user, Boston (2005). https:\/\/doi.org\/10.1007\/0-8176-4404-0_5","DOI":"10.1007\/0-8176-4404-0_5"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Buzdalov, D., Khoroshilov, A.: A discrete-event simulator for early validation of avionics systems. In: Proceedings of the Workshop on Architecture Centric Virtual Integration (ACVIP), p. 28 (2014)","DOI":"10.15514\/SYRCOSE-2014-8-9"},{"issue":"4","key":"15_CR9","first-page":"395","volume":"35","author":"H Elmqvist","year":"2001","unstructured":"Elmqvist, H., Mattsson, S.E., Otter, M.: Object-oriented and hybrid modeling in modelica. J. Eur. des syst\u00e8mes automatis\u00e9s 35(4), 395\u2013404 (2001)","journal-title":"J. Eur. des syst\u00e8mes automatis\u00e9s"},{"key":"15_CR10","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"PH Feiler","year":"2012","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)"},{"issue":"7","key":"15_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R France","year":"1998","unstructured":"France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Comput. Stand. Interfaces 19(7), 325\u2013334 (1998)","journal-title":"Comput. Stand. Interfaces"},{"key":"15_CR12","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: the Systems Modeling Language. Morgan Kaufmann, San Francisco (2014)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","volume-title":"Automated Deduction - CADE-25","author":"N Fulton","year":"2015","unstructured":"Fulton, N., Mitsch, S., Quesel, J.-D., V\u00f6lp, M., Platzer, A.: KeYmaera\u00a0X: an axiomatic tactical theorem prover for hybrid systems. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 527\u2013538. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_36"},{"key":"15_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2020.102095","volume":"103","author":"FJ G\u00f3mez","year":"2020","unstructured":"G\u00f3mez, F.J., Aguilera, M.A., Olsen, S.H., Vanfretti, L.: Software requirements for interoperable and standard-based power system modeling tools. Simul. Model. Pract. Theory 103, 102095 (2020)","journal-title":"Simul. Model. Pract. Theory"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Goswami, D., et al.: Challenges in automotive cyber-physical systems design, pp. 346\u2013354 (2012). https:\/\/doi.org\/10.1109\/SAMOS.2012.6404199","DOI":"10.1109\/SAMOS.2012.6404199"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 265\u2013292. Springer, Berlin, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-59615-5_13","DOI":"10.1007\/978-3-642-59615-5_13"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Jue, W., Song, Y., Wu, X., Dai, W.: A semi-formal requirement modeling pattern for designing industrial cyber-physical systems. In: Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IES), vol. 1, pp. 2883\u20132888. IEEE (2019)","DOI":"10.1109\/IECON.2019.8926665"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Kang, E., Adepu, S., Jackson, D., Mathur, A.P.: Model-based security analysis of a water treatment system. In: Proceedings of the International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pp. 22\u201328. IEEE (2016)","DOI":"10.1145\/2897035.2897041"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Kittelmann, A.: Maneuver-centric formal engineering approach for cyber-physical systemsA. Ph.D. thesis, Braunschweig, Technische Universit\u00e4t Carolo-Wilhelmina zu Braunschweig (2022). https:\/\/doi.org\/10.24355\/dbbs.084-202204121019-0","DOI":"10.24355\/dbbs.084-202204121019-0"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-030-45234-6_10","volume-title":"Fundamental Approaches to Software Engineering","author":"A Kn\u00fcppel","year":"2020","unstructured":"Kn\u00fcppel, A., Jatzkowski, I., Nolte, M., Th\u00fcm, T., Runge, T., Schaefer, I.: Skill-based verification of cyber-physical\u00a0systems. In: FASE 2020. LNCS, vol. 12076, pp. 203\u2013223. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_10"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-030-61362-4_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","author":"A Kn\u00fcppel","year":"2020","unstructured":"Kn\u00fcppel, A., Runge, T., Schaefer, I.: Scaling correctness-by-construction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12476, pp. 187\u2013207. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_10"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: Proceedings of the International Conference on Intelligent Robots and Systems (IROS), vol. 3, pp. 2149\u20132154. IEEE (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"15_CR24","doi-asserted-by":"publisher","unstructured":"Koubaa, A.: Robot Operating System (ROS). The Complete Reference (Volume 1) SCI, vol. 625. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-26054-9","DOI":"10.1007\/978-3-319-26054-9"},{"issue":"1","key":"15_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/JPROC.2011.2165270","volume":"100","author":"I Lee","year":"2012","unstructured":"Lee, I., et al.: Challenges and research directions in medical cyber-physical systems. Proc. IEEE 100(1), 75\u201390 (2012). https:\/\/doi.org\/10.1109\/JPROC.2011.2165270","journal-title":"Proc. IEEE"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Lin, Q., Adepu, S., Verwer, S., Mathur, A.: Tabor: a graphical model-based approach for anomaly detection in industrial control systems. In: Proceedings of the Asia Conference on Computer and Communications Security (ASIACCS), pp. 525\u2013536 (2018)","DOI":"10.1145\/3196494.3196546"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Mancini, T., et al.: Parallel statistical model checking for safety verification in smart grids. In: Proceedings of the International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), pp. 1\u20136. IEEE (2018)","DOI":"10.1109\/SmartGridComm.2018.8587416"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BFb0053571","volume-title":"Programming Languages and Systems","author":"F Maraninchi","year":"1998","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Mode-automata: about modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 185\u2013199. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053571"},{"issue":"3","key":"15_CR29","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0167-6423(02)00093-X","volume":"46","author":"F Maraninchi","year":"2003","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci. Comput. Program. 46(3), 219\u2013254 (2003)","journal-title":"Sci. Comput. Program."},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Michniewicz, J., Reinhart, G.: Cyber-physical robotics - automated analysis, programming and configuration of robot cells based on cyber-physical-systems. Proc. Technol. 15, 566\u2013575 (2014). https:\/\/doi.org\/10.1016\/j.protcy.2014.09.017","DOI":"10.1016\/j.protcy.2014.09.017"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Misson, H.A., Gon\u00e7alves, F.S., Becker, L.B.: Applying integrated formal methods on cps design. In: Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC), pp. 1\u20138. IEEE (2019)","DOI":"10.1109\/SBESC49506.2019.9046084"},{"issue":"1","key":"15_CR32","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-016-0241-z","volume":"49","author":"S Mitsch","year":"2016","unstructured":"Mitsch, S., Platzer, A.: Modelplex: verified runtime validation of verified cyber-physical system models. Formal Methods Syst. Des. 49(1), 33\u201374 (2016)","journal-title":"Formal Methods Syst. Des."},{"key":"15_CR33","doi-asserted-by":"publisher","unstructured":"M\u00fcller, A., Mitsch, S., Retschitzegger, W., Schwinger, W.: Towards cps verification engineering. In: Proceedings of the International Conference on Information Integration and Web-Based Applications & Services, pp. 367\u2013371. iiWAS 2020, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3428757.3429146","DOI":"10.1145\/3428757.3429146"},{"key":"15_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-030-23703-5_5","volume-title":"Cyber Physical Systems. Model-Based Design","author":"A M\u00fcller","year":"2019","unstructured":"M\u00fcller, A., Mitsch, S., Schwinger, W., Platzer, A.: A component-based hybrid systems verification and implementation tool in Keymaera\u00a0x (tool demonstration). In: Chamberlain, R., Taha, W., T\u00f6rngren, M. (eds.) CyPhy\/WESE -2018. LNCS, vol. 11615, pp. 91\u2013110. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23703-5_5"},{"issue":"3","key":"15_CR35","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/s10270-019-00753-w","volume":"19","author":"M Neghina","year":"2019","unstructured":"Neghina, M., Zamfirescu, C.-B., Pierce, K.: Early-stage analysis of cyber-physical production systems through collaborative modelling. Softw. Syst. Model. 19(3), 581\u2013600 (2019). https:\/\/doi.org\/10.1007\/s10270-019-00753-w","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"15_CR36","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2179","volume":"32","author":"L Pagliari","year":"2020","unstructured":"Pagliari, L., Mirandola, R., Trubiani, C.: Engineering cyber-physical systems through performance-based modelling and analysis: a case study experience report. J. Softw. Evol. Process 32(1), e2179 (2020)","journal-title":"J. Softw. Evol. Process"},{"issue":"2","key":"15_CR37","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143\u2013189 (2008). https:\/\/doi.org\/10.1007\/s10817-008-9103-8","journal-title":"J. Autom. Reason."},{"key":"15_CR38","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-642-14509-4","DOI":"10.1007\/978-3-642-14509-4"},{"key":"15_CR39","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logics of dynamical systems. In: Proceedings of the International Symposium on Logic in Computer Science (LICS), pp. 13\u201324. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/LICS.2012.13","DOI":"10.1109\/LICS.2012.13"},{"key":"15_CR40","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Foundations of Cyber-physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0","DOI":"10.1007\/978-3-319-63588-0"},{"key":"15_CR41","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation: Using Ptolemy II, vol. 1. Ptolemy.org Berkeley (2014)"},{"key":"15_CR42","unstructured":"Quigley, M., et al.: Ros: an open-source robot operating system. In: Procedings of the Workshop on Open Source Software, vol. 3, p. 5. Kobe, Japan (2009)"},{"key":"15_CR43","doi-asserted-by":"publisher","unstructured":"Runge, T., Kn\u00fcppel, A., Th\u00fcm, T., Schaefer, I.: Lattice-based information flow control-by-construction for security-by-design, pp. 44\u201354. ACM (2020). https:\/\/doi.org\/10.1145\/3372020.3391565","DOI":"10.1145\/3372020.3391565"},{"key":"15_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-030-16722-6_2","volume-title":"Fundamental Approaches to Software Engineering","author":"T Runge","year":"2019","unstructured":"Runge, T., Schaefer, I., Cleophas, L., Th\u00fcm, T., Kourie, D., Watson, B.W.: Tool support for correctness-by-construction. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 25\u201342. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_2"},{"issue":"8","key":"15_CR45","doi-asserted-by":"publisher","first-page":"1834","DOI":"10.1109\/JPROC.2012.2235131","volume":"101","author":"K Sampigethaya","year":"2013","unstructured":"Sampigethaya, K., Poovendran, R.: Aviation cyber-physical systems: Foundations for future aircraft and air transport. Proc. IEEE 101(8), 1834\u20131855 (2013). https:\/\/doi.org\/10.1109\/JPROC.2012.2235131","journal-title":"Proc. IEEE"},{"key":"15_CR46","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.scico.2016.09.007","volume":"133","author":"C Seceleanu","year":"2017","unstructured":"Seceleanu, C., et al.: Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133, 216\u2013242 (2017)","journal-title":"Sci. Comput. Program."},{"key":"15_CR47","series-title":"Springer Proceedings in Advanced Robotics","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/978-3-319-67361-5_40","volume-title":"Field and Service Robotics","author":"S Shah","year":"2018","unstructured":"Shah, S., Dey, D., Lovett, C., Kapoor, A.: AirSim: high-fidelity visual and physical simulation for autonomous vehicles. In: Hutter, M., Siegwart, R. (eds.) Field and Service Robotics. SPAR, vol. 5, pp. 621\u2013635. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-67361-5_40"},{"key":"15_CR48","doi-asserted-by":"crossref","unstructured":"Zhang, L.: Specifying and modeling automotive cyber physical systems. In: Proceedings of the International Conference on Computational Science and Engineering (CSE), pp. 603\u2013610. IEEE (2013)","DOI":"10.1109\/CSE.2013.95"},{"key":"15_CR49","doi-asserted-by":"crossref","unstructured":"Zhang, L.: Modeling large scale complex cyber physical control systems based on system of systems engineering approach. In: Proceedings of the International Conference on Automation and Computing (ICAC), pp. 55\u201360. IEEE (2014)","DOI":"10.1109\/IConAC.2014.6935460"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19849-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T03:34:03Z","timestamp":1728185643000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19849-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031198489","9783031198496"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19849-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}