{"id":"https://openalex.org/W4281258807","doi":"https://doi.org/10.1186/s12859-022-04684-0","title":"Model verification tools: a computational framework for verification assessment of mechanistic agent-based models","display_name":"Model verification tools: a computational framework for verification assessment of mechanistic agent-based models","publication_year":2022,"publication_date":"2022-05-19","ids":{"openalex":"https://openalex.org/W4281258807","doi":"https://doi.org/10.1186/s12859-022-04684-0","pmid":"https://pubmed.ncbi.nlm.nih.gov/35590242"},"language":"en","primary_location":{"id":"doi:10.1186/s12859-022-04684-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12859-022-04684-0","pdf_url":"https://bmcbioinformatics.biomedcentral.com/counter/pdf/10.1186/s12859-022-04684-0","source":{"id":"https://openalex.org/S19032547","display_name":"BMC Bioinformatics","issn_l":"1471-2105","issn":["1471-2105"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320256","host_organization_name":"BioMed Central","host_organization_lineage":["https://openalex.org/P4310320256","https://openalex.org/P4310319965"],"host_organization_lineage_names":["BioMed Central","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Bioinformatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://bmcbioinformatics.biomedcentral.com/counter/pdf/10.1186/s12859-022-04684-0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004880055","display_name":"Giulia Russo","orcid":"https://orcid.org/0000-0001-6616-7856"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giulia Russo","raw_affiliation_strings":["Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025331591","display_name":"Giuseppe Alessandro Parasiliti Palumbo","orcid":"https://orcid.org/0000-0003-4646-9851"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Alessandro Parasiliti Palumbo","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Catania, 95125, Catania, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Catania, 95125, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003874484","display_name":"Marzio Pennisi","orcid":"https://orcid.org/0000-0003-0231-7653"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marzio Pennisi","raw_affiliation_strings":["Computer Science Institute, DiSIT, University of Eastern Piedmont, 15121, Alessandria, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Institute, DiSIT, University of Eastern Piedmont, 15121, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044340074","display_name":"Francesco Pappalardo","orcid":"https://orcid.org/0000-0003-1668-3320"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Francesco Pappalardo","raw_affiliation_strings":["Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy. francesco.pappalardo@unict.it","Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy. francesco.pappalardo@unict.it","institution_ids":["https://openalex.org/I39063666"]},{"raw_affiliation_string":"Department of Drug and Health Sciences, University of Catania, 95125, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044340074"],"corresponding_institution_ids":["https://openalex.org/I39063666"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":{"value":2790,"currency":"USD","value_usd":2790},"fwci":0.5118,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.55481945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"22","issue":"S14","first_page":"626","last_page":"626"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11829","display_name":"Mathematical Biology Tumor Growth","score":0.10220000147819519,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11829","display_name":"Mathematical Biology Tumor Growth","score":0.10220000147819519,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.09690000116825104,"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"}},{"id":"https://openalex.org/T12576","display_name":"vaccines and immunoinformatics approaches","score":0.09109999984502792,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7392001748085022},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7354502081871033},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6712439656257629},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5992078185081482},{"id":"https://openalex.org/keywords/in-silico","display_name":"In silico","score":0.5731276273727417},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5422829389572144},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5164039731025696},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.506461501121521},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4624747037887573},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44613438844680786},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.41915565729141235},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.32628631591796875},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.22700715065002441},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22615143656730652},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14695236086845398},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12508240342140198}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7392001748085022},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7354502081871033},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6712439656257629},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5992078185081482},{"id":"https://openalex.org/C2775905019","wikidata":"https://www.wikidata.org/wiki/Q192572","display_name":"In silico","level":3,"score":0.5731276273727417},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5422829389572144},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5164039731025696},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.506461501121521},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4624747037887573},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44613438844680786},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.41915565729141235},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32628631591796875},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.22700715065002441},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22615143656730652},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14695236086845398},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12508240342140198},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000086382","descriptor_name":"COVID-19","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000086382","descriptor_name":"COVID-19","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000086382","descriptor_name":"COVID-19","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000086382","descriptor_name":"COVID-19","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003625","descriptor_name":"Data Collection","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003625","descriptor_name":"Data Collection","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003625","descriptor_name":"Data Collection","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003625","descriptor_name":"Data Collection","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D032921","descriptor_name":"Consensus","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D032921","descriptor_name":"Consensus","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D032921","descriptor_name":"Consensus","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D032921","descriptor_name":"Consensus","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D035501","descriptor_name":"Uncertainty","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D035501","descriptor_name":"Uncertainty","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D035501","descriptor_name":"Uncertainty","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D035501","descriptor_name":"Uncertainty","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false}],"locations_count":4,"locations":[{"id":"doi:10.1186/s12859-022-04684-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12859-022-04684-0","pdf_url":"https://bmcbioinformatics.biomedcentral.com/counter/pdf/10.1186/s12859-022-04684-0","source":{"id":"https://openalex.org/S19032547","display_name":"BMC Bioinformatics","issn_l":"1471-2105","issn":["1471-2105"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320256","host_organization_name":"BioMed Central","host_organization_lineage":["https://openalex.org/P4310320256","https://openalex.org/P4310319965"],"host_organization_lineage_names":["BioMed Central","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Bioinformatics","raw_type":"journal-article"},{"id":"pmid:35590242","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/35590242","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC bioinformatics","raw_type":null},{"id":"pmh:oai:doaj.org/article:0f8a23f04dfd42baa4827bf60da4689d","is_oa":true,"landing_page_url":"https://doaj.org/article/0f8a23f04dfd42baa4827bf60da4689d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"BMC Bioinformatics, Vol 22, Iss S14, Pp 1-20 (2022)","raw_type":"article"},{"id":"pmh:oai:pubmedcentral.nih.gov:9117838","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/9117838","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"BMC Bioinformatics","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1186/s12859-022-04684-0","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s12859-022-04684-0","pdf_url":"https://bmcbioinformatics.biomedcentral.com/counter/pdf/10.1186/s12859-022-04684-0","source":{"id":"https://openalex.org/S19032547","display_name":"BMC Bioinformatics","issn_l":"1471-2105","issn":["1471-2105"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320256","host_organization_name":"BioMed Central","host_organization_lineage":["https://openalex.org/P4310320256","https://openalex.org/P4310319965"],"host_organization_lineage_names":["BioMed Central","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"BMC Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.5299999713897705}],"awards":[{"id":"https://openalex.org/G6734150610","display_name":null,"funder_award_id":"777123","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281258807.pdf","grobid_xml":"https://content.openalex.org/works/W4281258807.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1771999207","https://openalex.org/W2029661261","https://openalex.org/W2029767409","https://openalex.org/W2047603234","https://openalex.org/W2052273502","https://openalex.org/W2088765131","https://openalex.org/W2101589741","https://openalex.org/W2152803686","https://openalex.org/W2529096469","https://openalex.org/W2529124517","https://openalex.org/W2559930736","https://openalex.org/W2569457803","https://openalex.org/W2570463554","https://openalex.org/W2606506153","https://openalex.org/W2779931721","https://openalex.org/W2806810105","https://openalex.org/W2901906577","https://openalex.org/W2982618177","https://openalex.org/W3003257820","https://openalex.org/W3035965352","https://openalex.org/W3099878876","https://openalex.org/W3103145119","https://openalex.org/W3112174179","https://openalex.org/W3128753849","https://openalex.org/W3157911739","https://openalex.org/W4238295428","https://openalex.org/W6675354045"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W2111870610","https://openalex.org/W2386892903","https://openalex.org/W2738202479","https://openalex.org/W2939749357","https://openalex.org/W2577206258","https://openalex.org/W4230556465"],"abstract_inverted_index":{"BACKGROUND:":[0],"Nowadays,":[1],"the":[2,21,35,62,80,96,116,128,140,145],"inception":[3],"of":[4,15,20,37,41,59,65,86,99,112],"computer":[5],"modeling":[6],"and":[7,39,83,152,164],"simulation":[8],"in":[9,28,30,61,100,135,139],"life":[10],"science":[11],"is":[12,18,55,73],"a":[13,57,110,123],"matter":[14],"fact.":[16],"This":[17],"one":[19],"reasons":[22],"why":[23],"regulatory":[24,69,172],"authorities":[25],"are":[26,50],"open":[27],"considering":[29],"silico":[31,101,136],"trials":[32,102],"evidence":[33,169],"for":[34,68,79,95,103,115,170],"assessment":[36,64,98],"safeness":[38],"efficacy":[40],"medicinal":[42,104],"products.":[43,105],"In":[44],"this":[45],"context,":[46],"mechanistic":[47,117],"Agent-Based":[48,66,118,133,161],"Models":[49,67,162],"increasingly":[51],"used.":[52],"Unfortunately,":[53],"there":[54],"still":[56],"lack":[58],"consensus":[60],"verification":[63,97,120,129,147,157],"approval":[70],"needs.":[71],"VV&UQ":[72],"an":[74,132],"ASME":[75],"standard":[76],"specifically":[77],"suited":[78],"verification,":[81],"validation,":[82],"uncertainty":[84],"quantification":[85],"medical":[87],"devices.":[88],"However,":[89],"it":[90],"can":[91],"also":[92],"be":[93],"adapted":[94],"RESULTS:":[106],"Here,":[107],"we":[108,126],"propose":[109],"set":[111],"automatic":[113],"tools":[114],"Model":[119,134],"assessment.":[121],"As":[122],"working":[124],"example,":[125],"applied":[127],"framework":[130],"to":[131,154,159],"trial":[137],"used":[138],"COVID-19":[141],"context.":[142],"CONCLUSIONS:":[143],"Using":[144],"described":[146],"computational":[148],"workflow":[149],"allows":[150],"researchers":[151],"practitioners":[153],"easily":[155],"perform":[156],"steps":[158],"prove":[160],"robustness":[163],"correctness":[165],"that":[166],"provide":[167],"strong":[168],"further":[171],"requirements.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}