Bibliography

[1]

The bio-pepa modelling language. http://www.biopepa.org/.

[2]

The bionessie biochemical networks simulation and analysis software environment. http://disc.brunel.ac.uk/bionessie/.

[3]

The eclipse open development platform. http://www.eclipse.org/.

[4]

The prism probabilistic model checker. http://www.prismmodelchecker.org/.

[5]

The simulation experiment description markup language (sed-ml). http://sedml.org/.

[6]

The systems biology markup language (sbml). http://sbml.org.

[7]

The systems biology software infrastructure (sbsi). http://www.sbsi.ed.ac.uk/index.html.

[8]

The traviando simulation trace analyzer and visualizer. http://www.cs.wm.edu/~kemper/Traviando.html.

[9]

Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010. WSC, 2010.

[10]

F. Ciocchetta and M. L. Guerriero. Modelling biological compartments in bio-pepa. Electron. Notes Theor. Comput. Sci., 227:77–95, Jan. 2009.

[11]

F. Ciocchetta and J. Hillston. Bio-pepa: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci., 410(33-34):3065–3084, Aug. 2009.

[12]

A. Clark, S. Gilmore, M. L. Guerriero, and P. Kemper. On verifying bio-pepa models. In Quaglia [26], pages 23–32.

[13]

A. Clark, J. Hillston, S. Gilmore, and P. Kemper. Verification and testing of biological models. In Winter Simulation Conference [9], pages 620–630.

[14]

A. Duguid. An overview of the bio-pepa eclipse plug-in. In PASTA 2009, 8th Workshop on Process Algebra and Stochastically Timed Activities, pages 121–131, August 2009.

[15]

M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. C. Doyle, H. Kitano, , the rest of the SBML Forum:, A. P. Arkin, B. J. Bornstein, D. Bray, A. Cornish-Bowden, A. A. Cuellar, S. Dronov, E. D. Gilles, M. Ginkel, V. Gor, I. I. Goryanin, W. J. Hedley, T. C. Hodgman, J.-H. Hofmeyr, P. J. Hunter, N. S. Juty, J. L. Kasberger, A. Kremling, U. Kummer, N. Le Novère, L. M. Loew, D. Lucio, P. Mendes, E. Minch, E. D. Mjolsness, Y. Nakayama, M. R. Nelson, P. F. Nielsen, T. Sakurada, J. C. Schaff, B. E. Shapiro, T. S. Shimizu, H. D. Spence, J. Stelling, K. Takahashi, M. Tomita, J. Wagner, and J. Wang. The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics, 19(4):524–531, 2003.

[16]

P. Kemper. Recent extensions to traviando. In Quantitative Evaluation of Systems, 2009. QEST ’09. Sixth International Conference on the, pages 283 –284, sept. 2009.

[17]

P. Kemper. Report generation for simulation traces with traviando. In Dependable Systems Networks, 2009. DSN ’09. IEEE/IFIP International Conference on, pages 347 –352, 29 2009-july 2 2009.

[18]

P. Kemper and G. Tepper. Traviando - debugging simulation traces with message sequence charts. In Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on, pages 135 –136, sept. 2006.

[19]

D. Köhn and N. Le Novère. SED-ML – An XML Format for the Implementation of the MIASE Guidelines, volume 5307, pages 176–190. Springer Berlin / Heidelberg, 2008.

[20]

M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In P. Kemper, editor, Proc. Tools Session of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, pages 7–12, September 2001.

[21]

M. Kwiatkowska, G. Norman, and D. Parker. PRISM 2.0: A tool for probabilistic model checking. In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST’04), pages 322–323. IEEE Computer Society Press, 2004.

[22]

M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4):40–45, 2009.

[23]

M. Kwiatkowska, G. Norman, and D. Parker. PRISM 4.0: Verification of probabilistic real-time systems. In G. Gopalakrishnan and S. Qadeer, editors, Proc. 23rd International Conference on Computer Aided Verification (CAV’11), volume 6806 of LNCS, pages 585–591. Springer, 2011.

[24]

R. Lamprecht and P. Kemper. Mobius trace analysis with traviando. In Quantitative Evaluation of Systems, 2008. QEST ’08. Fifth International Conference on, pages 41 –42, sept. 2008.

[25]

X. Liu, J. Jiang, O. Ajayi, X. Gu, D. Gilbert, and R. Sinnott. Bionessie(g) - a grid enabled biochemical networks simulation environment. Studies In Health Technology And Informatics, 138:147–157, 2008.

[26]

P. Quaglia, editor. Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings. ACM, 2010.

[27]

D. Waltemath, R. Adams, F. Bergmann, M. Hucka, F. Kolpakov, A. Miller, I. Moraru, D. Nickerson, S. Sahle, J. Snoep, and N. Le Novère. Reproducible computational biology experiments with sed-ml - the simulation experiment description markup language. BMC Systems Biology, 5(1):198, 2011.