{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:57:55Z","timestamp":1725937075279},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319733586"},{"type":"electronic","value":"9783319733593"}],"license":[{"start":{"date-parts":[[2017,12,31]],"date-time":"2017-12-31T00:00:00Z","timestamp":1514678400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73359-3_12","type":"book-chapter","created":{"date-parts":[[2017,12,30]],"date-time":"2017-12-30T16:05:29Z","timestamp":1514649929000},"page":"183-195","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modelling and Validating an Engineering Application in Kernel P Systems"],"prefix":"10.1007","author":[{"given":"Raluca","family":"Lefticaru","sequence":"first","affiliation":[]},{"given":"Mehmet Emin","family":"Bakir","sequence":"additional","affiliation":[]},{"given":"Savas","family":"Konur","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Stannett","sequence":"additional","affiliation":[]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,31]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-14370-5_10"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., Ipate, F.: High performance simulations of kernel P systems. In: 2014 IEEE International Conference on High Performance Computing and Communications, HPCC 2014, pp. 409\u2013412 (2014)","DOI":"10.1109\/HPCC.2014.69"},{"key":"12_CR3","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). \nhttps:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"12_CR4","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: 14th IEEE International Conference on High Performance Computing and Communication, HPCC 2012, pp. 538\u2013545 (2012)","DOI":"10.1109\/HPCC.2012.79"},{"key":"12_CR5","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). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54239-8_12"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-54072-6_15","volume-title":"Membrane Computing","author":"M Gheorghe","year":"2017","unstructured":"Gheorghe, M., Ceterchi, R., Ipate, F., Konur, S.: Kernel P systems modelling, testing and verification - sorting case study. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) CMC 2016. LNCS, vol. 10105, pp. 233\u2013250. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-54072-6_15"},{"key":"12_CR7","unstructured":"Gheorghe, M., Ceterchi, R., Ipate, F., Konur, S., Lefticaru, R.: Kernel P systems: from modelling to verification and testing. Theoretical Computer Science (accepted for publication). \nhttp:\/\/hdl.handle.net\/10454\/11720"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-95885-7_15","volume-title":"Membrane Computing","author":"M Gheorghe","year":"2009","unstructured":"Gheorghe, M., Ipate, F.: On testing P systems. In: Corne, D.W., Frisco, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 204\u2013216. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-540-95885-7_15"},{"key":"12_CR9","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 I. In: Eleventh Brainstorming Week on Membrane Computing (11BWMC), pp. 97\u2013124 (2013)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-28475-0_11","volume-title":"Membrane Computing","author":"M Gheorghe","year":"2015","unstructured":"Gheorghe, M., Konur, S., Ipate, F., Mierla, L., Bakir, M.E., Stannett, M.: An integrated model checking toolset for kernel P systems. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 153\u2013170. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-28475-0_11"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","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."},{"key":"12_CR12","series-title":"Applied computing","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Applied computing. Springer, Heidelberg (1998)"},{"issue":"5","key":"12_CR13","doi-asserted-by":"crossref","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":"3\u20134","key":"12_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F Ipate","year":"1997","unstructured":"Ipate, F., Holcombe, M.: An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63(3\u20134), 159\u2013178 (1997)","journal-title":"Int. J. Comput. Math."},{"issue":"1","key":"12_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10849-010-9126-5","volume":"20","author":"S Konur","year":"2011","unstructured":"Konur, S.: An event-based fragment of first-order logic over intervals. J. Logic Lang. Inf. 20(1), 49\u201368 (2011)","journal-title":"J. Logic Lang. Inf."},{"issue":"Part B","key":"12_CR16","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1016\/j.scico.2013.07.012","volume":"80","author":"S Konur","year":"2014","unstructured":"Konur, S.: Specifying safety-critical systems with a decidable duration logic. Sci. Comput. Program. 80(Part B), 264\u2013287 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"12_CR17","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1017\/S0269888914000228","volume":"30","author":"S Konur","year":"2015","unstructured":"Konur, S., Fisher, M.: A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30(3), 324\u2013341 (2015)","journal-title":"Knowl. Eng. Rev."},{"issue":"1","key":"12_CR18","doi-asserted-by":"crossref","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":"12_CR19","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: 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, pp. 84\u201389 (2015)","DOI":"10.1109\/HPCC-CSS-ICESS.2015.253"},{"key":"12_CR20","unstructured":"Lefticaru, R., Konur, S., Yildirim, U., Uddin, A., Campean, F., Gheorghe, M.: Towards an integrated approach to verification and model-based testing in system engineering. In: The International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) within the IEEE International Conference on Cyber, Physical and Social Computing (CPSCom), pp. 131\u2013138 (2017). \nhttp:\/\/hdl.handle.net\/10454\/12322"},{"issue":"1","key":"12_CR21","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"12_CR22","unstructured":"The P systems website. \nhttp:\/\/ppage.psystems.eu\n\n. Accessed 30 Oct 2017"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Sanassy, D., Fellermann, H., Krasnogor, N., Konur, S., Mierla, L., Gheorghe, M., Ladroue, C., Kalvala, S.: Modelling and stochastic simulation of synthetic biological boolean gates. In: 2014 IEEE International Conference on High Performance Computing and Communications, HPCC 2014, Paris, France, August 20\u201322, 2014, pp. 404\u2013408 (2014)","DOI":"10.1109\/HPCC.2014.68"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Varadarajan, A.V., Romijn, M., Oosthoek, B., van de Mortel-Fronczak, J.M., Beijer, J.: Development and validation of functional model of a cruise control system. In: Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, pp. 45\u201358. EPTCS (2016)","DOI":"10.4204\/EPTCS.205.4"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73359-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,30]],"date-time":"2017-12-30T16:08:18Z","timestamp":1514650098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73359-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,31]]},"ISBN":["9783319733586","9783319733593"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73359-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,12,31]]}}}