| Publication | Date of Publication | Type |
|---|
| A key agreement protocol based on spiking neural P systems with anti-spikes | 2023-08-29 | Paper |
| A model learning based testing approach for kernel P systems | 2023-06-15 | Paper |
| TESTING USING X-MACHINE TRANSLATIONS | 2022-12-06 | Paper |
| A model learning based testing approach for spiking neural P systems | 2022-06-13 | Paper |
| Search-based testing in membrane computing | 2021-09-14 | Paper |
| Fundamental results for learning deterministic extended finite state machines from queries | 2021-03-09 | Paper |
| Testing based on identifiable P systems using cover automata and X-machines | 2020-01-07 | Paper |
| Testing identifiable kernel P systems using an X-machine approach | 2019-10-10 | Paper |
| Identifiable kernel \(\mathrm{P}\) systems | 2019-01-15 | Paper |
| Modelling and validating an engineering application in kernel P systems | 2018-05-16 | Paper |
| Kernel P systems: from modelling to verification and testing | 2018-04-10 | Paper |
| Further results on generalised communicating P systems | 2017-12-06 | Paper |
| Kernel P Systems Modelling, Testing and Verification - Sorting Case Study | 2017-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507073 | 2016-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2816360 | 2016-07-08 | Paper |
| A unified integration and component testing approach from deterministic stream X-machine specifications | 2016-05-12 | Paper |
| An Integrated Model Checking Toolset for Kernel P Systems | 2016-02-26 | Paper |
| Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example | 2015-06-26 | Paper |
| Testing Non-deterministic Stream X-machine Models and P systems | 2015-03-19 | Paper |
| A Kernel P Systems Survey | 2014-03-28 | Paper |
| Implementation of P Systems by Using Big Data Technologies | 2014-03-28 | Paper |
| Model Checking Kernel P Systems | 2014-03-28 | Paper |
| Programming P Systems with Complex Objects | 2014-03-28 | Paper |
| 3-Col problem modelling using simple kernel P systems | 2013-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4900302 | 2013-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4900328 | 2013-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902291 | 2013-01-14 | Paper |
| Evolutionary Design of a Simple Membrane System | 2012-06-08 | Paper |
| Formal Verification of P Systems with Active Membranes through Model Checking | 2012-06-08 | Paper |
| Learning finite cover automata from queries | 2012-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3095693 | 2011-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3091338 | 2011-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3018215 | 2011-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3018235 | 2011-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005247 | 2011-06-07 | Paper |
| An empirical evaluation of P system testing techniques | 2011-05-23 | Paper |
| FORMAL VERIFICATION OF P SYSTEMS USING SPIN | 2011-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3070874 | 2011-01-28 | Paper |
| An Integrated Approach to P Systems Formal Verification | 2011-01-21 | Paper |
| Test generation from P systems using model checking | 2010-08-24 | Paper |
| Bounded sequence testing from deterministic finite state machines | 2010-04-15 | Paper |
| Formal Verification and Testing Based on P Systems | 2010-01-26 | Paper |
| Tuning P Systems for Solving the Broadcasting Problem | 2010-01-26 | Paper |
| An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition | 2010-01-26 | Paper |
| Finite state based testing of P systems | 2010-01-25 | Paper |
| On Testing P Systems | 2009-07-28 | Paper |
| Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | 2009-05-27 | Paper |
| Testing data processing-oriented systems from stream X-machine models | 2008-09-16 | Paper |
| Bounded Sequence Testing from Non-deterministic Finite State Machines | 2007-05-02 | Paper |
| Testing against a non-controllable stream X-machine using state counting | 2006-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022296 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022297 | 2005-06-23 | Paper |
| Complete deterministic stream X-machine testing | 2005-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453204 | 2004-03-07 | Paper |
| Testing (stream) X-machines | 2003-11-17 | Paper |
| On the Minimality of Stream X-machines | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413816 | 2003-07-21 | Paper |
| Generating test sets from non-deterministic stream X-machines | 2003-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4803449 | 2003-04-27 | Paper |
| Testing conditions for communicating stream \(X\)-machine systems | 2002-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329016 | 2002-11-14 | Paper |
| An integrated refinement and testing method for stream X-machines | 2002-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4210112 | 1998-09-21 | Paper |
| A method for refining and testing generalised machine specifications | 1998-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126729 | 1997-08-07 | Paper |
| An integration testing method that is proved to find all faults | 1997-06-16 | Paper |
