Lookup NU author(s): Professor Natalio Krasnogor
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
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
Altmetrics provided by Altmetric