Amir-Kroll, H., Sadot, A., Cohen, I.R. and Harel, D. GemCell: a generic platform for modeling multi-cellular biological systems. Theoret. Comput. Sci. 391, 3 (2008), 276--290.

Digital Library

Google Scholar

[4]

Arkin, A., Ross, J. and McAdams, H.H. Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected escherichia coli cells. Genetics 149 (1998), 1633--1648.

Crossref

Google Scholar

[5]

Baker, M.D., Wolanin, P.M. and Stock, J.B. Signal transduction in bacterial chemotaxis. Bioessays 28 (2006), 9--22.

Crossref

Google Scholar

[6]

Barjis, J. and Barjis, I. Formalization of the protein production by means of petri nets. Proc. Int. Conf. on Information Intelligence Systems (1999), IEEE.

Digital Library

Google Scholar

[7]

Batt, G., Ropers, D., De Jong, H., Geiselman, J., Mateescu, R., Page, M., and Schneider, D. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia Coli. Bioinformatics 21 (2005), 19--28.

Digital Library

Google Scholar

[8]

Blinov, M.L., Faeder, J.R., Goldstein, B. and Hlavacek, W.S. BioNetGen: Software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20 (2001), 3289--3291.

Digital Library

Google Scholar

[9]

Calder, M., Vyshemirsky, V., Gilbert, D. and Orton, R. Analysis of signaling pathways using the prism model checker. In Proc. 3rd International Conference on Computational Methods in Systems Biology. G. Plotkin, ed. (Edinburgh, Scotland, 2005), 179--190.

Google Scholar

[10]

Calzone, L., Fages, F. and Soliman, S. BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22, 14 (2006), 1805--1807.

Digital Library

Google Scholar

[11]

Cardelli, L. Brane caluli. In Proc. Computational Methods in Systems Biology (Paris, May 26, 2004) V. Danos and V. Schächter, eds. LNCS 3082, 257 (2004).

Google Scholar

[12]

Cardelli, L. Abstract machines of systems biology. In Transactions on Computational Systems Biology III. C. Priami et al. eds. LNCS 3737, (2005), 145--168.

Digital Library

Google Scholar

[13]

Cerny, P., Henzinger, T.A. and Radhakrishna, A. Simulation distances. In Proc. Concurrency Theory 2010. LNCS 2011, 253--268.

Digital Library

Google Scholar

[14]

Clarke, E., Grumberg, O., Jha, S., Lu, Y. and Veith, H. Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50, (2003), 752--794.

Digital Library

Google Scholar

[15]

Clarke, E., Grumberg, O. and Peled, D. Model Checking, MIT press, 2000.

Digital Library

Google Scholar

[16]

Cohen, I.R. and Harel, D. Explaining a complex living system: Dynamics, multi-scaling and emergence. J. Royal Society Interface 4, (2007), 175--182.

Crossref

Google Scholar

[17]

Cousot, P. and Cousot, R. Abstract interpretation. In Proc. Symp. Principles of Programming Languages 4, (1977), 238--252.

Digital Library

Google Scholar

[18]

Curti, M., Degano, P., Priami, C. and Baldari, C. Modeling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325, (2004), 111--140.

Digital Library

Google Scholar

[19]

Damm, W. and Harel, D. LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19, 1, (2001), 45--80.

Digital Library

Google Scholar

[20]

Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. Rule-based modelling of cellular signalling. Concur 2007, LNCS 4703, 17--41.

Digital Library

Google Scholar

[21]

Didier, F., Henzinger, T.A., Mateescu, M. and Wolf, V. Approximation of event probabilities in noisy cellular processes. Computational Methods in Systems Biology 7, (2009) 173--188.

Digital Library

Google Scholar

[22]

Didier, F., Henzinger, T.A., Mateescu, M. and Wolf, V. Fast adaptive uniformization of the chemical master equation. High-Performance Computational Systems Biology 1, (2009).

Digital Library

Google Scholar

[23]

