Toward verified biological models

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Volumn 5, Issue 2, 2008, Pages 223-233

  Sadot, Avital ^a   Fisher, Jasmin ^c   Barak, Dan ^b   Admanit, Yishai ^b   Stern, Michael J ^d   Hubbard, E Jane Albert ^e   Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b Microsoft Research ^*  (Israel)

^c MICROSOFT RESEARCH   (United Kingdom)

^d YALE UNIVERSITY SCHOOL OF MEDICINE   (United States)

^e NEW YORK UNIVERSITY   (United States)

Author keywords

C. elegans; Modeling; Statecharts; Verification

Indexed keywords

COMPUTER SIMULATION; DATA REDUCTION; VERIFICATION;

BIOLOGICAL MODELS; STATECHARTS;

PHYSIOLOGICAL MODELS;

CAENORHABDITIS ELEGANS;

ANIMAL; ARTICLE; BIOLOGICAL MODEL; BIOLOGY; BIOMEDICAL ENGINEERING; CAENORHABDITIS ELEGANS; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; CYTOLOGY; FACTUAL DATABASE; FEMALE; GONAD; GROWTH, DEVELOPMENT AND AGING; MALE;

ANIMALS; BIOMEDICAL ENGINEERING; CAENORHABDITIS ELEGANS; COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; DATABASES, FACTUAL; FEMALE; GONADS; MALE; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; SOFTWARE;

EID: 43849093655     PISSN: 15455963     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCBB.2007.1076     Document Type: Article

References (48)

1. On the Development of Reactive Systems
2. A Grand challenge for computing: towards full reactive modeling of a multi-cellualar animal
3. The Immune System as a Reactive System: Modeling T Cell Activation with Statechart
4. Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
5. A Turing-Like Test for Biological Modeling
6. Model Checking
7. From molecular to modular cell biology
8. Spontaneous Evolution of Modularity and Network Motifs
9. Network News: Functional Modules Revealed during Early Embryogenesis in C. elegans
10. A Gene-Coexpression Network for Global Discovery of Conserved Genetic Modules
11. Modeling and computational analysis of EGF receptor-mediated cell communication in Drosophila oogenesis
12. Formalization of the Protein Production by Means of Petri Nets
13. A Formal Language for Computational Systems Biology
14. Representation and Simulation of Biochemical Processes Using the Pi-Calculus Process Algebra
15. The Pathway Logic Assistant
16. Analysis of Signaling Pathways Using the PRISM Model Checker
17. BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge
18. Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata
19. Hybrid Modeling and Simulation of Biomolecular Networks
20. Toward Rigorous Comprehension of Biological Complexity: Modeling, Execution, and Visualization of Thymic T-Cell Maturation
21. Computational insights into Caenorhabditis elegans vulval development
22. Reactive Animation
23. Formal Modeling of Development: A Scenario-Based Approach
24. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
25. The postembryonic cell lineages of the hermaphrodite and male gonads in Caenorhabditis elegans
26. On the control of germ cell development in Caenorhabditis elegans
27. The lin-12 locus specifies cell fates in caenorhabditis elegans
28. lag-2 may encode a signaling ligand for the GLP-1 and LIN-12 receptors of C. elegans
29. Two homologous regulatory genes, lin-12 and glp-1, have overlapping functions
30. Sequence of lag-2 Reveals a Cell-Signaling Domain Shared with Delta and Serrate of Drosophila
31. The Caenorhabditis elegans lin-12 gene encodes a transmembrane protein with overall similarity to Drosophila Notch
32. Cell autonomy of lin-12 function in a cell fate decision in C. elegans
33. Reciprocal changes in expression of the receptor lin-12 and its ligand lag-2 prior to commitment in a C. elegans cell fate decision
34. Post-transcriptional regulation of the E/Daughterless ortholog HLH-2, negative feedback, and birth order bias during the AC/VU decision in C. elegans
35. Pattern Formation by Lateral Inhibition with Feedback: a Mathematical Model of Delta-Notch Intercellular Signalling
36. Delta-Notch Lateral Inhibitory Patterning in the Emergence of Ciliated Cells in Xenopus: Experimental Observations and a Gene Network Model
37. Boundary Formation by Notch Signaling in Drosophila Multicellular Systems: Experimental Observations and Gene Network Modeling by Genomic Object Net
38. Statecharts: a visual formalism for complex systems
39. Executable object modeling with statecharts
40. LSCs: Breathing Life into Message Sequence Carts
41. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
42. Mechanisms of Asymmetric Cell Division: Two Bs or Not Two Bs That Is the Question
43. Mathematical Models in Molecular and Cellular Biology
44. Alterations in cell lineage following laser ablation of cells in the somatic gonad of Caenorhabditis elegans
45. LIN-12/Notch Signaling: Lessons from Worms and Flies
46. Distributed Algorithms
47. The Immune System As A Reactive System: Modeling T-Cell Activation Using Statecharts
48. The Temporal Logic of Reactive and Concurrent Systems