{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:05:28Z","timestamp":1768907128465,"version":"3.49.0"},"reference-count":24,"publisher":"Oxford University Press (OUP)","issue":"18","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":2220,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.0\/uk\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Investigating the relation between the structure and behavior of complex biological networks often involves posing the question if the hypothesized structure of a regulatory network is consistent with the observed behavior, or if a proposed structure can generate a desired behavior.<\/jats:p>\n               <jats:p>Results: The above questions can be cast into a parameter search problem for qualitative models of regulatory networks. We develop a method based on symbolic model checking that avoids enumerating all possible parametrizations, and show that this method performs well on real biological problems, using the IRMA synthetic network and benchmark datasets. We test the consistency between IRMA and time-series expression profiles, and search for parameter modifications that would make the external control of the system behavior more robust.<\/jats:p>\n               <jats:p>Availability: GNA and the IRMA model are available at http:\/\/ibis.inrialpes.fr\/<\/jats:p>\n               <jats:p>Contact: \u00a0gregory.batt@inria.fr<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online.<\/jats:p>","DOI":"10.1093\/bioinformatics\/btq387","type":"journal-article","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T17:41:46Z","timestamp":1283881306000},"page":"i603-i610","source":"Crossref","is-referenced-by-count":44,"title":["Efficient parameter search for qualitative models of regulatory networks using symbolic model checking"],"prefix":"10.1093","volume":"26","author":[{"given":"Gregory","family":"Batt","sequence":"first","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]},{"given":"Michel","family":"Page","sequence":"additional","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"},{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]},{"given":"Irene","family":"Cantone","sequence":"additional","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]},{"given":"Gregor","family":"Goessler","sequence":"additional","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]},{"given":"Pedro","family":"Monteiro","sequence":"additional","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"},{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[{"name":"1 INRIA Paris - Rocquencourt, Le Chesnay, 2INRIA Grenoble - Rh\u00f4ne-Alpes, Montbonnot, 3IAE, Universit\u00e9 Pierre Mend\u00e8s France, Grenoble, France, 4Clinical Sciences Center, Imperial College, London, UK and 5INESC\/Instituto Superior T\u00e9cnico, Lisbon, Portugal"}]}],"member":"286","published-online":{"date-parts":[[2010,9,4]]},"reference":[{"key":"2023012508264782900_B1","doi-asserted-by":"crossref","first-page":"3128","DOI":"10.1016\/j.tcs.2009.02.017","article-title":"On algorithmic analysis of transcriptional regulation by LTL model checking","volume":"410","author":"Barnat","year":"2009","journal-title":"Theor. Comput. Sci."},{"key":"2023012508264782900_B2","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.automatica.2007.08.004","article-title":"Symbolic reachability analysis of genetic regulatory networks using discrete abstractions","volume":"44","author":"Batt","year":"2008","journal-title":"Automatica"},{"issue":"Suppl. 1","key":"2023012508264782900_B3","doi-asserted-by":"crossref","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","article-title":"Validation of qualitative models of genetic regulatory networks by model checking","volume":"21","author":"Batt","year":"2005","journal-title":"Bioinformatics"},{"key":"2023012508264782900_B4","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","article-title":"Application of formal methods to biological regulatory networks","volume":"229","author":"Bernot","year":"2004","journal-title":"J. Theor. Biol."},{"key":"2023012508264782900_B5","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/j.cell.2009.01.055","article-title":"A yeast synthetic network for in vivo assessment of reverse-engineering and modeling approaches","volume":"137","author":"Cantone","year":"2009","journal-title":"Cell"},{"key":"2023012508264782900_B6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s00285-008-0230-y","article-title":"Geometry and topology of parameter space: investigating measures of robustness in regulatory networks","volume":"59","author":"Chaves","year":"2009","journal-title":"J. Math. Biol."},{"key":"2023012508264782900_B7","first-page":"359","article-title":"NuSMV2: an opensource tool for symbolic model checking","volume-title":"CAV'02","author":"Cimatti","year":"2002"},{"key":"2023012508264782900_B8","volume-title":"Model Checking.","author":"Clarke","year":"1999"},{"key":"2023012508264782900_B9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","article-title":"A declarative constraint-based method for analyzing discrete genetic regulatory networks","volume":"98","author":"Corblin","year":"2009","journal-title":"Biosystems"},{"key":"2023012508264782900_B10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/j.jtbi.2008.07.020","article-title":"The transition from differential equations to Boolean networks: a case study in simplifying a regulatory network model","volume":"255","author":"Davidich","year":"2008","journal-title":"J. Theor. Biol."},{"key":"2023012508264782900_B11","first-page":"151","article-title":"A calculus for relating the dynamics and structure of complex biological networks","volume-title":"Adventures in Chemical Physics","author":"Edwards","year":"2006"},{"key":"2023012508264782900_B12","doi-asserted-by":"crossref","first-page":"e124","DOI":"10.1093\/bioinformatics\/btl210","article-title":"Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle","volume":"22","author":"Faur\u00e9","year":"2006","journal-title":"Bioinformatics"},{"key":"2023012508264782900_B13","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","article-title":"Executable cell biology","volume":"25","author":"Fisher","year":"2007","journal-title":"Nat. Biotechnol."},{"key":"2023012508264782900_B14","first-page":"4595","article-title":"Analysing gene regulatory networks by both constraint programming and model-checking","author":"Fromentin","year":"2007","journal-title":"IEEE EMBC07"},{"key":"2023012508264782900_B15","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","article-title":"The logical analysis of continuous non-linear biochemical control networks","volume":"39","author":"Glass","year":"1973","journal-title":"J. Theor. Biol."},{"key":"2023012508264782900_B16","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/1468936021000041681","article-title":"A class of piecewise linear differential equations arising in biological models","volume":"17","author":"Gouz\u00e9","year":"2002","journal-title":"Dyn. Syst."},{"key":"2023012508264782900_B17","doi-asserted-by":"crossref","first-page":"866","DOI":"10.1093\/bioinformatics\/btm021","article-title":"Boolean dynamics of genetic regulatory networks inferred from microarray time series data","volume":"23","author":"Martin","year":"2007","journal-title":"Bioinformatics"},{"key":"2023012508264782900_B18","doi-asserted-by":"crossref","first-page":"i227","DOI":"10.1093\/bioinformatics\/btn275","article-title":"Temporal logic patterns for querying dynamic models of cellular interaction networks","volume":"24","author":"Monteiro","year":"2008","journal-title":"Bioinformatics"},{"key":"2023012508264782900_B19","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis.","author":"Moore","year":"1979"},{"key":"2023012508264782900_B20","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.jtbi.2004.05.022","article-title":"Inferring models of gene expression dynamics","volume":"230","author":"Perkins","year":"2004","journal-title":"J.Theor. Biol."},{"key":"2023012508264782900_B21","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/j.jtbi.2009.07.040","article-title":"Comparing different ODE modelling approaches for gene regulatory networks","volume":"261","author":"Polynikis","year":"2009","journal-title":"J. Theor. Biol."},{"key":"2023012508264782900_B22","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1038\/msb.2009.87","article-title":"Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction","volume":"5","author":"Saez-Rodriguez","year":"2009","journal-title":"Mol. Syst. Biol."},{"key":"2023012508264782900_B23","volume-title":"Biological Feedback.","author":"Thomas","year":"1990"},{"key":"2023012508264782900_B24","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1126\/science.1156951","article-title":"Robust, tunable biological oscillations from interlinked positive and negative feedback loops","volume":"321","author":"Tsai","year":"2008","journal-title":"Science"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/18\/i603\/48857158\/bioinformatics_26_18_i603.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/18\/i603\/48857158\/bioinformatics_26_18_i603.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T08:27:10Z","timestamp":1674635230000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/26\/18\/i603\/206453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,4]]},"references-count":24,"journal-issue":{"issue":"18","published-print":{"date-parts":[[2010,9,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btq387","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2010,9,15]]},"published":{"date-parts":[[2010,9,4]]}}}