Dill, D.L., Knapp, M.A., Gage, P., Talcott, C., Laderoute, K. and Lincoln, P. The Pathalyzer: A tool for analysis of signal transduction pathways. In Proc. 1st Annual Recomb Satellite Workshop on Systems Biology, 2005.

Digital Library

Google Scholar

[24]

Efroni, S., Harel, D. and Cohen, I.R. Reactive animation: Realistic modeling of complex dynamic systems. Computer 38, (2005), 38--47.

Digital Library

Google Scholar

[25]

Efroni, S., Harel, D., and Cohen, I.R. Emergent dynamics of thymocyte development and lineage determination. PLoS Computational Biology 3, 1 (2007), 127--136.

Crossref

Google Scholar

[26]

Elowitz, M.B., Levine, A.J., Siggia, E.D. and Swain, P.S. Stochastic gene expression in a single cell. Science 297, (2002), 1183--1186.

Crossref

Google Scholar

[27]

Emerson, E.A. Temporal and modal logic. In Handbook of Theoretical Computer Science, (1990), 995--1072.

Digital Library

Google Scholar

[28]

Faeder, J.R., Hlavacek, J.S., Reischl, I., Blinov, M.L., Metzger, H., Redondo, A., Wofsy, C. and Goldstein, B. Investigation of early events in FCεRI-mediated signaling using a detailed mathematical model. J. Immunol. 170, (2003), 3769--3781.

Crossref

Google Scholar

[29]

Fedoroff, N. and Fontana, W. Small numbers of big molecules. Science 297, (2002), 1129--1131.

Crossref

Google Scholar

[30]

Feret, J., Danos, V., Krivine, J., Harmer, R. and Fontana, W. Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. 106, 16, (2009), 6453--6458.

Crossref

Google Scholar

[31]

Fisher, J., Piterman, N., Hajnal, A., and Henzinger, T.A. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology 3, 5, (2007) 92.

Crossref

Google Scholar

[32]

Fisher, J., and Henzinger, T.A. Executable cell biology. Nat. Biotechnol. 25, 11, (2007), 1239--49.

Crossref

Google Scholar

[33]

Fisher, J., Henzinger, T.A., Mateescu, M. and Piterman, N. Bounded asynchrony: A biologically-inspired notion of concurrency. In Proc. of FMSB '08 Cambridge, UK. Springer, 2008.

Google Scholar

[34]

Fisher, J., Piterman, N., Hubbard, E.J., Stern, M.J. and Harel, D. Computational insights into Caenorhabditis elegans vulval development. In Proc. Natl. Acad. Sci. USA 102, (2005), 1951--1956.

Crossref

Google Scholar

[35]

Ghosh, R. and Tomlin, C.J. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-Notch protein signaling. IEE Transactions on Systems Biology 1, 1, (2004), 170--183.

Google Scholar

[36]

Gillespie, D.T. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81, (1977), 2340--2361.

Crossref

Google Scholar

[37]

Gillespie, D.T. Markov Processes. 1992: Academic Press.

Google Scholar

[38]

Harel, D. Statecharts: A visual formalism for complex systems. Sci. Comput. Programming 8, (1987), 231--274.

Digital Library

Google Scholar

[39]

