Computational Methods in Systems Biology

15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

  • Jérôme Feret
  • Heinz Koeppl
Conference proceedings CMSB 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10545)

Also part of the Lecture Notes in Bioinformatics book sub series (LNBI, volume 10545)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko
      Pages 3-19
  3. Regular Papers

    1. Front Matter
      Pages 21-21
    2. Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
      Pages 23-39
    3. Jiří Barnat, Nikola Beneš, Luboš Brim, Martin Demko, Matej Hajnal, Samuel Pastva et al.
      Pages 40-56
    4. Célia Biane, Franck Delaplace
      Pages 57-73
    5. Arthur Carcano, François Fages, Sylvain Soliman
      Pages 74-90
    6. François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly
      Pages 108-127
    7. Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov
      Pages 145-159
    8. Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf
      Pages 160-178
    9. Hugues Mandon, Stefan Haar, Loïc Paulevé
      Pages 179-195
    10. Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
      Pages 196-213
    11. Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
      Pages 214-232
    12. Robert Schwieger, Heike Siebert
      Pages 233-248
    13. Carolyn Talcott, Merrill Knapp
      Pages 249-264
    14. Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan
      Pages 265-282
  4. Tool Papers

    1. Front Matter
      Pages 283-283
    2. Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
      Pages 291-299
    3. Bree Cummins, Tomas Gedeon, Shaun Harker, Konstantin Mischaikow
      Pages 300-308
  5. Back Matter
    Pages 317-332

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41  regular paper submissions. Topics of interest include formalisms for modeling  biological processes; models and their biological applications; frameworks for model verication, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.


formal methods live and medical sciences model checking simulation and modeling uncertainty quantification approximation automated static analysis big data computational biology dynamic analysis dynamic modeling game theory logical frameworks model verification and validation semantics genes temporal logic numeric methods

Editors and affiliations

  1. 1.Inria & École normale supérieureParisFrance
  2. 2.Technische Universität DarmstadtDarmstadtGermany

Bibliographic information

Industry Sectors