{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:10:36Z","timestamp":1767237036985},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319284743"},{"type":"electronic","value":"9783319284750"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28475-0_11","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T04:21:01Z","timestamp":1451362861000},"page":"153-170","source":"Crossref","is-referenced-by-count":12,"title":["An Integrated Model Checking Toolset for Kernel P Systems"],"prefix":"10.1007","author":[{"given":"Marian","family":"Gheorghe","sequence":"first","affiliation":[]},{"given":"Savas","family":"Konur","sequence":"additional","affiliation":[]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[]},{"given":"Laurentiu","family":"Mierla","sequence":"additional","affiliation":[]},{"given":"Mehmet E.","family":"Bakir","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Stannett","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"11_CR1","unstructured":"ANTLR website. http:\/\/www.antlr.org"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-319-14370-5_10","volume-title":"Membrane Computing","author":"ME Bakir","year":"2014","unstructured":"Bakir, M.E., Ipate, F., Konur, S., Mierla, L., Niculescu, I.: Extended simulation and verification platform for kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sos\u00edk, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 158\u2013178. Springer, Heidelberg (2014)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., Ipate, F.: High performance simulations of kernel P systems. In: Proceedings of the 2014 IEEE 16th International Conference on High Performance Computing and Communication, HPCC 2014, France, Paris pp. 409\u2013412 (2014)","DOI":"10.1109\/HPCC.2014.69"},{"key":"11_CR4","series-title":"Emergence, Complexity and Computation","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-03191-0_1","volume-title":"Applications of Membrane Computing in Systems and Synthetic Biology","author":"J Blakes","year":"2014","unstructured":"Blakes, J., Twycross, J., Konur, S., Romero-Campero, F., Krasnogor, N., Gheorghe, M.: Infobiotics workbench: A P systems based tool for systems and synthetic biology. In: Frisco, P., Gheorghe, M., P\u00e9rez-Jim\u00e9nez, M.J. (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. Emergence, Complexity and Computation, vol. 7, pp. 1\u201341. Springer, Switzerland (2014)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"volume-title":"Applications of Membrane Computing","year":"2006","key":"11_CR6","unstructured":"Ciobanu, G., P\u00e9rez-Jim\u00e9nez, M.J., Paun, G. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2006)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Coakley, S., Gheorghe, M., Holcombe, M., Chin, S., Worth, D., Greenough, C.: Exploitation of high performance computing in the FLAME agent-based simulation framework. In: Proceedings of the IEEE 14th International Conference on High Performance Computing and Communication, HPCC 2012, Liverpool, UK, pp. 538\u2013545 (2012)","DOI":"10.1109\/HPCC.2012.79"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2008.04.005","volume":"404","author":"D D\u00edaz-Pernil","year":"2008","unstructured":"D\u00edaz-Pernil, D., Guti\u00e9rrez-Naranjo, M.A., P\u00e9rez-Jim\u00e9nez, M.J.: A uniform family of tissue P systems with cell division solving 3-COL in a linear time. Theor. Comput. Sci. 404, 76\u201387 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s11047-012-9342-9","volume":"11","author":"MJ Dinneen","year":"2012","unstructured":"Dinneen, M.J., Yun-Bum, K., Nicolescu, R.: Faster synchronization in P systems. Nat. Comput. 11(4), 637\u2013651 (2012)","journal-title":"Nat. Comput."},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-54239-8_12","volume-title":"Membrane Computing","author":"C Dragomir","year":"2014","unstructured":"Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., Mierla, L.: Model checking kernel P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 151\u2013172. Springer, Heidelberg (2014)"},{"volume-title":"Applications of Membrane Computing in Systems and Synthetic Biology","year":"2014","key":"11_CR11","unstructured":"Frisco, P., Gheorghe, M., P\u00e9rez-Jim\u00e9nez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Berlin (2014)"},{"key":"11_CR12","unstructured":"Gheorghe, M., Ipate, F., Dragomir, C., Mierla, L., Valencia-Cabrera, L., Garc\u00eda-Quismondo, M., P\u00e9rez-Jim\u00e9nez, M.J.: Kernel P systems - version 1. In: 11th Brainstorming Week on Membrane Computing, pp. 97\u2013124. F\u00e9nix Editora (2013)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-18123-8_18","volume-title":"Membrane Computing","author":"M Gheorghe","year":"2010","unstructured":"Gheorghe, M., Ipate, F., Lefticaru, R., Dragomir, C.: An integrated approach to P systems formal verification. In: Gheorghe, M., Hinze, T., Paun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 226\u2013239. Springer, Heidelberg (2010)"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1080\/00207160.2012.743712","volume":"90","author":"M Gheorghe","year":"2012","unstructured":"Gheorghe, M., Ipate, F., Lefticaru, R., P\u00e9rez-Jim\u00e9nez, M.J., Turcanu, A., Valencia-Cabrera, L., Garc\u00eda-Quismondo, M., Mierla, L.: 3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90(4), 816\u2013830 (2012)","journal-title":"Int. J. Comput. Math."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1142\/S0129054113500202","volume":"24","author":"M Gheorghe","year":"2013","unstructured":"Gheorghe, M., Paun, G., P\u00e9rez-Jim\u00e9nez, M.J., Rozenberg, G.: Research frontiers of membrane computing: open problems and research topics. Int. J. Found. Comput. Scence 24, 547\u2013624 (2013)","journal-title":"Int. J. Found. Comput. Scence"},{"issue":"1\u20132","key":"11_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/s10851-012-0367-6","volume":"47","author":"GL Gimel\u2019farb","year":"2013","unstructured":"Gimel\u2019farb, G.L., Nicolescu, R., Ragavan, S.: P system implementation of dynamic programming stereo. J. Math. Imaging Vis. 47(1\u20132), 13\u201326 (2013)","journal-title":"J. Math. Imaging Vis."},{"issue":"2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/sej.1988.0009","volume":"3","author":"M Holcombe","year":"1988","unstructured":"Holcombe, M.: X-machines as a basis for dynamic system specification. Softw. Eng. J. 3(2), 69\u201376 (1988)","journal-title":"Softw. Eng. J."},{"issue":"5","key":"11_CR18","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 275\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0129054111007897","volume":"22","author":"F Ipate","year":"2011","unstructured":"Ipate, F., Lefticaru, R., Tudose, C.: Formal verification of P systems using spin. Intern. J. Found. Comput. Sci. 22(1), 133\u2013142 (2011)","journal-title":"Intern. J. Found. Comput. Sci."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1109\/TCBB.2014.2362531","volume":"12","author":"S Konur","year":"2015","unstructured":"Konur, S., Gheorghe, M.: A property-driven methodology for formal analysis of synthetic biology systems. IEEE\/ACM Trans. Comput. Biol. Bioinf. 12, 360\u2013371 (2015)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"issue":"1\u20132","key":"11_CR21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3233\/FI-2014-1093","volume":"134","author":"S Konur","year":"2014","unstructured":"Konur, S., Gheorghe, M., Dragomir, C., Ipate, F., Krasnogor, N.: Conventional verification for unconventional computing: a genetic XOR gate example. Fundamenta Informaticae 134(1\u20132), 97\u2013110 (2014)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1021\/sb500134w","volume":"4","author":"S Konur","year":"2015","unstructured":"Konur, S., Gheorghe, M., Dragomir, C., Mierla, L., Ipate, F., Krasnogor, N.: Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synth. Biol. 4(1), 83\u201392 (2015)","journal-title":"ACS Synth. Biol."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Konur, S., Kiran, M., Gheorghe, M., Burkitt, M., Ipate, F.: Agent-based high-performance simulation of biological systems on the Gpu. In: Proceedings of the 2015 IEEE 15th International Conference on High Performance Computing and Communication, HPCC 2015, New York, USA (2015)","DOI":"10.1109\/HPCC-CSS-ICESS.2015.253"},{"key":"11_CR24","unstructured":"Konur, S., Ladroue, C., Fellermann, H., Sanassy, D., Mierla, L., Ipate, F., Kalvala, S., Gheorghe, M., Krasnogor, N.: Modeling and analysis of genetic boolean gates using the infobiotics workbench. In: Proceedings of Verification of Engineered Molecular Devices and Programs. VEMDP 2014, pp. 26\u201337. Austria, Vienna (2014)"},{"key":"11_CR25","unstructured":"MeCoSim website. http:\/\/www.p-lingua.org\/mecosim\/"},{"key":"11_CR26","unstructured":"P-Lingua website. http:\/\/www.p-lingua.org"},{"issue":"1","key":"11_CR27","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G Paun","year":"2000","unstructured":"Paun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"volume-title":"The Oxford Handbook of Membrane Computing","year":"2010","key":"11_CR28","unstructured":"Paun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010)"},{"volume-title":"Handbook of Natural Computing","year":"2012","key":"11_CR29","unstructured":"Rozenberg, G., B\u00e4ck, T., Kok, J.N. (eds.): Handbook of Natural Computing. Springer, Heidelberg (2012)"},{"key":"11_CR30","unstructured":"Singleton. http:\/\/en.wikipedia.org\/wiki\/Singleton_pattern"},{"key":"11_CR31","unstructured":"SOLID. http:\/\/en.wikipedia.org\/wiki\/SOLID_(object-oriented_design)"},{"key":"11_CR32","unstructured":"Visitor design pattern. http:\/\/en.wikipedia.org\/wiki\/Visitor_pattern"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28475-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T08:42:52Z","timestamp":1599986572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28475-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319284743","9783319284750"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28475-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}