English Version

Lect. dr. Raluca Lefticaru

 


Data si locul nasterii: 30 iunie 1981, Pitesti.

Studii: Facultatea de Matematica-Informatica, Universitatea din Pitesti, Licenta in Matematica-Informatica, 2004.
Facultatea de Matematica-Informatica, Universitatea din Pitesti, Master in Informatica, 2006.

Teza de doctorat: "Testing Methods Based on Formal Specifications", Universitatea din Piteati, 2011, Cond. stiintific: Prof.dr. Florentin Ipate.

Istoricul carierei:
- Lector (2012 - prezent), Universitatea din Bucuresti
- Asistent (2008 - 2012), Universitatea din Pitesti
- Programator (2005 - 2007), S.C. Lisa Draxlmaier Autopart Romania S.R.L.
- Analist (2004 - 2005), S.C. DSR Draxlmier Serviceleistungen Româania S.R.L.

Domenii de interes stiintific: Testare si verificare, specificatii formale, modele de calcul inspirate din biologie.

Activitate didactic.:
- Seminarii si laboratore: Metode formale de verificare si testare a programelor, Sisteme avansate de baze de date, Managementul proiectelor, Testare si verificare, Elemente de programare avansata.
- Cursuri: Programare Java, Tehnici de programare.

Articole publicate in reviste internationale

  1. M. Gheorghe, F. Ipate, R. Lefticaru, M. J. Péz-Jiméz, A. .urcanu, L. Valencia Cabrera, M. GarcíQuismondo, L. Mierl.. 3-Col problem modelling using simple kernel P systems. International Journal of Computer Mathematics, îcurs de apari.ie, DOI: 10.1080/00207160.2012.743712.
  2. 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.
  3. F. Ipate, R. Lefticaru, C. Tudose. Formal verification of P systems using Spin. International Journal of Foundations of Computer Science, 22(1): 133-142, 2011.
  4. R. Lefticaru, M. Gheorghe, F. Ipate. An empirical evaluation of P system testing techniques. Natural Computing, 10(1): 151-165. Springer, 2011.
  5. R. Lefticaru, C. Tudose, F. Ipate. Towards automated verification of P systems using Spin. International Journal of Natural Computing Research, 2(3): 1-12, 2011.
  6. F. Ipate, M. Gheorghe, R. Lefticaru. Test generation from P systems using model checking. Journal of Logic and Algebraic Programming, 79(6): 350.362. Elsevier, 2010.
  7. R. Lefticaru, F. Ipate, M. Gheorghe. Model checking based test generation from P systems using P-Lingua. Romanian Journal of Information Science and Technology, 13(2): 153-168, 2010.
  8. F. Ipate, R. Lefticaru. Genetic model based testing: a framework and a case study. Romanian Journal of Information Science and Technology, 11(3): 209-227, 2008.

