Skip to content
Open menu Close menu
Dr Raluca Lefticaru

Dr Raluca Lefticaru

BIOGRAPHY +

Latest news


Organizing the 18th International Conference on Membrane Computing (CMC18)
Deadline for submissions: April 17, 2017
Conference dates: July 24 - 28, 2017, Bradford, UK

Research interests


Formal specification methodologies
Testing and verification
Membrane computing
Agent-based modelling

Collaborations with research groups


Modelling, Testing, and Verification Research Group, University of Bradford
Automotive Research Centre, University of Bradford
Research Group on Natural Computing, University of Seville
Testing Research Group, University of Sheffield

Memberships


Computability in Europe (CiE)
International Membrane Computing Society (IMCS)
Formal Methods Europe (FME)

GRANTS +

Current, and significant recent, funded projects

Team member in research projects


ATHENA: empowering citizens, protecting communities
Funding source: Seventh Framework Programme - FP7, European Union

COSMOS: Computational models for determining the safety of cosmetic ingredients to humans
Funding source: Seventh Framework Programme - FP7, European Union

Broker@Cloud:Continuous quality assurance and optimisation for cloud brokers
Funding source: Seventh Framework Programme - FP7, European Union

DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Funding source: Seventh Framework Programme - FP7, European Union

MuVeT: Multi-scale modelling verification and testing
Funding source: CNCS-UEFISCDI (National Council for Scientific Research - Executive Unit for Financing Higher Education, Research, Development and Innovation), Romania

EvoMT: An integrated evolutionary approach to formal modelling and testing
Funding source: CNCSIS (National Council for Scientific Research in Higher Education), Romania

INTERNATIONAL SCIENTIFIC ACTIVITIES +

Organizing Committee
Communication Chair for the 18th International Conference on Membrane Computing, CMC18

Program Committee
Eighth Symposium on Search-Based Software Engineering (SSBSE 2016), Raleigh, North Carolina, USA, 2016
Seventh Symposium on Search-Based Software Engineering (SSBSE 2015), Bergamo, Italy, 2015
Forth Workshop on Formal Methods in the Development of Software (WS-FMDS 2014), Grenoble, France, 2014
Second International Workshop on Cloud Service Brokerage (CSB 2014), Manchester, UK, 2014
Sixth Symposium on Search-Based Software Engineering (SSBSE 2014), Fortaleza, Brazil, 2014
Third Workshop on Formal Methods in the Development of Software (WS-FMDS 2013), Madrid, Spain, 2013
Second Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, France, 2012
Third Workshop on Model-based Testing in Practice (MOTIP 2010), Paris, France, 2010
Second Workshop on Model-based Testing in Practice (MOTIP 2009), Enschede, The Netherlands, 2009

Reviewer (Journals)
Information Sciences
Soft Computing
Journal of Software: Evolution and Process
Software Testing, Verification and Reliability
International Journal of Computer Mathematics
International Journal of Computers, Communications & Control
International Journal of Natural Computing Research
Romanian Journal of Information Science and Technology
Journal of Optimization

Reviewer (Conferences)
8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015)
12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)
12th International Conference on Unconventional Computation & Natural Computation (UCNC 2013)
2nd Asian Conference on Membrane Computing (ACMC 2013)

PUBLICATIONS

Journal Publications +

  • Gheorghe M., Ceterchi R., Ipate F., Konur S. and Lefticaru S. (2017): "Kernel P systems: from modelling to verification and testing." Theoretical Computer Science (accepted).
  • Wang X., Zhang G., Neri F., Jiang J. and others (2016): "Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots" Integrated Computer-Aided Engineering, 23 (1): 15-30.
    For more information see: http://dx.doi.org/10.3233/ICA-150503
  • Wang X.Y., Zhang G.X., Zhao J.B., Rong H.N. and others (2015): "A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning " International Journal of Computers, Communications & Control, 10 (5): 732–745.
    For more information see: http://dx.doi.org/10.15837/ijccc.2015.5.2030
  • Gheorghe M., Ipate F., Lefticaru R., Pérez-Jiménez M. and others (2013): "3-Col problem modelling using simple kernel P systems" International Journal of Computer Mathematics, 90 (4): 816-830.
    For more information see: http://dx.doi.org/10.1080/00207160.2012.743712
  • Zhang G., Zhou F., Huang X., Cheng J. and others (2012): "A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. " Journal of Universal Computer Science, 18 (13): 1821-1841 .
    For more information see: http://dx.doi.org/10.3217/jucs-018-13-1821
  • Lefticaru R., Tudose C. and Ipate F. (2011): "Towards Automated Verification of P Systems Using Spin " International Journal of Natural Computing Research, 2 (3): 1-12.
    For more information see: http://dx.doi.org/10.4018/jncr.2011070101
  • Lefticaru R., Gheorghe M. and Ipate F. (2011): "An empirical evaluation of P system testing techniques" Natural Computing, 10 (1): 151-165.
    For more information see: http://dx.doi.org/10.1007/s11047-010-9188-y
  • Ipate F., Lefticaru R. and Tudose C. (2011): "Formal Verification of P Systems Using Spin" International Journal of Foundations of Computer Science, 22 (1): 133-142.
    For more information see: http://dx.doi.org/10.1142/S0129054111007897
  • Lefticaru R., Ipate F. and Gheorghe M. (2010): "Model checking based test generation from P systems using P-lingua" Romanian Journal of Information Science and Technology, 13 (2): 153–168.
    For more information see: http://www.imt.ro/romjist/Volum13/Number13_2/pdf/Lefticaru.pdf
  • Ipate F., Gheorghe M. and Lefticaru R. (2010): "Test generation from P systems using model checking. J. Log. Algebr. Program. " The Journal of Logic and Algebraic Programming, 79 (6): 350-362.
    For more information see: http://dx.doi.org/10.1016/j.jlap.2010.03.007
  • Ipate F. and Lefticaru R. (2008): "Genetic model based testing: a framework and a case study" Romanian Journal of Information Science and Technology, 11 (3): 209–227.
    For more information see: http://www.imt.ro/romjist/Volum11/Number11_3/pdf/01-Ipate.pdf

