Publications

Filter by type:
. Spiking Neural P Systems Simulation and Verification. In HPCS 2020, 2020.

Conference

. Fundamental results for learning deterministic extended finite state machines from queries. Theor Comput Sci, 2020.

PDF

. Spiking Neural P Systems - Matrix Representation and Formal Verification. In ICMC 2020, 2020.

Conference

. Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 2020.

PDF

. A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Software Testing Verification and Reliability, 2020.

PDF

. Testing Robots Using CSP. In TAP 2019, 2019.

PDF Conference

. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. In SEFM 2019, 2019.

PDF Conference

. 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.

PDF

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

PDF

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

Conference

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

PDF

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

PDF Conference

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

PDF

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

PDF

. 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.

PDF

. Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. In CMC, 2016.

PDF

. Towards agent-based simulation of kernel P systems using FLAME and FLAME GPU. In WMC, 2016.

PDF

. Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integrated Computer-Aided Engineering, 2016.

PDF

. A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning. International Journal of Computers, Communications & Control, 2015.

PDF

. X-Machine Based Testing for Cloud Services. In ESOCC Workshops, 2014.

PDF

. Model Checking Kernel P Systems. In CMC, 2013.

PDF

. Kernel P Systems: Applications and Implementations. In BIC-TA, 2013.

PDF

. 3-Col problem modelling using simple kernel P systems. Int J Comput Math, 2013.

PDF

. An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. In SEFM, 2012.

PDF

. Using a kernel P system to solve the 3-Col problem. In CMC, 2012.

PDF Conference

. A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J UCS, 2012.

PDF

. Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems. In BWMC, 2012.

PDF

. Using Genetic Algorithms and Model Checking for P Systems Automatic Design. In NICSO, 2011.

PDF

. Formal Verification of P Systems with Active Membranes through Model Checking. In CMC, 2011.

PDF

. Towards Automated Verification of P Systems Using Spin. IJNCR, 2011.

PDF

. Test Data Generation for Event-B Models Using Genetic Algorithms. In ICSECS, 2011.

PDF

. Towards Search-Based Testing for Event-B Models. In ICST Workshops, 2011.

PDF

. An empirical evaluation of P system testing techniques. Natural Computing, 2011.

PDF

. Towards automated verification of P systems using Spin. In BWMC, 2011.

PDF

. Formal Verification of P Systems Using Spin. Int J Found Comput Sci, 2011.

PDF

. Tools for P system testing. In CMC, 2010.

PDF

. An Integrated Approach to P Systems Formal Verification. In CMC, 2010.

PDF

. A particle swarm optimization based on P systems. In ICNC, 2010.

PDF

. Test generation from P systems using model checking. J Log Algebr Program, 2010.

PDF

. Model checking based test generation from P systems using P-Lingua. RomJIST, 2010.

PDF

. Model checking based test generation from P systems using P-Lingua. In BWMC, 2010.

PDF

. Automated Model Design Using Genetic Algorithms and Model Checking. In BCI, 2009.

PDF

. Tuning P Systems for Solving the Broadcasting Problem. In WMC, 2009.

PDF

. Genetic model based testing: A framework and a case study. RomJIST, 2008.

PDF

. A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. In SYNASC, 2008.

PDF

. Search-based Testing using State-based Fitness. In ICST Workshops, 2008.

PDF

. Functional Search-based Testing from State Machines. In ICST, 2008.

PDF

. Automatic State-Based Test Generation Using Genetic Algorithms. In SYNASC, 2007.

PDF

. State-based testing is functional testing. In TAICPART-MUTATION, 2007.

PDF