Browse by author
Lookup NU author(s): Professor Natalio KrasnogorORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems.
Author(s): Konur S, Gheorghe M, Dragomir C, Mierla L, Ipate F, Krasnogor N
Publication type: Article
Publication status: Published
Journal: ACS Synthetic Biology
Year: 2015
Volume: 4
Issue: 1
Pages: 83-92
Print publication date: 01/01/2015
Online publication date: 04/08/2014
Acceptance date: 07/03/2014
ISSN (electronic): 2161-5063
Publisher: American Chemical Society
URL: http://dx.doi.org/10.1021/sb500134w
DOI: 10.1021/sb500134w
Altmetrics provided by Altmetric