Florentin Ipate

Shankara Narayanan Krishna

Proceedings of the Enjoying Natural Computing, 2018

2017

Further results on generalised communicating P systems.

[BibT_eX]

[DOI]

Erzsébet Csuhaj-Varjú

Rodica Ceterchi

Theor. Comput. Sci., 2017

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm.

[BibT_eX]

[DOI]

Ana Turlea

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Modelling and Validating an Engineering Application in Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2017

2016

Testing based on identifiable P Systems using cover automata and X-machines.

[BibT_eX]

[DOI]

Savas Konur

Inf. Sci., 2016

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2016

A unified integration and component testing approach from deterministic stream X-machine specifications.

[BibT_eX]

[DOI]

Dimitris Dranidis

Formal Aspects Comput., 2016

A Hybrid Test Generation Approach Based on Extended Finite State Machines.

[BibT_eX]

[DOI]

Ana Turlea

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

QEAM: An Approximate Algorithm Using P Systems with Active Membranes.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2015

A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2015

Model Learning and Test Generation Using Cover Automata.

[BibT_eX]

[DOI]

Alin Stefanescu

Ionut Dinca

Comput. J., 2015

An Integrated Model Checking Toolset for Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2015

Agent-Based High-Performance Simulation of Biological Systems on the GPU.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

From Kernel P Systems to X-Machines and FLAME.

[BibT_eX]

[DOI]

Alin Stefanescu

J. Autom. Lang. Comb., 2014

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Crowd formal modelling and simulation: The Sa'yee ritual.

[BibT_eX]

[DOI]

Proceedings of the 14th UK Workshop on Computational Intelligence, 2014

Extended Simulation and Verification Platform for Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2014

High Performance Simulations of Kernel P Systems.

[BibT_eX]

[DOI]

Mehmet E. Bakir

Savas Konur

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013

P System Testing with Parallel Simulators - a Survey.

[BibT_eX]

[DOI]

Alex Ciobanu

Scalable Comput. Pract. Exp., 2013

3-Col problem modelling using simple kernel P systems.

[BibT_eX]

[DOI]

Mario J. Pérez-Jiménez

Adrian Turcanu

Luis Valencia-Cabrera

Manuel García-Quismondo

Laurentiu Mierla

Int. J. Comput. Math., 2013

Programming P Systems with Complex Objects.

[BibT_eX]

[DOI]

Radu Nicolescu

Huiling Wu

Proceedings of the Membrane Computing, 2013

A Kernel P Systems Survey.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

Model Checking Kernel P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2013

Implementation of P Systems by Using Big Data Technologies.

[BibT_eX]

[DOI]

Alex Ciobanu

Proceedings of the Membrane Computing, 2013

Kernel P Systems: Applications and Implementations.

[BibT_eX]

[DOI]

Laurentiu Mierla

Luis Valencia-Cabrera

Han Huang

Gexiang Zhang

Ciprian Dragomir

Mario J. Pérez-Jiménez

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

Learning finite cover automata from queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Computational Properties of Two P Systems Solving the 3-colouring Problem.

[BibT_eX]

[DOI]

Adrian Turcanu

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

JSXM: A Tool for Automated Test Generation.

[BibT_eX]

[DOI]

Dimitris Dranidis

Konstantinos Bratanis

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Model Learning and Test Generation for Event-B Decomposition.

[BibT_eX]

[DOI]

Ionut Dinca

Alin Stefanescu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Learn and Test for Event-B - A Rodin Plugin.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

An empirical evaluation of P system testing techniques.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Towards Automated Verification of P Systems Using Spin.

[BibT_eX]

[DOI]

Int. J. Nat. Comput. Res., 2011

Formal Verification of P Systems Using Spin.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

Synchronization of P Systems with Simplex Channels

[BibT_eX]

[DOI]

Radu Nicolescu

Cristian Stefan

CoRR, 2011

Using Genetic Algorithms and Model Checking for P Systems Automatic Design.

[BibT_eX]

[DOI]

Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2011

Formal Verification of P Systems with Active Membranes through Model Checking.

[BibT_eX]

[DOI]

Ignacio Pérez-Hurtado

Mario J. Pérez-Jiménez

Proceedings of the Membrane Computing, 2011

Evolutionary Design of a Simple Membrane System.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2011

Towards Search-Based Testing for Event-B Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Data Generation for Event-B Models Using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Computer Systems, 2011

2010

Bounded sequence testing from deterministic finite state machines.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Test generation from P systems using model checking.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

An Integrated Approach to P Systems Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

Testing Based on P Systems - An Overview.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 2010

A particle swarm optimization based on P systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Natural Computation, 2010

2009

Finite state based testing of P systems.

[BibT_eX]

[DOI]

Nat. Comput., 2009

Mutation Based Testing of P Systems.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2009

Test Selection for Hierarchical and Communicating Finite State Machines.

[BibT_eX]

[DOI]

Comput. J., 2009

An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Tuning P Systems for Solving the Broadcasting Problem.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Formal Verification and Testing Based on P Systems.

[BibT_eX]

[DOI]

Ciprian Dragomir

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Automated Model Design Using Genetic Algorithms and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

Testing data processing-oriented systems from stream X-machine models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.

[BibT_eX]

[DOI]

Robert M. Hierons

Formal Aspects Comput., 2008

Testing Non-deterministic Stream X-machine Models and P systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the SYNASC 2008, 2008

On Testing P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Search-based Testing using State-based Fitness.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Functional Search-based Testing from State Machines.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

2007

Automatic State-Based Test Generation Using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Class Testing from State Diagrams Using Stream X-Machine Based Methods.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Testing against a non-controllable stream X-machine using state counting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Testing methods for X-machines: a review.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

Bounded Sequence Testing from Non-deterministic Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

2005

Complete Testing from a Stream X-Machine Specification.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

Refinement in Finite State Machine Testing.

[BibT_eX]

[DOI]

Tudor Balanescu

Fundam. Informaticae, 2005

On the Minimality of Finite Automata and Stream X-machines for Finite Languages.

[BibT_eX]

[DOI]

Comput. J., 2005

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

2004

Complete deterministic stream X-machine testing.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Complete Test Generation for Extreme Programming.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

2003

On the Minimality of Stream X-machines.

[BibT_eX]

[DOI]

Comput. J., 2003

Testing (Stream) X-machines.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2003

Testing Non-Deterministic X-Machines.

[BibT_eX]

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Testing Conditions for Communicating Stream X-machine Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

An Integrated Refinement and Testing Method for Stream X-machines.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2002

Eilenberg P Systems.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, International Workshop, 2002

2001

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life, 6th European Conference, 2001

Testing Using X-Machine Translations.

[BibT_eX]

Proceedings of the Words, Semigroups, and Transductions, 2001

2000

Generating Test Sets from Non-Deterministic Stream X-Machines.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

1998

Specification and Testing Using Generalised Machines: A Presentation and a Case Study.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1998

A method for refining and testing generalised machine specifications.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 1998

Correct systems - building a business process solution.

[BibT_eX]

Applied computing, Springer, ISBN: 978-3-540-76246-1, 1998

1997

An integration testing method that is proved to find all faults.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 1997

1996

Another Look at Computability.

[BibT_eX]

Informatica (Slovenia), 1996

1995

Theory of X-machines with applications in specification and testing.

[BibT_eX]

[DOI]