{"id":"https://openalex.org/W2236808273","doi":"https://doi.org/10.1109/latw.2016.7483363","title":"A SystemC-based platform for assertion-based verification and mutation analysis in systems biology","display_name":"A SystemC-based platform for assertion-based verification and mutation analysis in systems biology","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2236808273","doi":"https://doi.org/10.1109/latw.2016.7483363","mag":"2236808273"},"language":"en","primary_location":{"id":"doi:10.1109/latw.2016.7483363","is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2016.7483363","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th Latin-American Test Symposium (LATS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012432462","display_name":"Daniele Coati","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Daniele Coati","raw_affiliation_strings":["Dept. Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031773625","display_name":"Rosario Distefano","orcid":"https://orcid.org/0000-0001-7241-7751"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rosario Distefano","raw_affiliation_strings":["Dept. Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088231786","display_name":"Nicola Bombieri","orcid":"https://orcid.org/0000-0003-3256-5885"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Bombieri","raw_affiliation_strings":["Dept. Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["Dept. Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047281058","display_name":"Michela Mirenda","orcid":"https://orcid.org/0000-0003-3351-0413"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michela Mirenda","raw_affiliation_strings":["Dept. Pathology and Diagnostics, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Pathology and Diagnostics, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073711928","display_name":"Carlo Laudanna","orcid":"https://orcid.org/0000-0003-4050-1056"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Laudanna","raw_affiliation_strings":["Dept. Pathology and Diagnostics, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Pathology and Diagnostics, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002057785","display_name":"Rosalba Giugno","orcid":"https://orcid.org/0000-0001-9843-7638"},"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":"Rosalba Giugno","raw_affiliation_strings":["Dept. Clinical and Molecular Biomedicine, University of Catania, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Clinical and Molecular Biomedicine, University of Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5012432462"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.1667,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61342343,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"387","issue":null,"first_page":"159","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11663","display_name":"Viral Infectious Diseases and Gene Expression in Insects","score":0.9948999881744385,"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"}},{"id":"https://openalex.org/T12859","display_name":"Cell Image Analysis Techniques","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1304","display_name":"Biophysics"},"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/systemc","display_name":"SystemC","score":0.8407939672470093},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6790814399719238},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5737919807434082},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5080325603485107},{"id":"https://openalex.org/keywords/in-silico","display_name":"In silico","score":0.4816800057888031},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.439314603805542},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.42435306310653687},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37757229804992676},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3335666060447693},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3199000060558319},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.2594793140888214},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.1983298659324646},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10410892963409424}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.8407939672470093},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6790814399719238},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5737919807434082},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5080325603485107},{"id":"https://openalex.org/C2775905019","wikidata":"https://www.wikidata.org/wiki/Q192572","display_name":"In silico","level":3,"score":0.4816800057888031},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.439314603805542},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.42435306310653687},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37757229804992676},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3335666060447693},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3199000060558319},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.2594793140888214},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.1983298659324646},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10410892963409424},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/latw.2016.7483363","is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2016.7483363","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th Latin-American Test Symposium (LATS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W22950313","https://openalex.org/W1981480991","https://openalex.org/W1988383139","https://openalex.org/W1988971963","https://openalex.org/W1994665850","https://openalex.org/W2003003919","https://openalex.org/W2008633581","https://openalex.org/W2014566660","https://openalex.org/W2035809865","https://openalex.org/W2039331486","https://openalex.org/W2042431901","https://openalex.org/W2053961182","https://openalex.org/W2054039423","https://openalex.org/W2069233518","https://openalex.org/W2075941967","https://openalex.org/W2090020814","https://openalex.org/W2103454055","https://openalex.org/W2103723044","https://openalex.org/W2117056464","https://openalex.org/W2117993411","https://openalex.org/W2123125245","https://openalex.org/W2123613958","https://openalex.org/W2124082948","https://openalex.org/W2140408446","https://openalex.org/W2146009166","https://openalex.org/W2151852639","https://openalex.org/W2152344976","https://openalex.org/W2154809971","https://openalex.org/W2157573465","https://openalex.org/W2169215357","https://openalex.org/W2491385276","https://openalex.org/W3105538867"],"related_works":["https://openalex.org/W2301151507","https://openalex.org/W2170936907","https://openalex.org/W2380800843","https://openalex.org/W2140328095","https://openalex.org/W77471018","https://openalex.org/W3150987667","https://openalex.org/W1852321729","https://openalex.org/W2802530065","https://openalex.org/W1527923678","https://openalex.org/W200308470"],"abstract_inverted_index":{"Boolean":[0],"models":[1],"are":[2,25,79],"gaining":[3],"an":[4],"increasing":[5],"interest":[6],"for":[7,41,72,163],"reproducing":[8],"dynamic":[9],"behaviours,":[10],"understanding":[11],"processes,":[12],"and":[13,66,85,107,116,131,141,150],"predicting":[14],"emerging":[15,26],"properties":[16,93],"of":[17,57,75,88,143,166],"cellular":[18],"signalling":[19,145,169],"networks":[20,146],"through":[21],"in-silico":[22],"experiments.":[23],"They":[24],"as":[27,95,127],"a":[28,105],"valid":[29],"alternative":[30],"to":[31,81,147],"the":[32,55,121,144,155,164,167,178,181],"quantitative":[33],"approaches":[34,65],"(i.e.,":[35,138],"based":[36,110],"on":[37,111],"ordinary":[38],"differential":[39],"equations)":[40],"exploratory":[42],"modelling":[43,74,83],"when":[44],"little":[45],"is":[46],"known":[47],"about":[48],"reaction":[49],"kinetics":[50],"or":[51,60],"equilibrium":[52],"constants":[53],"in":[54,90,120],"context":[56],"gene":[58],"expression":[59],"signalling.":[61],"Even":[62],"though":[63],"several":[64],"software":[67],"have":[68],"been":[69],"recently":[70],"proposed":[71],"logic":[73],"biological":[76,92],"systems,":[77],"they":[78,86],"limited":[80],"specific":[82],"contexts":[84],"lack":[87],"automation":[89,123],"analysing":[91],"such":[94,126,160],"complex":[96,136],"attractors,":[97],"molecule":[98],"vulnerability,":[99],"dose":[100],"response.":[101],"This":[102],"paper":[103,153],"presents":[104],"design":[106],"verification":[108,129,161],"platform":[109],"SystemC":[112],"that":[113],"applies":[114],"methodologies":[115],"tools":[117],"well":[118],"established":[119],"electronic-design":[122],"(EDA)":[124],"field":[125],"assertion-based":[128],"(ABV)":[130],"mutation":[132],"analysis,":[133],"which":[134],"allow":[135],"attractors":[137],"protein":[139],"oscillations)":[140],"robustness/sensitivity":[142],"be":[148],"simulated":[149],"analysed.":[151],"The":[152],"reports":[154],"results":[156],"obtained":[157],"by":[158],"applying":[159],"techniques":[162],"analysis":[165],"intracellular":[168],"network":[170],"controlling":[171],"integrin":[172],"activation":[173],"mediating":[174],"leukocyte":[175],"recruitment":[176],"from":[177],"blood":[179],"into":[180],"tissues.":[182]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}