Skip to content
researcher

Raluca-Elena Lefticaru

Lecturer in Computer Science

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Emailr.lefticaru@bradford.ac.uk
Telephone +441274 232170

Biography

Raluca is a Lecturer in Computer Science at the University of Bradford and a Visiting Researcher at the University of Sheffield.  Her research interests include software testing, especially state-machine based testing using evolutionary approaches, formal specification methodologies, P systems testing and verification. 

Personal website: https://ralucalefticaru.github.io/

Research

Research Interests
  • Model-Based Testing
  • Search-Based Software Engineering
  • Membrane Computing
Recent Activity
  • Co-chair for the 16th Workshop on Advances in Model-Based Software Testing (A-MOST 2020), Porto, Portugal, March 23, 2020
  • Student and Short Paper Track Co-chair for the 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallin, Estonia, 31 Aug–2 Sep, 2019
  • Communication Chair for the 18th International Conference on Membrane Computing (CMC 2017), Bradford, UK, 24–28 July, 2017
PC Member

A-MOST 2020ECST 2020, SSBSE 2020SSBSE 2019CMC19WMC 2018CMC18, EDMA 2017SSBSE 2016SSBSE 2015WS-FMDS 2014CSB 2014SSBSE 2014WS-FMDS 2013WS-FMDS 2012MOTIP 2010MOTIP 2009

Professional activities

  • 01-JAN-11: University of Pitesti, Romania - PhD in Computer Science
  • Formal Methods Europe, Member
  • Computability in Europe, Member
  • International Membrane Computing Society, Member

Publications

Peer Reviewed Journal
TitleA Verified and Optimised Stream X-Machine Testing Method, with Application to Cloud Service Certification (2020)
AuthorsAnthony J. H. Simons, Raluca Lefticaru
JournalSoftware Testing Verification and Reliability
PublisherWiley
 
TitleKernel P systems: from modelling to verification and testing (2018)
AuthorsGheorghe, Marian; Ceterchi, R.; Ipate, F.; Konur, Savas; Lefticaru, Raluca
JournalTheoretical Computer Science
PublisherElsevier
DOIhttps://doi.org/10.1016/j.tcs.2017.12.010
 
TitleP colonies and kernel P systems (2018)
AuthorsCsuhaj-Varju, E.; Gheorghe, Marian; Lefticaru, Raluca
JournalInternational Journal of Advances in Engineering Sciences and Applied Mathematics
PublisherSpringer
DOIhttps://doi.org/10.1007/s12572-018-0224-y
 
TitleDesign and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots (2016)
AuthorsWang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, Marian; Ipate, F.; Lefticaru, Raluca
JournalIntegrated Computer-Aided Engineering
PublisherIOS Press
DOI10.3233/ICA-150503
 
TitleA modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning (2015)
AuthorsWang X.;Zhang G.;Zhao J.;Rong H.;Ipate F.;Lefticaru R.
JournalInternational Journal of Computers, Communications and Control
DOI10.15837/ijccc.2015.5.2030
 
Title3-Col problem modelling using simple kernel P systems (2013)
AuthorsGheorghe M.;Ipate F.;Lefticaru R.;Pérez-Jiménez M.;Ţurcanu A.;Valencia Cabrera L.;García-Quismondo M.;Mierlǎ L.
JournalInternational Journal of Computer Mathematics
DOI10.1080/00207160.2012.743712
 
TitleA novel membrane algorithm based on particle swarm optimization for solving broadcasting problems (2012)
AuthorsZhang G.;Zhou F.;Huang X.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
JournalJournal of Universal Computer Science
 
TitleAn empirical evaluation of P system testing techniques (2011)
AuthorsLefticaru R.;Gheorghe M.;Ipate F.
JournalNatural Computing
PublisherSpringer
DOI10.1007/s11047-010-9188-y
 
TitleFormal verification of p systems using spin (2011)
AuthorsIpate F.;Lefticaru R.;Tudose C.
JournalInternational Journal of Foundations of Computer Science
DOI10.1142/S0129054111007897
 
TitleTest generation from P systems using model checking (2010)
AuthorsIpate F.;Gheorghe M.;Lefticaru R.
JournalJournal of Logic and Algebraic Programming
DOI10.1016/j.jlap.2010.03.007
 
TitleModel checking based test generation from P systems using p-lingua (2010)
AuthorsLefticaru R.;Ipate F.;Gheorghe M.
JournalRomanian Journal of Information Science and Technology
 
