{"id":"https://openalex.org/W2395979710","doi":"https://doi.org/10.5281/zenodo.12720693","title":"Modular Verification of Interactive Systems with an Application to Biology","display_name":"Modular Verification of Interactive Systems with an Application to Biology","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2395979710","doi":"https://doi.org/10.5281/zenodo.12720693","mag":"2395979710"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.187.713","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.713","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.di.unipi.it/%7Emilazzo/papers/cs2bio.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doaj.org/article/4cfd2737b84e446381f11b5d3c14b4c1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003652760","display_name":"Peter Dr\u00e1bik","orcid":"https://orcid.org/0000-0002-2740-4756","observed_orcids":["https://orcid.org/0000-0002-2740-4756"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dr\u00e1bik, Peter","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2740-4756","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111495699","display_name":"Andrea Maggiolo\u2013Schettini","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maggiolo-Schettini, Andrea","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038730637","display_name":"Paolo Milazzo","orcid":"https://orcid.org/0000-0002-7309-6424","observed_orcids":["https://orcid.org/0000-0002-7309-6424"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Milazzo, Paolo","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7309-6424","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0442,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.73291161,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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.9970999956130981,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.0010000000474974513,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.0006000000284984708,"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/modular-verification","display_name":"modular verification","score":0.9470000267028809},{"id":"https://openalex.org/keywords/biological-systems-modelling","display_name":"biological systems modelling","score":0.8659999966621399},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.6549999713897705},{"id":"https://openalex.org/keywords/lac-operon-regulation","display_name":"lac operon regulation","score":0.878000020980835},{"id":"https://openalex.org/keywords/nusmv","display_name":"NuSMV","score":0.8180000185966492},{"id":"https://openalex.org/keywords/interactive-systems","display_name":"interactive systems","score":0.5950000286102295}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7776148319244385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5401604771614075},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.4187651574611664},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38676005601882935},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3836144804954529},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.3609013855457306},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.30776363611221313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2804175615310669},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1873508095741272}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.187.713","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.713","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.di.unipi.it/%7Emilazzo/papers/cs2bio.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:4cfd2737b84e446381f11b5d3c14b4c1","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/4cfd2737b84e446381f11b5d3c14b4c1","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,"listed_in":[],"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":"Scientific Annals of Computer Science, Vol XXI, Iss 1, Pp 39-72 (2011)","raw_type":"article"},{"id":"doi:10.5281/zenodo.12720693","doi":"https://doi.org/10.5281/zenodo.12720693","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12720693","pdf_url":null,"source":{"id":"https://openalex.org/S4210179375","display_name":"Scientific Annals of Computer Science","issn_l":"1843-8121","issn":["1843-8121","2248-2695"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","norway-1","poland-20","russia-white-list-4"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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":"JournalArticle"},{"id":"doi:10.5281/zenodo.12720694","doi":"https://doi.org/10.5281/zenodo.12720694","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12720694","pdf_url":null,"source":{"id":"https://openalex.org/S4210179375","display_name":"Scientific Annals of Computer Science","issn_l":"1843-8121","issn":["1843-8121","2248-2695"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","norway-1","poland-20","russia-white-list-4"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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":"JournalArticle"}],"best_oa_location":{"id":"pmh:oai:doaj.org/article:4cfd2737b84e446381f11b5d3c14b4c1","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/4cfd2737b84e446381f11b5d3c14b4c1","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,"listed_in":[],"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":"Scientific Annals of Computer Science, Vol XXI, Iss 1, Pp 39-72 (2011)","raw_type":"article"},"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/W7098219171","https://openalex.org/W2184508901","https://openalex.org/W7058382171","https://openalex.org/W7095725561","https://openalex.org/W2793560236","https://openalex.org/W202898619","https://openalex.org/W1538462273","https://openalex.org/W7096122067","https://openalex.org/W7064666759","https://openalex.org/W206278255"],"abstract_inverted_index":{"We":[0],"propose":[1],"sync-programs,":[2],"an":[3,46],"automata-based":[4],"formalism":[5,20],"for":[6,17],"the":[7,26,50,53,59,72,98,102],"description":[8],"of":[9,29,38,52,62,66],"biological":[10],"systems,":[11],"and":[12,58,76],"a":[13,19],"modular":[14,60,83],"verification":[15,61,84],"technique":[16,85],"such":[18],"that":[21,79],"allows":[22],"properties":[23,67,89,100],"expressed":[24],"in":[25,90,101],"universal":[27],"fragment":[28],"CTL":[30],"to":[31,96],"be":[32],"verified":[33],"on":[34,42],"suitably":[35],"chosen":[36],"fragments":[37],"models,":[39],"rather":[40],"than":[41,93],"whole":[43,103],"models.":[44],"As":[45],"application":[47],"we":[48,77,86],"show":[49,78],"modelling":[51],"lac":[54],"operon":[55],"regulation":[56],"process":[57],"some":[63],"properties.":[64],"Verification":[65],"is":[68],"performed":[69],"by":[70,80],"using":[71],"NuSMV":[73],"model":[74],"checker":[75],"applying":[81],"our":[82],"can":[87],"verify":[88,97],"shorter":[91],"times":[92],"those":[94],"necessary":[95],"same":[99],"model.":[104]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}