Harel, D. A grand challenge for computing: Full reactive modeling of a multi-cellular animal. Bulletin of the EATCS 81, (2003), 226--235. (Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I. G. Paun et al. eds. World Scientific, (2004), 559--568.

Google Scholar

[40]

Harel, D. A Turing-like test for biological modelling. Nature Biotechnology 23, (2005), 495--496.

Crossref

Google Scholar

[41]

Harel, D. and Gery, E. Executable object modeling with statecharts. Computer 30, 7, (July 1997). IEEE Press, 31--42.

Digital Library

Google Scholar

[42]

Harel, D. and Pnueli, A. On the development of reactive systems. In Logics and Models of Concurrent Systems. K.R. Apt, ed. NATO ASI Series, vol. F-13, Springer-Verlag, NY, (1985), 477--498.

Digital Library

Google Scholar

[43]

Haugh, J.M., Schneider, I.C. and Lewis, J.M. On the cross-regulation of protein tyrosine phosphatases and receptor tyrosine kinases in intracellular signaling. J. Theor. Biol. 230, (2004), 119--132.

Crossref

Google Scholar

[44]

Henzinger, T.A., Jobstmann, B. and Wolf, V. Formalisms for specifying Markovian population models. In Proc. 3rd Int. Workshop on Reachability Problems. LNCS 5797, springer, 2009.

Digital Library

Google Scholar

[45]

Henzinger, T.A., Mateescu, M., Mikeev, L. and Wolf, V. Hybrid numerical solution of the chemical master equation. In Proc. 8th Int. Conf. on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics, Springer, 2010.

Digital Library

Google Scholar

[46]

Henzinger, T.A., and Sifakis, J. The discipline of embedded systems design. IEEE Computer 40, 10, (2007), 36--44.

Digital Library

Google Scholar

[47]

Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., and Fontana, W. Rules for modelling signal transduction systems. Science STKE 2006/344/re6.

Google Scholar

[48]

Kam, N., Harel, D. and Cohen, I.R. Visual Languages and Formal Methods. (Stressa, Italy, Sept. 5--7, 2001). IEEE, 2001.

Google Scholar

[49]

Kam, N., Kugler, H., Marelly, R., Appleby, L., Fisher, J., Pnueli, A., Harel, D., Stern, M.J. and Hubbard, E.J.A. Scenario-based approach to modeling development: A prototype model of C. Elegans vulval cell fate specification. Developmental Biology 323 (2008), 1--5.

Crossref

Google Scholar

[50]

Kwiatkowska, M., Norman, G. and Parker, D. PRISM: Probabilistic symbolic model checker. In Proc. TOOLS 2002. T. Field et al. eds. LNCS 2324, (2002), 200--204.

Digital Library

Google Scholar

[51]

Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., and Gaffney, E. Simulation and verification for computational modeling of signalling pathways. In Proc. Winter Simulation Conference (Monterey, CA, Dec. 2--6, 2006). IEEE, 2006, 1666--1674.

Digital Library

Google Scholar

[52]

Kugler, H., Larjo, A. and Harel, D. Biocharts: A visual formalism for complex biological systems. J. Royal Society Interface, 2010.

Google Scholar

[53]

Lee, K.H., Dinner, A.R., Tu, C., Campi, G., Raychaudhuri, S., Varma, R., Sims, T.N., Burack, W.R., Wu, H., Wang, J., Kanagawa, O., Markiewicz, M., Allen, P.M., Dustin, M.L., Chakraborty, A.K. and Shaw, A.S. The immunological synapse balances T cell receptor signaling and degradation. Science 302, (2003), 1218--1222.

Crossref

Google Scholar

[54]

Li, Q.J., Dinner, A.R., Qi, S., Irvine, D.J., Huppa, J.B., Davis, M.M., and Chakraborty, A.K. CD4 enhances T cell sensitivity to antigen by coordinating Lck accumulation at the immunological synapse. Nat. Immunol. 5, (2004)791--799.

Crossref

Google Scholar

[55]

McAdams, H.H. and Arkin, A. Stochastic mechanisms in gene expression. Proceedings of the National Academy of Science 94, (1997), 814--819.

Crossref

Google Scholar

[56]

McAdams, H.H. and Arkin, A. It's a noisy business! Trends in Genetics 15, 2 (1999), 65--69.

Google Scholar

[57]

Milner, R. A Calculus of Communicating Systems. Springer Verlag, 1980

Crossref

Google Scholar

[58]

Milner, R. Operational and algebraic semantics of concurrent processes. Handbook of Theoretical Computer Science B, (1990), 1201--1242.

Digital Library

Google Scholar

[59]

Milner, R. Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press, Cambridge, UK, 1999).

Digital Library

Google Scholar

[60]

Parkinson, J.S., Ames, P. and Studdert, C.A. Collaborative signaling by bacterial chemoreceptors. Curr. Opin. Microbiol. 8, (2005), 116--121.

