The bio-pepa modelling language. http://www.biopepa.org/.
The bionessie biochemical networks simulation and analysis software environment. http://disc.brunel.ac.uk/bionessie/.
The eclipse open development platform. http://www.eclipse.org/.
The prism probabilistic model checker. http://www.prismmodelchecker.org/.
The simulation experiment description markup language (sed-ml). http://sedml.org/.
The systems biology markup language (sbml). http://sbml.org.
The systems biology software infrastructure (sbsi). http://www.sbsi.ed.ac.uk/index.html.
The traviando simulation trace analyzer and visualizer. http://www.cs.wm.edu/~kemper/Traviando.html.
Proceedings of the 2010 Winter Simulation Conference, WSC 2010, Baltimore, Maryland, USA, 5-8 December 2010. WSC, 2010.
F. Ciocchetta and M. L. Guerriero. Modelling biological compartments in bio-pepa. Electron. Notes Theor. Comput. Sci., 227:77–95, Jan. 2009.
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.
A. Clark, S. Gilmore, M. L. Guerriero, and P. Kemper. On verifying bio-pepa models. In Quaglia [26], pages 23–32.
A. Clark, J. Hillston, S. Gilmore, and P. Kemper. Verification and testing of biological models. In Winter Simulation Conference [9], pages 620–630.
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.
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.
P. Kemper. Recent extensions to traviando. In Quantitative Evaluation of Systems, 2009. QEST ’09. Sixth International Conference on the, pages 283 –284, sept. 2009.
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.
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.
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.
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.
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.
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.
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.
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.
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.
P. Quaglia, editor. Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings. ACM, 2010.
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.