Show simple item record

dc.contributor.authorKonur, Savas*
dc.contributor.authorGheorghe, Marian*
dc.contributor.authorDragomir, C.*
dc.contributor.authorMierla, L.M.*
dc.contributor.authorIpate, F.*
dc.contributor.authorKrasnogor, N.*
dc.date.accessioned2016-07-27T14:20:52Z
dc.date.available2016-07-27T14:20:52Z
dc.date.issued2015-01-16
dc.identifier.citationKonur S, Gheorghe M, Dragomir C et al (2015) Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology. 4(1): 83-92.en_US
dc.identifier.urihttp://hdl.handle.net/10454/8712
dc.descriptionYesen_US
dc.description.abstractComputational 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.en_US
dc.description.sponsorshipEPSRCen_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttp://pubs.acs.org/doi/abs/10.1021/sb500134wen_US
dc.rights© 2015 ACS. This document is the Accepted Manuscript version of a Published Work that appeared in final form in ACS Synthetic Biology, copyright © American Chemical Society, after peer-review and technical editing by the publisher. To access the final edited and published work see http://pubs.acs.org/doi/abs/10.1021/sb500134w
dc.subjectSystems and synthetic biology; Membrane computing; P systems; Modelling; Verification; Qualitative analysis; Quantitative analysis; Quorum sensing; Pulse generatoren_US
dc.titleQualitative and quantitative analysis of systems and synthetic biology constructs using P systemsen_US
dc.status.refereedYesen_US
dc.date.application2014-08-04
dc.typeArticleen_US
dc.type.versionAccepted Manuscripten_US
refterms.dateFOA2018-07-25T12:24:28Z


Item file(s)

Thumbnail
Name:
acsb_final.pdf
Size:
1008.Kb
Format:
PDF
Description:
Main article

This item appears in the following Collection(s)

Show simple item record