Articole publicate in onferinte internationale

  1. F. Ipate, R. Lefticaru, L. Mierl., L. Valencia Cabrera, H. Han, G. Zhang, C. Dragomir, M. J. Péz Jiméz, M. Gheorghe. Kernel P systems: applications and implementations. The 8th International Conference on Bio-Inspired Computing: Theory and Applicatons (BIC-TA 2013), lucrare acceptat..
  2. R. Lefticaru, F. Ipate. An improved test generation approach from extended finite state machines using genetic algorithms. Tenth International Conference on Software Engineering and Formal Methods (SEFM 2012), Lecture Notes in Computer Science, vol. 7504, pp. 293.307, Springer, 2012.
  3. F. Ipate, C. Dragomir, R. Lefticaru, L. Mierl., M. J. Péz-Jiméz. Using a kernel P system to solve the 3-Col problem. 13th International Conference on Membrane Computing (CMC13), pp. 243 - 258. Computer and Automation Research Institute, Hungarian Academy of Sciences, 2012.
  4. R. Lefticaru, F. Ipate, L. Valencia-Cabrera, A. .urcanu, C. Tudose, M. Gheorghe, M. Péz-Jiméz, I. Niculescu, C. Dragomir. Towards an integrated approach for model simulation, property extraction and verification of P systems. Tenth Brainstorming Week on Membrane Computing, vol. I, pp. 291.318, Féx Editora, Sevilla, 2012.
  5. F. Ipate, R. Lefticaru, I. Péz-Hurtado, M. Péz-Jiméz, C. Tudose. Formal verification of P systems with active membranes through model checking. Twelfth International Conference on Membrane Computing (CMC12), pp. 241-252, 2011. Lecture Notes in Computer Science, vol. 7184, pp. 215-225, Springer, 2012.
  6. C. Tudose, R. Lefticaru, F. Ipate. Using genetic algorithms and model checking for P systems automatic design. Fifth International Workshop on Nature Inspired Cooperative Strategies for Optimization (NICSO 2011), Studies in Computational Intelligence, vol. 387, pp. 285-302, Springer, 2012.
  7. I. Dinc., A. .tef.nescu, F. Ipate, R. Lefticaru, C. Tudose. Test data generation for Event-B models using genetic algorithms. International Conference on Software Engineering and Computer Systems (ICSECS 2011), Communications in Computer and Information Science, vol. 181(1), pp. 76-90, Springer, 2011.
  8. A. .tef.nescu, F. Ipate, R. Lefticaru, C. Tudose. 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), pp. 194-197, IEEE Computer Society, 2011.
  9. R. Lefticaru, C. Tudose, F. Ipate. Towards automated verification of P systems using Spin. Ninth Brainstorming Week on Membrane Computing (BWMC 2011), pp. 237-250, Féx Editora, Sevilla, 2011.
  10. M. Gheorghe, F. Ipate, R. Lefticaru, C. Dragomir. An integrated approach to P systems formal verification. Eleventh International Conference on Membrane Computing (CMC11), pp. 225.238, ProBusiness Verlag, Berlin, 2010. Lecture Notes in Computer Science, vol. 6501, pp. 226-239, Springer, 2011.
  11. A. Ciobanu, R. Lefticaru, I. M. Niculescu, F. Ipate. Tools for P system testing. Eleventh International Conference on Membrane Computing (CMC11), pp. 451.454, ProBusiness Verlag, Berlin, 2010.
  12. F. Zhou, G. Zhang, H. Rong, J. Cheng, M. Gheorghe, F. Ipate, R. Lefticaru. A particle swarm optimization based on P systems. Sixth International Conference on Natural Computation (ICNC'10), pp. 3003-3007, IEEE Press, 2010.
  13. R. Lefticaru, F. Ipate, M. Gheorghe. Model checking based test generation from P systems using P-Lingua. Eighth Brainstorming Week on Membrane Computing (BWMC 2010), pp.157-175, Féx Editora, Sevilla, 2010.
  14. R. Lefticaru, F. Ipate, M. Gheorghe, G. Zhang. Tuning P systems for solving the broadcasting problem. Tenth Workshop on Membrane Computing (WMC10), pp. 337-354. Lecture Notes in Computer Science, vol. 5957, pp. 354.370, Springer, 2010.
  15. R. Lefticaru, F. Ipate, C. Tudose. Automated model design using genetic algorithms and model checking. Balkan Conference in Informatics (BCI 2009), pp. 79-84, IEEE Computer Society, 2009.
  16. R. Lefticaru, F. Ipate. A comparative landscape analysis of fitness functions for search-based testing. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), pp. 201-208, IEEE Computer Society, 2008.
  17. R. Lefticaru, F. Ipate. Functional search-based testing from state machines. International Conference on Software Testing Verification and Validation (ICST 2008), pp. 525-528, IEEE Computer Society, 2008.
  18. R. Lefticaru, F. Ipate. Search-based testing using state-based fitness. International Workshop on Search-Based Software Testing (SBST 2008), held in conjunction with International Conference on Software Testing Verification and Validation (ICST 2008), p. 210, IEEE Computer Society, 2008.
  19. R. Lefticaru, F. Ipate. Automatic state-based test generation using genetic algorithms. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), pp. 188-195, IEEE Computer Society, 2007.
  20. F. Ipate, R. Lefticaru. State-based testing is functional testing. Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2007), pp. 55-64, IEEE Computer Society, 2007.

Membru in comitete de program

  • 3rd Workshop on Formal Methods in the Development of Software (WS-FMDS 2013), Madrid, Spania, septembrie 2013
  • 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, Fran.a, august 2012
  • 3rd Workshop on Model-based Testing in Practice (MOTIP 2010), Paris, Fran.a, iunie 2010
  • 2nd Workshop on Model-based Testing in Practice (MOTIP 2009), Enschede, Olanda, iunie 2009

Proiecte de cercetare

  • MuVeT: Multi-scale modelling verification and testing
  • DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
  • EvoMT: An integrated evolutionary approach to formal modelling and testing




2002 - 2015 -- Facultatea de Matematica si Informatica, Universitatea din Bucuresti
Str. Academiei nr. 14, sector 1, C.P. 010014, Bucuresti, Romania
Tel: (4-021) 314 2863, Fax: (4-021) 315 6990, secretariat  fmi.unibuc.ro