메뉴 건너뛰기




Volumn 387, Issue , 2011, Pages 285-302

Using genetic algorithms and model checking for P systems automatic design

Author keywords

[No Author keywords available]

Indexed keywords


EID: 82555185281     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-24094-2_20     Document Type: Conference Paper
Times cited : (14)

References (25)
  • 1
    • 24144495222 scopus 로고    scopus 로고
    • Executable specifications of P systems
    • In Mauri, G., Pâun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of P systems. In: Mauri, G., Pâun, G., Jesús Pérez- Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126-145. Springer, Heidelberg (2005)
    • (2005) WMC 2004. LNCS , vol.3365 , pp. 126-145
    • Andrei, O.1    Ciobanu, G.2    Lucanu, D.3
  • 2
    • 77949635434 scopus 로고    scopus 로고
    • A P system based model of an ecosystem of some scavenger birds
    • In Pâun, G., Pérez-Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Cardona, M., Colomer, M.A., Margalida, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D.: A P system based model of an ecosystem of some scavenger birds. In: Pâun, G., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 182-195. Springer, Heidelberg (2010)
    • (2010) WMC 2009. LNCS , vol.5957 , pp. 182-195
    • Cardona, M.1    Colomer, M.A.2    Margalida, A.3    Pérez-Hurtado, I.4    Pérez-Jiménez, M.J.5    Sanuy, D.6
  • 4
    • 60349085093 scopus 로고    scopus 로고
    • A P-lingua programming environment for membrane computing
    • In Corne, D.W., Frisco, P., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Díaz-Pernil, D., Pérez-Hurtado, I., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A.: A P-lingua programming environment for membrane computing. In: Corne, D.W., Frisco, P., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 187-203. Springer, Heidelberg (2009)
    • (2009) WMC 2008. LNCS , vol.5391 , pp. 187-203
    • Díaz-Pernil, D.1    Pérez-Hurtado, I.2    Pérez-Jiménez, M.J.3    Riscos-Núnez, A.4
  • 9
    • 34548059833 scopus 로고    scopus 로고
    • Genetic programming with fitness based on model checking
    • In Ebner, M., O'Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds Springer, Heidelberg
    • Johnson, C.: Genetic programming with fitness based on model checking. In: Ebner, M., O'Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114-124. Springer, Heidelberg (2007)
    • (2007) EuroGP 2007. LNCS , vol.4445 , pp. 114-124
    • Johnson, C.1
  • 10
    • 53449095108 scopus 로고    scopus 로고
    • The many facets of natural computing
    • Kari, L., Rozenberg, G.: The many facets of natural computing. Communications of the ACM 51(10), 72-83 (2008)
    • (2008) Communications of the ACM , vol.51 , Issue.10 , pp. 72-83
    • Kari, L.1    Rozenberg, G.2
  • 13
    • 77949607800 scopus 로고    scopus 로고
    • Tuning P systems for solving the broadcasting problem
    • In Pâun, G., Pérez-Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Lefticaru, R., Ipate, F., Gheorghe, M., Zhang, G.: Tuning P Systems for Solving the Broadcasting Problem. In: Pâun, G., Pérez- Jiménez, M.J., Riscos-Nú̃nez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 354-370. Springer, Heidelberg (2010)
    • (2010) WMC 2009. LNCS , vol.5957 , pp. 354-370
    • Lefticaru, R.1    Ipate, F.2    Gheorghe, M.3    Zhang, G.4
  • 14
    • 82555174845 scopus 로고    scopus 로고
    • Towards automated verification of P systems using Spin
    • Lefticaru, R., Tudose, C., Ipate, F.: Towards automated verification of P systems using Spin. In: Ninth Brainstorming Week on Membrane Computing, pp. 237-250 (2011), http://www.gcn.us.es/9BWMC/volume/ 16Lefticaru psys spin.pdf
    • (2011) Ninth Brainstorming Week on Membrane Computing , pp. 237-250
    • Lefticaru, R.1    Tudose, C.2    Ipate, F.3
  • 18
    • 82555203715 scopus 로고    scopus 로고
    • P-Lingua website last visited, July 2011
    • P-Lingua website, http://www.p-lingua.org (last visited, July 2011)
  • 20
    • 0002552120 scopus 로고    scopus 로고
    • P systems with active membranes: Attacking NP-complete problems
    • Pâun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6(1), 75-90 (2001)
    • (2001) Journal of Automata, Languages and Combinatorics 6 , vol.1 , pp. 75-90
    • Pâun, G.1
  • 22
    • 84876560146 scopus 로고    scopus 로고
    • Towards probabilistic model checking on P systems using PRISM
    • In Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jesús Pérez-Jímenez, M., Ceterchi, R.: Towards probabilistic model checking on P systems using PRISM. In: Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 477-495. Springer, Heidelberg (2006)
    • (2006) WMC 2006. LNCS , vol.4361 , pp. 477-495
    • Romero-Campero, F.J.1    Gheorghe, M.2    Bianco, L.3    Pescini, D.4    Jesús Pérez-Jímenez, M.5    Ceterchi, R.6
  • 23
    • 84876582159 scopus 로고    scopus 로고
    • Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems
    • In Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds Springer, Heidelberg
    • Zaharie, D., Ciobanu, G.: Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems. In: Hoogeboom, H.J., Pâun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 536-553. Springer, Heidelberg (2006)
    • (2006) WMC 2006. LNCS , vol.4361 , pp. 536-553
    • Zaharie, D.1    Ciobanu, G.2
  • 24
    • 82555203708 scopus 로고    scopus 로고
    • An approximate algorithm combining P systems and ant colony optimization for traveling salesman problems
    • 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-340 (2010), http://www.gcn.us.es/8BWMC/volume/25ACOPS-Latex.pdf
    • (2010) Eighth Brainstorming Week on Membrane Computing , pp. 321-340
    • Zhang, G.1    Cheng, J.2    Gheorghe, M.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.