TitleGenetic model based testing: A framework and a case study (2008)
AuthorsIpate F.;Lefticaru R.
JournalRomanian Journal of Information Science and Technology
 
Book Chapter
TitleAnalyzing Crowd-Sourced Information and Social Media for Crisis Management (2017)
AuthorsSimon Andrews, Tony Day, Konstantinos Domdouzis, Laurence Hirsch, Raluca Lefticaru, Constantinos Orphanides
JournalApplication of Social Media in Crisis Management
PublisherSpringer International Publishing
DOIhttps://doi.org/10.1007/978-3-319-52419-1_6
 
TitleTowards Automated Verification of P Systems Using Spin (2011)
AuthorsLefticaru R.;Tudose C.;Ipate F.
JournalNatural Computing for Simulation and Knowledge Discovery
PublisherIGI Global
DOI10.4018/978-1-4666-4253-9.ch010
 
Conference Contribution
TitleWorking Formal Methods Symposium, FROM 2018 (2018)
AuthorsAna Turlea, Raluca Lefticaru, Felician Campean
 
Title Author(s)
International Conference on Tests and Proofs, TAP 2019 (2019)Cavalcanti A.;Baxter J.;Hierons R.;Lefticaru R.
International Conference on Software Engineering and Formal Methods, SEFM 2019 (2019)Lefticaru R;Hierons R;Nunez M
International Conference on Membrane Computing, CMC 2017 (2018)Lefticaru R.;Bakir M.;Konur S.;Stannett M.;Ipate F.
International Conference on Membrane Computing, CMC 2018 (2018)Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018 (2018)Turlea A.;Ipate F.;Lefticaru R.
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017 (2017)Turlea A.;Ipate F.;Lefticaru R.
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016 (2017)Turlea A.;Ipate F.;Lefticaru R.
2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) (2017)Lefticaru, Raluca; Konur, Savas; Yildirim, Unal; Uddin, Amad; Campean, I. Felician; Gheorghe, Marian
International Conference on Membrane Computing, CMC 2016 (2017)Lefticaru R.;Macías-Ramos L.;Niculescu I.;Mierlă L.
European Conference on Service-Oriented and Cloud Computing, ESOCC 2014 (2015)Lefticaru R.;Simons A.
International Conference on Membrane Computing. CMC 2013 (2014)Dragomir, C.; Ipate, F.; Konur, Savas; Lefticaru, Raluca; Mierla, L.M.
International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013 (2013)Ipate F.;Lefticaru R.;Mierlǎ L.;Cabrera L.;Han H.;Zhang G.;Dragomir C.;Jiménez M.;Gheorghe M.
International Conference on Membrane Computing, CMC 2011 (2012)Ipate F.;Lefticaru R.;Pérez-Hurtado I.;Pérez-Jiménez M.;Tudose C.
International Conference on Software Engineering and Formal Methods, SEFM 2012 (2012)Lefticaru R.;Ipate F.
International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 (2011)Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C.
Nature Inspired Cooperative Strategies for Optimization, NICSO 2011 (2011)Tudose C.;Lefticaru R.;Ipate F.
International Conference on Software Engineering and Computer Systems, ICSECS 2011 (2011)Dinca I.;Stefanescu A.;Ipate F.;Lefticaru R.;Tudose C.
International Conference on Membrane Computing, CMC 2010 (2010)Gheorghe M.;Ipate F.;Lefticaru R.;Dragomir C.
International Conference on Natural Computation, ICNC 2010 (2010)Zhou F.;Zhang G.;Rong H.;Cheng J.;Gheorghe M.;Ipate F.;Lefticaru R.
International Workshop on Membrane Computing, WMC 2009 (2010)Lefticaru R.;Ipate F.;Gheorghe M.;Zhang G.
Balkan Conference in Informatics, BCI 2009 (2009)Lefticaru R.;Ipate F.;Tudose C.
International Conference on Software Testing, Verification and Validation, ICST 2008 (2008)Lefticaru R.;Ipate F.
International Conference on Software Testing Verification and Validation Workshop, ICSTW'08 (2008)Lefticaru R.;IPate F.
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008 (2008)Lefticaru R.;Ipate F.
Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 (2007)Ipate F.;Lefticaru R.
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007 (2007)Lefticaru R.;Ipate F.