{"id":"https://openalex.org/W2889501800","doi":"https://doi.org/10.5281/zenodo.1306062","title":"Towards Adaptive Mils System: Model- Based Design, Verification And Run-Time Adaptation","display_name":"Towards Adaptive Mils System: Model- Based Design, Verification And Run-Time Adaptation","publication_year":2018,"publication_date":"2018-06-25","ids":{"openalex":"https://openalex.org/W2889501800","doi":"https://doi.org/10.5281/zenodo.1306062","mag":"2889501800"},"language":"en","primary_location":{"id":"pmh:oai:figshare.com:article/11494032","doi":null,"is_oa":true,"landing_page_url":"https://figshare.com/articles/Towards_adaptive_MILS_System_Model-_Based_Design_Verification_and_Run-Time_Adaptation/11494032","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/Towards_adaptive_MILS_System_Model-_Based_Design_Verification_and_Run-Time_Adaptation/11494032","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017426974","display_name":"Alessandro Cimatti","orcid":"https://orcid.org/0000-0002-1315-6990","observed_orcids":["https://orcid.org/0000-0002-1315-6990"]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cimatti, Alessandro","raw_affiliation_strings":["Fondazione Bruno Kessler"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010957823","display_name":"Rance DeLong","orcid":"https://orcid.org/0000-0002-6089-4734","observed_orcids":["https://orcid.org/0000-0002-6089-4734"]},"institutions":[{"id":"https://openalex.org/I2800220363","display_name":"The Open Group","ror":"https://ror.org/01j5zzr31","country_code":"GB","type":"other","lineage":["https://openalex.org/I2800220363"]},{"id":"https://openalex.org/I4210118598","display_name":"The Open Group (United States)","ror":"https://ror.org/02dbe0m82","country_code":"US","type":"company","lineage":["https://openalex.org/I4210118598"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"DeLong, Rance","raw_affiliation_strings":["The Open Group"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Open Group","institution_ids":["https://openalex.org/I2800220363","https://openalex.org/I4210118598"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019112588","display_name":"Ivan Stojic","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stojic, Ivan","raw_affiliation_strings":["Fondazione Bruno Kessler"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018618502","display_name":"Stefano Tonetta","orcid":"https://orcid.org/0000-0001-9091-7899","observed_orcids":["https://orcid.org/0000-0001-9091-7899"]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tonetta, Stefano","raw_affiliation_strings":["Fondazione Bruno Kessler"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11487565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.611299991607666,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.611299991607666,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.19120000302791595,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.06019999831914902,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/model-in-the-loop","display_name":"model-in-the-loop","score":0.6579999923706055},{"id":"https://openalex.org/keywords/model-based-design","display_name":"model-based design","score":0.9679999947547913},{"id":"https://openalex.org/keywords/model-verification","display_name":"model verification","score":0.6129999756813049},{"id":"https://openalex.org/keywords/runtime-adaptation","display_name":"runtime adaptation","score":0.9869999885559082},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.40799999237060547}],"concepts":[{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6117725372314453},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5949895977973938},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3995814621448517},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3292657732963562},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.08982953429222107},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:figshare.com:article/11494032","doi":null,"is_oa":true,"landing_page_url":"https://figshare.com/articles/Towards_adaptive_MILS_System_Model-_Based_Design_Verification_and_Run-Time_Adaptation/11494032","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.5281/zenodo.1306062","doi":"https://doi.org/10.5281/zenodo.1306062","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.1306062","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.1306063","doi":"https://doi.org/10.5281/zenodo.1306063","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.1306063","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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/11494032","doi":null,"is_oa":true,"landing_page_url":"https://figshare.com/articles/Towards_adaptive_MILS_System_Model-_Based_Design_Verification_and_Run-Time_Adaptation/11494032","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2970422021","https://openalex.org/W2889451386","https://openalex.org/W199986627","https://openalex.org/W6982565357","https://openalex.org/W7098064780","https://openalex.org/W2181691519","https://openalex.org/W569091407","https://openalex.org/W2295438787","https://openalex.org/W7099011510","https://openalex.org/W2527497092"],"abstract_inverted_index":{"Presentation":[0],"to":[1],"conference":[2],"paper:":[3],"Towards":[4],"adaptive":[5],"MILS":[6],"System:":[7],"Model-":[8],"Based":[9],"Design,":[10],"Verification":[11],"and":[12],"Run-Time":[13],"Adaptation":[14]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2018-09-07T00:00:00"}