Now showing items 1-15 of 15

    • Icon3-Col problem modelling using simple kernel P systems  [Article]

      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 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes ...
    • IconA Kernel P System  [Presentation]

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian (Fénix Editora, 2012)
      A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
    • IconConventional Verification for Unconventional Computing: a Genetic XOR Gate Example  [Presentation]

      Konur, Savas; Gheorgue, Marian; Dragomir, Ciprian; Ipate, Florentin; Krasnogor, Natalio (Fénix Editora, 2014)
      As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...
    • IconFormal Verification of P Systems with Active Membranes through Model Checking  [Presentation]

      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. However, up to now only P systems with static structure have been considered. This paper makes ...
    • IconKernel P Systems - Version 1  [Presentation]

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and studied so far is de ned and discussed. The structure of such systems is de ned as a dynamic graph, ...
    • IconKernel P Systems Modelling, Testing and Veri cation  [Presentation]

      Gheorghe, Marian; Ceterchi, Rodica; Ipate, Florentin; Konur, Savas (Fénix, 2016)
      A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for ...
    • IconKernel P Systems: Applications and Implementations  [Presentation]

      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 language for describing kP systems and its translation into Promela, the specification language of ...
    • IconkPWorkbench: A Software Framework for Kernel P Systems  [Presentation]

      Gheorgue, Marian; Ipate, Florentin; Mierla, Laurentiu; Konur, Savas (Fénix Editora, 2015)
      P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...
    • IconModel Checking Based Test Generation from P Systems Using P-Lingua  [Presentation]

      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 as specification language. This approach is based on a transformation of the transitional, ...
    • IconModeling, Verification and Testing of P Systems Using Rodin and ProB  [Presentation]

      Ipate, Florentin; Turcanu, Adrian (Fénix Editora, 2011)
      In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we ...
    • IconMutation Based Testing of P Systems  [Presentation]

      Ipate, Florentin; Gheorgue, Marian (Fénix Editora, 2009)
      Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves ...
    • IconTesting Identifiable Kernel P Systems Using an X-machine Approach  [Presentation]

      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 the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...
    • IconTowards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems  [Presentation]

      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, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
    • IconTowards Automated Verification of P Systems Using Spin  [Presentation]

      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 proposed approach has been developed and can automatically transform P system specifications from P-Lingua ...
    • IconUsing A Kernel P System to Solve The 3-Col Problem  [Presentation]

      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 system variants with new elements with potential value for formal modelling. This paper presents ...