Publications

Refereed Journal Papers

  • G. Zhang, J. Cheng, M. Gheorghe, Q. Meng. A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Applied Soft Computing, 13 (3), 1528 - 1542, 2013. http://dx.doi.org/10.1016/j.asoc.2012.05.032. ISI-indexed journal, IF 2.679
  • A. Stefanescu, S. Wieczorek, M. Schur. Message Choreography Modeling - A Domain-Specific Language for Consistent Enterprise Service Integration. Software and Systems Modeling (SoSyM), 13 (1), 9-33, http://dx.doi.org/10.1007/s10270-012-0272-x. ISI-indexed journal, IF 0.82
  • M. Gheorghe, F. Ipate, R. Lefticaru, M. J. Pérez-Jiménez, A. Turcanu, L. Valencia Cabrera, M. García-Quismondo, L. Mierla. 3-Col problem modelling using simple kernel P systems. International Journal of Computer Mathematics, 90 (4): 816 - 830, 2013. http://dx.doi.org/10.1080/00207160.2012.743712. ISI-indexed journal, IF 0.721
  • G. Zhang, F. Zhou, X. Huang, J. Cheng, M. Gheorghe, F. Ipate, R. Lefticaru. A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. Journal of Universal Computer Science. 18 (13): 1821 – 1841, 2012. http://dx.doi.org/10.3217/jucs-018-13-1821. ISI-indexed journal, IF 0.401
  • M. Gheorghe, G. Paun, M. Perez-Jimenez, G. Rozenberg. Research Frontiers of Membrane Computing: Open Problems and Research Topics. International Journal of Foundations of Computer Science. 24(5): 547-624, 2013. ISI-indexed journal, IF 0.326
  • F. Ipate, I. Dinca, A. Stefanescu. Model learning and test generation using cover automata. Computer Journal. 58(5), pp. 1140-1159, Oxford University Press, 2015. Published online http://dx.doi.org/10.1093/comjnl/bxu032. ISI-indexed journal, IF 0.888
  • S. Konur, M. Gheorghe, C. Dragomir, L. Mierla, F. Ipate, N Krasnogor. Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems. ACS Synthetic Biology. 4(1), pp. 83–92, 2015. Published online http://pubs.acs.org/doi/abs/10.1021/sb500134w. ISI-indexed journal, IF 3.951
  • S. Konur, M. Gheorghe, C. Dragomir, F. Ipate, N. Krasnogor. Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundamenta Informaticae. 134(1-2): pp. 97-110, January 2014. http://dx.doi.org/10.3233/FI-2014-1093. ISI-indexed journal, IF 0.479
  • G. Zhang, C. Liu, M. Gheorghe, F. Ipate. QEAM: An Approximate Algorithm Using P Systems with Active Membranes. International Journal of Computers, Communications and Control. 10(2), pp. 263-279, 2015. ISI-indexed journal, IF 0.694
  • L. Lin, A. Stefanescu, R. Su. On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Transactions on Automatic Control 61(3), 777-782, 2016. http://dx.doi.org/10.1109/TAC.2015.2447193. ISI-indexed journal
  • I. M. Niculescu, M. Gheorghe, F. Ipate, A. Stefanescu. From Kernel P Systems to X-Machines and FLAME. Journal of Automata, Languages and Combinatorics, 19(1-4), 239-250, 2014.
  • F. Ipate, D. Dranidis. A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects of Computing 28(1), 1-20, 2016. ISI-indexed journal
  • X. Wang, G. Zhang, F. Neri, T. Jiang, J. Zhao, M. Gheorghe, F. Ipate, R. Lefticaru. Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integrated Computer-Aided Engineering 23(1), 15-30, 2016. ISI-indexed journal
  • L. Lin, A. Stefanescu, W. Wang, R. Su. Symbolic Reachability Analysis of Globally Synchronized Templates. Automatica, 2015. Submitted. ISI-indexed journal
  • M. Gheorghe, F. Ipate, S. Konur. Testing Identifiable P Systems Using Cover Automata and X-Machines. Information Sciences, 372, 565-578, 2016. ISI-indexed journal
  • M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur, R. Lefticaru. Kernel P Systems: From Modelling to Verification and Testing. Submitted to Theoretical Computer Science. ISI-indexed journal
  • S. N. Krishna, M. Gheorghe, F. Ipate, E. Csuhaj-Varju, R. Ceterchi. Further Results on Generalised Communicating P Systems. Submitted to Theoretical Computer Science. ISI-indexed journal
  • T. Stoenescu, A. Stefanescu, S. Predut, F. Ipate. RIVER. A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions. Submitted to Fundamenta Informaticae, 2016. ISI-indexed journal

Books

  • P. Frisco, M. Gheorghe, M.J. Perez-Jimenez (eds.) Applications of Membrane Computing in Systems and Synthetic Biology. Springer, 266 pp, 2014.

