Model Checking Genetic Regulatory Networks using GNA and CADP

Model Checking Genetic Regulatory Networks using GNA and CADP (2004)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Gregory Batt , Calin Belta , Grégory Batt , Calin Belta

Venue:	In: Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN’2004
Citations:	29 - 5 self

BibTeX

@INPROCEEDINGS{Batt04modelchecking,
    author = {Gregory Batt and Calin Belta and Grégory Batt and Calin Belta},
    title = {Model Checking Genetic Regulatory Networks using GNA and CADP},
    booktitle = {In: Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN’2004},
    year = {2004},
    pages = {158--163},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

who are interested in the interdisciplinary methods and applications relevant to the analysis, design and management of complex systems. 15 St. Mary’s St. Brookline MA 02446 l 617.358.1295 l www.bu.edu/systems

Citations

2026	Model Checking - Clarke, Grumberg, et al. - 2000
1009	Temporal and modal logic - Emerson - 1990
599	Concurrency and automata on infinite sequences - Park - 1981
305	HYTECH: A model checker for hybrid systems - Henzinger, Ho, et al. - 1997
275	H: Modeling and simulation of genetic regulatory systems: a literature review - Jong
170	NuSMV 2: An OpenSource Tool for Symbolic Model Checking - Cimatti, Clarke, et al. - 2002
146	Discrete abstractions of hybrid systems - Alur, Henzinger, et al.
145	Recognizing safety and liveness - Alpern, Schneider - 1987
132	The logical analysis of continuous, non-linear biochemical control networks - Glass, SA - 1973
131	Systems biology: A brief overview - Kitano - 2002
127	Construction of a genetic toggle switch in Escherichia coli - Gardner, Cantor, et al. - 2000
125	Characterizing finite Kripke structures in propositional temporal logic - BROWNE, CLAR, et al. - 1988
105	Qualitative simulation of genetic regulatory networks using piecewise-linear models - Jong, Gouzé, et al. - 2004
81	Dynamical behaviour of biological regulatory networks-i. biological role of feedback loops and practical use of the concept of the loop-characteristic state - Thomas, Thieffry, et al. - 1995
68	An overview of CADP 2001 - Garavel, Lang, et al. - 2002
66	Hybrid modeling and simulation of biomolecular networks,” Hybrid Systems: Computation and Control - Alur, Belta, et al. - 2001
53	Analysis of timed systems using time-abstracting bisimulations - Tripakis, Yovine
50	Guespin J: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic - Bernot, JP, et al.
47	Efficient on-the-fly model-checking for regular alternation-free mucalculus - Mateescu, Sighireanu - 2000
45	New generation of uppaal - Bengtsson, Larsen, et al. - 1998
42	Fages F: Symbolic Model Checking of Biochemical Networks - Chabrier
40	R (2006) Synthetic biology: new engineering rules for an emerging discipline. Mol Syst Biol 2 - Andrianantoandro, Basu, et al.
39	Symbolic techniques for parametric reasoning about counter and clock systems - Annichini, Asarin, et al. - 2000
39	Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-Notch protein signaling - Ghosh, Tomlin
37	Genetic Network Analyzer: qualitative simulation of genetic regulatory networks - Jong, Geiselmann, et al. - 2003
34	Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in escherichia coli - Batt, Ropers, et al. - 2005
30	S.W.: A mathematical framework for describing and analysing gene regulatory networks - Mestl, Plahte, et al. - 1995
30	Oscillatory behavior in enzymatic control processes - Goodwin - 1965
29	Machine learning biochemical networks from temporal logic properties - Calzone, Chabrier-Rivier, et al.
29	Pathway logic: executable models of biological networks - Eker, Knapp, et al.
28	Ultrasensitivity and noise propagation in a synthetic transcriptional cascade. Proc Natl Acad Sci USA 102:3581–3586 Hucka M et al (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bi - Hooshangi, Thiberge, et al. - 2005
26	Automated symbolic reachability analysis; with application to delta-notch signaling automata - Ghosh, Tiwari, et al.
25	Homeostasis and differentiation in random genetic control networks. Nature - Kauffman - 1969
24	Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks,” Decision and Control - Belta, Habets, et al. - 2002
23	Progress on reachability analysis of hybrid systems using predicate abstraction - Alur, Dang, et al. - 2003
21	Proving properties of continuous systems: Qualitative simulation and temporal logic - Schults, Kuipers - 1997
20	Reachability analysis of multi-affine systems - Kloetzer, Belta - 2006
19	On the relation between effector concentration and the rate of induced enzyme synthesis - Yagil, Yagil - 1971
18	B.: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theoretical Computer Science 325 - Antoniotti, Piazza, et al. - 2004
16	Molecular interaction maps as information organizers and simulation guides - Kohn - 2001
15	Symbolic parametric safety analysis of linear hybrid systems with BDDlike data-structures - Wang
14	Periwal V, (Eds): System Modeling in Cellular Biology: From Concepts to Nuts and Bolts - Szallasi, Stelling - 2006
14	The evolution of molecular biology into systems biology - Westerhoff, Palsson - 2004
13	Constructing decidable hybrid systems with velocity bounds, in - Belta, Habets - 2004
13	Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis - Preussig, Stursberg, et al. - 1999
12	Automata-theoretic verification of real-time systems - Alur, Dill - 1996
12	Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli. Hybrid Systems: Compuation and Control - Batt, Ropers, et al.
11	gene expression and dna arrays - Genomics - 2000
11	Modeling cellular behavior with hybrid automata: Bisimulation and collapsing - Antoniotti, Mishra, et al. - 2003
10	Model checking liveness properties of genetic regulatory networks - Batt, Belta, et al. - 2007