Crossref

Google Scholar

[61]

Paulsson, J. Summing up the noise in gene networks. Nature 427, (2004), 415--418.

Crossref

Google Scholar

[62]

Peterson, J.L. Petri Net Theory and the Modeling of Systems. Prentice hall 1981

Digital Library

Google Scholar

[63]

Pnueli, A. The temporal logic of programs. In Proc. Symp. Found. Computer Science, (1977) 46--57.

Digital Library

Google Scholar

[64]

Pnueli, A. and Rosner, R. On the synthesis of a reactive module. In Proc. Symp. Principles of Programming Languages 16, (1989), 179--190.

Digital Library

Google Scholar

[65]

Popper, K. The logic of scientific discovery. Hutchinson, London, 1959.

Google Scholar

[66]

Priami, C. The stochastic pi-calculus. Comp. J. 38, (1995), 578--589.

Crossref

Google Scholar

[67]

Priami, C. Algorithmic systems biology. Comm. ACM 52, 5, (May 2009) 80--88.

Digital Library

Google Scholar

[68]

Priami, C., Regev, A., Shapiro, E.Y., and Silverman, W. Application of a stochastic name passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80, (2001) 25--31.

Digital Library

Google Scholar

[69]

Regev, A., Panina, E.M., Silverman, W., Cardelli, L., and Shapiro, E.Y. Bioambients: An abstraction for biological compartments. Theor. Comput. Sci. 325, (2004), 141--167.

Digital Library

Google Scholar

[70]

Regev, A., Silverman, W., and Shapiro, E. Representation and simulation of biochemical processes using the pi-calculus process algebra. Pac. Symp. Biocomput. (2001) 459--470.

Google Scholar

[71]

Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J.A. and Harel, D. Towards verified biological models, Transactions on Computational Biology and Bioinformatics 5,(2008), 1--12.

Digital Library

Google Scholar

[72]

Schaub, M.A., Henzinger, T.A., and Fisher, J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology 1, (2007).

Google Scholar

[73]

Setty, Y., Cohen, I.R., Dor, Y., and Harel, D. Four-dimensional realistic modeling of pancreatic organogenesis. In Proc. Natl. Acad. Sci. 105, 51 (2008), 20374--20379.

Crossref

Google Scholar

[74]

Shen, X., Collier, J., Dill, D., Shapiro, L., Horowitz, M. and McAdams, H.H. Architecture and inherent robustness of a bacterial cell-cycle control system. PNAS. 105, 32 (2008), 11340--11345.

Crossref

Google Scholar

[75]

Thomas, W. Automata on infinite objects. In Handbook of Theoretical Computer Science B, (1990), 133--192.

Digital Library

Google Scholar

[76]

Wang, D., Cardelli L., Phillips A., Piterman N. and Fisher J. Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. In BMC Systems Biology 3, 118, (2009), 22.

Crossref

Google Scholar

[77]

Wolf, V., Goel, R., Mateescu, M. and Henzinger, T.A. Solving the chemical master equation using sliding windows. BMC Systems Biology 4, 42, (2010).

Crossref

Google Scholar

Cited By

View all

Függer MNowak TRybicki JKuznetsov PGelles ROlivetti D(2024)Majority Consensus Thresholds in Competitive Lotka-Volterra PopulationsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662823(76-86)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3662158.3662823
Reinhardt OWarnke TUhrmacher A(2022)A Language for Agent-based Discrete-event Modeling and Simulation of Linked LivesACM Transactions on Modeling and Computer Simulation10.1145/348663432:1(1-26)Online publication date: 7-Jan-2022
https://dl.acm.org/doi/10.1145/3486634
Marum JJones JCunningham H(2020)Dependency Graph-based Reactivity for Virtual Environments2020 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)10.1109/VRW50115.2020.00052(246-253)Online publication date: Mar-2020
https://doi.org/10.1109/VRW50115.2020.00052
Show More Cited By

Index Terms

Biology as reactivity

