Raluca Lefticaru

44 papers A 1B 2Misc 5Journal 16Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Safety-Security Interaction in IoT. ACIT Mohammad Rezaul Karim, Sohag Kabir, Ci Lei, Raluca Lefticaru
2025	J	`jnl`	Spiking neural P systems and kernel P systems. J. Membr. Comput. Marian Gheorghe, Florentin Ipate, Kumar Kannan, Savas Konur, Lakshmanan Kuppusamy, Raluca Lefticaru, Anand Mahendran, Ionut-Mihai Niculescu
2023	J	`jnl`	A model learning based testing approach for kernel P systems. Theor. Comput. Sci. Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
2023	—	`conf`	Detection of Cyberbullying on Social Media Platforms Using Machine Learning. UKCI Mohammad Usmaan Ali, Raluca Lefticaru
2023	J	`jnl`	Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
2023	—	`conf`	Tumour Detection and Segmentation in MRI Scans of the Gut Area. UKCI Olatunji Azeez, Raluca Lefticaru
2021	J	`jnl`	Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
2021	J	`jnl`	Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna
2020	J	`jnl`	A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Softw. Test. Verification Reliab. Anthony J. H. Simons, Raluca Lefticaru
2020	J	`jnl`	Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2019	B	`conf`	An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
2019	—	`conf`	Testing Robots Using CSP. TAP@FM Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
2018	—	`conf`	Generating Complex Paths for Testing from an EFSM. QRS Companion Ana Turlea, Florentin Ipate, Raluca Lefticaru
2018	J	`jnl`	Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
2018	—	`conf`	Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
2017	Misc	`conf`	A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. SYNASC Ana Turlea, Florentin Ipate, Raluca Lefticaru
2017	—	`conf`	Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
2017	—	`conf`	Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe
2016	Misc	`conf`	A Hybrid Test Generation Approach Based on Extended Finite State Machines. SYNASC Ana Turlea, Florentin Ipate, Raluca Lefticaru
2016	—	`conf`	Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. Int. Conf. on Membrane Computing Raluca Lefticaru, Luis F. Macías-Ramos, Ionut-Mihai Niculescu, Laurentiu Mierla
2016	J	`jnl`	Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
2015	J	`jnl`	A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning. Int. J. Comput. Commun. Control Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, Raluca Lefticaru
2014	—	`conf`	X-Machine Based Testing for Cloud Services. ESOCC Workshops Raluca Lefticaru, Anthony J. H. Simons
2013	J	`jnl`	3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
2013	—	`conf`	Kernel P Systems: Applications and Implementations. BIC-TA Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
2013	—	`conf`	Model Checking Kernel P Systems. Int. Conf. on Membrane Computing Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
2012	J	`jnl`	A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J. Univers. Comput. Sci. Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
2012	B	`conf`	An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. SEFM Raluca Lefticaru, Florentin Ipate
2011	J	`jnl`	An empirical evaluation of P system testing techniques. Nat. Comput. Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
2011	J	`jnl`	Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. Florentin Ipate, Raluca Lefticaru, Cristina Tudose
2011	—	`conf`	Formal Verification of P Systems with Active Membranes through Model Checking. Int. Conf. on Membrane Computing Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
2011	—	`conf`	Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
2011	J	`jnl`	Towards Automated Verification of P Systems Using Spin. Int. J. Nat. Comput. Res. Raluca Lefticaru, Cristina Tudose, Florentin Ipate
2011	—	`conf`	Towards Search-Based Testing for Event-B Models. ICST Workshops Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
2011	—	`conf`	Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO Cristina Tudose, Raluca Lefticaru, Florentin Ipate
2010	Misc	`conf`	A particle swarm optimization based on P systems. ICNC Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
2010	—	`conf`	An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
2010	J	`jnl`	Test generation from P systems using model checking. J. Log. Algebraic Methods Program. Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
2009	—	`conf`	Automated Model Design Using Genetic Algorithms and Model Checking. BCI Raluca Lefticaru, Florentin Ipate, Cristina Tudose
2009	—	`conf`	Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang
2008	Misc	`conf`	A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC Raluca Lefticaru, Florentin Ipate
2008	A	`conf`	Functional Search-based Testing from State Machines. ICST Raluca Lefticaru, Florentin Ipate
2008	—	`conf`	Search-based Testing using State-based Fitness. ICST Workshops Raluca Lefticaru, Florentin Ipate
2007	Misc	`conf`	Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC Raluca Lefticaru, Florentin Ipate