Chapters in Books +

  • Andrews S., Day T., Domdouzis K., Hirsch L. and Lefticaru R. (2017): "Analyzing crowd-sourced information and social media for crisis management", Application of Social Media in Crisis Management - Advanced Sciences and Technologies for Security Applications, B. Akhgar, D. Waddington, A. Staniforth (ed.), Springer ISBN: 978-3-319-52419-1.
    For more information see: http://www.springer.com/gb/book/9783319524184

Conference Contributions +

  • Lefticaru R., Macias-Ramos L.F., Niculescu I. and Mierla L. (2016): "Agent-based simulation of kernel P systems with division rules using FLAME", Proceedings of the 17th International Conference on Membrane Computing (CMC17), Milano, Italy.
    For more information see: http://dx.doi.org/10.1007/978-3-319-54072-6_18
  • Lefticaru R., Macias-Ramos L.F., Niculescu I.M. and Mierla L. (2016): "Towards agent-based simulation of kernel P systems using FLAME and FLAME GPU", Proceedings of the Workshop on Membrane Computing (WMC 2016), Manchester, UK.
    For more information see: https://bradscholars.brad.ac.uk/handle/10454/8840
  • Turlea A., Ipate F. and Lefticaru R. (2016): "A Hybrid Test Generation Approach Based on Extended Finite State Machines", 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania.
    For more information see: http://dx.doi.org/10.1109/SYNASC.2016.037
  • Lefticaru R. and Simons A. (2014): "X-Machine Based Testing for Cloud Services", Workshops of European Conference on Service-Oriented and Cloud Computing (ESOCC 2014), Manchester, UK.
    For more information see: http://dx.doi.org/10.1007/978-3-319-14886-1_17
  • Dragomir C., Ipate F., Konur S., Lefticaru R. and Mierla L. (2014): "Model checking kernel P systems ", Proceedings of the 14th International Conference on Membrane Computing (CMC14), Chisinau, Moldova.
    For more information see: http://dx.doi.org/10.1007/978-3-642-54239-8_12
  • Ipate F., Lefticaru R., Mierla L., Valencia Cabrera L. and others (2013): "Kernel P systems: applications and implementations", Proceedings of the 8th International Conference on Bio-Inspired Computing: Theory and Applications (BIC-TA 2013), Huangshan, China.
    For more information see: http://dx.doi.org/10.1007/978-3-642-37502-6_126
  • Ipate F., Dragomir C., Lefticaru R., Mierla L. and Pérez-Jiménez M.J. (2012): "Using a kernel P system to solve the 3-Col problem ", Proceedings of the 13th International Conference on Membrane Computing (CMC13), Budapest, Hungary.
    For more information see: http://old.sztaki.hu/tcs/proba/cmc13/CMC13-proceedings.pdf
  • Lefticaru R., Ipate F., Valencia-Cabrera L., Turcanu A. and others (2012): "Towards an integrated approach for model simulation, property extraction and verification of P systems. ", Proceedings of Tenth Brainstorming Week on Membrane Computing, in conjunction with International Conference on Developments in Membrane Computing, Seville, Spain.
    For more information see: http://www.gcn.us.es/10BWMC/10BWMCvolI/papers/paper_pit_sev_sheff.pdf
  • Lefticaru R. and Ipate F. (2012): "An improved test generation approach from extended finite state machines using genetic algorithms. ", Proceedings of the Tenth International Conference on Software Engineering and Formal Methods (SEFM 2012), Thessaloniki, Greece.
    For more information see: http://dx.doi.org/10.1007/978-3-642-33826-7_20
  • Ipate F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M.J. and Tudose C. (2011): "Formal verification of P systems with active membranes through model checking", Proceedings of Twelfth International Conference on Membrane Computing (CMC12), Fontainebleau, France.
    For more information see: http://dx.doi.org/10.1007/978-3-642-28024-5_15
  • Dinca I., Stefanescu A., Ipate F., Lefticaru R. and Tudose C. (2011): "Test data generation for Event-B models using genetic algorithms", Proceedings of the International Conference on Software Engineering and Computer Systems (ICSECS 2011), Kuantan, Malaysia.
    For more information see: http://dx.doi.org/10.1007/978-3-642-22203-0_7
  • Stefanescu A., Ipate F., Lefticaru R. and Tudose C. (2011): "Towards search-based testing for Event-B models", International Workshop on Search-Based Software Testing (SBST’11), held in conjunction with International Conference on Software Testing Verification and Validation (ICST 2011), Berlin, Germany.
    For more information see: http://dx.doi.org/10.1109/ICSTW.2011.41
  • Lefticaru R., Tudose C. and Ipate F. (2011): "Towards automated verification of P systems using Spin", Proceedings of the Ninth Brainstorming Week on Membrane Computing (BWMC 2011), Seville, Spain.
    For more information see: http://www.gcn.us.es/9bwmc_proceedings
  • Tudose C., Lefticaru R. and Ipate F. (2011): "Using genetic algorithms and model checking for P systems automatic design", Proceedings of the Fifth International Workshop on Nature Inspired Cooperative Strategies for Optimization (NICSO 2011), Cluj Napoca, Romania.
    For more information see: http://dx.doi.org/10.1007/978-3-642-24094-2_20
  • Zhou F., Zhang G., Rong H., Cheng J. and others (2010): "A particle swarm optimization based on P systems", Proceedings of the Sixth International Conference on Natural Computation (ICNC’10), Yantai, China.
    For more information see: http://dx.doi.org/10.1109/ICNC.2010.5582450
  • Lefticaru R., Ipate F. and Gheorghe M. (2010): "Model checking based test generation from P systems using P-lingua ", Proceedings of the Eighth Brainstorming Week on Membrane Computing (BWMC 2010), Sevilla, Spain.
    For more information see: http://www.gcn.us.es/8BWMC/volume/13bwmc_2010.pdf
  • Ciobanu A., Lefticaru R., Niculescu I.M. and Ipate F. (2010): "Tools for P system testing", Proceedings of the Eleventh International Conference on Membrane Computing (CMC11), Jena, Germany.
    For more information see: http://cmc11.uni-jena.de/proceedings.html
  • Gheorghe M., Ipate F., Lefticaru R. and Dragomir C. (2010): "An integrated approach to P systems formal verification", Proceedings of the Eleventh International Conference on Membrane Computing (CMC11), Jena, Germany.
    For more information see: http://dx.doi.org/10.1007/978-3-642-18123-8_18
  • Lefticaru R., Ipate F. and Tudose C. (2009): "Automated model design using genetic algorithms and model checking", Proceedings of the Fourth Balkan Conference in Informatics (BCI 2009), Thessaloniki, Greece.
    For more information see: http://dx.doi.org/10.1109/BCI.2009.15
  • Lefticaru R., Ipate F., Gheorghe M. and Zhang G. (2009): "Tuning P systems for solving the broadcasting problem", Proceedings of the Tenth Workshop on Membrane Computing (WMC10), Curtea de Arges, Romania.
    For more information see: http://dx.doi.org/10.1007/978-3-642-11467-0_25
  • Lefticaru R. and Ipate F. (2008): "Search-based testing using state-based fitness", Proceedings of the International Workshop on Search-Based Software Testing (SBST 2008), held in conjunction with International Conference on Software Testing Verification and Validation (ICST 2008), Lillehammer, Norway.
    For more information see: http://dx.doi.org/10.1109/ICSTW.2008.35
  • Lefticaru R. and Ipate F. (2008): "A comparative landscape analysis of fitness functions for search-based testing", Proceedings of the Tenth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), Timisoara, Romania.
    For more information see: http://dx.doi.org/10.1109/SYNASC.2008.69
  • Lefticaru R. and Ipate F. (2008): "Functional search-based testing from state machines ", Proceedings of the IEEE International Conference on Software Testing Verification and Validation (ICST 2008), Lillehammer, Norway.
    For more information see: http://dx.doi.org/10.1109/ICST.2008.32
  • Lefticaru R. and Ipate F. (2007): "Automatic state-based test generation using genetic algorithms", Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), Timisoara, Romania.
    For more information see: http://dx.doi.org/10.1109/SYNASC.2007.47
  • Ipate F. and Lefticaru R. (2007): "State-based testing is functional testing", Proceedings of Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2007), Windsor, UK.
    For more information see: http://dx.doi.org/10.1109/TAIC.PART.2007.26
Profile last updated on: 30-08-2017

Upcoming events

View all events »