{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:23:00Z","timestamp":1742919780433,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030575052"},{"type":"electronic","value":"9783030575069"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57506-9_4","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T12:30:39Z","timestamp":1599741039000},"page":"34-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Generation of Co-simulation Algorithms Subject to Simulator Contracts"],"prefix":"10.1007","author":[{"given":"Cl\u00e1udio","family":"Gomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casper","family":"Thule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levi","family":"L\u00facio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,10]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Arnold, M., Clauss, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation V2.0. Arch. Mech. Eng. LX(1), 75 (2013). \nhttps:\/\/doi.org\/10.2478\/meceng-2013-0005","DOI":"10.2478\/meceng-2013-0005"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Bastian, J., Clau\u00df, C., Wolf, S., Schneider, P.: Master for co-simulation using FMI. In: 8th International Modelica Conference, pp. 115\u2013120. Link\u00f6ping University Electronic Press, Link\u00f6pings universitet (2011). \nhttps:\/\/doi.org\/10.3384\/ecp11063115","DOI":"10.3384\/ecp11063115"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, pp. 173\u2013184. Link\u00f6ping University Electronic Press (2012). \nhttps:\/\/doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"4_CR4","unstructured":"FMI: Functional Mock-up Interface for Model Exchange and Co-Simulation (2014). \nhttps:\/\/fmi-standard.org\/downloads\/"},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: Formal definitions of simulation interfaces in a continuous\/discrete co-simulation tool. In: 2006 Seventeenth IEEE International Workshop on Rapid System Prototyping, pp. 186\u2013192 (2006). \nhttps:\/\/doi.org\/10.1109\/RSP.2006.18","DOI":"10.1109\/RSP.2006.18"},{"key":"4_CR6","unstructured":"Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: A formalization of global simulation models for continuous\/discrete systems. In: Summer Computer Simulation Conference, pp. 559\u2013566. Society for Computer Simulation International San Diego, CA, USA (2007). Series Title: SCSC \u201907"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: Semantics for model-based validation of continuous\/discrete systems. In: Design, Automation and Test in Europe, pp. 498\u2013503. ACM (2008). \nhttps:\/\/doi.org\/10.1145\/1403375.1403493\n\n, series Title: DATE \u201908","DOI":"10.1145\/1403375.1403493"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Gheorghe, L., Nicolescu, G., Boucheneb, H.: Semantics for rollback-based continuous\/discrete simulation. In: IEEE International Behavioral Modeling and Simulation Workshop, BMAS 2008, pp. 106\u2013111 (2008). \nhttps:\/\/doi.org\/10.1109\/BMAS.2008.4751250","DOI":"10.1109\/BMAS.2008.4751250"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-319-74781-1_24","volume-title":"Software Engineering and Formal Methods","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Karalis, P., Navarro-L\u00f3pez, E.M., Vangheluwe, H.: Approximated stability analysis of bi-modal hybrid co-simulation scenarios. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 345\u2013360. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74781-1_24"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gomes, C., Lucio, L., Vangheluwe, H.: Semantics of co-simulation algorithms with simulator contracts. In: First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (2019, submitted)","DOI":"10.1109\/MODELS-C.2019.00124"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1177\/0037549718759775","volume":"95","author":"C Gomes","year":"2018","unstructured":"Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. Simulation 95(3), 1\u201329 (2018). \nhttps:\/\/doi.org\/10.1177\/0037549718759775","journal-title":"Simulation"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Gomes, C., et al.: HintCO - hint-based configuration of co-simulations. In: International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 57\u201368 (2019). \nhttps:\/\/doi.org\/10.5220\/0007830000570068","DOI":"10.5220\/0007830000570068"},{"key":"4_CR13","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. Technical report, University of Antwerp (2017). \nhttp:\/\/arxiv.org\/abs\/1702.00686"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), Article 49 (2018). \nhttps:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10617-014-9156-3","volume":"19","author":"LG Iugan","year":"2015","unstructured":"Iugan, L.G., Boucheneb, H., Nicolescu, G.: A generic conceptual framework based on formal representation for the design of continuous\/discrete co-simulation tools. Des. Autom. Embedded Syst. 19(3), 243\u2013275 (2015). \nhttps:\/\/doi.org\/10.1007\/s10617-014-9156-3","journal-title":"Des. Autom. Embedded Syst."},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1076\/1387-3954(200006)6:2;1-M;FT093","volume":"6","author":"R K\u00fcbler","year":"2000","unstructured":"K\u00fcbler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Modelling Dyn. Syst. 6(2), 93\u2013113 (2000). \nhttps:\/\/doi.org\/10.1076\/1387-3954(200006)6:2;1-M;FT093","journal-title":"Math. Comput. Modelling Dyn. Syst."},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Schweiger, G., et al.: Functional mock-up interface: an empirical survey identifies research challenges and current barriers. In: Proceedings of the American Modelica Conference, pp. 138\u2013146. Link\u00f6ping University Electronic Press, Link\u00f6pings Universitet (2018). \nhttps:\/\/doi.org\/10.3384\/ecp18154138","DOI":"10.3384\/ecp18154138"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.simpat.2019.05.001","volume":"95","author":"G Schweiger","year":"2019","unstructured":"Schweiger, G., et al.: An empirical survey on co-simulation: promising standards, challenges and research needs. Simul. Modelling Practice Theory 95, 148\u2013163 (2019). \nhttps:\/\/doi.org\/10.1016\/j.simpat.2019.05.001","journal-title":"Simul. Modelling Practice Theory"},{"key":"4_CR19","doi-asserted-by":"publisher","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). \nhttps:\/\/doi.org\/10.1115\/1.4028503","DOI":"10.1115\/1.4028503"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-030-04771-9_1","volume-title":"Software Technologies: Applications and Foundations","author":"C Thule","year":"2018","unstructured":"Thule, C., Gomes, C., Deantoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards the verification of hybrid co-simulation algorithms. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 5\u201320. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-04771-9_1"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.) Software Engineering and Formal Methods, vol. 10729, pp. 453\u2013468. Springer, Heidelberg (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74781-1_31","DOI":"10.1007\/978-3-319-74781-1_31"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57506-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T12:37:05Z","timestamp":1599741425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57506-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030575052","9783030575069"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57506-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","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":"45","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":"13","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":"7","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":"29% - 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","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":"1","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)"}}]}}