{"id":"https://openalex.org/W2033803633","doi":"https://doi.org/10.1109/indin.2012.6301223","title":"Flexible logic-based Co-simulation of Modelica models","display_name":"Flexible logic-based Co-simulation of Modelica models","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2033803633","doi":"https://doi.org/10.1109/indin.2012.6301223","mag":"2033803633"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2012.6301223","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6301223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.openaccessrepository.it/record/22524","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063590018","display_name":"Luciano Baresi","orcid":"https://orcid.org/0000-0001-6467-837X"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luciano Baresi","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004708144","display_name":"Gianni Ferretti","orcid":"https://orcid.org/0000-0001-5321-8992"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianni Ferretti","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011799807","display_name":"Alberto Leva","orcid":"https://orcid.org/0000-0003-2165-2078"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Leva","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088212295","display_name":"Matteo Rossi","orcid":"https://orcid.org/0000-0002-9193-9560"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Rossi","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione - Politecnico di Milano 20133 Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063590018"],"corresponding_institution_ids":["https://openalex.org/I93860229"],"apc_list":null,"apc_paid":null,"fwci":0.6739,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70335983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"635","last_page":"640"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modelica","display_name":"Modelica","score":0.9672176837921143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.688528299331665},{"id":"https://openalex.org/keywords/co-simulation","display_name":"Co-simulation","score":0.5031751990318298},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4806453287601471},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4141908288002014},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3470446765422821},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.26728564500808716},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.20671400427818298}],"concepts":[{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.9672176837921143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.688528299331665},{"id":"https://openalex.org/C2780974030","wikidata":"https://www.wikidata.org/wiki/Q16951926","display_name":"Co-simulation","level":2,"score":0.5031751990318298},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4806453287601471},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4141908288002014},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3470446765422821},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.26728564500808716},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.20671400427818298}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/indin.2012.6301223","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6301223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","raw_type":"proceedings-article"},{"id":"pmh:oai:re.public.polimi.it:11311/688214","is_oa":false,"landing_page_url":"http://hdl.handle.net/11311/688214","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:zenodo.org:22524","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/22524","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"pmh:oai:zenodo.org:3444503","is_oa":true,"landing_page_url":"https://zenodo.org/record/3444503","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:22524","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/22524","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[{"score":0.7099999785423279,"display_name":"Life below water","id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W128769907","https://openalex.org/W1498489270","https://openalex.org/W1517125074","https://openalex.org/W1530920082","https://openalex.org/W1905380539","https://openalex.org/W1965539666","https://openalex.org/W1978438088","https://openalex.org/W1995359408","https://openalex.org/W2010806372","https://openalex.org/W2013878945","https://openalex.org/W2023095305","https://openalex.org/W2060095702","https://openalex.org/W2099529102","https://openalex.org/W2123441175","https://openalex.org/W2129575368","https://openalex.org/W2142534658","https://openalex.org/W2187188741","https://openalex.org/W3121954822","https://openalex.org/W3123425189","https://openalex.org/W6639701037","https://openalex.org/W6680870371"],"related_works":["https://openalex.org/W2295354872","https://openalex.org/W2028781436","https://openalex.org/W2362699659","https://openalex.org/W2731865733","https://openalex.org/W2287956884","https://openalex.org/W3097570118","https://openalex.org/W2349081241","https://openalex.org/W2289669281","https://openalex.org/W2160387138","https://openalex.org/W20421283"],"abstract_inverted_index":{"The":[0,21,39,98],"design":[1],"of":[2,11,15,24,34,104],"complex":[3],"embedded":[4],"software":[5],"systems":[6],"requires":[7],"the":[8,12,16,43,59,67,101],"careful":[9],"analysis":[10],"system":[13,60],"and":[14,106],"environment":[17,68],"it":[18,108],"interacts":[19],"with.":[20],"different":[22],"natures":[23],"these":[25],"two":[26,74],"elements":[27],"are":[28,76],"difficult":[29],"to":[30,50,71,78,80],"address":[31],"by":[32],"means":[33],"a":[35,56,110],"single":[36],"all-encompassing":[37],"technique/notation.":[38],"paper":[40,99],"proposes":[41],"MCA,":[42],"MADES":[44],"Co-simulation":[45],"Approach,":[46],"which":[47],"allows":[48],"designers":[49],"combine":[51],"different,":[52],"complementary":[53],"formalisms":[54],"in":[55],"seamless":[57],"manner:":[58],"is":[61,69,86],"rendered":[62],"through":[63],"logic":[64],"formulae,":[65],"while":[66],"demanded":[70],"Modelica.":[72],"These":[73],"models":[75],"input":[77],"MCA":[79,105],"produce":[81],"an":[82],"execution":[83],"trace":[84],"that":[85,90,92],"\u201ccompatible\u201d":[87],"with":[88],"them,":[89],"is,":[91],"does":[93],"not":[94],"violate":[95],"either":[96],"model.":[97],"introduces":[100],"theoretical":[102],"basis":[103],"exemplifies":[107],"on":[109],"case":[111],"study.":[112]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}