{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:16:55Z","timestamp":1761967015022,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642240935"},{"type":"electronic","value":"9783642240942"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24094-2_20","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T14:42:22Z","timestamp":1319726542000},"page":"285-302","source":"Crossref","is-referenced-by-count":7,"title":["Using Genetic Algorithms and Model Checking for P Systems Automatic Design"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Tudose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raluca","family":"Lefticaru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-31837-8_7","volume-title":"Membrane Computing","author":"O. Andrei","year":"2005","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 126\u2013145. Springer, Heidelberg (2005)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-11467-0_14","volume-title":"Membrane Computing","author":"M. Cardona","year":"2010","unstructured":"Cardona, M., Colomer, M.A., Margalida, A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Sanuy, D.: A P system based model of an ecosystem of some scavenger birds. In: P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol.\u00a05957, pp. 182\u2013195. Springer, Heidelberg (2010)"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.jlap.2010.03.008","volume":"79","author":"J.M. Cecilia","year":"2010","unstructured":"Cecilia, J.M., Garc\u00eda, J.M., Guerrero, G.D., del Amor, M.A.M., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming\u00a079(6), 317\u2013325 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-95885-7_14","volume-title":"Membrane Computing","author":"D. D\u00edaz-Pernil","year":"2009","unstructured":"D\u00edaz-Pernil, D., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A P-lingua programming environment for membrane computing. In: Corne, D.W., Frisco, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol.\u00a05391, pp. 187\u2013203. Springer, Heidelberg (2009)"},{"key":"20_CR5","unstructured":"Escuela, G., Guti\u00e9rrez-Naranjo, M.A.: An application of genetic algorithms to membrane computing. In: Eighth Brainstorming Week on Membrane Computing, pp. 101\u2013108 (2010), http:\/\/www.gcn.us.es\/8BWMC\/volume\/08GEscuela.pdf"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Huang, X., Zhang, G., Ipate, F.: Evolutionary design of a simple membrane system. In: Proc. of Twelfth International Conference on Membrane Computing, CMC12 (to appear 2011)","DOI":"10.1007\/978-3-642-28024-5_14"},{"issue":"6","key":"20_CR7","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.jlap.2010.03.007","volume":"79","author":"F. Ipate","year":"2010","unstructured":"Ipate, F., Gheorghe, M., Lefticaru, R.: Test generation from P systems using model checking. Journal of Logic and Algebraic Programming\u00a079(6), 350\u2013362 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1","key":"20_CR8","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. International Journal of Foundations of Computer Science\u00a022(1), 133\u2013142 (2011)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-71605-1_11","volume-title":"Genetic Programming","author":"C. Johnson","year":"2007","unstructured":"Johnson, C.: Genetic programming with fitness based on model checking. In: Ebner, M., O\u2019Neill, M., Ek\u00e1rt, A., Vanneschi, L., Esparcia-Alc\u00e1zar, A.I. (eds.) EuroGP 2007. LNCS, vol.\u00a04445, pp. 114\u2013124. Springer, Heidelberg (2007)"},{"issue":"10","key":"20_CR10","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1400181.1400200","volume":"51","author":"L. Kari","year":"2008","unstructured":"Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM\u00a051(10), 72\u201383 (2008)","journal-title":"Communications of the ACM"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/BCI.2009.15","volume-title":"BCI 2009: Proceedings of the 2009 Fourth Balkan Conference in Informatics","author":"R. Lefticaru","year":"2009","unstructured":"Lefticaru, R., Ipate, F., Tudose, C.: Automated model design using genetic algorithms and model checking. In: BCI 2009: Proceedings of the 2009 Fourth Balkan Conference in Informatics, pp. 79\u201384. IEEE Computer Society, Los Alamitos (2009)"},{"issue":"2","key":"20_CR12","first-page":"153","volume":"13","author":"R. Lefticaru","year":"2010","unstructured":"Lefticaru, R., Ipate, F., Gheorghe, M.: Model checking based test generation from P systems using P-Lingua. Romanian Journal of Information Science and Technology\u00a013(2), 153\u2013168 (2010)","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-11467-0_25","volume-title":"Membrane Computing","author":"R. Lefticaru","year":"2010","unstructured":"Lefticaru, R., Ipate, F., Gheorghe, M., Zhang, G.: Tuning P Systems for Solving the Broadcasting Problem. In: P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol.\u00a05957, pp. 354\u2013370. Springer, Heidelberg (2010)"},{"key":"20_CR14","unstructured":"Lefticaru, R., Tudose, C., Ipate, F.: Towards automated verification of P systems using Spin. In: Ninth Brainstorming Week on Membrane Computing, pp. 237\u2013250 (2011), http:\/\/www.gcn.us.es\/9BWMC\/volume\/16Lefticaru_psys_spin.pdf"},{"issue":"6","key":"20_CR15","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.jlap.2010.03.009","volume":"79","author":"M.A. Mart\u00ednez-del-Amor","year":"2010","unstructured":"Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A.: A P-Lingua based simulator for tissue P systems. Journal of Logic and Algebraic Programming\u00a079(6), 374\u2013382 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"20_CR16","unstructured":"Meffert, K., Meseguer, J., Mart\u00ed, E.D., Meskauskas, A., Vos, J., Rotstan, N.: JGAP-Java Genetic Algorithms and Genetic Programming Package, http:\/\/jgap.sf.net (last visited, July 2011)"},{"key":"20_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3927.001.0001","volume-title":"An Introduction to Genetic Algorithms","author":"M. Mitchell","year":"1998","unstructured":"Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1998)"},{"key":"20_CR18","unstructured":"P-Lingua website, http:\/\/www.p-lingua.org (last visited, July 2011)"},{"issue":"1","key":"20_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"20_CR20","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"P\u0103un, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics\u00a06(1), 75\u201390 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"volume-title":"The Oxford Handbook of Membrane Computing","year":"2010","key":"20_CR21","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11963516_30","volume-title":"Membrane Computing","author":"F.J. Romero-Campero","year":"2006","unstructured":"Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Ceterchi, R.: Towards probabilistic model checking on P systems using PRISM. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 477\u2013495. Springer, Heidelberg (2006)"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/11963516_34","volume-title":"Membrane Computing","author":"D. Zaharie","year":"2006","unstructured":"Zaharie, D., Ciobanu, G.: Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 536\u2013553. Springer, Heidelberg (2006)"},{"key":"20_CR24","unstructured":"Zhang, G., Cheng, J., Gheorghe, M.: An approximate algorithm combining P systems and ant colony optimization for traveling salesman problems, Eighth Brainstorming Week on Membrane Computing, pp. 321\u2013340 (2010), http:\/\/www.gcn.us.es\/8BWMC\/volume\/25ACOPS_Latex.pdf"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Zhou, F., Zhang, G., Rong, H., Gheorghe, M., Cheng, J., Ipate, F., Lefticaru, R.: A particle swarm optimization based on P systems. In: Sixth International Conference on Natural Computation, pp. 3003\u20133007 (2010)","DOI":"10.1109\/ICNC.2010.5582450"}],"container-title":["Studies in Computational Intelligence","Nature Inspired Cooperative Strategies for Optimization (NICSO 2011)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24094-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T12:04:37Z","timestamp":1620043477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24094-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642240935","9783642240942"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24094-2_20","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2011]]}}}