{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T08:51:27Z","timestamp":1771145487420,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,11,12]],"date-time":"2022-11-12T00:00:00Z","timestamp":1668211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,12]],"date-time":"2022-11-12T00:00:00Z","timestamp":1668211200000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10009-022-00686-8","type":"journal-article","created":{"date-parts":[[2022,11,12]],"date-time":"2022-11-12T07:03:58Z","timestamp":1668236638000},"page":"999-1024","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps"],"prefix":"10.1007","volume":"24","author":[{"given":"Simon Thrane","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Casper","family":"Thule","sequence":"additional","affiliation":[]},{"given":"Cl\u00e1udio","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Palmieri","sequence":"additional","affiliation":[]},{"given":"Emin Oguz","family":"Inci","sequence":"additional","affiliation":[]},{"given":"Frederik","family":"Madsen","sequence":"additional","affiliation":[]},{"given":"Jes\u00fas","family":"Alfonso","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 \u00c1ngel","family":"Castellanos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Manuel","family":"Rodriguez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,12]]},"reference":[{"key":"686_CR1","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: UNKNOWN (ed.) Cyber physical systems: Design challenges. (ed.UNKNOWN) International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). IEEE, Los Alamitos, CA, USA (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"686_CR2","doi-asserted-by":"crossref","unstructured":"Blockwitz, T., et al.: Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models. In: Otter, M., Zimmer, D. (eds.) Proceedings of 9th International Modelica Conference, pp. 173\u2013184. Link\u00f6ping University Electronic Press, Link\u00f6ping (2012)","DOI":"10.3384\/ecp12076173"},{"key":"686_CR3","doi-asserted-by":"crossref","unstructured":"K\u00fcbler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), (2000)","DOI":"10.1076\/1387-3954(200006)6:2;1-M;FT093"},{"key":"686_CR4","doi-asserted-by":"crossref","unstructured":"Gomes, C., Broman, D., Vangheluwe, H., Thule, C. & Larsen, P.\u00a0G. Co-simulation: a survey. ACM Computing Surveys 51\u00a0(3): (2018)","DOI":"10.1145\/3179993"},{"key":"686_CR5","unstructured":"FMI. Functional mock-up interface tools (2014). https:\/\/fmi-standard.org\/tools\/"},{"key":"686_CR6","volume-title":"Progress in Differential-Algebraic Equations","author":"M Arnold","year":"2014","unstructured":"Arnold, M., Clau\u00df, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Schops, S., Bartel, A., Gunther, M., ter Maten, E.J.W., Muller, P.C. (eds.) Progress in Differential-Algebraic Equations. Springer, Berlin, Heidelberg (2014)"},{"key":"686_CR7","doi-asserted-by":"crossref","unstructured":"Gomes, C., et al.: HintCO\u2014hint-based configuration of co-simulations. In: Obaidat, M.S., \u00d6ren, T.I., Szczerbicka, H. (eds.) Proc. Simultech\u201919. SciTePress, Setubal, Portugal (2019)","DOI":"10.5220\/0007830000570068"},{"key":"686_CR8","unstructured":"Oakes, B.J., et al.: Hint-based configuration of co-simulations with algebraic loops. In: Obaidat, M., Obaidat, M., Obaidat, M., \u00d6ren, T., Szczerbicka, H. (eds.) Proc. Simultech\u201919, Vol. 1260 of Advances in intelligent systems and computing. Springer, Setubal, Portugal (2020)"},{"key":"686_CR9","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Lausdahl, K., Larsen, P.G., Vangheluwe, H., Mazzara, M., Ober, I., Sala\u00fcn, G. (eds).: Stabilization technique in INTO-CPS. Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.), Proc. 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems, Vol. 11176 of LNCS, Springer, Cham (2018)","DOI":"10.1007\/978-3-030-04771-9_4"},{"issue":"5","key":"686_CR10","doi-asserted-by":"publisher","DOI":"10.1115\/1.4028503","volume":"10","author":"B Schweizer","year":"2015","unstructured":"Schweizer, B., Li, P., Lu, D.: Explicit and implicit cosimulation methods: stability and convergence analysis for different solver coupling approaches. J. Comput. Nonlinear Dyn. 10(5), 051007 (2015)","journal-title":"J. Comput. Nonlinear Dyn."},{"issue":"3","key":"686_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1177\/0037549718759775","volume":"95","author":"C Gomes","year":"2019","unstructured":"Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. J. Simul. 95(3), 241\u2013269 (2019)","journal-title":"J. Simul."},{"key":"686_CR12","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., Woodcock, J., Am\u00e1lio, N. Sampaio, A., Wang, F. (eds.), Behavioural models for FMI co-simulations. (eds Sampaio, A. & Wang, F.) Proc. ICTAC\u201916, Vol. 9965 of LNCS Springer, Cham (2016)","DOI":"10.1007\/978-3-319-46750-4_15"},{"key":"686_CR13","doi-asserted-by":"crossref","unstructured":"Hansen, S.T., Gomes, C., Larsen, P.G., van\u00a0de Pol, J., Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Synthesizing co-simulation algorithms with step negotiation and algebraic loop handling. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A., (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM\u201921), IEEE, Virginia, USA, (2021)","DOI":"10.23919\/ANNSIM52504.2021.9552073"},{"key":"686_CR14","doi-asserted-by":"crossref","unstructured":"Hansen, S.T., et al.: Verification of co-simulation algorithms subject to algebraic loops and adaptive steps. In: Lluch\u00a0Lafuente, A., Mavridou, A. (eds.) Proc. FMICS\u201921, Vol. 12863 of LNCS. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-85248-1_1"},{"key":"686_CR15","doi-asserted-by":"crossref","unstructured":"Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G. Maestro: The INTO-CPS co-simulation framework. Simulatio Modelling Practice and Theory 92 (2019). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1569190X1830193X","DOI":"10.1016\/j.simpat.2018.12.005"},{"key":"686_CR16","doi-asserted-by":"crossref","unstructured":"Broman, D. et\u00a0al.: Determinate composition of FMUs for co-simulation. In: Ernst, R., Sokolsky, O. (eds.), Proc. EMSOFT\u201913, IEEE, (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"686_CR17","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., L\u00facio, L., Vangheluwe, H., Larsen, P.G., Camara, J., Steffen, M. (eds): Generation of co-simulation algorithms subject to simulator contracts. In: Camara, J., Steffen, M. (ed.), Proc. SEFM\u201919 Collocated Workshops, Vol. 12226 of LNCS, Springer, Cham (2020)","DOI":"10.1007\/978-3-030-57506-9_4"},{"key":"686_CR18","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge, MA, USA (1999)"},{"key":"686_CR19","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge, Mass (2008)"},{"key":"686_CR20","unstructured":"Behrmann, G. et\u00a0al.: UNKNOWN (ed.) UPPAAL 4.0. (ed.UNKNOWN) Third International Conference on Quantitative Evaluation of Systems (QEST 2006), Springer, (2006)"},{"key":"686_CR21","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"686_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"B B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., et al.: UPPAAL\u2014Timed systems. In: B\u00e9rard, B., et al. (eds.) Systems and Software Verification: Model-Checking Techniques and Tools. Springer, Berlin, Heidelberg (2001)"},{"key":"686_CR23","doi-asserted-by":"crossref","unstructured":"Hansen, S.T., Thule, C., Gomes, C. Cleophas, L., Massink, M. (eds.), An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In: Cleophas, L., Massink, M. (eds.), Proc. SEFM\u201920 Collocated Workshops, Vol. 12524, Springer, Cham (2020)","DOI":"10.1007\/978-3-030-67220-1_22"},{"key":"686_CR24","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), (1975)","DOI":"10.1145\/360933.360975"},{"key":"686_CR25","volume-title":"Continuous System Simulation","author":"FE Cellier","year":"2010","unstructured":"Cellier, F.E., Kofman, E.: Continuous System Simulation. Springer, New York (2010)"},{"key":"686_CR26","doi-asserted-by":"crossref","unstructured":"Inci, E.O. et\u00a0al.: The effect and selection of solution sequence in co-simulation. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.), Proc. Annual Modeling and Simulation Conference (ANNSIM\u201921), IEEE, Virginia, USA (2021)","DOI":"10.23919\/ANNSIM52504.2021.9552130"},{"issue":"2","key":"686_CR27","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"RE Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"686_CR28","doi-asserted-by":"crossref","unstructured":"Alfonso, J. et\u00a0al.: Distributed simulation and testing for the design of a smart suspension. SAE International Journal of Connected and Automated Vehicles 3(2), (2020)","DOI":"10.4271\/12-03-02-0011"},{"key":"686_CR29","doi-asserted-by":"crossref","unstructured":"Gomes, C., Lucio, L., Vangheluwe, H., Burgue\u00f1o, L. et\u00a0al.: (eds) Semantics of co-simulation algorithms with simulator contracts. In: Burgue\u00f1o, L. et\u00a0al. (eds.), Proc. ACM\/IEEE MODELS\u201919, IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00124"},{"key":"686_CR30","doi-asserted-by":"crossref","unstructured":"Thule, C., et al.: Towards the verification of hybrid co-simulation algorithms. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) Proc. STAF\u201918 Collocated Workshops, Vol. 11176 of LNCS. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-04771-9_1"},{"key":"686_CR31","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N., Payne, R.J., Cavalcanti, A., Woodcock, J. Ogata, K., Lawford, M., Liu, S.: Checking SysML models for co-simulation. In: Ogata, K., Lawford, M., Liu, S. (eds.), Proc. ICFEM\u201916, Vol. 10009 of LNCS Springer, Cham (2016)","DOI":"10.1007\/978-3-319-47846-3_28"},{"key":"686_CR32","unstructured":"Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A. Cerone, A., Roveri, M.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.), Proc. SEFM\u201917 Collocated Workshops, Vol. 10729 of LNCS Springer, Cham (2017)"},{"key":"686_CR33","doi-asserted-by":"crossref","unstructured":"Jensen, P.G., Larsen, K.G., Legay, A., Nyman, U. UNKNOWN (ed.): Integrating tools: Co-simulation in UPPAAL using FMI-FMU. (ed.UNKNOWN) Proc. ICECCS\u201917, IEEE, Fukuoka (2017)","DOI":"10.1109\/ICECCS.2017.33"},{"key":"686_CR34","doi-asserted-by":"crossref","unstructured":"Palmieri, M., Bernardeschi, C., Masci, P.: A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3), (2020)","DOI":"10.1007\/s10270-019-00754-9"},{"key":"686_CR35","unstructured":"Tire size calculator (2021). https:\/\/tiresize.com\/calculator\/"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00686-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00686-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00686-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T01:33:21Z","timestamp":1728351201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00686-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,12]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["686"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00686-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,12]]},"assertion":[{"value":"19 October 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}