Recommendations

Systems biology approaches to corticosteroid pharmacogenomics and systemic inflammation
Reactivity in Online Auctions: Understanding Bidding Behavior through Reactive Transitions
CECANDEEE '08: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services

Internet systems are a typical scenario where sequences of interactions arise. Modeling the factors that drive the dynamics of an online auction, for example, is complex, since successive interactions become a loop-feedback mechanism, that we call ...
Comparative systems biology of the sporulation initiation network in prokaryotes
RECOMB'05: Proceedings of the 2005 joint annual satellite conference on Systems biology and regulatory genomics

Many years of experimental and computational molecular biology of model organisms such as Escherichia coli and Saccharomyces cerevisiae has elucidated the gene regulatory network in these organisms. Relatively little is known about gene regulation in ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 54, Issue 10

October 2011

126 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2001269

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2011

Published in CACM Volume 54, Issue 10

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
21,293
Total Downloads

Downloads (Last 12 months)220
Downloads (Last 6 weeks)16

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Függer MNowak TRybicki JKuznetsov PGelles ROlivetti D(2024)Majority Consensus Thresholds in Competitive Lotka-Volterra PopulationsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662823(76-86)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3662158.3662823
Reinhardt OWarnke TUhrmacher A(2022)A Language for Agent-based Discrete-event Modeling and Simulation of Linked LivesACM Transactions on Modeling and Computer Simulation10.1145/348663432:1(1-26)Online publication date: 7-Jan-2022
https://dl.acm.org/doi/10.1145/3486634
Marum JJones JCunningham H(2020)Dependency Graph-based Reactivity for Virtual Environments2020 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW)10.1109/VRW50115.2020.00052(246-253)Online publication date: Mar-2020
https://doi.org/10.1109/VRW50115.2020.00052
Ellis SKlinge TLathrop JLutz JLutz RMiner APotter H(2019)Runtime Fault Detection in Programmed Molecular SystemsACM Transactions on Software Engineering and Methodology10.1145/329574028:2(1-20)Online publication date: 13-Mar-2019
https://dl.acm.org/doi/10.1145/3295740
Marum JJones JCunningham H(2019)Towards a Reactive Game Engine2019 SoutheastCon10.1109/SoutheastCon42311.2019.9020527(1-8)Online publication date: Apr-2019
https://doi.org/10.1109/SoutheastCon42311.2019.9020527
Lutz JLutz NLutz RRiley MSarma AMurta L(2019)Robustness and games against nature in molecular programmingProceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results10.1109/ICSE-NIER.2019.00025(65-68)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1109/ICSE-NIER.2019.00025
Angius N(2019)Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, ExperimentationMinds and Machines10.1007/s11023-019-09503-929:3(397-416)Online publication date: 1-Sep-2019
https://dl.acm.org/doi/10.1007/s11023-019-09503-9
Clarke EHenzinger TVeith H(2018)Introduction to Model CheckingHandbook of Model Checking10.1007/978-3-319-10575-8_1(1-26)Online publication date: 19-May-2018
https://doi.org/10.1007/978-3-319-10575-8_1
Pérez-Álvarez M(2017)The Four Causes of ADHD: Aristotle in the ClassroomFrontiers in Psychology10.3389/fpsyg.2017.009288Online publication date: 9-Jun-2017
https://doi.org/10.3389/fpsyg.2017.00928
Pierce MWarnke TKrumme UHelms THammer CUhrmacher A(2017)Developing and validating a multi-level ecological model of eastern Baltic cod ( Gadus morhua ) in the Bornholm Basin – A case for domain-specific languagesEcological Modelling10.1016/j.ecolmodel.2017.07.012361(49-65)Online publication date: Oct-2017
https://doi.org/10.1016/j.ecolmodel.2017.07.012
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Systems biology approaches to corticosteroid pharmacogenomics and systemic inflammation

Reactivity in Online Auctions: Understanding Bidding Behavior through Reactive Transitions

Comparative systems biology of the sporulation initiation network in prokaryotes

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations