Publications
Complete Listing  Journal Publications  Refereed Conferences  Book Chapters  Books
JOURNAL PUBLICATIONS
M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur, R. Lefticaru: Kernel P Systems: From Modelling to Verification and Testing, Theoretical Computer Science, in press.
T. Stoenescu, A. Stefanescu, S. Predut, F. Ipate: Binary Analysis based on Symbolic Execution and Reversible x86 Instructions, Fundamenta Informaticae, 153(12), 105124, 2017.
S. N. Krishna, M. Gheorghe, E. CsuhajVarju, F. Ipate, R. Ceterchi: Further Results on Generalised Communicating P Systems, Theoretical Computer Science, 701, 146160, 2017.
M. Gheorghe, F. Ipate, S. Konur: Testing Based on Identifiable P Systems Using Cover Automata and XMachines, Information Sciences, 372, 565578, 2016.
F. Ipate, D. Dranidis: A unified integration and component testing approach from deterministic stream Xmachine specifications, Formal Aspects of Computing, 28(1), 120, 2016.
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 ComputerAided Engineering, 23(1), 1530, 2015.
X. Wang, G. Zhang, J. Zhao, H. Rong, F. Ipate, R. Lefticaru: A Modified MembraneInspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning, International Journal of Computers, Communications and Control, 10(5), 732745, 2015.
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), 8392, 2015.
F. Ipate, A. Stefanescu, I. Dinca: Model Learning and Test Generation Using Cover Automata, The Computer Journal, 58(5), 11401159, 2015.
G. Zhang, C. Liu, M. Gheorghe, F. Ipate, X. Wang: QEAM: An Approximate Algorithm Using P Systems with Active Membranes, International Journal of Computers, Communications and Control, 10(2), 263279, 2015.
M. Gheorghe, F. Ipate, S. Konur:
Solutions to the Subset Sum and Partition Problems Using Kernel P Systems, Annals of Bucharest University, Computer Science, Vol. LXII Nr. 2, 3746, 2015.
S. Konur, M. Gheorghe, C. Dragomir, F. Ipate, N. Krasnogor: Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example, Fundamenta Informaticae, 134(12), 97110, 2014.
I.M. Niculescu, M. Gheorghe, F. Ipate, A. Stefanescu: From Kernel P Systems to XMachines and FLAME, Journal of Automata, Languages and Combinatorics, 19(14), 239250, 2014.
M. Gheorghe, F. Ipate, R. Lefticaru, M. J. PerezJimenez, A. Turcanu, L. V. Cabrera, M. GarciaQuismondo, Laurentiu Mierla: 3Col problem modelling using simple kernel P systems, International Journal of Computer Mathematics, 90(4), 816830, 2013.
A. Ciobanu, F. Ipate: P System Testing with Parallel Simulators  a Survey, Scalable Computing: Practice and Experience 14(3), 2013.
F. Zhou, G. Zhang, 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), 18211841, 2012.
F. Ipate: Learning Finite Cover Automata from Queries, Journal of Computer and System Sciences, 78(1): 221244, 2012.
F. Ipate, R. Lefticaru, C. Tudose: Formal verification of P systems using SPIN, International Journal of Foundations of Computer Science, 22(1), 133142, 2011.
R. Lefticaru, M. Gheorghe, F. Ipate: An empirical evaluation of P system testing techniques, Natural Computing, 10(1), 151165, 2011.
R. Lefticaru, C. Tudose, F. Ipate: Towards Automated Verification of P Systems Using Spin, International Journal of Natural Computing Research, 2(3), 112, 2011.
F. Ipate, M. Gheorghe, R. Lefticaru: Test generation from P systems using model checking, Journal of Logic and Algebraic Programming, 79 (6), 350362, 2010.
F. Ipate: Bounded Sequence Testing from Deterministic Finite State Machines, Theoretical Computer Science, 411(1618), 17701784, 2010.
R. Lefticaru, F. Ipate, M. Gheorghe:
Model Checking Based Test Generation from P Systems Using PLingua, Romanian Journal of Information Science and Technology, 13(2), 153168, 2010.
F. Ipate, M. Gheorghe: Finite state based testing of P systems, Natural Computing, 8(4), 833846, 2009.
F. Ipate: Test Selection for Hierarchical and Communicating Finite State Machines, The Computer Journal, 52(3), 334347, 2009.
F. Ipate, M. Gheorghe:
Mutation Based Testing of P Systems, International Journal of Computers, Communication and Control, IV(3), 2009.
F. Ipate, M. Gheorghe: Testing Nondeterministic Stream Xmachine Models and P systems, MecBic 2008, in Electronic Notes in Theoretical Computer Science,227, 113126, 2009.
T. Balanescu, M. Gheorghe, F. Ipate:
Combined power of Xmachines and P systems, Annals of Bucharest University, Computer Science, Vol. LVIII, 3548, 2009.
F. Ipate, M. Holcombe: Testing data processingoriented systems from stream Xmachine models, Theoretical Computer Science, 403(23), 176191, 2008.
R. Hierons, F. Ipate: Testing a deterministic implementation against a noncontrollable nondeterministic stream Xmachine, Formal Aspects of Computing, 20: 597617, 2008.
F. Ipate, R. Lefticaru: Genetic Model based Testing: a Framework and a Case Study, Romanian Journal of Information Science and Technology, 11(3), 209227, 2008.
F. Ipate: Testing against a NonControllable Stream Xmachine using State Counting, Theoretical Computer Science, 353(13), 291316, 2006.
K. Bogdanov, M. Holcombe, F. Ipate, L.Seed, S. Vanak: Testing Methods for Xmachines: a review, Formal Aspects of Computing, 18(1), 330, 2006.
F. Ipate: On the Minimality of Finite Automata and Stream Xmachines for Finite Languages, The Computer Journal, 48(2), 157167, 2005.
F. Ipate, T. Balanescu: Refinement in Finite State Machine Testing, Fundamenta Informaticae,64(14), 191203, 2005.
F. Ipate, M. Holcombe: Complete Testing from a Stream Xmachine Specification, Fundamenta Informaticae, 64(14),205216, 2005.
F. Ipate: Complete Deterministic Stream Xmachine Testing, Formal Aspects of Computing, 16(4), 374386, 2004.
T. Balanescu, F. Ipate: The Wp method for Partially Specified Deterministic Finite State Machines, Annals of Bucharest University, Computer Science, LIII(1), 4760, 2004.
F. Ipate: On the Minimality of Stream XMachines, The Computer Journal,46(3), 295306, 2003
F. Ipate, M. Gheorghe, M. Holcombe: Testing (Stream) Xmachines, Applicable Algebra in Engineering, Communication and Computing, 14(3), 217237, 2003
T. Balanescu, M. Gheorghe, F. Ipate, M. Holcombe: Formal Black Box Testing for Partially Specified Deterministic Finite State Machines, Foundations of Computing and Decision Sciences, 28 (1), 1728, 2003
F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, G. Eleftheraki: A new model of Communicating Stream Xmachine Systems, Romanian Journal of Information Science and Technology, 6(12), 165184, 2003.
F. Ipate, M. Holcombe: Testing Conditions for Communicating Stream Xmachine Systems, Formal Aspects of Computing, 13(6), 431446, 2002.
F. Ipate, M. Holcombe: An Integrated Refinement and Testing Method for Stream XMachines, Applicable Algebra in Engineering, Communication and Computing, 13(2), 6791, 2002.
J. Aguado, T. Balanescu, T. Cowling, M. Gheorghe, M. Holcombe, F. Ipate: P Systems with Replicated Rewriting and Stream Xmachines (Eilenberg machines), Fundamenta Informaticae, 49, 1733, 2002.
F. Ipate, M. Gheorghe, M. Holcombe, T. Balanescu: A theory of testing for nondeterministic Xmachines, Romanian Journal of Information Science and Technology, 5(12), Romanian Academy, 137154, 2002.
F. Ipate, M. Holcombe: Generating test sets from nondeterministic stream Xmachines, Formal Aspects of Computing, 12(6), 443458, 2000.
F. Ipate, M. Holcombe: A method for refining and testing generalised machine specifications, International Journal of Computer Mathematics, 68, 197219, 1998.
F. Ipate, M. Holcombe: Specification and testing using generalized machines: a presentation and a case study, Software Testing, Verification and Reliability, 8, 6181, 1998.
F. Ipate: Xmachines: a specification method for software systems (in Romanian), Informatica Economica, II(6), Bucharest, 4146, 1998.
F. Ipate, M. Holcombe: An integration testing method that is proved to find all faults, International Journal of Computer Mathematics, 63, 159178, 1997.
F. Ipate, M. Holcombe: Another look at computability, Informatica, 20 (3), 359372, 1996
M. Fairtlough, M. Holcombe, F. Ipate, C. Jordan, G. Laycock, Z. Duan: Using an Xmachine to model a video cassette recorder, Current issues in electronic modelling, 3, 141161, 1995.
REFEREED CONFERENCES
R. Lefticaru, M. E. Bakir, S. Konur, M. Stannett, F. Ipate: Modelling and Validating an Engineering Application in Kernel P Systems, Int. Conf. on Membrane Computing 2017, LNCS, 183195, 2017.
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, 233250, 2016.
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, 779785, 2016.
A. Turlea, F. Ipate, R. Lefticaru: A Hybrid Test Generation Approach based on
Extended Finite State Machines, in International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 173180, 2016.
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, 153170, 2015.
S. Konur, M. Kiran, M. Gheorghe, M. Burkitt, F. Ipate:
AgentBased HighPerformance Simulation of Biological Systems on the GPU, 17th IEEE International Conference on High Performance Computing and Communications, 7th IEEE International Symposium on Cyberspace Safety and Security and 12th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2015, 8489, 2015.
M. Gheorghe, F. Ipate, L. Mierla, S. Konur: kPWorkbench: A Software Framework for Kernel P Systems, BWMC 2015, 179194, 2015.
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, LNCS, 158178, 2014.
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, 18, 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, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2014, 409412, 2014.
F. Ipate, R. Lefticaru, L. Mierla, L. ValenciaCabrera, H. Han, G. Zhang, C. Dragomir, M. J. PerezJimenez, M. Gheorghe: Kernel P Systems: Applications and Implementations, BICTA 2013, 10811089, 2013.
M. Gheorghe, F. Ipate, C. Dragomir, L. Mierla, L. ValenciaCabrera, Manuel GarciaQuismondo, M. J. PerezJimenez: Kernel P Systems  Version 1, BWMC 2013, 97124, 2013.
M. Gheorghe, F. Ipate: A Kernel P Systems Survey, Int. Conf. on Membrane Computing 2013, LNCS 8340: 19, 2013.
A. Ciobanu, F. Ipate: Implementation of P Systems by Using Big Data Technologies, Int. Conf. on Membrane Computing 2013, LNCS 8340: 117137, 2013.
C. Dragomir, F. Ipate, S. Konur, R. Lefticaru, L. Mierla: Model Checking Kernel P Systems, Int. Conf. on Membrane Computing 2013, LNCS 8340: 151172, 2013.
R. Nicolescu, F. Ipate, H. Wu: Programming P Systems with Complex Objects, Int. Conf. on Membrane Computing 2013, LNCS 8340: 280300, 2013.
A. Turcanu, F. Ipate: Computational properties of two P systems solving the 3colouring problem, in 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), 6269, 2012.
R. Lefticaru, F. Ipate: An improved test generation approach from extended finite state machines using genetic algorithms, in SEFM 2012 (International Conference on Software Engineering and Formal Methods), Lecture Notes in Computer Science 7504 Springer, 293307, 2012.
D. Dranidis, K. Bratanis, F. Ipate: JSXM: a tool for automated test generation, in SEFM 2012 (International Conference on Software Engineering and Formal Methods), Lecture Notes in Computer Science 7504 Springer, 352366, 2012.
F. Ipate, Ciprian Dragomir, R. Lefticaru, Laurentiu Mierla, M. J. PerezJimenez: Using a Kernel P system to solve the 3Col problem, in Int. Conf. on Membrane Computing 2012 (CMC 2012)), Proceedings, 243258, 2012.
I. Dinca, F. Ipate, A. Stefanescu: Model learning and test generation for EventB decomposition, International Symposium on Leveraging Applications, in ISoLA 2012 (5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), Lecture Notes in Computer Science 7609 Springer, 539553, 2012.
M. Gheorghe, F. Ipate, C. Dragomir: A Kernel P System, BWMC12, Proceedings, 153170, 2012.
I. Dinca, F. Ipate, L. Mierla, A. Stefanescu: Learn and Test for EventB  A Rodin Plugin, in ABZ 2012, 361364, 2012.
F. Ipate, R. Lefticaru, I. PerezHurtado, M. J. PerezJimenez, C. Tudose: Formal Verification of P Systems with Active Membranes through Model Checking, in Int. Conf. on Membrane Computing 2011 (CMC 2011), Lecture Notes in Computer Science 7184 Springer, 215225, 2011.
X. Huang, G. Zhang, H. Rong, F. Ipate: Evolutionary Design of a Simple Membrane System, in Int. Conf. on Membrane Computing 2011 (CMC 2011), Lecture Notes in Computer Science 7184 Springer, 203214, 2011.
C. Tudose, R. Lefticaru, F. Ipate: Using Genetic Algorithms and Model Checking for P Systems Automatic Design. Nature Inspired Cooperative Strategies for Optimization, in NICSO 2011, Studies in Computational Intelligence 387 Springer 285302, 2011.
I. Dinca, A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose: Test Data Generation for EventB Models using Genetic Algorithms, in Proc. of 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), CCIS Series, vol. 181, pp. 7690. Springer, 2011.
A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose: Towards SearchBased Testing for EventB Models, in Proc. of 4th International Workshop on SearchBased Software Testing (SBST'11), from ICSTW'11, pp.194197. IEEE Computer Society, 2011.
F. Ipate, R. Nicolescu, I.M. Niculescu, C. Stefan: Synchronization of P Systems with Simplex Channels, 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MecBic 2011), 5772.
F. Ipate, A. Turcanu: Modeling, Verification and Testing of P Systems Using Rodin and ProB, in Ninth Brainstorming Week on
Membrane Computing, 209220, Fenix Editora, Sevilla, 2011.
M. Gheorghe, F. Ipate, R. Lefticaru, C.Dragomir: An integrated approach to P systems formal verification, in Int. Conf. on Membrane
Computing (CMC 2010), Jena, Germany, August 2427, 2010. Revised Selected Papers, LNCS 6501 Springer, 226239,
2011.
M. Gheorghe, F. Ipate: Testing based on
P systems  an overview, in Int. Conf. on Membrane Computing (CMC 2010), Jena, Germany, August 2427, 2010. Revised
Selected Papers, LNCS 6501 Springer, 36, 2011.
A. Ciobanu, R. Lefticaru, I. M. Niculescu, F. Ipate: Tools for P system testing, in Proceedings of the Eleventh International Conference on Membrane Computing
(CMC11), Jena, Germany, August 2010, pp. 451454, ProBusiness Verlag, Berlin, 2010.
F. Zhou, G. Zhang, H. Rong, M. Gheorghe, J. Cheng, F. Ipate, R. Lefticaru: A particle swarm optimization based on P systems, in Proceedings of
the Sixth International Conference on Natural Computation (ICNC'10), Yantai, Shandong, China, August, IEEE Press, 30033007,
2010.
M. Gheorghe, F. Ipate, C. Dragomir: Formal Verification and Testing Based on P Systems, in Tenth Workshop on Membrane Computing (WMC10),
Curtea de Arges, Romania, August 2009, 3334. Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, 5465, Springer,
2010.
R. Lefticaru, F. Ipate, M. Gheorghe, G. Zhang: Tuning P Systems for Solving the Broadcasting Problem, in Tenth Workshop on Membrane Computing
(WMC10), Curtea de Arges, Romania, August 2009, 337354. Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, pp.
354370, Springer, 2010.
C. Liu, G. Zhang, H. Liu, M. Gheorghe, F. Ipate: An Improved Membrane Algorithm for Solving TimeFrequency Atom
Decomposition, in Tenth Workshop on Membrane Computing (WMC10), Curtea de Arges, Romania, August 2009, 355368.
Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, pp. 371384, Springer, 2010.
G. Zhang, C. Liu, M. Gheorghe, F. Ipate: Solving Satisfiability Problems with Membrane Algorithms, in The Fourth International
Conference on BioInspired Computing: Theories and Applications (BICTA), Beijing, China, 1619 October 2936,
2009.
R. Lefticaru, F. Ipate, C.Tudose: Automated Model Design using Genetic Algorithms and Model Checking, in 4th Balkan Conference
in Informatics (BIC 09), Thessaloniki, Grece, 1719 September, 7984, 2009.
M. Gheorghe, F. Ipate: On testing P systems, in
Ninth Workshop on Membrane Computing (WMC9), 2831 July 2008, Edinburgh, UK, Revised Selected and Invited Papers, in
Lecture Notes in Computer Science, 5391, 204216, Springer, 2009.
R. Lefticaru, F. Ipate: Searchbased Testing using Statebased Fitness, in Proceedings of the 2008 IEEE International Conference on
Software Testing Verification and Validation Workshop (ICSTW '08), 210, IEEE Computer Society, Washington, DC, USA,
2008.
R. Lefticaru, F. Ipate: A Comparative
Landscape Analysis of Fitness Functions for Searchbased Testing, in 10th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing (SYNASC 2009), September 2629, 2008, Timisoara, Romania, Proceedings. IEEE
Computer Society, 2008.
F. Ipate, R. Lefticaru: Functional Searchbased Testing from State Machines, in The IEEE International Conference on Software
Testing Verification and Validation (ICST 2008), 911 April 2008, Lillehammer, Norway, Proceedings. IEEE Computer Society,
525528, 2008.
F. Ipate, R. Lefticaru: Statebased
Testing is Functional Testing!, in Testing: Academia and Industry Conference  Practice And Research Techniques (TAIC
PART 2007), 1214 September 2007, Windsor, United Kingdom, Proceedings. IEEE Computer Society, 5564, 2007.
F. Ipate: Class testing from state diagrams using stream Xmachine based
methods, in J. Grundy, J. Han (Eds.): 18th Australian Software Engineering Conference (ASWEC 2007), 1013 April
2007, Melbourne, Australia, Proceedings. IEEE Computer Society, 245254, 2007.
R. Lefticaru, F. Ipate: Automatic StateBased Test Generation Using Genetic Algorithms, in 9th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing (SYNASC 2007) September 2629, 2007, Timisoara, Romania, Proceedings. IEEE
Computer Society, 188195, 2007.
F. Ipate: Bounded Sequence Testing from Nondeterministic Finite State Machines, in M. U. Uyar, A. Y. Duale, M. A.
Fecko (Eds.): Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA,
May 1618, 2006, Proceedings. Lecture Notes in Computer Science 3964 Springer, 5570, 2006.
F. Ipate, T. Balanescu: Finite State Machine Testing from an OR State Refinement Design, The 13th Conference On Applied and
Industrial Mathematics, CAIM, Pitesti, Romania, in ROMAI J., 1(2), 109118, 2006.
F. Ipate, M. Holcombe: Using State Diagrams to Generate Unit Tests for ObjectOriented Systems, in H. Baumeister, M. Marchesi, M.
Holcombe (Eds.): Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005,
Sheffield, UK, June 1823, 2005, Proceedings. Lecture Notes in Computer Science 3556 Springer, 214217, 2005.
F. Ipate, T. Balanescu: A Testing Procedure for Deterministic Cover
Finite State Machines, The 12th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, in ROMAI
J., vol. 1(2):115128, 2005.
M. Holcombe, F. Ipate: Complete
Test Generation for Extreme Programming, in J. Eckstein, H. Baumeister (Eds.): Extreme Programming and Agile Processes
in Software Engineering, 5th International Conference, XP 2004, GarmischPartenkirchen, Germany, June 610, 2004,
Proceedings. Lecture Notes in Computer Science 3092 Springer, 274277, 2004.
T. Balanescu, T. Cowling, M. Gheorghe, M. Holcombe, F. Ipate: Eilenberg P Systems, in G. Paun, G. Rozenberg, A. Salomaa, C. Zandron (Eds.): Membrane Computing,
International Workshop, WMCCdeA 2002, Curtea de Arges, Romania, August 1923, 2002, Revised Papers. Lecture Notes in Computer
Science 2597, Springer, 4357, 2003.
F. Ipate, T. Balanescu, G. Eleftherakis: Testing Communicating Stream Xmachines, Proceedings of the 1st Balkan
Conference in Informatics, 161174, 2003.
F. Ipate, T. Balanescu, M. Gheorghe, M. Holcombe: The Wmethod for refinement of finite state machines, SoftTest, UK
Software Testing Research II, York, 25 September, 2003.
F. Ipate: Complete Testing based on Machine Specifications, Proceedings of the 6th International Symposium of
Economic Informatics, Bucharest, 117125, 2003.
F. Ipate, M. Gheorghe, M. Holcombe, T. Balanescu: Testing nondeterministic (stream) Xmachines, in R. Hierons and
T. Jeron (Eds.), Formal Approaches to Testing of Software, FATES'02, Brno, Czech Republic, August 24, 3550,
2002.
F. Ipate: Two Testing Strategies for NonDeterministic Xmachines, The 9th Conference On Applied and Industrial
Mathematics, CAIM, Pitesti, Romania, 2001.
T. Balanescu, M. Gheorghe, M. Holcombe, F. Ipate: Testing Collaborative Agents Defined as Stream XMachines with
Distributed Grammars, in J Kelemen and P Sosik (Eds), Advances in Artificial Life, 6th European Conference, ECAL
2001, Prague, Czech Republic, September 1014, 2001, Proceedings. Lecture Notes in Computer Science 2159 Springer 2001, 296
305, 2001.
F. Ipate: Refinement of Stream Xmachine Specifications, Proceedings of the 5th International Symposium of Economic
Informatics, Bucharest, 11171125, 2001.
F. Ipate: A Theory of Testing for Xmachines, The 8th Conference On Applied and Industrial Mathematics, CAIM,
Pitesti, Romania, 115120, 2000.
F. Ipate, M.Popescu: A Z Type Language for Specifying XMachines, Proceedings of CITTI, Constanta, Romania, 82
88, 2000.
F. Ipate: A method for testing nondeterministic Xmachines that finds all faults, The 7th Conference On Applied and
Industrial Mathematics, CAIM, Pitesti, Romania, 107113, 1999.
F. Ipate: Using Hybrid Machines for specifying Hybrid Software Systems, Proceedings of the 4th International Symposium
of Economic Informatics, Bucharest, 679686, 1999.
F. Ipate: Is software testing effective?, Proceedings of the 3rd International Symposium of Economic Informatics,
Bucharest, 173179, 1997.
F. Ipate: Xmachine Based Testing, Proceedings of the 10th International Conference on Control Systems and Computer
Science, Vol. 2, Bucharest, 262272, 1995.
M. Holcombe, F. Ipate, A. Grondoudis: Complete Functional Testing of SafetyCritical Systems, Safety and Reliability
in Emerging Control Technologies (A Postprint volume from IFAC Workshop, Daytona Beach, Florida, USA), 199204, 1995.
BOOK CHAPTERS

M. Gheorghe, S. Konur, F. Ipate: Kernel P Systems and Stochastic P Systems for Modelling and Formal Verification of Genetic Logic Gates, in Advances in Unconventional Computing, Volume 22 of the series Emergence, Complexity and Computation, 661675, 2017.

A. Turcanu, L. Mierla, F. Ipate, A. Stefanescu, H. Bai, M. Holcombe, S. Coakley: Modelling and Analysis of E. coli Respiratory Chain, in Applications of Membrane Computing in Systems and Synthetic Biology. Emergence, Complexity and Computation Volume 7, 247266, 2014.

F. Ipate, M. Holcombe: "Testing nondeterministic Xmachines", in C. MartinVide & V. Mitrana, eds, Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back, Taylor and Francis, London, 151162, 2003.

F. Ipate, M. Gheorghe, M. Holcombe, T. Balanescu: "Testing using Xmachine Translations", M. Ito, G. Paun, S. Yu, eds., Words Semigroups and Transductions, Word Scientific Series in Computer Science, World Scientific, Singapore, 211230, 2001.
BOOKS
M. Holcombe, F. Ipate: "Correct Systems: Building a Business Process Solution" SpringerVerlag, London, 1998.
F. Ipate: "Objectoriented modelling using UML" University of Pitesti Publishing House, 2001 (in Romanian)
F. Ipate, M. Popescu: "Database Applications in Oracle8 and Forms6", ALL Publishing House, Bucharest, 2000 (in Romanian).
F. Ipate: "Principles of Expert Systems", Sylvi Publishing House, Bucharest 1998 (in Romanian)
