Model Checking Gene Regulatory Networks

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

GIACOBBE, Mirco, Călin C. GUET, Ashutosh GUPTA, Thomas A. HENZINGER, Tiago PAIXÃO, Tatjana PETROV, 2015. Model Checking Gene Regulatory Networks. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London, UK, Apr 11, 2015 - Apr 18, 2015. In: BAIER, Christel, ed., Cesare TINELLI, ed.. Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Heidelberg:Springer, pp. 469-483. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-46680-3. Available under: doi: 10.1007/978-3-662-46681-0_47

@inproceedings{Giacobbe2015Model-42185, title={Model Checking Gene Regulatory Networks}, year={2015}, doi={10.1007/978-3-662-46681-0_47}, number={9035}, isbn={978-3-662-46680-3}, issn={0302-9743}, address={Heidelberg}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings}, pages={469--483}, editor={Baier, Christel and Tinelli, Cesare}, 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="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/42185"> <dc:creator>Henzinger, Thomas A.</dc:creator> <dcterms:title>Model Checking Gene Regulatory Networks</dcterms:title> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/42185"/> <dc:contributor>Henzinger, Thomas A.</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-26T09:11:43Z</dc:date> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Paixão, Tiago</dc:creator> <dc:creator>Gupta, Ashutosh</dc:creator> <dc:creator>Guet, Călin C.</dc:creator> <dcterms:issued>2015</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-26T09:11:43Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Giacobbe, Mirco</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 logics. 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:contributor>Paixão, Tiago</dc:contributor> <dc:contributor>Petrov, Tatjana</dc:contributor> <dc:contributor>Guet, Călin C.</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Giacobbe, Mirco</dc:creator> <dc:creator>Petrov, Tatjana</dc:creator> <dc:contributor>Gupta, Ashutosh</dc:contributor> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account