Listar por autor 

Listar por autor "Lefticaru, Raluca"  

Mostrando ítems 1-8 de 8

    • Artículo
      Icon

      3-Col problem modelling using simple kernel P systems 

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Pérez Jiménez, Mario de Jesús; Turcanu, Adrian; Valencia Cabrera, Luis; García Quismondo, Manuel; Mierla, Laurentiu (Taylor and Francis, 2013)
      This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a ...
    • Ponencia
      Icon

      Formal Verification of P Systems with Active Membranes through Model Checking 

      Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)
      Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
    • Ponencia
      Icon

      Kernel P Systems: Applications and Implementations 

      Ipate, Florentin; Lefticaru, Raluca; Mierla, Laurentiu; Valencia Cabrera, Luis; Han, Huang; Zhang, Gexiang; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (Springer, 2013)
      This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...
    • Ponencia
      Icon

      Model Checking Based Test Generation from P Systems Using P-Lingua 

      Lefticaru, Raluca; Ipate, Florentin; Gheorgue, Marian (Fénix Editora, 2010)
      This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua ...
    • 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 an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems 

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
    • Ponencia
      Icon

      Towards Automated Verification of P Systems Using Spin 

      Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)
      This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
    • Ponencia
      Icon

      Using A Kernel P System to Solve The 3-Col Problem 

      Ipate, Florentin; Dragomir, Ciprian; Lefticaru, Raluca; Mierla, Laurentiu; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
      The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...