Selected Publications

This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing approach and the concept of cover automaton. The testing methodology ensures that the implementation conforms the specifications, under certain conditions, such as the identifiability concept in the context of kernel P systems. Best Student Paper Award
In CMC19, 2018

A kernel P system integrates in a coherent and elegant manner some of the most successfully used features of the P systems employed in modelling various applications. It also provides a theoretical framework for analysing these applications and a software environment for simulating and verifying them. In this paper, we illustrate the modelling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kernel P system models for a sorting algorithm and a broadcasting problem. We also show how formal verification can be used to validate that the given models work as desired. Finally, a test generation method based on automata is extended to non-deterministic kernel P systems.
Theor Comput Sci, 2018

Recent Publications

More Publications

. Testing Identifiable Kernel P Systems using an X-machine Approach. In CMC19, 2018.

PDF Conference

. Generating Complex Paths for Testing from an EFSM. In QRS, 2018.


. P colonies and kernel P systems. Int J Adv Eng Sci Appl Math, 2018.


. Search based Model in the Loop Testing for Cyber Physical Systems. In FROM, 2018.


. Kernel P systems: From modelling to verification and testing. Theor Comput Sci, 2018.


. A Test Suite Generation Approach based on EFSMs using a multi-objective algorithm. In SYNASC 2017, 2017.


. Modelling and Validating an Engineering Application in Kernel P Systems. In CMC18, 2017.


. Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. IEEE CPSCom-2017, 2017.


. Analyzing Crowd-Sourced Information and Social Media for Crisis Management. Application of Social Media in Crisis Management, 2017.

PDF Springer Book

. A Hybrid Test Generation Approach Based on Extended Finite State Machines. In SYNASC 2016, 2016.




Systematic model-based testing and simulation of mobile autonomous robots


Modelling and analysis of cyber-physical systems


Multi-scale modelling, verification and testing


Communication technologies and applications to promote safety and security of citizens in crisis situations


Continuous quality assurance and optimisation for cloud brokers


Computational models for determining the safety of cosmetic ingredients to humans


Industrial deployment of system engineering methods providing high dependability and productivity


An integrated evolutionary approach to formal modelling and testing


Organizing Committees

  • Student and Short Paper Track Co-chair for the 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallin, Estonia, 31 Aug–2 Sep, 2019

  • Communication Chair for the 18th International Conference on Membrane Computing (CMC18), Bradford, UK, 24–28 July, 2017

Program Committees

  • 19th International Conference on Membrane Computing (CMC19), Dresden, Germany, September 2018
  • Workshop on Membrane Computing at UCNC 2018 (WMC 2018), Fontainebleau, France, June 2018
  • International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) joined with 10th IEEE International Conference on Cyber, Physical and Social Computing (IEEE CPSCom-2017), Exeter, UK, June 2017
  • 8th Symposium on Search-Based Software Engineering (SSBSE 2016), Raleigh, North Carolina, USA, October 2016
  • 7th Symposium on Search-Based Software Engineering (SSBSE 2015), Bergamo, Italy, September 2015
  • 4th Workshop on Formal Methods in the Development of Software (WS-FMDS 2014), Grenoble, France, September 2014
  • 2nd International Workshop on Cloud Service Brokerage (CSB 2014), Manchester, UK, September 2014
  • 6th Symposium on Search-Based Software Engineering (SSBSE 2014), Fortaleza, Brazil, August 2014
  • 3rd Workshop on Formal Methods in the Development of Software (WS-FMDS 2013), Madrid, Spain, September 2013
  • 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, France, August 2012
  • 3rd Workshop on Model-based Testing in Practice (MOTIP 2010), Paris, France, June 2010
  • 2nd Workshop on Model-based Testing in Practice (MOTIP 2009), Enschede, The Netherlands, June 2009