Book Chapters

  • A. Turcanu, L. Mierla, F. Ipate, A. Stefanescu, H. Bai, M. Holcombe, S. Coakley. Modeling and analysis of E. coli respiratory chain. Book chapter in P. Frisco, M. Gheorghe, M. J. Pérez-Jiménez (Eds), Applications of Membrane Computing in Systems and Synthetic Biology, Emergence, Complexity and Computation series, vol. 7, pp. 247-266, Springer, 2014.
  • J. Blakes, J. Twycross, S. Konur, F. J. Romero-Campero, N. Krasnogor, M. Gheorghe. Infobiotics workbench - A P system based tool for systems and synthetic biology. Book chapter in Applications of Membrane Computing in Systems and Synthetic Biology, Springer, 2014.

Refereed Conference and Workshop Papers

  • F. Ipate, R. Lefticaru, L. Mierla, L. Valencia Cabrera, H. Han, G. Zhang, C. Dragomir, M. J. Pérez Jiménez, M. Gheorghe. Kernel P Systems: Applications and Implementations. The 8th International Conference on Bio-Inspired Computing: Theory and Applicatons (BIC-TA 2013), Advances in Intelligent Systems and Computing, vol. 202, pp. 1081-1089. Springer, 2013. ISI Proceedings
  • R. Lefticaru, F. Ipate. An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), Lecture Notes in Computer Science, vol. 7504, pp. 293-307. Springer, 2012. ISI Proceedings
  • D. Dranidis, K. Bratanis, F. Ipate. JSXM: A Tool for Automated Test Generation. 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), Lecture Notes in Computer Science, vol. 7504, pp. 352-366. Springer, 2012. ISI Proceedings
  • E. Csuhaj-Varjú, M. Gheorghe, M. Stannett. P Systems Controlled by General Topologies. 11th International Conference on Unconventional Computation and Natural Computation (UCNC 2012), Lecture Notes in Computer Science, vol. 7445, pp. 70-81. Springer, 2012. ISI Proceedings
  • I. Dinca, F. Ipate, L. Mierla, A. Stefanescu: Learn and Test for Event-B - A Rodin Plugin. Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Lecture Notes in Computer Science, vol. 7316, pp. 361-364. Springer, 2012. ISI Proceedings
  • I. Dinca, F. Ipate, A. Stefanescu. Model Learning and Test Generation for Event-B decomposition. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Lecture Notes in Computer Science, vol. 7609, pp. 539-553. Springer, 2012. ISI Proceedings
  • L. Lin, R. Su, A. Stefanescu. Remarks on the Difficulty of Top-Down Supervisor Synthesis. 12th International Conference on Control, Automation, Robotics and Vision (ICARCV 2012), pp. 270-275. IEEE Computer Society, 2012. ISI Proceedings
  • A. Turcanu, F. Ipate. Computational properties of two P systems solving the 3-colouring problem. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp. 62-69, IEEE Computer Society, 2012
  • F. Ipate, C. Dragomir, R. Lefticaru, L. Mierla, M. J. Pérez-Jiménez. Using a kernel P system to solve the 3-Col problem. 13th International Conference on Membrane Computing (CMC 2012), pp. 243-258. Computer and Automation Research Institute, Hungarian Academy of Sciences, 2012.
  • A. Turcanu, F. Ipate. Simplifying Event-B Models of P Systems Using Functions. 13th International Conference on Membrane Computing (CMC 2012), pp. 455 - 458. Computer and Automation Research Institute, Hungarian Academy of Sciences, 2012.
  • S. Krishna, M. Gheorghe, C. Dragomir. Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. The Nature of Computation, 9th Conference on Computability in Europe (CiE 2013), Lecture Notes in Computer Science, vol. 7921, pp. 284-293, Springer, 2013. (best paper award in Natural Computation). ISI Proceedings
  • E. Csuhaj-Varjú, M. Gheorghe, M. Stannett. General Topologies and P Systems. Tenth Brainstorming Week on Membrane Computing. Vol 1, pp. 79 - 90. Fénix Editora, 2012.
  • M. Gheorghe, F. Ipate, C. Dragomir. A Kernel P system. Tenth Brainstorming Week on Membrane Computing. Vol 1, pp. 153 - 170. Fénix Editora, 2012.
  • M. Gheorghe, G. Paun, M. J. Pérez-Jiménez (Editors). Frontiers of Membrane Computing: Open Problems and Research Topics. Tenth Brainstorming Week on Membrane Computing. Vol 1, pp. 171-250. Fénix Editora, 2012.
  • R. Lefticaru, F. Ipate, L. Valencia Cabrera, A. Turcanu, C. Tudose, M. Gheorghe, M. J. Pérez Jiménez, I. M. Niculescu, C. Dragomir. Towards an integrated approach for model simulation, property extraction and verification of P systems. Tenth Brainstorming Week on Membrane Computing. Vol 1, pp. 291-318. Fénix Editora, 2012.
  • G. Zhang, M. A. Gutiérrez-Naranjo, Y. Qin, M. Gheorghe. A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Reconfiguration. Tenth Brainstorming Week on Membrane Computing. Vol 2, pp. 277-292. Fénix Editora, 2012.
  • C. Dragomir, F. Ipate, S. Konur, R. Lefticaru, L. Mierla. Model checking Kernel P systems. 14th International Conference on Membrane Computing (CMC 2013). Lecture Notes in Computer Science, 8340: 151-172, Springer, 2013. ISI Proceedings
  • A. Ciobanu, F. Ipate. Using Big Data technologies with P systems. 14th International Conference on Membrane Computing (CMC 2013). Lecture Notes in Computer Science, 8340: 117-137, Springer, 2013. ISI Proceedings
  • R. Nicolescu, F. Ipate, H. Wu. Towards High-level P Systems Programming using Complex Objects. 14th International Conference on Membrane Computing (CMC 2013). Lecture Notes in Computer Science, 8340: 280-300, Springer, 2013. ISI Proceedings
  • M. Gheorghe, F. Ipate. Kernel P Systems - A Survey. 14th International Conference on Membrane Computing (CMC 2013). Lecture Notes in Computer Science, 8340: 1-9, Springer, 2013. ISI Proceedings
  • S. Akshay, I. Dinca, B. Genest, A. Stefanescu. Implementing Realistic Asynchronous Automata. 33rd Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics (LIPIcs), volume 24, pp. 213-224. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. ISI Proceedings
  • A. Ciobanu, F. Ipate. P System Testing with Parallel Simulators - a Survey. Scalable Computing: Practice and Experience 14(3), 2013.
  • M. Gheorghe, F. Ipate, C. Dragomir, L. Mierla, L. Valencia Cabrera, M. García-Quismondo, M. J. Pérez Jiménez. Kernel P Systems - Version 1. Proceedings of the Eleventh Brainstorming Week on Membrane Computing, pp. 97-124. Fénix Editora, Seville, 2013.
  • L. Lin, A. Stefanescu, R. Su, W. Wang, A.R. Shehabinia. Towards Decentralized Synthesis: Decomposable Sublanguage and Joint Observability Problems. In Proc. of 55th American Control Conference (ACC 2014), pp. 2047-2052. IEEE Computer Society, 2014. ISI Proceedings
  • M. E. Bakir, F. Ipate, S. Konur, L. Mierla, I. Niculescu. Extended Simulation and Verification Platform for Kernel P Systems. Int. Conf. on Membrane Computing 2014, Lecture Notes in Computer Science, Springer, LNCS, pp. 158-178, 2014. ISI Proceedings
  • I. Sakellariou, O. Kurdi, M. Gheorghe, D. Romano, P. Kefalas, F. Ipate, I.M. Niculescu. Crowd formal modelling and simulation: The Sa'yee ritual. UKCI 2014, 1-8, 2014
  • M. E. Bakir, S. Konur, M. Gheorghe, I. Niculescu, F. Ipate. High Performance Simulations of Kernel P Systems. 2014 IEEE International Conference on High Performance Computing and Communications (HPCC), pp. 409-412, 2014. ISI Proceedings
  • G. Ciobanu, T. S. Hoang, A. Stefanescu. From TiMo to Event-B: event-driven timed mobility. In Proc. of 19th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS'14), pp. 1-10, IEEE Computer Society, 2014. (best paper award) ISI Proceedings
  • M. Gheorghe, S. Konur, F. Ipate, L. Mierla, M. E. Bakir, M. Stannett. An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing, 2015, LNCS, 153-170, 2015. ISI Proceedings
  • M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur. Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing 2016, LNCS, to appear, 2016. ISI Proceedings
  • T. Stoenescu, A. Stefanescu, S. Predut, F. Ipate: RIVER. A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions. 21st International Symposium on Formal Methods (FM 2016), LNCS, Springer, 779-785, 2016. ISI Proceedings
  • R. Lefticaru, L. F. Macias-Ramos, I. M. Niculescu, L. Mierla. Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. Int. Conf. on Membrane Computing 2016, LNCS, to appear, 2016. ISI Proceedings
  • R. Lefticaru, L. F. Macias-Ramos, I. M. Niculescu, L. Mierla. Towards Agent-Based Simulation of Kernel P Systems using FLAME and FLAME GPU. Proceedings of the Workshop on Membrane Computing (WMC 2016), Manchester (UK), 11-15 July 2016. Technical Report – UB-20160819-1, University of Bradford, pages 58-61, 2016.