{"id":"https://openalex.org/W2592147877","doi":"https://doi.org/10.1109/tcad.2017.2681076","title":"Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking","display_name":"Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking","publication_year":2017,"publication_date":"2017-03-11","ids":{"openalex":"https://openalex.org/W2592147877","doi":"https://doi.org/10.1109/tcad.2017.2681076","mag":"2592147877"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2017.2681076","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2017.2681076","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01644285","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045055662","display_name":"Yongxiang Bao","orcid":null},"institutions":[{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Yongxiang Bao","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)","institution_ids":["https://openalex.org/I114772536"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)","institution_ids":["https://openalex.org/I114772536"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020896290","display_name":"Qi Zhu","orcid":"https://orcid.org/0000-0002-7700-4099"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Zhu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of California, Riverside, CA, USA","CSE - Department of Computer Science & Engineering [Riverside] (University of California, Riverside 900 University Ave. Riverside, CA 92521 - \u00c9tats-Unis)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of California, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]},{"raw_affiliation_string":"CSE - Department of Computer Science & Engineering [Riverside] (University of California, Riverside 900 University Ave. Riverside, CA 92521 - \u00c9tats-Unis)","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042163232","display_name":"Tongquan Wei","orcid":"https://orcid.org/0000-0002-7421-1711"},"institutions":[{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]},{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Tongquan Wei","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute [Shanga\u00ef] (ECNU Shanghai - Chine)","institution_ids":["https://openalex.org/I114772536"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090695840","display_name":"Fr\u00e9d\u00e9ric Mallet","orcid":"https://orcid.org/0000-0002-9088-9821"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frederic Mallet","raw_affiliation_strings":["Universit\u00e9 Cote d\u2019Azur, CNRS, INRIA I3S, Sophia Antipolis, France","Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Cote d\u2019Azur, CNRS, INRIA I3S, Sophia Antipolis, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4390039363"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis  - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110856713","display_name":"Tingliang Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119332","display_name":"TE Connectivity (China)","ror":"https://ror.org/02drbqt14","country_code":"CN","type":"company","lineage":["https://openalex.org/I136150977","https://openalex.org/I4210119332"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tingliang Zhou","raw_affiliation_strings":["Casco Signal Ltd, Shanghai, China","Casco Signal Ltd [Shanghai] (Unit C/D, 27/F, Kaixuanmen Mansion\r\n428 Tianmu Zhonglu\r\nShanghai,  200070 - Chine)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Casco Signal Ltd, Shanghai, China","institution_ids":["https://openalex.org/I4210119332"]},{"raw_affiliation_string":"Casco Signal Ltd [Shanghai] (Unit C/D, 27/F, Kaixuanmen Mansion\r\n428 Tianmu Zhonglu\r\nShanghai,  200070 - Chine)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8332,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.86364767,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"36","issue":"12","first_page":"1989","last_page":"2002"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.862270712852478},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6247124075889587},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5390272736549377},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5376322269439697},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5274983644485474},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4480672776699066},{"id":"https://openalex.org/keywords/design-language","display_name":"Design language","score":0.4302710294723511},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4254511594772339},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4234755039215088},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38961729407310486},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2584279775619507},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2082185447216034},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18492960929870605},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18431368470191956},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.14548629522323608}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.862270712852478},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6247124075889587},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5390272736549377},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5376322269439697},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5274983644485474},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4480672776699066},{"id":"https://openalex.org/C49777639","wikidata":"https://www.wikidata.org/wiki/Q5264354","display_name":"Design language","level":2,"score":0.4302710294723511},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4254511594772339},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4234755039215088},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38961729407310486},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2584279775619507},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2082185447216034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18492960929870605},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18431368470191956},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.14548629522323608},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tcad.2017.2681076","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2017.2681076","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01644285v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01644285","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:escholarship.org/ark:/13030/qt969383pp","is_oa":false,"landing_page_url":"https://escholarship.org/uc/item/969383pp","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol 36, iss 12","raw_type":"article"},{"id":"pmh:qt969383pp","is_oa":false,"landing_page_url":"http://www.escholarship.org/uc/item/969383pp","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bao, Yongxiang; Chen, Mingsong; Zhu, Qi; Wei, Tongquan; Mallet, Frederic; & Zhou, Tingliang. (2017). Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(12), 1989 - 2002. doi: 10.1109/TCAD.2017.2681076. UC Riverside: Center for Environmental Research and Technology. Retrieved from: http://www.escholarship.org/uc/item/969383pp","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01644285v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01644285","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4478542623","display_name":null,"funder_award_id":"61672230","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5033669326","display_name":null,"funder_award_id":"CCF-1553757","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7998612786","display_name":null,"funder_award_id":"91418203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8113838253","display_name":null,"funder_award_id":"CCF-1646381","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8507749693","display_name":null,"funder_award_id":"16ZR1409000","funder_id":"https://openalex.org/F4320309612","funder_display_name":"Natural Science Foundation of Shanghai"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309612","display_name":"Natural Science Foundation of Shanghai","ror":null},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W47314551","https://openalex.org/W72684053","https://openalex.org/W107352449","https://openalex.org/W159348729","https://openalex.org/W296769721","https://openalex.org/W1590150946","https://openalex.org/W1965612527","https://openalex.org/W1977409260","https://openalex.org/W2007839802","https://openalex.org/W2036104167","https://openalex.org/W2038211318","https://openalex.org/W2044667269","https://openalex.org/W2048719801","https://openalex.org/W2070874614","https://openalex.org/W2083076268","https://openalex.org/W2113676016","https://openalex.org/W2158768907","https://openalex.org/W2163626018","https://openalex.org/W2166423024","https://openalex.org/W2169239645","https://openalex.org/W2184985296","https://openalex.org/W2345889518","https://openalex.org/W2395142761","https://openalex.org/W2474266847","https://openalex.org/W4247134586","https://openalex.org/W6604385333","https://openalex.org/W6711973360"],"related_works":["https://openalex.org/W2746280673","https://openalex.org/W1495105673","https://openalex.org/W2095644384","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W3130685677","https://openalex.org/W42165","https://openalex.org/W2020061635","https://openalex.org/W1968401573"],"abstract_inverted_index":{"The":[0],"hybrid":[1,29,80,90],"architecture":[2],"analysis":[3,27],"and":[4,19,38,123],"design":[5],"language":[6],"(AADL)":[7],"has":[8],"been":[9],"proposed":[10],"to":[11,34,92],"model":[12,70],"the":[13,24,52,94,131,143],"interactions":[14],"between":[15],"embedded":[16],"control":[17,138],"systems":[18],"continuous":[20],"physical":[21],"environment.":[22,60],"However,":[23],"worst-case":[25],"performance":[26,85,124],"of":[28,78,96,104,119,135,145],"AADL":[30,81,91,111],"designs":[31,82,112],"often":[32],"leads":[33],"overly":[35],"pessimistic":[36],"estimations,":[37],"is":[39],"not":[40],"suitable":[41],"for":[42],"accurate":[43],"reasoning":[44],"about":[45],"overall":[46],"system":[47,53,139],"performance,":[48],"in":[49],"particular":[50],"when":[51],"closely":[54],"interacts":[55],"with":[56,114],"an":[57],"uncertain":[58],"external":[59],"To":[61],"address":[62],"this":[63,65],"challenge,":[64],"paper":[66],"proposes":[67],"a":[68,102],"statistical":[69],"checking-based":[71],"framework":[72],"that":[73,107],"can":[74,108],"perform":[75],"quantitative":[76],"evaluation":[77],"uncertainty-aware":[79],"against":[83],"various":[84],"queries.":[86],"Our":[87],"approach":[88],"extends":[89],"support":[93],"modeling":[95],"environment":[97],"uncertainties.":[98],"Furthermore,":[99],"we":[100],"propose":[101],"set":[103],"transformation":[105],"rules":[106],"automatically":[109],"translate":[110],"together":[113],"designers'":[115],"requirements":[116],"into":[117],"networks":[118],"priced":[120],"timed":[121],"automata":[122],"queries,":[125],"respectively.":[126],"Comprehensive":[127],"experimental":[128],"results":[129],"on":[130],"movement":[132],"authority":[133],"scenario":[134],"Chinese":[136],"train":[137],"level":[140],"3":[141],"demonstrate":[142],"effectiveness":[144],"our":[146],"approach.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}