Model checking the evolution of gene regulatory networks

Cite This

Files in this item

Checksum: MD5:4e9e87b290ae2e2943e2ccce83b9de0d

GIACOBBE, Mirco, Călin C. GUET, Ashutosh GUPTA, Thomas A. HENZINGER, Tiago PAIXÃO, Tatjana PETROV, 2017. Model checking the evolution of gene regulatory networks. In: Acta Informatica. 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x

@article{Giacobbe2017-12Model-42117, title={Model checking the evolution of gene regulatory networks}, year={2017}, doi={10.1007/s00236-016-0278-x}, number={8}, volume={54}, issn={0001-5903}, journal={Acta Informatica}, pages={765--787}, author={Giacobbe, Mirco and Guet, Călin C. and Gupta, Ashutosh and Henzinger, Thomas A. and Paixão, Tiago and Petrov, Tatjana} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:creator>Petrov, Tatjana</dc:creator> <dspace:hasBitstream rdf:resource=""/> <dc:language>eng</dc:language> <dc:contributor>Giacobbe, Mirco</dc:contributor> <dcterms:hasPart rdf:resource=""/> <dcterms:available rdf:datatype="">2018-04-20T10:47:47Z</dcterms:available> <dc:creator>Henzinger, Thomas A.</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Gupta, Ashutosh</dc:contributor> <bibo:uri rdf:resource=""/> <dc:contributor>Petrov, Tatjana</dc:contributor> <dc:creator>Gupta, Ashutosh</dc:creator> <dcterms:rights rdf:resource=""/> <dc:contributor>Guet, Călin C.</dc:contributor> <dcterms:abstract xml:lang="eng">The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.</dcterms:abstract> <dc:creator>Guet, Călin C.</dc:creator> <dcterms:title>Model checking the evolution of gene regulatory networks</dcterms:title> <dc:rights>terms-of-use</dc:rights> <dc:date rdf:datatype="">2018-04-20T10:47:47Z</dc:date> <dcterms:issued>2017-12</dcterms:issued> <dc:creator>Paixão, Tiago</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Giacobbe, Mirco</dc:creator> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <dc:contributor>Paixão, Tiago</dc:contributor> <dc:contributor>Henzinger, Thomas A.</dc:contributor> </rdf:Description> </rdf:RDF>

Downloads since Apr 20, 2018 (Information about access statistics)

Giacobbe_2-egxwg6wqgydt8.pdf 133

This item appears in the following Collection(s)

Search KOPS


My Account