Formal Verification and Testing Based on P Systems. - Marian Gheorghe 001; Florentin Ipate; Ciprian Dragomir (Workshop on Membrane Computing, 2009)

An Integrated Approach to P Systems Formal Verification. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ciprian Dragomir (Int. Conf. on Membrane Computing, 2010)

Kernel P Systems: Applications and Implementations. - Florentin Ipate; Raluca Lefticaru; Laurentiu Mierla; Luis Valencia-Cabrera; Han Huang; Gexiang Zhang; Ciprian Dragomir; Mario J. Pérez-Jiménez; Marian Gheorghe 001 (BIC-TA, 2013)

Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Ciprian Dragomir (CiE, 2013)

Model Checking Kernel P Systems. - Ciprian Dragomir; Florentin Ipate; Savas Konur; Raluca Lefticaru; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2013)

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. - Savas Konur; Marian Gheorghe 001; Ciprian Dragomir; Florentin Ipate; Natalio Krasnogor (Fundam. Informaticae, 2014)

Formal verification of P systems. - Ciprian Dragomir (2016)