Listar por autor 

Listar por autor "Gheorghe, Marian"  

Mostrando ítems 21-24 de 24

    • Ponencia
      Icon

      Search Based Software Engineering in Membrane Computing 

      Turlea, Ana; Gheorghe, Marian; Ipate, Florentin (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      This paper presents a testing approach for kernel P Systems (kP systems), based on test data generation for a given scenario. This method uses Genetic Algorithms to generate the input sets needed to trigger the given computation steps.
    • Ponencia
      Icon

      Testing Identifiable Kernel P Systems Using an X-machine Approach 

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Turlea, Ana (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and ...
    • Ponencia
      Icon

      Towards a P Systems Pseudomonas Quorum Sensing Model 

      Bianco, Luca; Pescini, Dario; Siepmann, Peter; Krasnogor, Natalio; Romero Campero, Francisco José; Gheorghe, Marian (Springer, 2006)
      Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals ...
    • Capítulo de Libro
      Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM 

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.